; LLVM IR from stivalaa/EstimNetDirected :: src (simulation)

; 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"

%struct.timeval = type { i64, i64 }
%struct.graph_s = type { i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, i32, i32, ptr, ptr, i32, ptr, ptr, i32, ptr, ptr, i32, ptr, ptr, ptr, i32, i32, i32, i32, i32, ptr, i32, i32, ptr, ptr, i32, ptr, i32, ptr, ptr, i32, i32, ptr, i32, ptr }

@.str = external hidden unnamed_addr constant [34 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [76 x i8], align 1
@__PRETTY_FUNCTION__.simulate_ergm = external hidden unnamed_addr constant [351 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [2 x i8], align 1
@stdout = external global ptr, align 8
@.str.25 = external hidden unnamed_addr constant [22 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local i32 @simulate_ergm(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, i32 noundef %13, i64 noundef %14, i64 noundef %15, ptr noundef %16, i32 noundef %17, double noundef %18, i32 noundef %19, i32 noundef %20, ptr noundef %21, ptr noundef %22, i32 noundef %23, i32 noundef %24, ptr noundef %25, i32 noundef %26, i32 noundef %27, i32 noundef %28) #0 {
  %30 = alloca ptr, align 8
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca i32, align 4
  %44 = alloca i64, align 8
  %45 = alloca i64, align 8
  %46 = alloca ptr, align 8
  %47 = alloca i32, align 4
  %48 = alloca double, align 8
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca ptr, align 8
  %52 = alloca ptr, align 8
  %53 = alloca i32, align 4
  %54 = alloca i32, align 4
  %55 = alloca ptr, align 8
  %56 = alloca i32, align 4
  %57 = alloca i32, align 4
  %58 = alloca i32, align 4
  %59 = alloca ptr, align 8
  %60 = alloca [4097 x i8], align 16
  %61 = alloca double, align 8
  %62 = alloca ptr, align 8
  %63 = alloca ptr, align 8
  %64 = alloca double, align 8
  %65 = alloca double, align 8
  %66 = alloca i32, align 4
  %67 = alloca i32, align 4
  %68 = alloca i64, align 8
  %69 = alloca %struct.timeval, align 8
  %70 = alloca %struct.timeval, align 8
  %71 = alloca %struct.timeval, align 8
  %72 = alloca i32, align 4
  %73 = alloca [32 x i8], align 16
  store ptr %0, ptr %30, align 8, !tbaa !5
  store i32 %1, ptr %31, align 4, !tbaa !9
  store i32 %2, ptr %32, align 4, !tbaa !9
  store i32 %3, ptr %33, align 4, !tbaa !9
  store i32 %4, ptr %34, align 4, !tbaa !9
  store ptr %5, ptr %35, align 8, !tbaa !5
  store ptr %6, ptr %36, align 8, !tbaa !5
  store ptr %7, ptr %37, align 8, !tbaa !5
  store ptr %8, ptr %38, align 8, !tbaa !5
  store ptr %9, ptr %39, align 8, !tbaa !5
  store ptr %10, ptr %40, align 8, !tbaa !5
  store ptr %11, ptr %41, align 8, !tbaa !5
  store ptr %12, ptr %42, align 8, !tbaa !5
  store i32 %13, ptr %43, align 4, !tbaa !9
  store i64 %14, ptr %44, align 8, !tbaa !11
  store i64 %15, ptr %45, align 8, !tbaa !11
  store ptr %16, ptr %46, align 8, !tbaa !5
  store i32 %17, ptr %47, align 4, !tbaa !9
  store double %18, ptr %48, align 8, !tbaa !13
  store i32 %19, ptr %49, align 4, !tbaa !9
  store i32 %20, ptr %50, align 4, !tbaa !9
  store ptr %21, ptr %51, align 8, !tbaa !5
  store ptr %22, ptr %52, align 8, !tbaa !5
  store i32 %23, ptr %53, align 4, !tbaa !9
  store i32 %24, ptr %54, align 4, !tbaa !9
  store ptr %25, ptr %55, align 8, !tbaa !5
  store i32 %26, ptr %56, align 4, !tbaa !9
  store i32 %27, ptr %57, align 4, !tbaa !9
  store i32 %28, ptr %58, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #6
  call void @llvm.lifetime.start.p0(i64 4097, ptr %60) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #6
  store double 0.000000e+00, ptr %61, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #6
  %74 = load i32, ptr %31, align 4, !tbaa !9
  %75 = zext i32 %74 to i64
  %76 = mul i64 %75, 8
  %77 = call ptr @safe_malloc(i64 noundef %76)
  store ptr %77, ptr %62, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #6
  %78 = load i32, ptr %31, align 4, !tbaa !9
  %79 = zext i32 %78 to i64
  %80 = mul i64 %79, 8
  %81 = call ptr @safe_malloc(i64 noundef %80)
  store ptr %81, ptr %63, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %64) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %66) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %67) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %68) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %69) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %70) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %71) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %72) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr %73) #6
  %82 = load i32, ptr %47, align 4, !tbaa !9
  %83 = icmp ne i32 %82, 0
  br i1 %83, label %84, label %87

84:                                               ; preds = %29
  %85 = load i32, ptr %56, align 4, !tbaa !9
  %86 = icmp ne i32 %85, 0
  br i1 %86, label %88, label %87

87:                                               ; preds = %84, %29
  br label %89

88:                                               ; preds = %84
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 313, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

89:                                               ; preds = %87
  %90 = load i32, ptr %57, align 4, !tbaa !9
  %91 = icmp ne i32 %90, 0
  br i1 %91, label %92, label %95

92:                                               ; preds = %89
  %93 = load i32, ptr %49, align 4, !tbaa !9
  %94 = icmp ne i32 %93, 0
  br i1 %94, label %96, label %95

95:                                               ; preds = %92, %89
  br label %97

96:                                               ; preds = %92
  call void @__assert_fail(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 314, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

97:                                               ; preds = %95
  %98 = load i32, ptr %57, align 4, !tbaa !9
  %99 = icmp ne i32 %98, 0
  br i1 %99, label %100, label %105

100:                                              ; preds = %97
  %101 = load ptr, ptr %30, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct.graph_s, ptr %101, i32 0, i32 1
  %103 = load i32, ptr %102, align 4, !tbaa !15
  %104 = icmp ne i32 %103, 0
  br i1 %104, label %105, label %106

105:                                              ; preds = %100, %97
  br label %107

106:                                              ; preds = %100
  call void @__assert_fail(ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 315, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

107:                                              ; preds = %105
  %108 = load i32, ptr %58, align 4, !tbaa !9
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %110, label %116

110:                                              ; preds = %107
  %111 = load i32, ptr %49, align 4, !tbaa !9
  %112 = icmp ne i32 %111, 0
  br i1 %112, label %117, label %113

113:                                              ; preds = %110
  %114 = load i32, ptr %57, align 4, !tbaa !9
  %115 = icmp ne i32 %114, 0
  br i1 %115, label %117, label %116

116:                                              ; preds = %113, %107
  br label %118

117:                                              ; preds = %113, %110
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.1, i32 noundef 316, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

118:                                              ; preds = %116
  %119 = load i32, ptr %49, align 4, !tbaa !9
  %120 = icmp ne i32 %119, 0
  br i1 %120, label %121, label %126

121:                                              ; preds = %118
  %122 = load ptr, ptr %30, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.graph_s, ptr %122, i32 0, i32 2
  %124 = load i32, ptr %123, align 8, !tbaa !17
  %125 = icmp ne i32 %124, 0
  br i1 %125, label %127, label %126

126:                                              ; preds = %121, %118
  br label %128

127:                                              ; preds = %121
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.1, i32 noundef 317, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

128:                                              ; preds = %126
  %129 = load ptr, ptr %30, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.graph_s, ptr %129, i32 0, i32 2
  %131 = load i32, ptr %130, align 8, !tbaa !17
  %132 = icmp ne i32 %131, 0
  br i1 %132, label %133, label %138

133:                                              ; preds = %128
  %134 = load ptr, ptr %30, align 8, !tbaa !5
  %135 = getelementptr inbounds %struct.graph_s, ptr %134, i32 0, i32 1
  %136 = load i32, ptr %135, align 4, !tbaa !15
  %137 = icmp ne i32 %136, 0
  br i1 %137, label %139, label %138

138:                                              ; preds = %133, %128
  br label %140

139:                                              ; preds = %133
  call void @__assert_fail(ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 318, ptr noundef @__PRETTY_FUNCTION__.simulate_ergm) #7
  unreachable

140:                                              ; preds = %138
  %141 = load i32, ptr %47, align 4, !tbaa !9
  %142 = icmp ne i32 %141, 0
  br i1 %142, label %143, label %156

143:                                              ; preds = %140
  %144 = load ptr, ptr %46, align 8, !tbaa !5
  %145 = load i32, ptr %54, align 4, !tbaa !9
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds double, ptr %144, i64 %146
  %148 = load double, ptr %147, align 8, !tbaa !13
  %149 = load ptr, ptr %30, align 8, !tbaa !5
  %150 = load i32, ptr %49, align 4, !tbaa !9
  %151 = load i32, ptr %57, align 4, !tbaa !9
  %152 = load i32, ptr %50, align 4, !tbaa !9
  %153 = load i32, ptr %58, align 4, !tbaa !9
  %154 = call double @arcCorrection(ptr noundef %149, i32 noundef %150, i32 noundef %151, i32 noundef %152, i32 noundef %153)
  %155 = fadd double %148, %154
  store double %155, ptr %65, align 8, !tbaa !13
  br label %156

156:                                              ; preds = %143, %140
  %157 = load i32, ptr %43, align 4, !tbaa !9
  %158 = load i64, ptr %44, align 8, !tbaa !11
  %159 = load i64, ptr %45, align 8, !tbaa !11
  %160 = call i32 (ptr, ...) @printf(ptr noundef @.str.7, i32 noundef %157, i64 noundef %158, i64 noundef %159)
  %161 = load ptr, ptr %30, align 8, !tbaa !5
  %162 = getelementptr inbounds %struct.graph_s, ptr %161, i32 0, i32 2
  %163 = load i32, ptr %162, align 8, !tbaa !17
  %164 = icmp ne i32 %163, 0
  %165 = zext i1 %164 to i64
  %166 = select i1 %164, ptr @.str.9, ptr @.str.10
  %167 = load ptr, ptr %30, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.graph_s, ptr %167, i32 0, i32 1
  %169 = load i32, ptr %168, align 4, !tbaa !15
  %170 = icmp ne i32 %169, 0
  %171 = zext i1 %170 to i64
  %172 = select i1 %170, ptr @.str.11, ptr @.str.12
  %173 = call i32 (ptr, ...) @printf(ptr noundef @.str.8, ptr noundef %166, ptr noundef %172)
  %174 = load i32, ptr %47, align 4, !tbaa !9
  %175 = icmp ne i32 %174, 0
  br i1 %175, label %176, label %180

176:                                              ; preds = %156
  %177 = load double, ptr %48, align 8, !tbaa !13
  %178 = load double, ptr %65, align 8, !tbaa !13
  %179 = call i32 (ptr, ...) @printf(ptr noundef @.str.13, double noundef %177, double noundef %178)
  br label %186

180:                                              ; preds = %156
  %181 = load i32, ptr %56, align 4, !tbaa !9
  %182 = icmp ne i32 %181, 0
  br i1 %182, label %183, label %185

183:                                              ; preds = %180
  %184 = call i32 (ptr, ...) @printf(ptr noundef @.str.14)
  br label %185

185:                                              ; preds = %183, %180
  br label %186

186:                                              ; preds = %185, %176
  %187 = load i32, ptr %49, align 4, !tbaa !9
  %188 = icmp ne i32 %187, 0
  br i1 %188, label %189, label %191

189:                                              ; preds = %186
  %190 = call i32 (ptr, ...) @printf(ptr noundef @.str.15)
  br label %191

191:                                              ; preds = %189, %186
  %192 = load i32, ptr %50, align 4, !tbaa !9
  %193 = icmp ne i32 %192, 0
  br i1 %193, label %194, label %196

194:                                              ; preds = %191
  %195 = call i32 (ptr, ...) @printf(ptr noundef @.str.16)
  br label %196

196:                                              ; preds = %194, %191
  %197 = load i32, ptr %57, align 4, !tbaa !9
  %198 = icmp ne i32 %197, 0
  br i1 %198, label %199, label %201

199:                                              ; preds = %196
  %200 = call i32 (ptr, ...) @printf(ptr noundef @.str.17)
  br label %201

201:                                              ; preds = %199, %196
  %202 = load i32, ptr %58, align 4, !tbaa !9
  %203 = icmp ne i32 %202, 0
  br i1 %203, label %204, label %206

204:                                              ; preds = %201
  %205 = call i32 (ptr, ...) @printf(ptr noundef @.str.18)
  br label %206

206:                                              ; preds = %204, %201
  %207 = load i64, ptr %45, align 8, !tbaa !11
  %208 = icmp ugt i64 %207, 0
  br i1 %208, label %209, label %329

209:                                              ; preds = %206
  %210 = call i32 @gettimeofday(ptr noundef %69, ptr noundef null) #6
  %211 = load i32, ptr %47, align 4, !tbaa !9
  %212 = icmp ne i32 %211, 0
  br i1 %212, label %213, label %237

213:                                              ; preds = %209
  %214 = load ptr, ptr %30, align 8, !tbaa !5
  %215 = load i32, ptr %31, align 4, !tbaa !9
  %216 = load i32, ptr %32, align 4, !tbaa !9
  %217 = load i32, ptr %33, align 4, !tbaa !9
  %218 = load i32, ptr %34, align 4, !tbaa !9
  %219 = load ptr, ptr %35, align 8, !tbaa !5
  %220 = load ptr, ptr %36, align 8, !tbaa !5
  %221 = load ptr, ptr %37, align 8, !tbaa !5
  %222 = load ptr, ptr %38, align 8, !tbaa !5
  %223 = load ptr, ptr %39, align 8, !tbaa !5
  %224 = load ptr, ptr %40, align 8, !tbaa !5
  %225 = load ptr, ptr %41, align 8, !tbaa !5
  %226 = load ptr, ptr %42, align 8, !tbaa !5
  %227 = load ptr, ptr %46, align 8, !tbaa !5
  %228 = load ptr, ptr %62, align 8, !tbaa !5
  %229 = load ptr, ptr %63, align 8, !tbaa !5
  %230 = load i64, ptr %45, align 8, !tbaa !11
  %231 = load double, ptr %48, align 8, !tbaa !13
  %232 = load i32, ptr %49, align 4, !tbaa !9
  %233 = load i32, ptr %50, align 4, !tbaa !9
  %234 = load i32, ptr %57, align 4, !tbaa !9
  %235 = load i32, ptr %58, align 4, !tbaa !9
  %236 = call double @ifdSampler(ptr noundef %214, i32 noundef %215, i32 noundef %216, i32 noundef %217, i32 noundef %218, ptr noundef %219, ptr noundef %220, ptr noundef %221, ptr noundef %222, ptr noundef %223, ptr noundef %224, ptr noundef %225, ptr noundef %226, ptr noundef %227, ptr noundef %228, ptr noundef %229, i64 noundef %230, i32 noundef 1, double noundef %231, ptr noundef %64, ptr noundef %65, i32 noundef %232, i32 noundef %233, i32 noundef %234, i32 noundef %235)
  store double %236, ptr %61, align 8, !tbaa !13
  br label %287

237:                                              ; preds = %209
  %238 = load i32, ptr %56, align 4, !tbaa !9
  %239 = icmp ne i32 %238, 0
  br i1 %239, label %240, label %263

240:                                              ; preds = %237
  %241 = load ptr, ptr %30, align 8, !tbaa !5
  %242 = load i32, ptr %31, align 4, !tbaa !9
  %243 = load i32, ptr %32, align 4, !tbaa !9
  %244 = load i32, ptr %33, align 4, !tbaa !9
  %245 = load i32, ptr %34, align 4, !tbaa !9
  %246 = load ptr, ptr %35, align 8, !tbaa !5
  %247 = load ptr, ptr %36, align 8, !tbaa !5
  %248 = load ptr, ptr %37, align 8, !tbaa !5
  %249 = load ptr, ptr %38, align 8, !tbaa !5
  %250 = load ptr, ptr %39, align 8, !tbaa !5
  %251 = load ptr, ptr %40, align 8, !tbaa !5
  %252 = load ptr, ptr %41, align 8, !tbaa !5
  %253 = load ptr, ptr %42, align 8, !tbaa !5
  %254 = load ptr, ptr %46, align 8, !tbaa !5
  %255 = load ptr, ptr %62, align 8, !tbaa !5
  %256 = load ptr, ptr %63, align 8, !tbaa !5
  %257 = load i64, ptr %45, align 8, !tbaa !11
  %258 = load i32, ptr %49, align 4, !tbaa !9
  %259 = load i32, ptr %50, align 4, !tbaa !9
  %260 = load i32, ptr %57, align 4, !tbaa !9
  %261 = load i32, ptr %58, align 4, !tbaa !9
  %262 = call double @tntSampler(ptr noundef %241, i32 noundef %242, i32 noundef %243, i32 noundef %244, i32 noundef %245, ptr noundef %246, ptr noundef %247, ptr noundef %248, ptr noundef %249, ptr noundef %250, ptr noundef %251, ptr noundef %252, ptr noundef %253, ptr noundef %254, ptr noundef %255, ptr noundef %256, i64 noundef %257, i32 noundef 1, i32 noundef %258, i32 noundef %259, i32 noundef %260, i32 noundef %261)
  store double %262, ptr %61, align 8, !tbaa !13
  br label %286

263:                                              ; preds = %237
  %264 = load ptr, ptr %30, align 8, !tbaa !5
  %265 = load i32, ptr %31, align 4, !tbaa !9
  %266 = load i32, ptr %32, align 4, !tbaa !9
  %267 = load i32, ptr %33, align 4, !tbaa !9
  %268 = load i32, ptr %34, align 4, !tbaa !9
  %269 = load ptr, ptr %35, align 8, !tbaa !5
  %270 = load ptr, ptr %36, align 8, !tbaa !5
  %271 = load ptr, ptr %37, align 8, !tbaa !5
  %272 = load ptr, ptr %38, align 8, !tbaa !5
  %273 = load ptr, ptr %39, align 8, !tbaa !5
  %274 = load ptr, ptr %40, align 8, !tbaa !5
  %275 = load ptr, ptr %41, align 8, !tbaa !5
  %276 = load ptr, ptr %42, align 8, !tbaa !5
  %277 = load ptr, ptr %46, align 8, !tbaa !5
  %278 = load ptr, ptr %62, align 8, !tbaa !5
  %279 = load ptr, ptr %63, align 8, !tbaa !5
  %280 = load i64, ptr %45, align 8, !tbaa !11
  %281 = load i32, ptr %49, align 4, !tbaa !9
  %282 = load i32, ptr %50, align 4, !tbaa !9
  %283 = load i32, ptr %57, align 4, !tbaa !9
  %284 = load i32, ptr %58, align 4, !tbaa !9
  %285 = call double @basicSampler(ptr noundef %264, i32 noundef %265, i32 noundef %266, i32 noundef %267, i32 noundef %268, ptr noundef %269, ptr noundef %270, ptr noundef %271, ptr noundef %272, ptr noundef %273, ptr noundef %274, ptr noundef %275, ptr noundef %276, ptr noundef %277, ptr noundef %278, ptr noundef %279, i64 noundef %280, i32 noundef 1, i32 noundef %281, i32 noundef %282, i32 noundef %283, i32 noundef %284)
  store double %285, ptr %61, align 8, !tbaa !13
  br label %286

286:                                              ; preds = %263, %240
  br label %287

287:                                              ; preds = %286, %213
  store i32 0, ptr %66, align 4, !tbaa !9
  br label %288

288:                                              ; preds = %310, %287
  %289 = load i32, ptr %66, align 4, !tbaa !9
  %290 = load i32, ptr %31, align 4, !tbaa !9
  %291 = icmp ult i32 %289, %290
  br i1 %291, label %292, label %313

292:                                              ; preds = %288
  %293 = load ptr, ptr %62, align 8, !tbaa !5
  %294 = load i32, ptr %66, align 4, !tbaa !9
  %295 = zext i32 %294 to i64
  %296 = getelementptr inbounds double, ptr %293, i64 %295
  %297 = load double, ptr %296, align 8, !tbaa !13
  %298 = load ptr, ptr %63, align 8, !tbaa !5
  %299 = load i32, ptr %66, align 4, !tbaa !9
  %300 = zext i32 %299 to i64
  %301 = getelementptr inbounds double, ptr %298, i64 %300
  %302 = load double, ptr %301, align 8, !tbaa !13
  %303 = fsub double %297, %302
  %304 = load ptr, ptr %55, align 8, !tbaa !5
  %305 = load i32, ptr %66, align 4, !tbaa !9
  %306 = zext i32 %305 to i64
  %307 = getelementptr inbounds double, ptr %304, i64 %306
  %308 = load double, ptr %307, align 8, !tbaa !13
  %309 = fadd double %308, %303
  store double %309, ptr %307, align 8, !tbaa !13
  br label %310

310:                                              ; preds = %292
  %311 = load i32, ptr %66, align 4, !tbaa !9
  %312 = add i32 %311, 1
  store i32 %312, ptr %66, align 4, !tbaa !9
  br label %288, !llvm.loop !18

313:                                              ; preds = %288
  %314 = call i32 @gettimeofday(ptr noundef %70, ptr noundef null) #6
  %315 = call i32 @timeval_subtract(ptr noundef %71, ptr noundef %70, ptr noundef %69)
  %316 = getelementptr inbounds %struct.timeval, ptr %71, i32 0, i32 0
  %317 = load i64, ptr %316, align 8, !tbaa !20
  %318 = mul nsw i64 1000, %317
  %319 = getelementptr inbounds %struct.timeval, ptr %71, i32 0, i32 1
  %320 = load i64, ptr %319, align 8, !tbaa !22
  %321 = sdiv i64 %320, 1000
  %322 = add nsw i64 %318, %321
  %323 = trunc i64 %322 to i32
  store i32 %323, ptr %72, align 4, !tbaa !9
  %324 = load i64, ptr %45, align 8, !tbaa !11
  %325 = load i32, ptr %72, align 4, !tbaa !9
  %326 = sitofp i32 %325 to double
  %327 = fdiv double %326, 1.000000e+03
  %328 = call i32 (ptr, ...) @printf(ptr noundef @.str.19, i64 noundef %324, double noundef %327)
  br label %329

329:                                              ; preds = %313, %206
  store i32 0, ptr %67, align 4, !tbaa !9
  br label %330

330:                                              ; preds = %482, %329
  %331 = load i32, ptr %67, align 4, !tbaa !9
  %332 = load i32, ptr %43, align 4, !tbaa !9
  %333 = icmp ult i32 %331, %332
  br i1 %333, label %334, label %485

334:                                              ; preds = %330
  %335 = load i32, ptr %47, align 4, !tbaa !9
  %336 = icmp ne i32 %335, 0
  br i1 %336, label %337, label %361

337:                                              ; preds = %334
  %338 = load ptr, ptr %30, align 8, !tbaa !5
  %339 = load i32, ptr %31, align 4, !tbaa !9
  %340 = load i32, ptr %32, align 4, !tbaa !9
  %341 = load i32, ptr %33, align 4, !tbaa !9
  %342 = load i32, ptr %34, align 4, !tbaa !9
  %343 = load ptr, ptr %35, align 8, !tbaa !5
  %344 = load ptr, ptr %36, align 8, !tbaa !5
  %345 = load ptr, ptr %37, align 8, !tbaa !5
  %346 = load ptr, ptr %38, align 8, !tbaa !5
  %347 = load ptr, ptr %39, align 8, !tbaa !5
  %348 = load ptr, ptr %40, align 8, !tbaa !5
  %349 = load ptr, ptr %41, align 8, !tbaa !5
  %350 = load ptr, ptr %42, align 8, !tbaa !5
  %351 = load ptr, ptr %46, align 8, !tbaa !5
  %352 = load ptr, ptr %62, align 8, !tbaa !5
  %353 = load ptr, ptr %63, align 8, !tbaa !5
  %354 = load i64, ptr %44, align 8, !tbaa !11
  %355 = load double, ptr %48, align 8, !tbaa !13
  %356 = load i32, ptr %49, align 4, !tbaa !9
  %357 = load i32, ptr %50, align 4, !tbaa !9
  %358 = load i32, ptr %57, align 4, !tbaa !9
  %359 = load i32, ptr %58, align 4, !tbaa !9
  %360 = call double @ifdSampler(ptr noundef %338, i32 noundef %339, i32 noundef %340, i32 noundef %341, i32 noundef %342, ptr noundef %343, ptr noundef %344, ptr noundef %345, ptr noundef %346, ptr noundef %347, ptr noundef %348, ptr noundef %349, ptr noundef %350, ptr noundef %351, ptr noundef %352, ptr noundef %353, i64 noundef %354, i32 noundef 1, double noundef %355, ptr noundef %64, ptr noundef %65, i32 noundef %356, i32 noundef %357, i32 noundef %358, i32 noundef %359)
  store double %360, ptr %61, align 8, !tbaa !13
  br label %411

361:                                              ; preds = %334
  %362 = load i32, ptr %56, align 4, !tbaa !9
  %363 = icmp ne i32 %362, 0
  br i1 %363, label %364, label %387

364:                                              ; preds = %361
  %365 = load ptr, ptr %30, align 8, !tbaa !5
  %366 = load i32, ptr %31, align 4, !tbaa !9
  %367 = load i32, ptr %32, align 4, !tbaa !9
  %368 = load i32, ptr %33, align 4, !tbaa !9
  %369 = load i32, ptr %34, align 4, !tbaa !9
  %370 = load ptr, ptr %35, align 8, !tbaa !5
  %371 = load ptr, ptr %36, align 8, !tbaa !5
  %372 = load ptr, ptr %37, align 8, !tbaa !5
  %373 = load ptr, ptr %38, align 8, !tbaa !5
  %374 = load ptr, ptr %39, align 8, !tbaa !5
  %375 = load ptr, ptr %40, align 8, !tbaa !5
  %376 = load ptr, ptr %41, align 8, !tbaa !5
  %377 = load ptr, ptr %42, align 8, !tbaa !5
  %378 = load ptr, ptr %46, align 8, !tbaa !5
  %379 = load ptr, ptr %62, align 8, !tbaa !5
  %380 = load ptr, ptr %63, align 8, !tbaa !5
  %381 = load i64, ptr %44, align 8, !tbaa !11
  %382 = load i32, ptr %49, align 4, !tbaa !9
  %383 = load i32, ptr %50, align 4, !tbaa !9
  %384 = load i32, ptr %57, align 4, !tbaa !9
  %385 = load i32, ptr %58, align 4, !tbaa !9
  %386 = call double @tntSampler(ptr noundef %365, i32 noundef %366, i32 noundef %367, i32 noundef %368, i32 noundef %369, ptr noundef %370, ptr noundef %371, ptr noundef %372, ptr noundef %373, ptr noundef %374, ptr noundef %375, ptr noundef %376, ptr noundef %377, ptr noundef %378, ptr noundef %379, ptr noundef %380, i64 noundef %381, i32 noundef 1, i32 noundef %382, i32 noundef %383, i32 noundef %384, i32 noundef %385)
  store double %386, ptr %61, align 8, !tbaa !13
  br label %410

387:                                              ; preds = %361
  %388 = load ptr, ptr %30, align 8, !tbaa !5
  %389 = load i32, ptr %31, align 4, !tbaa !9
  %390 = load i32, ptr %32, align 4, !tbaa !9
  %391 = load i32, ptr %33, align 4, !tbaa !9
  %392 = load i32, ptr %34, align 4, !tbaa !9
  %393 = load ptr, ptr %35, align 8, !tbaa !5
  %394 = load ptr, ptr %36, align 8, !tbaa !5
  %395 = load ptr, ptr %37, align 8, !tbaa !5
  %396 = load ptr, ptr %38, align 8, !tbaa !5
  %397 = load ptr, ptr %39, align 8, !tbaa !5
  %398 = load ptr, ptr %40, align 8, !tbaa !5
  %399 = load ptr, ptr %41, align 8, !tbaa !5
  %400 = load ptr, ptr %42, align 8, !tbaa !5
  %401 = load ptr, ptr %46, align 8, !tbaa !5
  %402 = load ptr, ptr %62, align 8, !tbaa !5
  %403 = load ptr, ptr %63, align 8, !tbaa !5
  %404 = load i64, ptr %44, align 8, !tbaa !11
  %405 = load i32, ptr %49, align 4, !tbaa !9
  %406 = load i32, ptr %50, align 4, !tbaa !9
  %407 = load i32, ptr %57, align 4, !tbaa !9
  %408 = load i32, ptr %58, align 4, !tbaa !9
  %409 = call double @basicSampler(ptr noundef %388, i32 noundef %389, i32 noundef %390, i32 noundef %391, i32 noundef %392, ptr noundef %393, ptr noundef %394, ptr noundef %395, ptr noundef %396, ptr noundef %397, ptr noundef %398, ptr noundef %399, ptr noundef %400, ptr noundef %401, ptr noundef %402, ptr noundef %403, i64 noundef %404, i32 noundef 1, i32 noundef %405, i32 noundef %406, i32 noundef %407, i32 noundef %408)
  store double %409, ptr %61, align 8, !tbaa !13
  br label %410

410:                                              ; preds = %387, %364
  br label %411

411:                                              ; preds = %410, %337
  %412 = load i64, ptr %45, align 8, !tbaa !11
  %413 = load i64, ptr %44, align 8, !tbaa !11
  %414 = load i32, ptr %67, align 4, !tbaa !9
  %415 = add i32 %414, 1
  %416 = zext i32 %415 to i64
  %417 = mul i64 %413, %416
  %418 = add i64 %412, %417
  store i64 %418, ptr %68, align 8, !tbaa !23
  %419 = load ptr, ptr %52, align 8, !tbaa !5
  %420 = load i64, ptr %68, align 8, !tbaa !23
  %421 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %419, ptr noundef @.str.20, i64 noundef %420) #6
  store i32 0, ptr %66, align 4, !tbaa !9
  br label %422

422:                                              ; preds = %451, %411
  %423 = load i32, ptr %66, align 4, !tbaa !9
  %424 = load i32, ptr %31, align 4, !tbaa !9
  %425 = icmp ult i32 %423, %424
  br i1 %425, label %426, label %454

426:                                              ; preds = %422
  %427 = load ptr, ptr %62, align 8, !tbaa !5
  %428 = load i32, ptr %66, align 4, !tbaa !9
  %429 = zext i32 %428 to i64
  %430 = getelementptr inbounds double, ptr %427, i64 %429
  %431 = load double, ptr %430, align 8, !tbaa !13
  %432 = load ptr, ptr %63, align 8, !tbaa !5
  %433 = load i32, ptr %66, align 4, !tbaa !9
  %434 = zext i32 %433 to i64
  %435 = getelementptr inbounds double, ptr %432, i64 %434
  %436 = load double, ptr %435, align 8, !tbaa !13
  %437 = fsub double %431, %436
  %438 = load ptr, ptr %55, align 8, !tbaa !5
  %439 = load i32, ptr %66, align 4, !tbaa !9
  %440 = zext i32 %439 to i64
  %441 = getelementptr inbounds double, ptr %438, i64 %440
  %442 = load double, ptr %441, align 8, !tbaa !13
  %443 = fadd double %442, %437
  store double %443, ptr %441, align 8, !tbaa !13
  %444 = load ptr, ptr %52, align 8, !tbaa !5
  %445 = load ptr, ptr %55, align 8, !tbaa !5
  %446 = load i32, ptr %66, align 4, !tbaa !9
  %447 = zext i32 %446 to i64
  %448 = getelementptr inbounds double, ptr %445, i64 %447
  %449 = load double, ptr %448, align 8, !tbaa !13
  %450 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %444, ptr noundef @.str.21, double noundef %449) #6
  br label %451

451:                                              ; preds = %426
  %452 = load i32, ptr %66, align 4, !tbaa !9
  %453 = add i32 %452, 1
  store i32 %453, ptr %66, align 4, !tbaa !9
  br label %422, !llvm.loop !25

454:                                              ; preds = %422
  %455 = load ptr, ptr %52, align 8, !tbaa !5
  %456 = load double, ptr %61, align 8, !tbaa !13
  %457 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %455, ptr noundef @.str.22, double noundef %456) #6
  %458 = load ptr, ptr %52, align 8, !tbaa !5
  %459 = call i32 @fflush(ptr noundef %458)
  %460 = load i32, ptr %53, align 4, !tbaa !9
  %461 = icmp ne i32 %460, 0
  br i1 %461, label %462, label %481

462:                                              ; preds = %454
  %463 = getelementptr inbounds [4097 x i8], ptr %60, i64 0, i64 0
  %464 = load ptr, ptr %51, align 8, !tbaa !5
  %465 = call ptr @strncpy(ptr noundef %463, ptr noundef %464, i64 noundef 4096) #6
  %466 = getelementptr inbounds [32 x i8], ptr %73, i64 0, i64 0
  %467 = load i64, ptr %68, align 8, !tbaa !23
  %468 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef %466, ptr noundef @.str.23, i64 noundef %467) #6
  %469 = getelementptr inbounds [4097 x i8], ptr %60, i64 0, i64 0
  %470 = getelementptr inbounds [32 x i8], ptr %73, i64 0, i64 0
  %471 = getelementptr inbounds [32 x i8], ptr %73, i64 0, i64 0
  %472 = call i64 @strlen(ptr noundef %471) #8
  %473 = sub i64 4096, %472
  %474 = call ptr @strncat(ptr noundef %469, ptr noundef %470, i64 noundef %473) #6
  %475 = getelementptr inbounds [4097 x i8], ptr %60, i64 0, i64 0
  %476 = call noalias ptr @fopen(ptr noundef %475, ptr noundef @.str.24)
  store ptr %476, ptr %59, align 8, !tbaa !5
  %477 = load ptr, ptr %59, align 8, !tbaa !5
  %478 = load ptr, ptr %30, align 8, !tbaa !5
  call void @write_graph_arclist_to_file(ptr noundef %477, ptr noundef %478)
  %479 = load ptr, ptr %59, align 8, !tbaa !5
  %480 = call i32 @fclose(ptr noundef %479)
  br label %481

481:                                              ; preds = %462, %454
  br label %482

482:                                              ; preds = %481
  %483 = load i32, ptr %67, align 4, !tbaa !9
  %484 = add i32 %483, 1
  store i32 %484, ptr %67, align 4, !tbaa !9
  br label %330, !llvm.loop !26

485:                                              ; preds = %330
  %486 = load ptr, ptr @stdout, align 8, !tbaa !5
  %487 = load double, ptr %61, align 8, !tbaa !13
  %488 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %486, ptr noundef @.str.25, double noundef %487) #6
  %489 = load ptr, ptr %62, align 8, !tbaa !5
  call void @free(ptr noundef %489) #6
  %490 = load ptr, ptr %63, align 8, !tbaa !5
  call void @free(ptr noundef %490) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %73) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %72) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %71) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %70) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %69) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %68) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %67) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %66) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %64) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 4097, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #6
  ret i32 0
}

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

declare ptr @safe_malloc(i64 noundef) #2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #3

declare double @arcCorrection(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #2

declare i32 @printf(ptr noundef, ...) #2

; Function Attrs: nounwind
declare i32 @gettimeofday(ptr noundef, ptr noundef) #4

declare double @ifdSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #2

declare double @tntSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #2

declare double @basicSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) #2

declare i32 @timeval_subtract(ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: nounwind
declare i32 @fprintf(ptr noundef, ptr noundef, ...) #4

declare i32 @fflush(ptr noundef) #2

; Function Attrs: nounwind
declare ptr @strncpy(ptr noundef, ptr noundef, i64 noundef) #4

; Function Attrs: nounwind
declare i32 @sprintf(ptr noundef, ptr noundef, ...) #4

; Function Attrs: nounwind
declare ptr @strncat(ptr noundef, ptr noundef, i64 noundef) #4

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #5

declare noalias ptr @fopen(ptr noundef, ptr noundef) #2

declare void @write_graph_arclist_to_file(ptr noundef, ptr noundef) #2

declare i32 @fclose(ptr noundef) #2

; Function Attrs: nounwind
declare void @free(ptr noundef) #4

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

attributes #0 = { 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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { noreturn nounwind "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 "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 #5 = { nounwind willreturn memory(read) "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 #6 = { nounwind }
attributes #7 = { noreturn nounwind }
attributes #8 = { nounwind willreturn memory(read) }

!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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"double", !7, i64 0}
!15 = !{!16, !10, i64 4}
!16 = !{!"graph_s", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !10, i64 56, !6, i64 64, !6, i64 72, !6, i64 80, !10, i64 88, !10, i64 92, !10, i64 96, !6, i64 104, !6, i64 112, !10, i64 120, !6, i64 128, !6, i64 136, !10, i64 144, !6, i64 152, !6, i64 160, !10, i64 168, !6, i64 176, !6, i64 184, !6, i64 192, !10, i64 200, !10, i64 204, !10, i64 208, !10, i64 212, !10, i64 216, !6, i64 224, !10, i64 232, !10, i64 236, !6, i64 240, !6, i64 248, !10, i64 256, !6, i64 264, !10, i64 272, !6, i64 280, !6, i64 288, !10, i64 296, !10, i64 300, !6, i64 304, !10, i64 312, !6, i64 320}
!17 = !{!16, !10, i64 8}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!21, !12, i64 0}
!21 = !{!"timeval", !12, i64 0, !12, i64 8}
!22 = !{!21, !12, i64 8}
!23 = !{!24, !24, i64 0}
!24 = !{!"long long", !7, i64 0}
!25 = distinct !{!25, !19}
!26 = distinct !{!26, !19}


; 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"

%struct.timeval = type { i64, i64 }

@.str = external hidden unnamed_addr constant [34 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [76 x i8], align 1
@__PRETTY_FUNCTION__.simulate_ergm = external hidden unnamed_addr constant [351 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [59 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [49 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [51 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.19 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.20 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [2 x i8], align 1
@stdout = external local_unnamed_addr global ptr, align 8
@.str.25 = external hidden unnamed_addr constant [22 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local noundef i32 @simulate_ergm(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, i32 noundef %13, i64 noundef %14, i64 noundef %15, ptr noundef %16, i32 noundef %17, double noundef %18, i32 noundef %19, i32 noundef %20, ptr nocapture noundef readonly %21, ptr nocapture noundef %22, i32 noundef %23, i32 noundef %24, ptr nocapture noundef %25, i32 noundef %26, i32 noundef %27, i32 noundef %28) local_unnamed_addr #0 {
  %30 = alloca [4097 x i8], align 16
  %31 = alloca double, align 8
  %32 = alloca double, align 8
  %33 = alloca %struct.timeval, align 8
  %34 = alloca %struct.timeval, align 8
  %35 = alloca %struct.timeval, align 8
  %36 = alloca [32 x i8], align 16
  call void @llvm.lifetime.start.p0(i64 4097, ptr nonnull %30) #8
  %37 = zext i32 %1 to i64
  %38 = shl nuw nsw i64 %37, 3
  %39 = tail call ptr @safe_malloc(i64 noundef %38) #8
  %40 = tail call ptr @safe_malloc(i64 noundef %38) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %33) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %34) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %35) #8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #8
  %41 = icmp ne i32 %17, 0
  %42 = icmp ne i32 %26, 0
  %or.cond = and i1 %41, %42
  br i1 %or.cond, label %43, label %44

43:                                               ; preds = %29
  tail call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 313, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

44:                                               ; preds = %29
  %45 = icmp ne i32 %27, 0
  %46 = icmp ne i32 %19, 0
  %or.cond3 = and i1 %46, %45
  br i1 %or.cond3, label %47, label %48

47:                                               ; preds = %44
  tail call void @__assert_fail(ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.1, i32 noundef 314, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

48:                                               ; preds = %44
  br i1 %45, label %49, label %53

49:                                               ; preds = %48
  %50 = getelementptr inbounds i8, ptr %0, i64 4
  %51 = load i32, ptr %50, align 4, !tbaa !5
  %.not = icmp eq i32 %51, 0
  br i1 %.not, label %52, label %53

52:                                               ; preds = %49
  tail call void @__assert_fail(ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 315, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

53:                                               ; preds = %48, %49
  %.not219 = icmp eq i32 %28, 0
  %54 = or i32 %27, %19
  %or.cond5.not = icmp eq i32 %54, 0
  %or.cond228 = or i1 %.not219, %or.cond5.not
  br i1 %or.cond228, label %56, label %55

55:                                               ; preds = %53
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.1, i32 noundef 316, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

56:                                               ; preds = %53
  %57 = getelementptr inbounds i8, ptr %0, i64 8
  %58 = load i32, ptr %57, align 8, !tbaa !11
  %.not220 = icmp eq i32 %58, 0
  br i1 %46, label %59, label %61

59:                                               ; preds = %56
  br i1 %.not220, label %.thread, label %60

60:                                               ; preds = %59
  tail call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1, i32 noundef 317, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

61:                                               ; preds = %56
  br i1 %.not220, label %.thread, label %62

62:                                               ; preds = %61
  %63 = getelementptr inbounds i8, ptr %0, i64 4
  %64 = load i32, ptr %63, align 4, !tbaa !5
  %.not222 = icmp eq i32 %64, 0
  br i1 %.not222, label %.thread, label %65

65:                                               ; preds = %62
  tail call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 318, ptr noundef nonnull @__PRETTY_FUNCTION__.simulate_ergm) #9
  unreachable

.thread:                                          ; preds = %59, %61, %62
  %66 = getelementptr inbounds i8, ptr %0, i64 8
  br i1 %41, label %67, label %.critedge

67:                                               ; preds = %.thread
  %68 = zext i32 %24 to i64
  %69 = getelementptr inbounds double, ptr %16, i64 %68
  %70 = load double, ptr %69, align 8, !tbaa !12
  %71 = tail call double @arcCorrection(ptr noundef nonnull %0, i32 noundef %19, i32 noundef %27, i32 noundef %20, i32 noundef %28) #8
  %72 = fadd double %70, %71
  store double %72, ptr %32, align 8, !tbaa !12
  %73 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.7, i32 noundef %13, i64 noundef %14, i64 noundef %15)
  %74 = load i32, ptr %66, align 8, !tbaa !11
  %.not223 = icmp eq i32 %74, 0
  %75 = select i1 %.not223, ptr @.str.10, ptr @.str.9
  %76 = getelementptr inbounds i8, ptr %0, i64 4
  %77 = load i32, ptr %76, align 4, !tbaa !5
  %.not224 = icmp eq i32 %77, 0
  %78 = select i1 %.not224, ptr @.str.12, ptr @.str.11
  %79 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.8, ptr noundef nonnull %75, ptr noundef nonnull %78)
  %80 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.13, double noundef %18, double noundef %72)
  br label %90

.critedge:                                        ; preds = %.thread
  %81 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.7, i32 noundef %13, i64 noundef %14, i64 noundef %15)
  %82 = load i32, ptr %66, align 8, !tbaa !11
  %.not223.c = icmp eq i32 %82, 0
  %83 = select i1 %.not223.c, ptr @.str.10, ptr @.str.9
  %84 = getelementptr inbounds i8, ptr %0, i64 4
  %85 = load i32, ptr %84, align 4, !tbaa !5
  %.not224.c = icmp eq i32 %85, 0
  %86 = select i1 %.not224.c, ptr @.str.12, ptr @.str.11
  %87 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.8, ptr noundef nonnull %83, ptr noundef nonnull %86)
  br i1 %42, label %88, label %90

88:                                               ; preds = %.critedge
  %89 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.14)
  br label %90

90:                                               ; preds = %.critedge, %88, %67
  br i1 %46, label %91, label %93

91:                                               ; preds = %90
  %92 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.15)
  br label %93

93:                                               ; preds = %91, %90
  %.not225 = icmp eq i32 %20, 0
  br i1 %.not225, label %96, label %94

94:                                               ; preds = %93
  %95 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.16)
  br label %96

96:                                               ; preds = %94, %93
  br i1 %45, label %97, label %99

97:                                               ; preds = %96
  %98 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.17)
  br label %99

99:                                               ; preds = %97, %96
  br i1 %.not219, label %102, label %100

100:                                              ; preds = %99
  %101 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.18)
  br label %102

102:                                              ; preds = %100, %99
  %.not226 = icmp eq i64 %15, 0
  br i1 %.not226, label %163, label %103

103:                                              ; preds = %102
  %104 = call i32 @gettimeofday(ptr noundef nonnull %33, ptr noundef null) #8
  br i1 %41, label %105, label %107

105:                                              ; preds = %103
  %106 = call double @ifdSampler(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %15, i32 noundef 1, double noundef %18, ptr noundef nonnull %31, ptr noundef nonnull %32, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %112

107:                                              ; preds = %103
  br i1 %42, label %108, label %110

108:                                              ; preds = %107
  %109 = tail call double @tntSampler(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %15, i32 noundef 1, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %112

110:                                              ; preds = %107
  %111 = tail call double @basicSampler(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %15, i32 noundef 1, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %112

112:                                              ; preds = %108, %110, %105
  %.0 = phi double [ %106, %105 ], [ %109, %108 ], [ %111, %110 ]
  %.not238 = icmp eq i32 %1, 0
  br i1 %.not238, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %112
  %min.iters.check = icmp ult i32 %1, 8
  br i1 %min.iters.check, label %.lr.ph.preheader264, label %vector.memcheck

vector.memcheck:                                  ; preds = %.lr.ph.preheader
  %113 = shl nuw nsw i64 %37, 3
  %scevgep = getelementptr i8, ptr %25, i64 %113
  %scevgep254 = getelementptr i8, ptr %39, i64 %113
  %scevgep255 = getelementptr i8, ptr %40, i64 %113
  %bound0 = icmp ugt ptr %scevgep254, %25
  %bound1 = icmp ult ptr %39, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  %bound0256 = icmp ugt ptr %scevgep255, %25
  %bound1257 = icmp ult ptr %40, %scevgep
  %found.conflict258 = and i1 %bound0256, %bound1257
  %conflict.rdx = or i1 %found.conflict, %found.conflict258
  br i1 %conflict.rdx, label %.lr.ph.preheader264, label %vector.ph

vector.ph:                                        ; preds = %vector.memcheck
  %n.vec = and i64 %37, 4294967292
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %114 = getelementptr inbounds double, ptr %39, i64 %index
  %115 = getelementptr inbounds i8, ptr %114, i64 16
  %wide.load = load <2 x double>, ptr %114, align 8, !tbaa !12, !alias.scope !14
  %wide.load259 = load <2 x double>, ptr %115, align 8, !tbaa !12, !alias.scope !14
  %116 = getelementptr inbounds double, ptr %40, i64 %index
  %117 = getelementptr inbounds i8, ptr %116, i64 16
  %wide.load260 = load <2 x double>, ptr %116, align 8, !tbaa !12, !alias.scope !17
  %wide.load261 = load <2 x double>, ptr %117, align 8, !tbaa !12, !alias.scope !17
  %118 = fsub <2 x double> %wide.load, %wide.load260
  %119 = fsub <2 x double> %wide.load259, %wide.load261
  %120 = getelementptr inbounds double, ptr %25, i64 %index
  %121 = getelementptr inbounds i8, ptr %120, i64 16
  %wide.load262 = load <2 x double>, ptr %120, align 8, !tbaa !12, !alias.scope !19, !noalias !21
  %wide.load263 = load <2 x double>, ptr %121, align 8, !tbaa !12, !alias.scope !19, !noalias !21
  %122 = fadd <2 x double> %wide.load262, %118
  %123 = fadd <2 x double> %wide.load263, %119
  store <2 x double> %122, ptr %120, align 8, !tbaa !12, !alias.scope !19, !noalias !21
  store <2 x double> %123, ptr %121, align 8, !tbaa !12, !alias.scope !19, !noalias !21
  %index.next = add nuw i64 %index, 4
  %124 = icmp eq i64 %index.next, %n.vec
  br i1 %124, label %middle.block, label %vector.body, !llvm.loop !22

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %37
  br i1 %cmp.n, label %._crit_edge, label %.lr.ph.preheader264

.lr.ph.preheader264:                              ; preds = %middle.block, %vector.memcheck, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ 0, %vector.memcheck ], [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %37, 1
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol

.lr.ph.prol:                                      ; preds = %.lr.ph.preheader264
  %125 = getelementptr inbounds double, ptr %39, i64 %indvars.iv.ph
  %126 = load double, ptr %125, align 8, !tbaa !12
  %127 = getelementptr inbounds double, ptr %40, i64 %indvars.iv.ph
  %128 = load double, ptr %127, align 8, !tbaa !12
  %129 = fsub double %126, %128
  %130 = getelementptr inbounds double, ptr %25, i64 %indvars.iv.ph
  %131 = load double, ptr %130, align 8, !tbaa !12
  %132 = fadd double %131, %129
  store double %132, ptr %130, align 8, !tbaa !12
  %indvars.iv.next.prol = or disjoint i64 %indvars.iv.ph, 1
  br label %.lr.ph.prol.loopexit

.lr.ph.prol.loopexit:                             ; preds = %.lr.ph.prol, %.lr.ph.preheader264
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %.lr.ph.preheader264 ], [ %indvars.iv.next.prol, %.lr.ph.prol ]
  %133 = add nsw i64 %37, -1
  %134 = icmp eq i64 %indvars.iv.ph, %133
  br i1 %134, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.prol.loopexit, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next.1, %.lr.ph ], [ %indvars.iv.unr, %.lr.ph.prol.loopexit ]
  %135 = getelementptr inbounds double, ptr %39, i64 %indvars.iv
  %136 = load double, ptr %135, align 8, !tbaa !12
  %137 = getelementptr inbounds double, ptr %40, i64 %indvars.iv
  %138 = load double, ptr %137, align 8, !tbaa !12
  %139 = fsub double %136, %138
  %140 = getelementptr inbounds double, ptr %25, i64 %indvars.iv
  %141 = load double, ptr %140, align 8, !tbaa !12
  %142 = fadd double %141, %139
  store double %142, ptr %140, align 8, !tbaa !12
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %143 = getelementptr inbounds double, ptr %39, i64 %indvars.iv.next
  %144 = load double, ptr %143, align 8, !tbaa !12
  %145 = getelementptr inbounds double, ptr %40, i64 %indvars.iv.next
  %146 = load double, ptr %145, align 8, !tbaa !12
  %147 = fsub double %144, %146
  %148 = getelementptr inbounds double, ptr %25, i64 %indvars.iv.next
  %149 = load double, ptr %148, align 8, !tbaa !12
  %150 = fadd double %149, %147
  store double %150, ptr %148, align 8, !tbaa !12
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %exitcond.not.1 = icmp eq i64 %indvars.iv.next.1, %37
  br i1 %exitcond.not.1, label %._crit_edge, label %.lr.ph, !llvm.loop !26

._crit_edge:                                      ; preds = %.lr.ph.prol.loopexit, %.lr.ph, %middle.block, %112
  %151 = call i32 @gettimeofday(ptr noundef nonnull %34, ptr noundef null) #8
  %152 = call i32 @timeval_subtract(ptr noundef nonnull %35, ptr noundef nonnull %34, ptr noundef nonnull %33) #8
  %153 = load i64, ptr %35, align 8, !tbaa !27
  %154 = mul nsw i64 %153, 1000
  %155 = getelementptr inbounds i8, ptr %35, i64 8
  %156 = load i64, ptr %155, align 8, !tbaa !30
  %157 = sdiv i64 %156, 1000
  %158 = add nsw i64 %157, %154
  %159 = trunc i64 %158 to i32
  %160 = sitofp i32 %159 to double
  %161 = fdiv double %160, 1.000000e+03
  %162 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.19, i64 noundef %15, double noundef %161)
  br label %163

163:                                              ; preds = %._crit_edge, %102
  %.1 = phi double [ %.0, %._crit_edge ], [ 0.000000e+00, %102 ]
  %.not239 = icmp eq i32 %13, 0
  br i1 %.not239, label %._crit_edge237, label %.lr.ph236

.lr.ph236:                                        ; preds = %163
  %.not240 = icmp eq i32 %1, 0
  %.not227 = icmp eq i32 %23, 0
  %wide.trip.count250 = zext i32 %13 to i64
  br label %164

164:                                              ; preds = %.lr.ph236, %195
  %indvars.iv247 = phi i64 [ 0, %.lr.ph236 ], [ %indvars.iv.next248, %195 ]
  br i1 %41, label %165, label %167

165:                                              ; preds = %164
  %166 = call double @ifdSampler(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %14, i32 noundef 1, double noundef %18, ptr noundef nonnull %31, ptr noundef nonnull %32, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %172

167:                                              ; preds = %164
  br i1 %42, label %168, label %170

168:                                              ; preds = %167
  %169 = call double @tntSampler(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %14, i32 noundef 1, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %172

170:                                              ; preds = %167
  %171 = call double @basicSampler(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %16, ptr noundef %39, ptr noundef %40, i64 noundef %14, i32 noundef 1, i32 noundef %19, i32 noundef %20, i32 noundef %27, i32 noundef %28) #8
  br label %172

172:                                              ; preds = %168, %170, %165
  %.3 = phi double [ %166, %165 ], [ %169, %168 ], [ %171, %170 ]
  %indvars.iv.next248 = add nuw nsw i64 %indvars.iv247, 1
  %173 = mul i64 %indvars.iv.next248, %14
  %174 = add i64 %173, %15
  %175 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %22, ptr noundef nonnull @.str.20, i64 noundef %174) #8
  br i1 %.not240, label %._crit_edge233, label %.lr.ph232

.lr.ph232:                                        ; preds = %172, %.lr.ph232
  %indvars.iv242 = phi i64 [ %indvars.iv.next243, %.lr.ph232 ], [ 0, %172 ]
  %176 = getelementptr inbounds double, ptr %39, i64 %indvars.iv242
  %177 = load double, ptr %176, align 8, !tbaa !12
  %178 = getelementptr inbounds double, ptr %40, i64 %indvars.iv242
  %179 = load double, ptr %178, align 8, !tbaa !12
  %180 = fsub double %177, %179
  %181 = getelementptr inbounds double, ptr %25, i64 %indvars.iv242
  %182 = load double, ptr %181, align 8, !tbaa !12
  %183 = fadd double %182, %180
  store double %183, ptr %181, align 8, !tbaa !12
  %184 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %22, ptr noundef nonnull @.str.21, double noundef %183) #8
  %indvars.iv.next243 = add nuw nsw i64 %indvars.iv242, 1
  %exitcond246.not = icmp eq i64 %indvars.iv.next243, %37
  br i1 %exitcond246.not, label %._crit_edge233, label %.lr.ph232, !llvm.loop !31

._crit_edge233:                                   ; preds = %.lr.ph232, %172
  %185 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %22, ptr noundef nonnull @.str.22, double noundef %.3) #8
  %186 = call i32 @fflush(ptr noundef %22)
  br i1 %.not227, label %195, label %187

187:                                              ; preds = %._crit_edge233
  %188 = call ptr @strncpy(ptr noundef nonnull dereferenceable(1) %30, ptr noundef nonnull dereferenceable(1) %21, i64 noundef 4096) #8
  %189 = call i32 (ptr, ptr, ...) @sprintf(ptr noundef nonnull dereferenceable(1) %36, ptr noundef nonnull dereferenceable(1) @.str.23, i64 noundef %174) #8
  %190 = call i64 @strlen(ptr noundef nonnull dereferenceable(1) %36) #10
  %191 = sub i64 4096, %190
  %192 = call ptr @strncat(ptr noundef nonnull dereferenceable(1) %30, ptr noundef nonnull %36, i64 noundef %191) #8
  %193 = call noalias ptr @fopen(ptr noundef nonnull %30, ptr noundef nonnull @.str.24)
  call void @write_graph_arclist_to_file(ptr noundef %193, ptr noundef %0) #8
  %194 = call i32 @fclose(ptr noundef %193)
  br label %195

195:                                              ; preds = %._crit_edge233, %187
  %exitcond251.not = icmp eq i64 %indvars.iv.next248, %wide.trip.count250
  br i1 %exitcond251.not, label %._crit_edge237, label %164, !llvm.loop !32

._crit_edge237:                                   ; preds = %195, %163
  %.2.lcssa = phi double [ %.1, %163 ], [ %.3, %195 ]
  %196 = load ptr, ptr @stdout, align 8, !tbaa !33
  %197 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %196, ptr noundef nonnull @.str.25, double noundef %.2.lcssa) #8
  call void @free(ptr noundef %39) #8
  call void @free(ptr noundef %40) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %35) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %34) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #8
  call void @llvm.lifetime.end.p0(i64 4097, ptr nonnull %30) #8
  ret i32 0
}

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

declare ptr @safe_malloc(i64 noundef) local_unnamed_addr #2

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

declare double @arcCorrection(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: nofree nounwind
declare noundef i32 @gettimeofday(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #4

declare double @ifdSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, double noundef, ptr noundef, ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare double @tntSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare double @basicSampler(ptr noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i64 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare i32 @timeval_subtract(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @fprintf(ptr nocapture noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: nofree nounwind
declare noundef i32 @fflush(ptr nocapture noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strncpy(ptr noalias noundef returned writeonly, ptr noalias nocapture noundef readonly, i64 noundef) local_unnamed_addr #5

; Function Attrs: nofree nounwind
declare noundef i32 @sprintf(ptr noalias nocapture noundef writeonly, ptr nocapture noundef readonly, ...) local_unnamed_addr #4

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strncat(ptr noalias noundef returned, ptr noalias nocapture noundef readonly, i64 noundef) local_unnamed_addr #5

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #6

; Function Attrs: nofree nounwind
declare noalias noundef ptr @fopen(ptr nocapture noundef readonly, ptr nocapture noundef readonly) local_unnamed_addr #4

declare void @write_graph_arclist_to_file(ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: nofree nounwind
declare noundef i32 @fclose(ptr nocapture noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #7

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

attributes #0 = { 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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "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 = { noreturn nounwind "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 = { nofree nounwind "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 #5 = { mustprogress nofree nounwind willreturn memory(argmem: readwrite) "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 #6 = { mustprogress nofree nounwind willreturn memory(argmem: read) "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 #7 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "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 #8 = { nounwind }
attributes #9 = { noreturn nounwind }
attributes #10 = { nounwind willreturn memory(read) }

!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, !7, i64 4}
!6 = !{!"graph_s", !7, i64 0, !7, i64 4, !7, i64 8, !7, i64 12, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !7, i64 56, !10, i64 64, !10, i64 72, !10, i64 80, !7, i64 88, !7, i64 92, !7, i64 96, !10, i64 104, !10, i64 112, !7, i64 120, !10, i64 128, !10, i64 136, !7, i64 144, !10, i64 152, !10, i64 160, !7, i64 168, !10, i64 176, !10, i64 184, !10, i64 192, !7, i64 200, !7, i64 204, !7, i64 208, !7, i64 212, !7, i64 216, !10, i64 224, !7, i64 232, !7, i64 236, !10, i64 240, !10, i64 248, !7, i64 256, !10, i64 264, !7, i64 272, !10, i64 280, !10, i64 288, !7, i64 296, !7, i64 300, !10, i64 304, !7, i64 312, !10, i64 320}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!6, !7, i64 8}
!12 = !{!13, !13, i64 0}
!13 = !{!"double", !8, i64 0}
!14 = !{!15}
!15 = distinct !{!15, !16}
!16 = distinct !{!16, !"LVerDomain"}
!17 = !{!18}
!18 = distinct !{!18, !16}
!19 = !{!20}
!20 = distinct !{!20, !16}
!21 = !{!15, !18}
!22 = distinct !{!22, !23, !24, !25}
!23 = !{!"llvm.loop.mustprogress"}
!24 = !{!"llvm.loop.isvectorized", i32 1}
!25 = !{!"llvm.loop.unroll.runtime.disable"}
!26 = distinct !{!26, !23, !24}
!27 = !{!28, !29, i64 0}
!28 = !{!"timeval", !29, i64 0, !29, i64 8}
!29 = !{!"long", !8, i64 0}
!30 = !{!28, !29, i64 8}
!31 = distinct !{!31, !23}
!32 = distinct !{!32, !23}
!33 = !{!10, !10, i64 0}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass