; LLVM IR from tryingfly/nabo :: nabo_core/src/robot/cpg.ll (ZN3Cpg8cpgClass6updateEv)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.Cpg::cpgClass" = type { i8, i8, double, double, [2 x double], [2 x double], [2 x double], [2 x double], [2 x double], [2 x double], [2 x double], [2 x double], [2 x i8], i8, [2 x i8], double, double, [2 x double], [2 x double], %struct.anon }
%struct.anon = type { double, [2 x double], [2 x double] }

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3Cpg8cpgClass6updateEv(ptr noundef nonnull align 8 dereferenceable(248) %0) #1 align 2 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  %6 = load ptr, ptr %2, align 8
  %7 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 13
  store i8 0, ptr %7, align 2, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #4
  store i32 0, ptr %3, align 4, !tbaa !14
  br label %8

8:                                                ; preds = %27, %1
  %9 = load i32, ptr %3, align 4, !tbaa !14
  %10 = icmp ne i32 %9, 2
  br i1 %10, label %12, label %11

11:                                               ; preds = %8
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  br label %30

12:                                               ; preds = %8
  %13 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 12
  %14 = load i32, ptr %3, align 4, !tbaa !14
  %15 = sext i32 %14 to i64
  %16 = getelementptr inbounds [2 x i8], ptr %13, i64 0, i64 %15
  %17 = load i8, ptr %16, align 1, !tbaa !16, !range !17, !noundef !18
  %18 = trunc i8 %17 to i1
  %19 = zext i1 %18 to i32
  %20 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 13
  %21 = load i8, ptr %20, align 2, !tbaa !9, !range !17, !noundef !18
  %22 = trunc i8 %21 to i1
  %23 = zext i1 %22 to i32
  %24 = or i32 %23, %19
  %25 = icmp ne i32 %24, 0
  %26 = zext i1 %25 to i8
  store i8 %26, ptr %20, align 2, !tbaa !9
  br label %27

27:                                               ; preds = %12
  %28 = load i32, ptr %3, align 4, !tbaa !14
  %29 = add nsw i32 %28, 1
  store i32 %29, ptr %3, align 4, !tbaa !14
  br label %8, !llvm.loop !19

30:                                               ; preds = %11
  %31 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 13
  %32 = load i8, ptr %31, align 2, !tbaa !9, !range !17, !noundef !18
  %33 = trunc i8 %32 to i1
  br i1 %33, label %41, label %34

34:                                               ; preds = %30
  %35 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 1
  %36 = load i8, ptr %35, align 1, !tbaa !21, !range !17, !noundef !18
  %37 = trunc i8 %36 to i1
  br i1 %37, label %38, label %41

38:                                               ; preds = %34
  %39 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 1
  store i8 0, ptr %39, align 1, !tbaa !21
  %40 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 0
  store i8 0, ptr %40, align 8, !tbaa !22
  br label %41

41:                                               ; preds = %38, %34, %30
  %42 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 19
  %43 = getelementptr inbounds %struct.anon, ptr %42, i32 0, i32 0
  %44 = load double, ptr %43, align 8, !tbaa !23
  %45 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 16
  %46 = call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %44, ptr noundef nonnull align 8 dereferenceable(8) %45, double noundef 1.500000e-03)
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #4
  store i32 0, ptr %4, align 4, !tbaa !14
  br label %47

47:                                               ; preds = %98, %41
  %48 = load i32, ptr %4, align 4, !tbaa !14
  %49 = icmp ne i32 %48, 2
  br i1 %49, label %51, label %50

50:                                               ; preds = %47
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #4
  br label %101

51:                                               ; preds = %47
  %52 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 19
  %53 = getelementptr inbounds %struct.anon, ptr %52, i32 0, i32 1
  %54 = load i32, ptr %4, align 4, !tbaa !14
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds [2 x double], ptr %53, i64 0, i64 %55
  %57 = load double, ptr %56, align 8, !tbaa !24
  %58 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 17
  %59 = load i32, ptr %4, align 4, !tbaa !14
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds [2 x double], ptr %58, i64 0, i64 %60
  %62 = call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %57, ptr noundef nonnull align 8 dereferenceable(8) %61, double noundef 1.600000e-03)
  %63 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 19
  %64 = getelementptr inbounds %struct.anon, ptr %63, i32 0, i32 2
  %65 = load i32, ptr %4, align 4, !tbaa !14
  %66 = sext i32 %65 to i64
  %67 = getelementptr inbounds [2 x double], ptr %64, i64 0, i64 %66
  %68 = load double, ptr %67, align 8, !tbaa !24
  %69 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 18
  %70 = load i32, ptr %4, align 4, !tbaa !14
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds [2 x double], ptr %69, i64 0, i64 %71
  %73 = call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %68, ptr noundef nonnull align 8 dereferenceable(8) %72, double noundef 8.000000e-04)
  %74 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 16
  %75 = load double, ptr %74, align 8, !tbaa !25
  %76 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 18
  %77 = load i32, ptr %4, align 4, !tbaa !14
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds [2 x double], ptr %76, i64 0, i64 %78
  %80 = load double, ptr %79, align 8, !tbaa !24
  %81 = fmul double %75, %80
  %82 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 11
  %83 = load i32, ptr %4, align 4, !tbaa !14
  %84 = sext i32 %83 to i64
  %85 = getelementptr inbounds [2 x double], ptr %82, i64 0, i64 %84
  store double %81, ptr %85, align 8, !tbaa !24
  %86 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 16
  %87 = load double, ptr %86, align 8, !tbaa !25
  %88 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 11
  %89 = load i32, ptr %4, align 4, !tbaa !14
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds [2 x double], ptr %88, i64 0, i64 %90
  %92 = load double, ptr %91, align 8, !tbaa !24
  %93 = fsub double %87, %92
  %94 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 10
  %95 = load i32, ptr %4, align 4, !tbaa !14
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds [2 x double], ptr %94, i64 0, i64 %96
  store double %93, ptr %97, align 8, !tbaa !24
  br label %98

98:                                               ; preds = %51
  %99 = load i32, ptr %4, align 4, !tbaa !14
  %100 = add nsw i32 %99, 1
  store i32 %100, ptr %4, align 4, !tbaa !14
  br label %47, !llvm.loop !26

101:                                              ; preds = %50
  %102 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 15
  %103 = load double, ptr %102, align 8, !tbaa !27
  %104 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 16
  %105 = load double, ptr %104, align 8, !tbaa !25
  %106 = fdiv double %103, %105
  %107 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 2
  %108 = load double, ptr %107, align 8, !tbaa !28
  %109 = fadd double %108, %106
  store double %109, ptr %107, align 8, !tbaa !28
  %110 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 2
  %111 = load double, ptr %110, align 8, !tbaa !28
  %112 = fptosi double %111 to i32
  %113 = sitofp i32 %112 to double
  %114 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 2
  %115 = load double, ptr %114, align 8, !tbaa !28
  %116 = fsub double %115, %113
  store double %116, ptr %114, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  store i32 0, ptr %5, align 4, !tbaa !14
  br label %117

117:                                              ; preds = %187, %101
  %118 = load i32, ptr %5, align 4, !tbaa !14
  %119 = icmp ne i32 %118, 2
  br i1 %119, label %121, label %120

120:                                              ; preds = %117
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  br label %190

121:                                              ; preds = %117
  %122 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 12
  %123 = load i32, ptr %5, align 4, !tbaa !14
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [2 x i8], ptr %122, i64 0, i64 %124
  %126 = load i8, ptr %125, align 1, !tbaa !16, !range !17, !noundef !18
  %127 = trunc i8 %126 to i1
  br i1 %127, label %128, label %135

128:                                              ; preds = %121
  %129 = load i32, ptr %5, align 4, !tbaa !14
  %130 = call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %6, i32 noundef %129)
  br i1 %130, label %131, label %134

131:                                              ; preds = %128
  %132 = load i32, ptr %5, align 4, !tbaa !14
  %133 = call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %6, i32 noundef %132)
  br label %134

134:                                              ; preds = %131, %128
  br label %186

135:                                              ; preds = %121
  %136 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 0
  %137 = load i8, ptr %136, align 8, !tbaa !22, !range !17, !noundef !18
  %138 = trunc i8 %137 to i1
  br i1 %138, label %139, label %173

139:                                              ; preds = %135
  %140 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 11
  %141 = load i32, ptr %5, align 4, !tbaa !14
  %142 = sext i32 %141 to i64
  %143 = getelementptr inbounds [2 x double], ptr %140, i64 0, i64 %142
  %144 = load double, ptr %143, align 8, !tbaa !24
  %145 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 9
  %146 = load i32, ptr %5, align 4, !tbaa !14
  %147 = sext i32 %146 to i64
  %148 = getelementptr inbounds [2 x double], ptr %145, i64 0, i64 %147
  store double %144, ptr %148, align 8, !tbaa !24
  %149 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 6
  %150 = load i32, ptr %5, align 4, !tbaa !14
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds [2 x double], ptr %149, i64 0, i64 %151
  store double 1.000000e+00, ptr %152, align 8, !tbaa !24
  %153 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 5
  %154 = load i32, ptr %5, align 4, !tbaa !14
  %155 = sext i32 %154 to i64
  %156 = getelementptr inbounds [2 x double], ptr %153, i64 0, i64 %155
  store double 0.000000e+00, ptr %156, align 8, !tbaa !24
  %157 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 8
  %158 = load i32, ptr %5, align 4, !tbaa !14
  %159 = sext i32 %158 to i64
  %160 = getelementptr inbounds [2 x double], ptr %157, i64 0, i64 %159
  store double 0.000000e+00, ptr %160, align 8, !tbaa !24
  %161 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 13
  %162 = load i8, ptr %161, align 2, !tbaa !9, !range !17, !noundef !18
  %163 = trunc i8 %162 to i1
  br i1 %163, label %168, label %164

164:                                              ; preds = %139
  %165 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 3
  %166 = load double, ptr %165, align 8, !tbaa !29
  %167 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 2
  store double %166, ptr %167, align 8, !tbaa !28
  br label %168

168:                                              ; preds = %164, %139
  %169 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 14
  %170 = load i32, ptr %5, align 4, !tbaa !14
  %171 = sext i32 %170 to i64
  %172 = getelementptr inbounds [2 x i8], ptr %169, i64 0, i64 %171
  store i8 1, ptr %172, align 1, !tbaa !16
  br label %185

173:                                              ; preds = %135
  %174 = getelementptr inbounds %"class.Cpg::cpgClass", ptr %6, i32 0, i32 2
  %175 = load double, ptr %174, align 8, !tbaa !28
  %176 = fcmp olt double %175, 0.000000e+00
  br i1 %176, label %177, label %178

177:                                              ; preds = %173
  br label %187

178:                                              ; preds = %173
  %179 = load i32, ptr %5, align 4, !tbaa !14
  %180 = call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %6, i32 noundef %179)
  br i1 %180, label %181, label %184

181:                                              ; preds = %178
  %182 = load i32, ptr %5, align 4, !tbaa !14
  %183 = call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %6, i32 noundef %182)
  br label %184

184:                                              ; preds = %181, %178
  br label %185

185:                                              ; preds = %184, %168
  br label %186

186:                                              ; preds = %185, %134
  br label %187

187:                                              ; preds = %186, %177
  %188 = load i32, ptr %5, align 4, !tbaa !14
  %189 = add nsw i32 %188, 1
  store i32 %189, ptr %5, align 4, !tbaa !14
  br label %117, !llvm.loop !30

190:                                              ; preds = %120
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef, ptr noundef nonnull align 8 dereferenceable(8), double noundef) #2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248), i32 noundef) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248), i32 noundef) #3 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !11, i64 154}
!10 = !{!"_ZTSN3Cpg8cpgClassE", !11, i64 0, !11, i64 1, !12, i64 8, !12, i64 16, !7, i64 24, !7, i64 40, !7, i64 56, !7, i64 72, !7, i64 88, !7, i64 104, !7, i64 120, !7, i64 136, !7, i64 152, !11, i64 154, !7, i64 155, !12, i64 160, !12, i64 168, !7, i64 176, !7, i64 192, !13, i64 208}
!11 = !{!"bool", !7, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!"_ZTSN3Cpg8cpgClassUt_E", !12, i64 0, !7, i64 8, !7, i64 24}
!14 = !{!15, !15, i64 0}
!15 = !{!"int", !7, i64 0}
!16 = !{!11, !11, i64 0}
!17 = !{i8 0, i8 2}
!18 = !{}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = !{!10, !11, i64 1}
!22 = !{!10, !11, i64 0}
!23 = !{!10, !12, i64 208}
!24 = !{!12, !12, i64 0}
!25 = !{!10, !12, i64 168}
!26 = distinct !{!26, !20}
!27 = !{!10, !12, i64 160}
!28 = !{!10, !12, i64 8}
!29 = !{!10, !12, i64 16}
!30 = distinct !{!30, !20}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN3Cpg8cpgClass6updateEv(ptr noundef nonnull align 8 dereferenceable(248) %0) local_unnamed_addr #0 align 2 {
  %2 = getelementptr inbounds i8, ptr %0, i64 154
  %3 = getelementptr inbounds i8, ptr %0, i64 152
  %4 = load i8, ptr %3, align 8, !tbaa !5, !range !9, !noundef !10
  %5 = getelementptr inbounds i8, ptr %0, i64 153
  %6 = load i8, ptr %5, align 1, !tbaa !5, !range !9, !noundef !10
  %7 = or i8 %4, %6
  store i8 %7, ptr %2, align 2, !tbaa !11
  %8 = trunc nuw i8 %7 to i1
  br i1 %8, label %14, label %9

9:                                                ; preds = %1
  %10 = getelementptr inbounds i8, ptr %0, i64 1
  %11 = load i8, ptr %10, align 1, !tbaa !15, !range !9, !noundef !10
  %12 = trunc nuw i8 %11 to i1
  br i1 %12, label %13, label %14

13:                                               ; preds = %9
  store i8 0, ptr %10, align 1, !tbaa !15
  store i8 0, ptr %0, align 8, !tbaa !16
  br label %14

14:                                               ; preds = %13, %9, %1
  %15 = getelementptr inbounds i8, ptr %0, i64 208
  %16 = load double, ptr %15, align 8, !tbaa !17
  %17 = getelementptr inbounds i8, ptr %0, i64 168
  %18 = tail call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %16, ptr noundef nonnull align 8 dereferenceable(8) %17, double noundef 1.500000e-03)
  %19 = getelementptr inbounds i8, ptr %0, i64 216
  %20 = getelementptr inbounds i8, ptr %0, i64 176
  %21 = getelementptr inbounds i8, ptr %0, i64 232
  %22 = getelementptr inbounds i8, ptr %0, i64 192
  %23 = getelementptr inbounds i8, ptr %0, i64 136
  %24 = getelementptr inbounds i8, ptr %0, i64 120
  %25 = load double, ptr %19, align 8, !tbaa !18
  %26 = tail call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %25, ptr noundef nonnull align 8 dereferenceable(8) %20, double noundef 1.600000e-03)
  %27 = load double, ptr %21, align 8, !tbaa !18
  %28 = tail call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %27, ptr noundef nonnull align 8 dereferenceable(8) %22, double noundef 8.000000e-04)
  %29 = load double, ptr %17, align 8, !tbaa !19
  %30 = load double, ptr %22, align 8, !tbaa !18
  %31 = fmul double %29, %30
  store double %31, ptr %23, align 8, !tbaa !18
  %32 = fsub double %29, %31
  store double %32, ptr %24, align 8, !tbaa !18
  %33 = getelementptr inbounds i8, ptr %0, i64 224
  %34 = load double, ptr %33, align 8, !tbaa !18
  %35 = getelementptr inbounds i8, ptr %0, i64 184
  %36 = tail call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %34, ptr noundef nonnull align 8 dereferenceable(8) %35, double noundef 1.600000e-03)
  %37 = getelementptr inbounds i8, ptr %0, i64 240
  %38 = load double, ptr %37, align 8, !tbaa !18
  %39 = getelementptr inbounds i8, ptr %0, i64 200
  %40 = tail call noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef %38, ptr noundef nonnull align 8 dereferenceable(8) %39, double noundef 8.000000e-04)
  %41 = load double, ptr %17, align 8, !tbaa !19
  %42 = load double, ptr %39, align 8, !tbaa !18
  %43 = fmul double %41, %42
  %44 = getelementptr inbounds i8, ptr %0, i64 144
  store double %43, ptr %44, align 8, !tbaa !18
  %45 = fsub double %41, %43
  %46 = getelementptr inbounds i8, ptr %0, i64 128
  store double %45, ptr %46, align 8, !tbaa !18
  %47 = getelementptr inbounds i8, ptr %0, i64 160
  %48 = load double, ptr %47, align 8, !tbaa !20
  %49 = fdiv double %48, %41
  %50 = getelementptr inbounds i8, ptr %0, i64 8
  %51 = load double, ptr %50, align 8, !tbaa !21
  %52 = fadd double %51, %49
  %53 = fptosi double %52 to i32
  %54 = sitofp i32 %53 to double
  %55 = fsub double %52, %54
  store double %55, ptr %50, align 8, !tbaa !21
  %56 = getelementptr inbounds i8, ptr %0, i64 104
  %57 = getelementptr inbounds i8, ptr %0, i64 56
  %58 = getelementptr inbounds i8, ptr %0, i64 40
  %59 = getelementptr inbounds i8, ptr %0, i64 88
  %60 = getelementptr inbounds i8, ptr %0, i64 16
  %61 = getelementptr inbounds i8, ptr %0, i64 155
  %62 = load i8, ptr %3, align 8, !tbaa !5, !range !9, !noundef !10
  %63 = trunc nuw i8 %62 to i1
  br i1 %63, label %64, label %68

64:                                               ; preds = %14
  %65 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 0)
  br i1 %65, label %66, label %84

66:                                               ; preds = %64
  %67 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 0)
  br label %84

68:                                               ; preds = %14
  %69 = load i8, ptr %0, align 8, !tbaa !16, !range !9, !noundef !10
  %70 = trunc nuw i8 %69 to i1
  br i1 %70, label %71, label %78

71:                                               ; preds = %68
  %72 = load double, ptr %23, align 8, !tbaa !18
  store double %72, ptr %56, align 8, !tbaa !18
  store double 1.000000e+00, ptr %57, align 8, !tbaa !18
  store double 0.000000e+00, ptr %58, align 8, !tbaa !18
  store double 0.000000e+00, ptr %59, align 8, !tbaa !18
  %73 = load i8, ptr %2, align 2, !tbaa !11, !range !9, !noundef !10
  %74 = trunc nuw i8 %73 to i1
  br i1 %74, label %77, label %75

75:                                               ; preds = %71
  %76 = load double, ptr %60, align 8, !tbaa !22
  store double %76, ptr %50, align 8, !tbaa !21
  br label %77

77:                                               ; preds = %75, %71
  store i8 1, ptr %61, align 1, !tbaa !5
  br label %84

78:                                               ; preds = %68
  %79 = fcmp olt double %55, 0.000000e+00
  br i1 %79, label %84, label %80

80:                                               ; preds = %78
  %81 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 0)
  br i1 %81, label %82, label %84

82:                                               ; preds = %80
  %83 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 0)
  br label %84

84:                                               ; preds = %66, %64, %80, %82, %77, %78
  %85 = load i8, ptr %5, align 1, !tbaa !5, !range !9, !noundef !10
  %86 = trunc nuw i8 %85 to i1
  br i1 %86, label %109, label %87

87:                                               ; preds = %84
  %88 = load i8, ptr %0, align 8, !tbaa !16, !range !9, !noundef !10
  %89 = trunc nuw i8 %88 to i1
  br i1 %89, label %97, label %90

90:                                               ; preds = %87
  %91 = load double, ptr %50, align 8, !tbaa !21
  %92 = fcmp olt double %91, 0.000000e+00
  br i1 %92, label %113, label %93

93:                                               ; preds = %90
  %94 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 1)
  br i1 %94, label %95, label %113

95:                                               ; preds = %93
  %96 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 1)
  br label %113

97:                                               ; preds = %87
  %98 = load double, ptr %44, align 8, !tbaa !18
  %99 = getelementptr inbounds i8, ptr %0, i64 112
  store double %98, ptr %99, align 8, !tbaa !18
  %100 = getelementptr inbounds i8, ptr %0, i64 64
  store double 1.000000e+00, ptr %100, align 8, !tbaa !18
  %101 = getelementptr inbounds i8, ptr %0, i64 48
  store double 0.000000e+00, ptr %101, align 8, !tbaa !18
  %102 = getelementptr inbounds i8, ptr %0, i64 96
  store double 0.000000e+00, ptr %102, align 8, !tbaa !18
  %103 = load i8, ptr %2, align 2, !tbaa !11, !range !9, !noundef !10
  %104 = trunc nuw i8 %103 to i1
  br i1 %104, label %107, label %105

105:                                              ; preds = %97
  %106 = load double, ptr %60, align 8, !tbaa !22
  store double %106, ptr %50, align 8, !tbaa !21
  br label %107

107:                                              ; preds = %105, %97
  %108 = getelementptr inbounds i8, ptr %0, i64 156
  store i8 1, ptr %108, align 4, !tbaa !5
  br label %113

109:                                              ; preds = %84
  %110 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 1)
  br i1 %110, label %111, label %113

111:                                              ; preds = %109
  %112 = tail call noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248) %0, i32 noundef 1)
  br label %113

113:                                              ; preds = %111, %109, %107, %95, %93, %90
  ret void
}

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Alg12cmd2out1stepEdRdd(double noundef, ptr noundef nonnull align 8 dereferenceable(8), double noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Cpg8cpgClass5calSwEi(ptr noundef nonnull align 8 dereferenceable(248), i32 noundef) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3Cpg8cpgClass5calStEi(ptr noundef nonnull align 8 dereferenceable(248), i32 noundef) local_unnamed_addr #0 align 2

attributes #0 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"bool", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{i8 0, i8 2}
!10 = !{}
!11 = !{!12, !6, i64 154}
!12 = !{!"_ZTSN3Cpg8cpgClassE", !6, i64 0, !6, i64 1, !13, i64 8, !13, i64 16, !7, i64 24, !7, i64 40, !7, i64 56, !7, i64 72, !7, i64 88, !7, i64 104, !7, i64 120, !7, i64 136, !7, i64 152, !6, i64 154, !7, i64 155, !13, i64 160, !13, i64 168, !7, i64 176, !7, i64 192, !14, i64 208}
!13 = !{!"double", !7, i64 0}
!14 = !{!"_ZTSN3Cpg8cpgClassUt_E", !13, i64 0, !7, i64 8, !7, i64 24}
!15 = !{!12, !6, i64 1}
!16 = !{!12, !6, i64 0}
!17 = !{!12, !13, i64 208}
!18 = !{!13, !13, i64 0}
!19 = !{!12, !13, i64 168}
!20 = !{!12, !13, i64 160}
!21 = !{!12, !13, i64 8}
!22 = !{!12, !13, i64 16}


; Effective O3 passes: DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LICMPass,LoopRotatePass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass