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

; 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.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 }
%struct.nodepair_s = type { i32, i32 }

@.str = external hidden unnamed_addr constant [44 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@ifdSampler.isDelete = external hidden global i32, align 4
@__PRETTY_FUNCTION__.ifdSampler = external hidden unnamed_addr constant [328 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [15 x i8], align 1
@stderr = external global ptr, align 8
@.str.12 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [81 x i8], align 1

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

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

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

; Function Attrs: nounwind uwtable
define dso_local 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 %13, ptr noundef %14, ptr noundef %15, i64 noundef %16, i32 noundef %17, double noundef %18, ptr noundef %19, ptr noundef %20, i32 noundef %21, i32 noundef %22, i32 noundef %23, i32 noundef %24) #2 {
  %26 = alloca ptr, align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %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 i64, align 8
  %43 = alloca i32, align 4
  %44 = alloca double, align 8
  %45 = alloca ptr, align 8
  %46 = alloca ptr, align 8
  %47 = alloca i32, align 4
  %48 = alloca i32, align 4
  %49 = alloca i32, align 4
  %50 = alloca i32, align 4
  %51 = alloca ptr, align 8
  %52 = alloca double, align 8
  %53 = alloca i64, align 8
  %54 = alloca i32, align 4
  %55 = alloca i32, align 4
  %56 = alloca double, align 8
  %57 = alloca double, align 8
  %58 = alloca i32, align 4
  %59 = alloca i32, align 4
  %60 = alloca i32, align 4
  %61 = alloca i64, align 8
  %62 = alloca i32, align 4
  store ptr %0, ptr %26, align 8, !tbaa !5
  store i32 %1, ptr %27, align 4, !tbaa !9
  store i32 %2, ptr %28, align 4, !tbaa !9
  store i32 %3, ptr %29, align 4, !tbaa !9
  store i32 %4, ptr %30, align 4, !tbaa !9
  store ptr %5, ptr %31, align 8, !tbaa !5
  store ptr %6, ptr %32, align 8, !tbaa !5
  store ptr %7, ptr %33, align 8, !tbaa !5
  store ptr %8, ptr %34, align 8, !tbaa !5
  store ptr %9, ptr %35, align 8, !tbaa !5
  store ptr %10, ptr %36, align 8, !tbaa !5
  store ptr %11, ptr %37, align 8, !tbaa !5
  store ptr %12, ptr %38, align 8, !tbaa !5
  store ptr %13, ptr %39, align 8, !tbaa !5
  store ptr %14, ptr %40, align 8, !tbaa !5
  store ptr %15, ptr %41, align 8, !tbaa !5
  store i64 %16, ptr %42, align 8, !tbaa !11
  store i32 %17, ptr %43, align 4, !tbaa !9
  store double %18, ptr %44, align 8, !tbaa !13
  store ptr %19, ptr %45, align 8, !tbaa !5
  store ptr %20, ptr %46, align 8, !tbaa !5
  store i32 %21, ptr %47, align 4, !tbaa !9
  store i32 %22, ptr %48, align 4, !tbaa !9
  store i32 %23, ptr %49, align 4, !tbaa !9
  store i32 %24, ptr %50, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #6
  %63 = load i32, ptr %27, align 4, !tbaa !9
  %64 = zext i32 %63 to i64
  %65 = mul i64 %64, 8
  %66 = call ptr @safe_malloc(i64 noundef %65)
  store ptr %66, ptr %51, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #6
  store i64 0, ptr %53, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %54) #6
  store i32 0, ptr %54, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %55) #6
  store i32 0, ptr %55, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %58) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %60) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %62) #6
  store i32 0, ptr %62, align 4, !tbaa !9
  %67 = load i32, ptr %47, align 4, !tbaa !9
  %68 = icmp ne i32 %67, 0
  br i1 %68, label %69, label %72

69:                                               ; preds = %25
  %70 = load i32, ptr %49, align 4, !tbaa !9
  %71 = icmp ne i32 %70, 0
  br i1 %71, label %73, label %72

72:                                               ; preds = %69, %25
  br label %74

73:                                               ; preds = %69
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 224, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

74:                                               ; preds = %72
  %75 = load i32, ptr %50, align 4, !tbaa !9
  %76 = icmp ne i32 %75, 0
  br i1 %76, label %77, label %83

77:                                               ; preds = %74
  %78 = load i32, ptr %47, align 4, !tbaa !9
  %79 = icmp ne i32 %78, 0
  br i1 %79, label %84, label %80

80:                                               ; preds = %77
  %81 = load i32, ptr %49, align 4, !tbaa !9
  %82 = icmp ne i32 %81, 0
  br i1 %82, label %84, label %83

83:                                               ; preds = %80, %74
  br label %85

84:                                               ; preds = %80, %77
  call void @__assert_fail(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 225, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

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

88:                                               ; preds = %85
  %89 = load ptr, ptr %26, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct.graph_s, ptr %89, i32 0, i32 1
  %91 = load i32, ptr %90, align 4, !tbaa !15
  %92 = icmp ne i32 %91, 0
  br i1 %92, label %93, label %94

93:                                               ; preds = %88, %85
  br label %95

94:                                               ; preds = %88
  call void @__assert_fail(ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 226, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

95:                                               ; preds = %93
  %96 = load i32, ptr %47, align 4, !tbaa !9
  %97 = icmp ne i32 %96, 0
  br i1 %97, label %98, label %103

98:                                               ; preds = %95
  %99 = load ptr, ptr %26, align 8, !tbaa !5
  %100 = getelementptr inbounds %struct.graph_s, ptr %99, i32 0, i32 2
  %101 = load i32, ptr %100, align 8, !tbaa !17
  %102 = icmp ne i32 %101, 0
  br i1 %102, label %104, label %103

103:                                              ; preds = %98, %95
  br label %105

104:                                              ; preds = %98
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.1, i32 noundef 227, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

105:                                              ; preds = %103
  %106 = load ptr, ptr %26, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct.graph_s, ptr %106, i32 0, i32 2
  %108 = load i32, ptr %107, align 8, !tbaa !17
  %109 = icmp ne i32 %108, 0
  br i1 %109, label %110, label %115

110:                                              ; preds = %105
  %111 = load ptr, ptr %26, align 8, !tbaa !5
  %112 = getelementptr inbounds %struct.graph_s, ptr %111, i32 0, i32 1
  %113 = load i32, ptr %112, align 4, !tbaa !15
  %114 = icmp ne i32 %113, 0
  br i1 %114, label %116, label %115

115:                                              ; preds = %110, %105
  br label %117

116:                                              ; preds = %110
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.1, i32 noundef 228, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

117:                                              ; preds = %115
  store i32 0, ptr %58, align 4, !tbaa !9
  br label %118

118:                                              ; preds = %131, %117
  %119 = load i32, ptr %58, align 4, !tbaa !9
  %120 = load i32, ptr %27, align 4, !tbaa !9
  %121 = icmp ult i32 %119, %120
  br i1 %121, label %122, label %134

122:                                              ; preds = %118
  %123 = load ptr, ptr %41, align 8, !tbaa !5
  %124 = load i32, ptr %58, align 4, !tbaa !9
  %125 = zext i32 %124 to i64
  %126 = getelementptr inbounds double, ptr %123, i64 %125
  store double 0.000000e+00, ptr %126, align 8, !tbaa !13
  %127 = load ptr, ptr %40, align 8, !tbaa !5
  %128 = load i32, ptr %58, align 4, !tbaa !9
  %129 = zext i32 %128 to i64
  %130 = getelementptr inbounds double, ptr %127, i64 %129
  store double 0.000000e+00, ptr %130, align 8, !tbaa !13
  br label %131

131:                                              ; preds = %122
  %132 = load i32, ptr %58, align 4, !tbaa !9
  %133 = add i32 %132, 1
  store i32 %133, ptr %58, align 4, !tbaa !9
  br label %118, !llvm.loop !18

134:                                              ; preds = %118
  store i64 0, ptr %61, align 8, !tbaa !11
  br label %135

135:                                              ; preds = %868, %134
  %136 = load i64, ptr %61, align 8, !tbaa !11
  %137 = load i64, ptr %42, align 8, !tbaa !11
  %138 = icmp ult i64 %136, %137
  br i1 %138, label %139, label %871

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

142:                                              ; preds = %139
  %143 = load i32, ptr %48, align 4, !tbaa !9
  %144 = icmp ne i32 %143, 0
  br i1 %144, label %146, label %145

145:                                              ; preds = %142
  br label %147

146:                                              ; preds = %142
  call void @__assert_fail(ptr noundef @.str.6, ptr noundef @.str.1, i32 noundef 237, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

147:                                              ; preds = %145
  %148 = load i32, ptr %50, align 4, !tbaa !9
  %149 = icmp ne i32 %148, 0
  br i1 %149, label %151, label %150

150:                                              ; preds = %147
  br label %152

151:                                              ; preds = %147
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 238, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

152:                                              ; preds = %150
  %153 = load ptr, ptr %26, align 8, !tbaa !5
  %154 = getelementptr inbounds %struct.graph_s, ptr %153, i32 0, i32 2
  %155 = load i32, ptr %154, align 8, !tbaa !17
  %156 = icmp ne i32 %155, 0
  br i1 %156, label %158, label %157

157:                                              ; preds = %152
  br label %159

158:                                              ; preds = %152
  call void @__assert_fail(ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 239, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

159:                                              ; preds = %157
  %160 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %161 = icmp ne i32 %160, 0
  br i1 %161, label %162, label %314

162:                                              ; preds = %159
  br label %163

163:                                              ; preds = %311, %162
  %164 = load ptr, ptr %26, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct.graph_s, ptr %164, i32 0, i32 1
  %166 = load i32, ptr %165, align 4, !tbaa !15
  %167 = icmp ne i32 %166, 0
  br i1 %167, label %168, label %189

168:                                              ; preds = %163
  %169 = load ptr, ptr %26, align 8, !tbaa !5
  %170 = getelementptr inbounds %struct.graph_s, ptr %169, i32 0, i32 38
  %171 = load i32, ptr %170, align 8, !tbaa !20
  %172 = call i32 @int_urand(i32 noundef %171)
  store i32 %172, ptr %62, align 4, !tbaa !9
  %173 = load ptr, ptr %26, align 8, !tbaa !5
  %174 = getelementptr inbounds %struct.graph_s, ptr %173, i32 0, i32 39
  %175 = load ptr, ptr %174, align 8, !tbaa !21
  %176 = load i32, ptr %62, align 4, !tbaa !9
  %177 = zext i32 %176 to i64
  %178 = getelementptr inbounds %struct.nodepair_s, ptr %175, i64 %177
  %179 = getelementptr inbounds %struct.nodepair_s, ptr %178, i32 0, i32 0
  %180 = load i32, ptr %179, align 4, !tbaa !22
  store i32 %180, ptr %58, align 4, !tbaa !9
  %181 = load ptr, ptr %26, align 8, !tbaa !5
  %182 = getelementptr inbounds %struct.graph_s, ptr %181, i32 0, i32 39
  %183 = load ptr, ptr %182, align 8, !tbaa !21
  %184 = load i32, ptr %62, align 4, !tbaa !9
  %185 = zext i32 %184 to i64
  %186 = getelementptr inbounds %struct.nodepair_s, ptr %183, i64 %185
  %187 = getelementptr inbounds %struct.nodepair_s, ptr %186, i32 0, i32 1
  %188 = load i32, ptr %187, align 4, !tbaa !24
  store i32 %188, ptr %59, align 4, !tbaa !9
  br label %210

189:                                              ; preds = %163
  %190 = load ptr, ptr %26, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.graph_s, ptr %190, i32 0, i32 40
  %192 = load i32, ptr %191, align 8, !tbaa !25
  %193 = call i32 @int_urand(i32 noundef %192)
  store i32 %193, ptr %62, align 4, !tbaa !9
  %194 = load ptr, ptr %26, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.graph_s, ptr %194, i32 0, i32 41
  %196 = load ptr, ptr %195, align 8, !tbaa !26
  %197 = load i32, ptr %62, align 4, !tbaa !9
  %198 = zext i32 %197 to i64
  %199 = getelementptr inbounds %struct.nodepair_s, ptr %196, i64 %198
  %200 = getelementptr inbounds %struct.nodepair_s, ptr %199, i32 0, i32 0
  %201 = load i32, ptr %200, align 4, !tbaa !22
  store i32 %201, ptr %58, align 4, !tbaa !9
  %202 = load ptr, ptr %26, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct.graph_s, ptr %202, i32 0, i32 41
  %204 = load ptr, ptr %203, align 8, !tbaa !26
  %205 = load i32, ptr %62, align 4, !tbaa !9
  %206 = zext i32 %205 to i64
  %207 = getelementptr inbounds %struct.nodepair_s, ptr %204, i64 %206
  %208 = getelementptr inbounds %struct.nodepair_s, ptr %207, i32 0, i32 1
  %209 = load i32, ptr %208, align 4, !tbaa !24
  store i32 %209, ptr %59, align 4, !tbaa !9
  br label %210

210:                                              ; preds = %189, %168
  %211 = load ptr, ptr %26, align 8, !tbaa !5
  %212 = getelementptr inbounds %struct.graph_s, ptr %211, i32 0, i32 33
  %213 = load ptr, ptr %212, align 8, !tbaa !27
  %214 = load i32, ptr %58, align 4, !tbaa !9
  %215 = zext i32 %214 to i64
  %216 = getelementptr inbounds i32, ptr %213, i64 %215
  %217 = load i32, ptr %216, align 4, !tbaa !9
  %218 = load ptr, ptr %26, align 8, !tbaa !5
  %219 = getelementptr inbounds %struct.graph_s, ptr %218, i32 0, i32 34
  %220 = load i32, ptr %219, align 8, !tbaa !28
  %221 = icmp ult i32 %217, %220
  br i1 %221, label %222, label %235

222:                                              ; preds = %210
  %223 = load ptr, ptr %26, align 8, !tbaa !5
  %224 = getelementptr inbounds %struct.graph_s, ptr %223, i32 0, i32 33
  %225 = load ptr, ptr %224, align 8, !tbaa !27
  %226 = load i32, ptr %59, align 4, !tbaa !9
  %227 = zext i32 %226 to i64
  %228 = getelementptr inbounds i32, ptr %225, i64 %227
  %229 = load i32, ptr %228, align 4, !tbaa !9
  %230 = load ptr, ptr %26, align 8, !tbaa !5
  %231 = getelementptr inbounds %struct.graph_s, ptr %230, i32 0, i32 34
  %232 = load i32, ptr %231, align 8, !tbaa !28
  %233 = icmp ult i32 %229, %232
  br i1 %233, label %234, label %235

234:                                              ; preds = %222
  br label %236

235:                                              ; preds = %222, %210
  call void @__assert_fail(ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 261, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

236:                                              ; preds = %234
  %237 = load ptr, ptr %26, align 8, !tbaa !5
  %238 = getelementptr inbounds %struct.graph_s, ptr %237, i32 0, i32 33
  %239 = load ptr, ptr %238, align 8, !tbaa !27
  %240 = load i32, ptr %58, align 4, !tbaa !9
  %241 = zext i32 %240 to i64
  %242 = getelementptr inbounds i32, ptr %239, i64 %241
  %243 = load i32, ptr %242, align 4, !tbaa !9
  %244 = zext i32 %243 to i64
  %245 = load ptr, ptr %26, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct.graph_s, ptr %245, i32 0, i32 33
  %247 = load ptr, ptr %246, align 8, !tbaa !27
  %248 = load i32, ptr %59, align 4, !tbaa !9
  %249 = zext i32 %248 to i64
  %250 = getelementptr inbounds i32, ptr %247, i64 %249
  %251 = load i32, ptr %250, align 4, !tbaa !9
  %252 = zext i32 %251 to i64
  %253 = sub nsw i64 %244, %252
  %254 = call i64 @llvm.abs.i64(i64 %253, i1 true)
  %255 = icmp sle i64 %254, 1
  br i1 %255, label %256, label %257

256:                                              ; preds = %236
  br label %258

257:                                              ; preds = %236
  call void @__assert_fail(ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 263, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

258:                                              ; preds = %256
  br label %259

259:                                              ; preds = %258
  %260 = load ptr, ptr %26, align 8, !tbaa !5
  %261 = getelementptr inbounds %struct.graph_s, ptr %260, i32 0, i32 33
  %262 = load ptr, ptr %261, align 8, !tbaa !27
  %263 = load i32, ptr %58, align 4, !tbaa !9
  %264 = zext i32 %263 to i64
  %265 = getelementptr inbounds i32, ptr %262, i64 %264
  %266 = load i32, ptr %265, align 4, !tbaa !9
  %267 = load ptr, ptr %26, align 8, !tbaa !5
  %268 = getelementptr inbounds %struct.graph_s, ptr %267, i32 0, i32 33
  %269 = load ptr, ptr %268, align 8, !tbaa !27
  %270 = load i32, ptr %59, align 4, !tbaa !9
  %271 = zext i32 %270 to i64
  %272 = getelementptr inbounds i32, ptr %269, i64 %271
  %273 = load i32, ptr %272, align 4, !tbaa !9
  %274 = icmp ugt i32 %266, %273
  br i1 %274, label %275, label %284

275:                                              ; preds = %259
  %276 = load ptr, ptr %26, align 8, !tbaa !5
  %277 = getelementptr inbounds %struct.graph_s, ptr %276, i32 0, i32 37
  %278 = load ptr, ptr %277, align 8, !tbaa !29
  %279 = load i32, ptr %58, align 4, !tbaa !9
  %280 = zext i32 %279 to i64
  %281 = getelementptr inbounds i32, ptr %278, i64 %280
  %282 = load i32, ptr %281, align 4, !tbaa !9
  %283 = icmp eq i32 %282, 1
  br i1 %283, label %311, label %284

284:                                              ; preds = %275, %259
  %285 = load ptr, ptr %26, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct.graph_s, ptr %285, i32 0, i32 33
  %287 = load ptr, ptr %286, align 8, !tbaa !27
  %288 = load i32, ptr %59, align 4, !tbaa !9
  %289 = zext i32 %288 to i64
  %290 = getelementptr inbounds i32, ptr %287, i64 %289
  %291 = load i32, ptr %290, align 4, !tbaa !9
  %292 = load ptr, ptr %26, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct.graph_s, ptr %292, i32 0, i32 33
  %294 = load ptr, ptr %293, align 8, !tbaa !27
  %295 = load i32, ptr %58, align 4, !tbaa !9
  %296 = zext i32 %295 to i64
  %297 = getelementptr inbounds i32, ptr %294, i64 %296
  %298 = load i32, ptr %297, align 4, !tbaa !9
  %299 = icmp ugt i32 %291, %298
  br i1 %299, label %300, label %309

300:                                              ; preds = %284
  %301 = load ptr, ptr %26, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct.graph_s, ptr %301, i32 0, i32 37
  %303 = load ptr, ptr %302, align 8, !tbaa !29
  %304 = load i32, ptr %59, align 4, !tbaa !9
  %305 = zext i32 %304 to i64
  %306 = getelementptr inbounds i32, ptr %303, i64 %305
  %307 = load i32, ptr %306, align 4, !tbaa !9
  %308 = icmp eq i32 %307, 1
  br label %309

309:                                              ; preds = %300, %284
  %310 = phi i1 [ false, %284 ], [ %308, %300 ]
  br label %311

311:                                              ; preds = %309, %275
  %312 = phi i1 [ true, %275 ], [ %310, %309 ]
  br i1 %312, label %163, label %313, !llvm.loop !30

313:                                              ; preds = %311
  br label %397

314:                                              ; preds = %159
  br label %315

315:                                              ; preds = %394, %314
  %316 = load ptr, ptr %26, align 8, !tbaa !5
  %317 = getelementptr inbounds %struct.graph_s, ptr %316, i32 0, i32 36
  %318 = load ptr, ptr %317, align 8, !tbaa !31
  %319 = load ptr, ptr %26, align 8, !tbaa !5
  %320 = getelementptr inbounds %struct.graph_s, ptr %319, i32 0, i32 35
  %321 = load i32, ptr %320, align 4, !tbaa !32
  %322 = call i32 @int_urand(i32 noundef %321)
  %323 = zext i32 %322 to i64
  %324 = getelementptr inbounds i32, ptr %318, i64 %323
  %325 = load i32, ptr %324, align 4, !tbaa !9
  store i32 %325, ptr %58, align 4, !tbaa !9
  br label %326

326:                                              ; preds = %337, %315
  %327 = load ptr, ptr %26, align 8, !tbaa !5
  %328 = getelementptr inbounds %struct.graph_s, ptr %327, i32 0, i32 36
  %329 = load ptr, ptr %328, align 8, !tbaa !31
  %330 = load ptr, ptr %26, align 8, !tbaa !5
  %331 = getelementptr inbounds %struct.graph_s, ptr %330, i32 0, i32 35
  %332 = load i32, ptr %331, align 4, !tbaa !32
  %333 = call i32 @int_urand(i32 noundef %332)
  %334 = zext i32 %333 to i64
  %335 = getelementptr inbounds i32, ptr %329, i64 %334
  %336 = load i32, ptr %335, align 4, !tbaa !9
  store i32 %336, ptr %59, align 4, !tbaa !9
  br label %337

337:                                              ; preds = %326
  %338 = load i32, ptr %58, align 4, !tbaa !9
  %339 = load i32, ptr %59, align 4, !tbaa !9
  %340 = icmp eq i32 %338, %339
  br i1 %340, label %326, label %341, !llvm.loop !33

341:                                              ; preds = %337
  %342 = load ptr, ptr %26, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct.graph_s, ptr %342, i32 0, i32 33
  %344 = load ptr, ptr %343, align 8, !tbaa !27
  %345 = load i32, ptr %58, align 4, !tbaa !9
  %346 = zext i32 %345 to i64
  %347 = getelementptr inbounds i32, ptr %344, i64 %346
  %348 = load i32, ptr %347, align 4, !tbaa !9
  %349 = load ptr, ptr %26, align 8, !tbaa !5
  %350 = getelementptr inbounds %struct.graph_s, ptr %349, i32 0, i32 34
  %351 = load i32, ptr %350, align 8, !tbaa !28
  %352 = icmp ult i32 %348, %351
  br i1 %352, label %353, label %366

353:                                              ; preds = %341
  %354 = load ptr, ptr %26, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct.graph_s, ptr %354, i32 0, i32 33
  %356 = load ptr, ptr %355, align 8, !tbaa !27
  %357 = load i32, ptr %59, align 4, !tbaa !9
  %358 = zext i32 %357 to i64
  %359 = getelementptr inbounds i32, ptr %356, i64 %358
  %360 = load i32, ptr %359, align 4, !tbaa !9
  %361 = load ptr, ptr %26, align 8, !tbaa !5
  %362 = getelementptr inbounds %struct.graph_s, ptr %361, i32 0, i32 34
  %363 = load i32, ptr %362, align 8, !tbaa !28
  %364 = icmp ult i32 %360, %363
  br i1 %364, label %365, label %366

365:                                              ; preds = %353
  br label %367

366:                                              ; preds = %353, %341
  call void @__assert_fail(ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 279, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

367:                                              ; preds = %365
  br label %368

368:                                              ; preds = %367
  %369 = load ptr, ptr %26, align 8, !tbaa !5
  %370 = load i32, ptr %58, align 4, !tbaa !9
  %371 = load i32, ptr %59, align 4, !tbaa !9
  %372 = call i32 @isArcIgnoreDirection(ptr noundef %369, i32 noundef %370, i32 noundef %371)
  %373 = icmp ne i32 %372, 0
  br i1 %373, label %394, label %374

374:                                              ; preds = %368
  %375 = load ptr, ptr %26, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct.graph_s, ptr %375, i32 0, i32 33
  %377 = load ptr, ptr %376, align 8, !tbaa !27
  %378 = load i32, ptr %58, align 4, !tbaa !9
  %379 = zext i32 %378 to i64
  %380 = getelementptr inbounds i32, ptr %377, i64 %379
  %381 = load i32, ptr %380, align 4, !tbaa !9
  %382 = zext i32 %381 to i64
  %383 = load ptr, ptr %26, align 8, !tbaa !5
  %384 = getelementptr inbounds %struct.graph_s, ptr %383, i32 0, i32 33
  %385 = load ptr, ptr %384, align 8, !tbaa !27
  %386 = load i32, ptr %59, align 4, !tbaa !9
  %387 = zext i32 %386 to i64
  %388 = getelementptr inbounds i32, ptr %385, i64 %387
  %389 = load i32, ptr %388, align 4, !tbaa !9
  %390 = zext i32 %389 to i64
  %391 = sub nsw i64 %382, %390
  %392 = call i64 @llvm.abs.i64(i64 %391, i1 true)
  %393 = icmp sgt i64 %392, 1
  br label %394

394:                                              ; preds = %374, %368
  %395 = phi i1 [ true, %368 ], [ %393, %374 ]
  br i1 %395, label %315, label %396, !llvm.loop !34

396:                                              ; preds = %394
  br label %397

397:                                              ; preds = %396, %313
  br label %676

398:                                              ; preds = %139
  %399 = load i32, ptr %49, align 4, !tbaa !9
  %400 = icmp ne i32 %399, 0
  br i1 %400, label %401, label %542

401:                                              ; preds = %398
  %402 = load ptr, ptr %26, align 8, !tbaa !5
  %403 = getelementptr inbounds %struct.graph_s, ptr %402, i32 0, i32 1
  %404 = load i32, ptr %403, align 4, !tbaa !15
  %405 = icmp ne i32 %404, 0
  br i1 %405, label %406, label %407

406:                                              ; preds = %401
  br label %408

407:                                              ; preds = %401
  call void @__assert_fail(ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 284, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

408:                                              ; preds = %406
  %409 = load i32, ptr %50, align 4, !tbaa !9
  %410 = icmp ne i32 %409, 0
  br i1 %410, label %412, label %411

411:                                              ; preds = %408
  br label %413

412:                                              ; preds = %408
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 285, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

413:                                              ; preds = %411
  %414 = load ptr, ptr %26, align 8, !tbaa !5
  %415 = getelementptr inbounds %struct.graph_s, ptr %414, i32 0, i32 2
  %416 = load i32, ptr %415, align 8, !tbaa !17
  %417 = icmp ne i32 %416, 0
  br i1 %417, label %419, label %418

418:                                              ; preds = %413
  br label %420

419:                                              ; preds = %413
  call void @__assert_fail(ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 286, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

420:                                              ; preds = %418
  %421 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %422 = icmp ne i32 %421, 0
  br i1 %422, label %423, label %431

423:                                              ; preds = %420
  %424 = load ptr, ptr %26, align 8, !tbaa !5
  %425 = getelementptr inbounds %struct.graph_s, ptr %424, i32 0, i32 46
  %426 = load i32, ptr %425, align 8, !tbaa !35
  %427 = icmp eq i32 %426, 0
  br i1 %427, label %428, label %431

428:                                              ; preds = %423
  %429 = load ptr, ptr @stderr, align 8, !tbaa !5
  %430 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %429, ptr noundef @.str.12) #6
  store i32 0, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  br label %431

431:                                              ; preds = %428, %423, %420
  %432 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %433 = icmp ne i32 %432, 0
  br i1 %433, label %434, label %481

434:                                              ; preds = %431
  %435 = load ptr, ptr %26, align 8, !tbaa !5
  %436 = getelementptr inbounds %struct.graph_s, ptr %435, i32 0, i32 46
  %437 = load i32, ptr %436, align 8, !tbaa !35
  %438 = call i32 @int_urand(i32 noundef %437)
  store i32 %438, ptr %62, align 4, !tbaa !9
  %439 = load ptr, ptr %26, align 8, !tbaa !5
  %440 = getelementptr inbounds %struct.graph_s, ptr %439, i32 0, i32 47
  %441 = load ptr, ptr %440, align 8, !tbaa !36
  %442 = load i32, ptr %62, align 4, !tbaa !9
  %443 = zext i32 %442 to i64
  %444 = getelementptr inbounds %struct.nodepair_s, ptr %441, i64 %443
  %445 = getelementptr inbounds %struct.nodepair_s, ptr %444, i32 0, i32 0
  %446 = load i32, ptr %445, align 4, !tbaa !22
  store i32 %446, ptr %58, align 4, !tbaa !9
  %447 = load ptr, ptr %26, align 8, !tbaa !5
  %448 = getelementptr inbounds %struct.graph_s, ptr %447, i32 0, i32 47
  %449 = load ptr, ptr %448, align 8, !tbaa !36
  %450 = load i32, ptr %62, align 4, !tbaa !9
  %451 = zext i32 %450 to i64
  %452 = getelementptr inbounds %struct.nodepair_s, ptr %449, i64 %451
  %453 = getelementptr inbounds %struct.nodepair_s, ptr %452, i32 0, i32 1
  %454 = load i32, ptr %453, align 4, !tbaa !24
  store i32 %454, ptr %59, align 4, !tbaa !9
  %455 = load ptr, ptr %26, align 8, !tbaa !5
  %456 = getelementptr inbounds %struct.graph_s, ptr %455, i32 0, i32 42
  %457 = load ptr, ptr %456, align 8, !tbaa !37
  %458 = load i32, ptr %58, align 4, !tbaa !9
  %459 = zext i32 %458 to i64
  %460 = getelementptr inbounds i32, ptr %457, i64 %459
  %461 = load i32, ptr %460, align 4, !tbaa !9
  %462 = load ptr, ptr %26, align 8, !tbaa !5
  %463 = getelementptr inbounds %struct.graph_s, ptr %462, i32 0, i32 43
  %464 = load i32, ptr %463, align 8, !tbaa !38
  %465 = icmp eq i32 %461, %464
  br i1 %465, label %466, label %479

466:                                              ; preds = %434
  %467 = load ptr, ptr %26, align 8, !tbaa !5
  %468 = getelementptr inbounds %struct.graph_s, ptr %467, i32 0, i32 42
  %469 = load ptr, ptr %468, align 8, !tbaa !37
  %470 = load i32, ptr %59, align 4, !tbaa !9
  %471 = zext i32 %470 to i64
  %472 = getelementptr inbounds i32, ptr %469, i64 %471
  %473 = load i32, ptr %472, align 4, !tbaa !9
  %474 = load ptr, ptr %26, align 8, !tbaa !5
  %475 = getelementptr inbounds %struct.graph_s, ptr %474, i32 0, i32 43
  %476 = load i32, ptr %475, align 8, !tbaa !38
  %477 = icmp ule i32 %473, %476
  br i1 %477, label %478, label %479

478:                                              ; preds = %466
  br label %480

479:                                              ; preds = %466, %434
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 300, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

480:                                              ; preds = %478
  br label %541

481:                                              ; preds = %431
  br label %482

482:                                              ; preds = %538, %481
  %483 = load ptr, ptr %26, align 8, !tbaa !5
  %484 = getelementptr inbounds %struct.graph_s, ptr %483, i32 0, i32 45
  %485 = load ptr, ptr %484, align 8, !tbaa !39
  %486 = load ptr, ptr %26, align 8, !tbaa !5
  %487 = getelementptr inbounds %struct.graph_s, ptr %486, i32 0, i32 44
  %488 = load i32, ptr %487, align 4, !tbaa !40
  %489 = call i32 @int_urand(i32 noundef %488)
  %490 = zext i32 %489 to i64
  %491 = getelementptr inbounds i32, ptr %485, i64 %490
  %492 = load i32, ptr %491, align 4, !tbaa !9
  store i32 %492, ptr %58, align 4, !tbaa !9
  br label %493

493:                                              ; preds = %498, %482
  %494 = load ptr, ptr %26, align 8, !tbaa !5
  %495 = getelementptr inbounds %struct.graph_s, ptr %494, i32 0, i32 0
  %496 = load i32, ptr %495, align 8, !tbaa !41
  %497 = call i32 @int_urand(i32 noundef %496)
  store i32 %497, ptr %59, align 4, !tbaa !9
  br label %498

498:                                              ; preds = %493
  %499 = load i32, ptr %58, align 4, !tbaa !9
  %500 = load i32, ptr %59, align 4, !tbaa !9
  %501 = icmp eq i32 %499, %500
  br i1 %501, label %493, label %502, !llvm.loop !42

502:                                              ; preds = %498
  %503 = load ptr, ptr %26, align 8, !tbaa !5
  %504 = getelementptr inbounds %struct.graph_s, ptr %503, i32 0, i32 42
  %505 = load ptr, ptr %504, align 8, !tbaa !37
  %506 = load i32, ptr %58, align 4, !tbaa !9
  %507 = zext i32 %506 to i64
  %508 = getelementptr inbounds i32, ptr %505, i64 %507
  %509 = load i32, ptr %508, align 4, !tbaa !9
  %510 = load ptr, ptr %26, align 8, !tbaa !5
  %511 = getelementptr inbounds %struct.graph_s, ptr %510, i32 0, i32 43
  %512 = load i32, ptr %511, align 8, !tbaa !38
  %513 = icmp eq i32 %509, %512
  br i1 %513, label %514, label %527

514:                                              ; preds = %502
  %515 = load ptr, ptr %26, align 8, !tbaa !5
  %516 = getelementptr inbounds %struct.graph_s, ptr %515, i32 0, i32 42
  %517 = load ptr, ptr %516, align 8, !tbaa !37
  %518 = load i32, ptr %59, align 4, !tbaa !9
  %519 = zext i32 %518 to i64
  %520 = getelementptr inbounds i32, ptr %517, i64 %519
  %521 = load i32, ptr %520, align 4, !tbaa !9
  %522 = load ptr, ptr %26, align 8, !tbaa !5
  %523 = getelementptr inbounds %struct.graph_s, ptr %522, i32 0, i32 43
  %524 = load i32, ptr %523, align 8, !tbaa !38
  %525 = icmp ule i32 %521, %524
  br i1 %525, label %526, label %527

526:                                              ; preds = %514
  br label %528

527:                                              ; preds = %514, %502
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 313, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

528:                                              ; preds = %526
  br label %529

529:                                              ; preds = %528
  %530 = load i32, ptr %48, align 4, !tbaa !9
  %531 = icmp ne i32 %530, 0
  br i1 %531, label %532, label %538

532:                                              ; preds = %529
  %533 = load ptr, ptr %26, align 8, !tbaa !5
  %534 = load i32, ptr %58, align 4, !tbaa !9
  %535 = load i32, ptr %59, align 4, !tbaa !9
  %536 = call i32 @isArc(ptr noundef %533, i32 noundef %534, i32 noundef %535)
  %537 = icmp ne i32 %536, 0
  br label %538

538:                                              ; preds = %532, %529
  %539 = phi i1 [ false, %529 ], [ %537, %532 ]
  br i1 %539, label %482, label %540, !llvm.loop !43

540:                                              ; preds = %538
  br label %541

541:                                              ; preds = %540, %480
  br label %675

542:                                              ; preds = %398
  %543 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %544 = icmp ne i32 %543, 0
  br i1 %544, label %545, label %601

545:                                              ; preds = %542
  %546 = load ptr, ptr %26, align 8, !tbaa !5
  %547 = getelementptr inbounds %struct.graph_s, ptr %546, i32 0, i32 1
  %548 = load i32, ptr %547, align 4, !tbaa !15
  %549 = icmp ne i32 %548, 0
  br i1 %549, label %550, label %579

550:                                              ; preds = %545
  %551 = load ptr, ptr %26, align 8, !tbaa !5
  %552 = getelementptr inbounds %struct.graph_s, ptr %551, i32 0, i32 3
  %553 = load i32, ptr %552, align 4, !tbaa !44
  %554 = call i32 @int_urand(i32 noundef %553)
  store i32 %554, ptr %62, align 4, !tbaa !9
  %555 = load ptr, ptr %26, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct.graph_s, ptr %555, i32 0, i32 8
  %557 = load ptr, ptr %556, align 8, !tbaa !45
  %558 = load i32, ptr %62, align 4, !tbaa !9
  %559 = zext i32 %558 to i64
  %560 = getelementptr inbounds %struct.nodepair_s, ptr %557, i64 %559
  %561 = getelementptr inbounds %struct.nodepair_s, ptr %560, i32 0, i32 0
  %562 = load i32, ptr %561, align 4, !tbaa !22
  store i32 %562, ptr %58, align 4, !tbaa !9
  %563 = load ptr, ptr %26, align 8, !tbaa !5
  %564 = getelementptr inbounds %struct.graph_s, ptr %563, i32 0, i32 8
  %565 = load ptr, ptr %564, align 8, !tbaa !45
  %566 = load i32, ptr %62, align 4, !tbaa !9
  %567 = zext i32 %566 to i64
  %568 = getelementptr inbounds %struct.nodepair_s, ptr %565, i64 %567
  %569 = getelementptr inbounds %struct.nodepair_s, ptr %568, i32 0, i32 1
  %570 = load i32, ptr %569, align 4, !tbaa !24
  store i32 %570, ptr %59, align 4, !tbaa !9
  %571 = load ptr, ptr %26, align 8, !tbaa !5
  %572 = load i32, ptr %58, align 4, !tbaa !9
  %573 = load i32, ptr %59, align 4, !tbaa !9
  %574 = call i32 @isArc(ptr noundef %571, i32 noundef %572, i32 noundef %573)
  %575 = icmp ne i32 %574, 0
  br i1 %575, label %576, label %577

576:                                              ; preds = %550
  br label %578

577:                                              ; preds = %550
  call void @__assert_fail(ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 324, ptr noundef @__PRETTY_FUNCTION__.ifdSampler) #7
  unreachable

578:                                              ; preds = %576
  br label %600

579:                                              ; preds = %545
  %580 = load ptr, ptr %26, align 8, !tbaa !5
  %581 = getelementptr inbounds %struct.graph_s, ptr %580, i32 0, i32 9
  %582 = load i32, ptr %581, align 8, !tbaa !46
  %583 = call i32 @int_urand(i32 noundef %582)
  store i32 %583, ptr %62, align 4, !tbaa !9
  %584 = load ptr, ptr %26, align 8, !tbaa !5
  %585 = getelementptr inbounds %struct.graph_s, ptr %584, i32 0, i32 12
  %586 = load ptr, ptr %585, align 8, !tbaa !47
  %587 = load i32, ptr %62, align 4, !tbaa !9
  %588 = zext i32 %587 to i64
  %589 = getelementptr inbounds %struct.nodepair_s, ptr %586, i64 %588
  %590 = getelementptr inbounds %struct.nodepair_s, ptr %589, i32 0, i32 0
  %591 = load i32, ptr %590, align 4, !tbaa !22
  store i32 %591, ptr %58, align 4, !tbaa !9
  %592 = load ptr, ptr %26, align 8, !tbaa !5
  %593 = getelementptr inbounds %struct.graph_s, ptr %592, i32 0, i32 12
  %594 = load ptr, ptr %593, align 8, !tbaa !47
  %595 = load i32, ptr %62, align 4, !tbaa !9
  %596 = zext i32 %595 to i64
  %597 = getelementptr inbounds %struct.nodepair_s, ptr %594, i64 %596
  %598 = getelementptr inbounds %struct.nodepair_s, ptr %597, i32 0, i32 1
  %599 = load i32, ptr %598, align 4, !tbaa !24
  store i32 %599, ptr %59, align 4, !tbaa !9
  br label %600

600:                                              ; preds = %579, %578
  br label %674

601:                                              ; preds = %542
  %602 = load ptr, ptr %26, align 8, !tbaa !5
  %603 = getelementptr inbounds %struct.graph_s, ptr %602, i32 0, i32 2
  %604 = load i32, ptr %603, align 8, !tbaa !17
  %605 = icmp ne i32 %604, 0
  br i1 %605, label %606, label %627

606:                                              ; preds = %601
  br label %607

607:                                              ; preds = %620, %606
  %608 = load ptr, ptr %26, align 8, !tbaa !5
  %609 = getelementptr inbounds %struct.graph_s, ptr %608, i32 0, i32 13
  %610 = load i32, ptr %609, align 8, !tbaa !48
  %611 = call i32 @int_urand(i32 noundef %610)
  store i32 %611, ptr %58, align 4, !tbaa !9
  %612 = load ptr, ptr %26, align 8, !tbaa !5
  %613 = getelementptr inbounds %struct.graph_s, ptr %612, i32 0, i32 13
  %614 = load i32, ptr %613, align 8, !tbaa !48
  %615 = load ptr, ptr %26, align 8, !tbaa !5
  %616 = getelementptr inbounds %struct.graph_s, ptr %615, i32 0, i32 14
  %617 = load i32, ptr %616, align 4, !tbaa !49
  %618 = call i32 @int_urand(i32 noundef %617)
  %619 = add i32 %614, %618
  store i32 %619, ptr %59, align 4, !tbaa !9
  br label %620

620:                                              ; preds = %607
  %621 = load ptr, ptr %26, align 8, !tbaa !5
  %622 = load i32, ptr %58, align 4, !tbaa !9
  %623 = load i32, ptr %59, align 4, !tbaa !9
  %624 = call i32 @isEdge(ptr noundef %621, i32 noundef %622, i32 noundef %623)
  %625 = icmp ne i32 %624, 0
  br i1 %625, label %607, label %626, !llvm.loop !50

626:                                              ; preds = %620
  br label %673

627:                                              ; preds = %601
  br label %628

628:                                              ; preds = %670, %627
  br label %629

629:                                              ; preds = %649, %628
  %630 = load ptr, ptr %26, align 8, !tbaa !5
  %631 = getelementptr inbounds %struct.graph_s, ptr %630, i32 0, i32 0
  %632 = load i32, ptr %631, align 8, !tbaa !41
  %633 = call i32 @int_urand(i32 noundef %632)
  store i32 %633, ptr %58, align 4, !tbaa !9
  br label %634

634:                                              ; preds = %646, %629
  %635 = load ptr, ptr %26, align 8, !tbaa !5
  %636 = getelementptr inbounds %struct.graph_s, ptr %635, i32 0, i32 0
  %637 = load i32, ptr %636, align 8, !tbaa !41
  %638 = call i32 @int_urand(i32 noundef %637)
  store i32 %638, ptr %59, align 4, !tbaa !9
  br label %639

639:                                              ; preds = %634
  %640 = load i32, ptr %50, align 4, !tbaa !9
  %641 = icmp ne i32 %640, 0
  br i1 %641, label %646, label %642

642:                                              ; preds = %639
  %643 = load i32, ptr %58, align 4, !tbaa !9
  %644 = load i32, ptr %59, align 4, !tbaa !9
  %645 = icmp eq i32 %643, %644
  br label %646

646:                                              ; preds = %642, %639
  %647 = phi i1 [ false, %639 ], [ %645, %642 ]
  br i1 %647, label %634, label %648, !llvm.loop !51

648:                                              ; preds = %646
  br label %649

649:                                              ; preds = %648
  %650 = load ptr, ptr %26, align 8, !tbaa !5
  %651 = load i32, ptr %58, align 4, !tbaa !9
  %652 = load i32, ptr %59, align 4, !tbaa !9
  %653 = call i32 @isArcOrEdge(ptr noundef %650, i32 noundef %651, i32 noundef %652)
  %654 = icmp ne i32 %653, 0
  br i1 %654, label %629, label %655, !llvm.loop !52

655:                                              ; preds = %649
  br label %656

656:                                              ; preds = %655
  %657 = load ptr, ptr %26, align 8, !tbaa !5
  %658 = getelementptr inbounds %struct.graph_s, ptr %657, i32 0, i32 1
  %659 = load i32, ptr %658, align 4, !tbaa !15
  %660 = icmp ne i32 %659, 0
  br i1 %660, label %661, label %670

661:                                              ; preds = %656
  %662 = load i32, ptr %48, align 4, !tbaa !9
  %663 = icmp ne i32 %662, 0
  br i1 %663, label %664, label %670

664:                                              ; preds = %661
  %665 = load ptr, ptr %26, align 8, !tbaa !5
  %666 = load i32, ptr %59, align 4, !tbaa !9
  %667 = load i32, ptr %58, align 4, !tbaa !9
  %668 = call i32 @isArc(ptr noundef %665, i32 noundef %666, i32 noundef %667)
  %669 = icmp ne i32 %668, 0
  br label %670

670:                                              ; preds = %664, %661, %656
  %671 = phi i1 [ false, %661 ], [ false, %656 ], [ %669, %664 ]
  br i1 %671, label %628, label %672, !llvm.loop !53

672:                                              ; preds = %670
  br label %673

673:                                              ; preds = %672, %626
  br label %674

674:                                              ; preds = %673, %600
  br label %675

675:                                              ; preds = %674, %541
  br label %676

676:                                              ; preds = %675, %397
  %677 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %678 = icmp ne i32 %677, 0
  br i1 %678, label %679, label %704

679:                                              ; preds = %676
  %680 = load i32, ptr %47, align 4, !tbaa !9
  %681 = icmp ne i32 %680, 0
  br i1 %681, label %682, label %687

682:                                              ; preds = %679
  %683 = load ptr, ptr %26, align 8, !tbaa !5
  %684 = load i32, ptr %58, align 4, !tbaa !9
  %685 = load i32, ptr %59, align 4, !tbaa !9
  %686 = load i32, ptr %62, align 4, !tbaa !9
  call void @removeArcOrEdge_updateinnerlist(ptr noundef %683, i32 noundef %684, i32 noundef %685, i32 noundef %686)
  br label %701

687:                                              ; preds = %679
  %688 = load i32, ptr %49, align 4, !tbaa !9
  %689 = icmp ne i32 %688, 0
  br i1 %689, label %690, label %695

690:                                              ; preds = %687
  %691 = load ptr, ptr %26, align 8, !tbaa !5
  %692 = load i32, ptr %58, align 4, !tbaa !9
  %693 = load i32, ptr %59, align 4, !tbaa !9
  %694 = load i32, ptr %62, align 4, !tbaa !9
  call void @removeArc_all_maxtermsender_arcs(ptr noundef %691, i32 noundef %692, i32 noundef %693, i32 noundef %694)
  br label %700

695:                                              ; preds = %687
  %696 = load ptr, ptr %26, align 8, !tbaa !5
  %697 = load i32, ptr %58, align 4, !tbaa !9
  %698 = load i32, ptr %59, align 4, !tbaa !9
  %699 = load i32, ptr %62, align 4, !tbaa !9
  call void @removeArcOrEdge_updatelist(ptr noundef %696, i32 noundef %697, i32 noundef %698, i32 noundef %699)
  br label %700

700:                                              ; preds = %695, %690
  br label %701

701:                                              ; preds = %700, %682
  %702 = load i32, ptr %54, align 4, !tbaa !9
  %703 = add nsw i32 %702, 1
  store i32 %703, ptr %54, align 4, !tbaa !9
  br label %707

704:                                              ; preds = %676
  %705 = load i32, ptr %55, align 4, !tbaa !9
  %706 = add nsw i32 %705, 1
  store i32 %706, ptr %55, align 4, !tbaa !9
  br label %707

707:                                              ; preds = %704, %701
  %708 = load ptr, ptr %26, align 8, !tbaa !5
  %709 = load i32, ptr %58, align 4, !tbaa !9
  %710 = load i32, ptr %59, align 4, !tbaa !9
  %711 = load i32, ptr %27, align 4, !tbaa !9
  %712 = load i32, ptr %28, align 4, !tbaa !9
  %713 = load i32, ptr %29, align 4, !tbaa !9
  %714 = load i32, ptr %30, align 4, !tbaa !9
  %715 = load ptr, ptr %31, align 8, !tbaa !5
  %716 = load ptr, ptr %32, align 8, !tbaa !5
  %717 = load ptr, ptr %33, align 8, !tbaa !5
  %718 = load ptr, ptr %34, align 8, !tbaa !5
  %719 = load ptr, ptr %35, align 8, !tbaa !5
  %720 = load ptr, ptr %36, align 8, !tbaa !5
  %721 = load ptr, ptr %37, align 8, !tbaa !5
  %722 = load ptr, ptr %38, align 8, !tbaa !5
  %723 = load ptr, ptr %39, align 8, !tbaa !5
  %724 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %725 = load ptr, ptr %51, align 8, !tbaa !5
  %726 = call double @calcChangeStats(ptr noundef %708, i32 noundef %709, i32 noundef %710, i32 noundef %711, i32 noundef %712, i32 noundef %713, i32 noundef %714, ptr noundef %715, ptr noundef %716, ptr noundef %717, ptr noundef %718, ptr noundef %719, ptr noundef %720, ptr noundef %721, ptr noundef %722, ptr noundef %723, i32 noundef %724, ptr noundef %725)
  store double %726, ptr %52, align 8, !tbaa !13
  %727 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %728 = icmp ne i32 %727, 0
  %729 = zext i1 %728 to i64
  %730 = select i1 %728, i32 -1, i32 1
  %731 = sitofp i32 %730 to double
  %732 = load ptr, ptr %46, align 8, !tbaa !5
  %733 = load double, ptr %732, align 8, !tbaa !13
  %734 = load double, ptr %52, align 8, !tbaa !13
  %735 = call double @llvm.fmuladd.f64(double %731, double %733, double %734)
  store double %735, ptr %52, align 8, !tbaa !13
  %736 = call double @urand()
  %737 = load double, ptr %52, align 8, !tbaa !13
  %738 = call double @exp(double noundef %737) #6
  %739 = fcmp olt double %736, %738
  br i1 %739, label %740, label %843

740:                                              ; preds = %707
  %741 = load i64, ptr %53, align 8, !tbaa !11
  %742 = add i64 %741, 1
  store i64 %742, ptr %53, align 8, !tbaa !11
  %743 = load i32, ptr %43, align 4, !tbaa !9
  %744 = icmp ne i32 %743, 0
  br i1 %744, label %745, label %769

745:                                              ; preds = %740
  %746 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %747 = icmp ne i32 %746, 0
  br i1 %747, label %768, label %748

748:                                              ; preds = %745
  %749 = load i32, ptr %47, align 4, !tbaa !9
  %750 = icmp ne i32 %749, 0
  br i1 %750, label %751, label %755

751:                                              ; preds = %748
  %752 = load ptr, ptr %26, align 8, !tbaa !5
  %753 = load i32, ptr %58, align 4, !tbaa !9
  %754 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updateinnerlist(ptr noundef %752, i32 noundef %753, i32 noundef %754)
  br label %767

755:                                              ; preds = %748
  %756 = load i32, ptr %49, align 4, !tbaa !9
  %757 = icmp ne i32 %756, 0
  br i1 %757, label %758, label %762

758:                                              ; preds = %755
  %759 = load ptr, ptr %26, align 8, !tbaa !5
  %760 = load i32, ptr %58, align 4, !tbaa !9
  %761 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArc_all_maxtermsender_arcs(ptr noundef %759, i32 noundef %760, i32 noundef %761)
  br label %766

762:                                              ; preds = %755
  %763 = load ptr, ptr %26, align 8, !tbaa !5
  %764 = load i32, ptr %58, align 4, !tbaa !9
  %765 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updatelist(ptr noundef %763, i32 noundef %764, i32 noundef %765)
  br label %766

766:                                              ; preds = %762, %758
  br label %767

767:                                              ; preds = %766, %751
  br label %768

768:                                              ; preds = %767, %745
  br label %793

769:                                              ; preds = %740
  %770 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %771 = icmp ne i32 %770, 0
  br i1 %771, label %772, label %792

772:                                              ; preds = %769
  %773 = load i32, ptr %47, align 4, !tbaa !9
  %774 = icmp ne i32 %773, 0
  br i1 %774, label %775, label %779

775:                                              ; preds = %772
  %776 = load ptr, ptr %26, align 8, !tbaa !5
  %777 = load i32, ptr %58, align 4, !tbaa !9
  %778 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updateinnerlist(ptr noundef %776, i32 noundef %777, i32 noundef %778)
  br label %791

779:                                              ; preds = %772
  %780 = load i32, ptr %49, align 4, !tbaa !9
  %781 = icmp ne i32 %780, 0
  br i1 %781, label %782, label %786

782:                                              ; preds = %779
  %783 = load ptr, ptr %26, align 8, !tbaa !5
  %784 = load i32, ptr %58, align 4, !tbaa !9
  %785 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArc_all_maxtermsender_arcs(ptr noundef %783, i32 noundef %784, i32 noundef %785)
  br label %790

786:                                              ; preds = %779
  %787 = load ptr, ptr %26, align 8, !tbaa !5
  %788 = load i32, ptr %58, align 4, !tbaa !9
  %789 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updatelist(ptr noundef %787, i32 noundef %788, i32 noundef %789)
  br label %790

790:                                              ; preds = %786, %782
  br label %791

791:                                              ; preds = %790, %775
  br label %792

792:                                              ; preds = %791, %769
  br label %793

793:                                              ; preds = %792, %768
  %794 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %795 = icmp ne i32 %794, 0
  br i1 %795, label %796, label %817

796:                                              ; preds = %793
  store i32 0, ptr %60, align 4, !tbaa !9
  br label %797

797:                                              ; preds = %813, %796
  %798 = load i32, ptr %60, align 4, !tbaa !9
  %799 = load i32, ptr %27, align 4, !tbaa !9
  %800 = icmp ult i32 %798, %799
  br i1 %800, label %801, label %816

801:                                              ; preds = %797
  %802 = load ptr, ptr %51, align 8, !tbaa !5
  %803 = load i32, ptr %60, align 4, !tbaa !9
  %804 = zext i32 %803 to i64
  %805 = getelementptr inbounds double, ptr %802, i64 %804
  %806 = load double, ptr %805, align 8, !tbaa !13
  %807 = load ptr, ptr %41, align 8, !tbaa !5
  %808 = load i32, ptr %60, align 4, !tbaa !9
  %809 = zext i32 %808 to i64
  %810 = getelementptr inbounds double, ptr %807, i64 %809
  %811 = load double, ptr %810, align 8, !tbaa !13
  %812 = fadd double %811, %806
  store double %812, ptr %810, align 8, !tbaa !13
  br label %813

813:                                              ; preds = %801
  %814 = load i32, ptr %60, align 4, !tbaa !9
  %815 = add i32 %814, 1
  store i32 %815, ptr %60, align 4, !tbaa !9
  br label %797, !llvm.loop !54

816:                                              ; preds = %797
  br label %838

817:                                              ; preds = %793
  store i32 0, ptr %60, align 4, !tbaa !9
  br label %818

818:                                              ; preds = %834, %817
  %819 = load i32, ptr %60, align 4, !tbaa !9
  %820 = load i32, ptr %27, align 4, !tbaa !9
  %821 = icmp ult i32 %819, %820
  br i1 %821, label %822, label %837

822:                                              ; preds = %818
  %823 = load ptr, ptr %51, align 8, !tbaa !5
  %824 = load i32, ptr %60, align 4, !tbaa !9
  %825 = zext i32 %824 to i64
  %826 = getelementptr inbounds double, ptr %823, i64 %825
  %827 = load double, ptr %826, align 8, !tbaa !13
  %828 = load ptr, ptr %40, align 8, !tbaa !5
  %829 = load i32, ptr %60, align 4, !tbaa !9
  %830 = zext i32 %829 to i64
  %831 = getelementptr inbounds double, ptr %828, i64 %830
  %832 = load double, ptr %831, align 8, !tbaa !13
  %833 = fadd double %832, %827
  store double %833, ptr %831, align 8, !tbaa !13
  br label %834

834:                                              ; preds = %822
  %835 = load i32, ptr %60, align 4, !tbaa !9
  %836 = add i32 %835, 1
  store i32 %836, ptr %60, align 4, !tbaa !9
  br label %818, !llvm.loop !55

837:                                              ; preds = %818
  br label %838

838:                                              ; preds = %837, %816
  %839 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %840 = icmp ne i32 %839, 0
  %841 = xor i1 %840, true
  %842 = zext i1 %841 to i32
  store i32 %842, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  br label %867

843:                                              ; preds = %707
  %844 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !9
  %845 = icmp ne i32 %844, 0
  br i1 %845, label %846, label %866

846:                                              ; preds = %843
  %847 = load i32, ptr %47, align 4, !tbaa !9
  %848 = icmp ne i32 %847, 0
  br i1 %848, label %849, label %853

849:                                              ; preds = %846
  %850 = load ptr, ptr %26, align 8, !tbaa !5
  %851 = load i32, ptr %58, align 4, !tbaa !9
  %852 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updateinnerlist(ptr noundef %850, i32 noundef %851, i32 noundef %852)
  br label %865

853:                                              ; preds = %846
  %854 = load i32, ptr %49, align 4, !tbaa !9
  %855 = icmp ne i32 %854, 0
  br i1 %855, label %856, label %860

856:                                              ; preds = %853
  %857 = load ptr, ptr %26, align 8, !tbaa !5
  %858 = load i32, ptr %58, align 4, !tbaa !9
  %859 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArc_all_maxtermsender_arcs(ptr noundef %857, i32 noundef %858, i32 noundef %859)
  br label %864

860:                                              ; preds = %853
  %861 = load ptr, ptr %26, align 8, !tbaa !5
  %862 = load i32, ptr %58, align 4, !tbaa !9
  %863 = load i32, ptr %59, align 4, !tbaa !9
  call void @insertArcOrEdge_updatelist(ptr noundef %861, i32 noundef %862, i32 noundef %863)
  br label %864

864:                                              ; preds = %860, %856
  br label %865

865:                                              ; preds = %864, %849
  br label %866

866:                                              ; preds = %865, %843
  br label %867

867:                                              ; preds = %866, %838
  br label %868

868:                                              ; preds = %867
  %869 = load i64, ptr %61, align 8, !tbaa !11
  %870 = add i64 %869, 1
  store i64 %870, ptr %61, align 8, !tbaa !11
  br label %135, !llvm.loop !56

871:                                              ; preds = %135
  %872 = load double, ptr %44, align 8, !tbaa !13
  %873 = load i32, ptr %54, align 4, !tbaa !9
  %874 = load i32, ptr %55, align 4, !tbaa !9
  %875 = sub nsw i32 %873, %874
  %876 = sitofp i32 %875 to double
  %877 = fmul double %872, %876
  %878 = load i32, ptr %54, align 4, !tbaa !9
  %879 = load i32, ptr %55, align 4, !tbaa !9
  %880 = sub nsw i32 %878, %879
  %881 = sitofp i32 %880 to double
  %882 = fmul double %877, %881
  %883 = load i32, ptr %54, align 4, !tbaa !9
  %884 = load i32, ptr %55, align 4, !tbaa !9
  %885 = add nsw i32 %883, %884
  %886 = load i32, ptr %54, align 4, !tbaa !9
  %887 = load i32, ptr %55, align 4, !tbaa !9
  %888 = add nsw i32 %886, %887
  %889 = mul nsw i32 %885, %888
  %890 = sitofp i32 %889 to double
  %891 = fdiv double %882, %890
  store double %891, ptr %56, align 8, !tbaa !13
  %892 = load i32, ptr %54, align 4, !tbaa !9
  %893 = load i32, ptr %55, align 4, !tbaa !9
  %894 = sub nsw i32 %892, %893
  %895 = icmp sgt i32 %894, 0
  br i1 %895, label %896, label %901

896:                                              ; preds = %871
  %897 = load double, ptr %56, align 8, !tbaa !13
  %898 = load ptr, ptr %46, align 8, !tbaa !5
  %899 = load double, ptr %898, align 8, !tbaa !13
  %900 = fsub double %899, %897
  store double %900, ptr %898, align 8, !tbaa !13
  br label %912

901:                                              ; preds = %871
  %902 = load i32, ptr %54, align 4, !tbaa !9
  %903 = load i32, ptr %55, align 4, !tbaa !9
  %904 = sub nsw i32 %902, %903
  %905 = icmp slt i32 %904, 0
  br i1 %905, label %906, label %911

906:                                              ; preds = %901
  %907 = load double, ptr %56, align 8, !tbaa !13
  %908 = load ptr, ptr %46, align 8, !tbaa !5
  %909 = load double, ptr %908, align 8, !tbaa !13
  %910 = fadd double %909, %907
  store double %910, ptr %908, align 8, !tbaa !13
  br label %911

911:                                              ; preds = %906, %901
  br label %912

912:                                              ; preds = %911, %896
  %913 = load i32, ptr %54, align 4, !tbaa !9
  %914 = load i32, ptr %55, align 4, !tbaa !9
  %915 = sub nsw i32 %913, %914
  %916 = call i32 @llvm.abs.i32(i32 %915, i1 true)
  %917 = sitofp i32 %916 to double
  %918 = load i32, ptr %54, align 4, !tbaa !9
  %919 = load i32, ptr %55, align 4, !tbaa !9
  %920 = add nsw i32 %918, %919
  %921 = sitofp i32 %920 to double
  %922 = fdiv double %917, %921
  %923 = fcmp ogt double %922, 8.000000e-01
  br i1 %923, label %924, label %932

924:                                              ; preds = %912
  %925 = load ptr, ptr @stderr, align 8, !tbaa !5
  %926 = load i32, ptr %54, align 4, !tbaa !9
  %927 = load i32, ptr %55, align 4, !tbaa !9
  %928 = load ptr, ptr %46, align 8, !tbaa !5
  %929 = load double, ptr %928, align 8, !tbaa !13
  %930 = load double, ptr %44, align 8, !tbaa !13
  %931 = call i32 (ptr, ptr, ...) @fprintf(ptr noundef %925, ptr noundef @.str.15, i32 noundef %926, i32 noundef %927, double noundef %929, double noundef %930) #6
  br label %932

932:                                              ; preds = %924, %912
  %933 = load i32, ptr %54, align 4, !tbaa !9
  %934 = sitofp i32 %933 to double
  %935 = load i32, ptr %55, align 4, !tbaa !9
  %936 = sitofp i32 %935 to double
  %937 = fsub double %934, %936
  %938 = load ptr, ptr %45, align 8, !tbaa !5
  store double %937, ptr %938, align 8, !tbaa !13
  %939 = load i64, ptr %53, align 8, !tbaa !11
  %940 = uitofp i64 %939 to double
  %941 = load i64, ptr %42, align 8, !tbaa !11
  %942 = uitofp i64 %941 to double
  %943 = fdiv double %940, %942
  store double %943, ptr %57, align 8, !tbaa !13
  %944 = load ptr, ptr %51, align 8, !tbaa !5
  call void @free(ptr noundef %944) #6
  %945 = load double, ptr %57, align 8, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 4, ptr %62) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %60) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %55) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %54) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  ret double %945
}

declare ptr @safe_malloc(i64 noundef) #3

declare i32 @int_urand(i32 noundef) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.abs.i64(i64, i1 immarg) #4

declare i32 @isArcIgnoreDirection(ptr noundef, i32 noundef, i32 noundef) #3

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

declare i32 @isArc(ptr noundef, i32 noundef, i32 noundef) #3

declare i32 @isEdge(ptr noundef, i32 noundef, i32 noundef) #3

declare i32 @isArcOrEdge(ptr noundef, i32 noundef, i32 noundef) #3

declare void @removeArcOrEdge_updateinnerlist(ptr noundef, i32 noundef, i32 noundef, i32 noundef) #3

declare void @removeArc_all_maxtermsender_arcs(ptr noundef, i32 noundef, i32 noundef, i32 noundef) #3

declare void @removeArcOrEdge_updatelist(ptr noundef, i32 noundef, i32 noundef, i32 noundef) #3

declare double @calcChangeStats(ptr noundef, i32 noundef, i32 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, i32 noundef, ptr noundef) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #4

declare double @urand() #3

; Function Attrs: nounwind
declare double @exp(double noundef) #5

declare void @insertArcOrEdge_updateinnerlist(ptr noundef, i32 noundef, i32 noundef) #3

declare void @insertArc_all_maxtermsender_arcs(ptr noundef, i32 noundef, i32 noundef) #3

declare void @insertArcOrEdge_updatelist(ptr noundef, i32 noundef, i32 noundef) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #4

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { 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 #6 = { nounwind }
attributes #7 = { noreturn 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/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 = !{!16, !10, i64 256}
!21 = !{!16, !6, i64 264}
!22 = !{!23, !10, i64 0}
!23 = !{!"nodepair_s", !10, i64 0, !10, i64 4}
!24 = !{!23, !10, i64 4}
!25 = !{!16, !10, i64 272}
!26 = !{!16, !6, i64 280}
!27 = !{!16, !6, i64 224}
!28 = !{!16, !10, i64 232}
!29 = !{!16, !6, i64 248}
!30 = distinct !{!30, !19}
!31 = !{!16, !6, i64 240}
!32 = !{!16, !10, i64 236}
!33 = distinct !{!33, !19}
!34 = distinct !{!34, !19}
!35 = !{!16, !10, i64 312}
!36 = !{!16, !6, i64 320}
!37 = !{!16, !6, i64 288}
!38 = !{!16, !10, i64 296}
!39 = !{!16, !6, i64 304}
!40 = !{!16, !10, i64 300}
!41 = !{!16, !10, i64 0}
!42 = distinct !{!42, !19}
!43 = distinct !{!43, !19}
!44 = !{!16, !10, i64 12}
!45 = !{!16, !6, i64 48}
!46 = !{!16, !10, i64 56}
!47 = !{!16, !6, i64 80}
!48 = !{!16, !10, i64 88}
!49 = !{!16, !10, i64 92}
!50 = distinct !{!50, !19}
!51 = distinct !{!51, !19}
!52 = distinct !{!52, !19}
!53 = distinct !{!53, !19}
!54 = distinct !{!54, !19}
!55 = distinct !{!55, !19}
!56 = distinct !{!56, !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.nodepair_s = type { i32, i32 }

@.str = external hidden unnamed_addr constant [44 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [76 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [60 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@ifdSampler.isDelete = external hidden local_unnamed_addr global i32, align 4
@__PRETTY_FUNCTION__.ifdSampler = external hidden unnamed_addr constant [328 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [15 x i8], align 1
@stderr = external local_unnamed_addr global ptr, align 8
@.str.12 = external hidden unnamed_addr constant [50 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [81 x i8], align 1

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

; Function Attrs: nounwind uwtable
define dso_local 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 %13, ptr nocapture noundef %14, ptr nocapture noundef %15, i64 noundef %16, i32 noundef %17, double noundef %18, ptr nocapture noundef writeonly %19, ptr nocapture noundef %20, i32 noundef %21, i32 noundef %22, i32 noundef %23, i32 noundef %24) local_unnamed_addr #1 {
  %26 = ptrtoint ptr %15 to i64
  %27 = ptrtoint ptr %14 to i64
  %28 = zext i32 %1 to i64
  %29 = shl nuw nsw i64 %28, 3
  %30 = tail call ptr @safe_malloc(i64 noundef %29) #7
  %31 = icmp ne i32 %21, 0
  %32 = icmp ne i32 %23, 0
  %or.cond = and i1 %31, %32
  br i1 %or.cond, label %33, label %34

33:                                               ; preds = %25
  tail call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 224, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

34:                                               ; preds = %25
  %.not = icmp eq i32 %24, 0
  %35 = or i32 %23, %21
  %or.cond3.not = icmp eq i32 %35, 0
  %or.cond331 = or i1 %.not, %or.cond3.not
  br i1 %or.cond331, label %37, label %36

36:                                               ; preds = %34
  tail call void @__assert_fail(ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.1, i32 noundef 225, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

37:                                               ; preds = %34
  br i1 %32, label %38, label %42

38:                                               ; preds = %37
  %39 = getelementptr inbounds i8, ptr %0, i64 4
  %40 = load i32, ptr %39, align 4, !tbaa !5
  %.not299 = icmp eq i32 %40, 0
  br i1 %.not299, label %41, label %42

41:                                               ; preds = %38
  tail call void @__assert_fail(ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 226, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

42:                                               ; preds = %37, %38
  %43 = getelementptr inbounds i8, ptr %0, i64 8
  %44 = load i32, ptr %43, align 8, !tbaa !11
  %.not300 = icmp eq i32 %44, 0
  br i1 %31, label %45, label %47

45:                                               ; preds = %42
  br i1 %.not300, label %.thread, label %46

46:                                               ; preds = %45
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.1, i32 noundef 227, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

47:                                               ; preds = %42
  br i1 %.not300, label %.thread, label %48

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

51:                                               ; preds = %48
  tail call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1, i32 noundef 228, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

.thread:                                          ; preds = %45, %47, %48
  %52 = getelementptr inbounds i8, ptr %0, i64 8
  %.not427 = icmp eq i32 %1, 0
  br i1 %.not427, label %.preheader343, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %.thread
  %min.iters.check = icmp ult i32 %1, 4
  %53 = sub i64 %27, %26
  %diff.check = icmp ult i64 %53, 32
  %or.cond610 = or i1 %min.iters.check, %diff.check
  br i1 %or.cond610, label %.lr.ph.preheader648, label %vector.ph

.lr.ph.preheader648:                              ; preds = %middle.block, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %28, 3
  %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.preheader648, %.lr.ph.prol
  %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %.lr.ph.prol ], [ %indvars.iv.ph, %.lr.ph.preheader648 ]
  %prol.iter = phi i64 [ %prol.iter.next, %.lr.ph.prol ], [ 0, %.lr.ph.preheader648 ]
  %54 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.prol
  store double 0.000000e+00, ptr %54, align 8, !tbaa !12
  %55 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.prol
  store double 0.000000e+00, ptr %55, align 8, !tbaa !12
  %indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol, !llvm.loop !14

.lr.ph.prol.loopexit:                             ; preds = %.lr.ph.prol, %.lr.ph.preheader648
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %.lr.ph.preheader648 ], [ %indvars.iv.next.prol, %.lr.ph.prol ]
  %56 = sub nsw i64 %indvars.iv.ph, %28
  %57 = icmp ugt i64 %56, -4
  br i1 %57, label %.preheader343, label %.lr.ph

vector.ph:                                        ; preds = %.lr.ph.preheader
  %n.vec = and i64 %28, 4294967292
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %58 = getelementptr inbounds double, ptr %15, i64 %index
  %59 = getelementptr inbounds i8, ptr %58, i64 16
  store <2 x double> zeroinitializer, ptr %58, align 8, !tbaa !12
  store <2 x double> zeroinitializer, ptr %59, align 8, !tbaa !12
  %60 = getelementptr inbounds double, ptr %14, i64 %index
  %61 = getelementptr inbounds i8, ptr %60, i64 16
  store <2 x double> zeroinitializer, ptr %60, align 8, !tbaa !12
  store <2 x double> zeroinitializer, ptr %61, align 8, !tbaa !12
  %index.next = add nuw i64 %index, 4
  %62 = icmp eq i64 %index.next, %n.vec
  br i1 %62, label %middle.block, label %vector.body, !llvm.loop !16

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %28
  br i1 %cmp.n, label %.preheader343, label %.lr.ph.preheader648

.preheader343:                                    ; preds = %.lr.ph.prol.loopexit, %.lr.ph, %middle.block, %.thread
  %.not428 = icmp eq i64 %16, 0
  br i1 %.not428, label %._crit_edge, label %.lr.ph424

.lr.ph424:                                        ; preds = %.preheader343
  %63 = getelementptr inbounds i8, ptr %0, i64 4
  %64 = getelementptr inbounds i8, ptr %0, i64 12
  %65 = getelementptr inbounds i8, ptr %0, i64 48
  %66 = getelementptr inbounds i8, ptr %0, i64 56
  %67 = getelementptr inbounds i8, ptr %0, i64 80
  %68 = getelementptr inbounds i8, ptr %0, i64 88
  %69 = getelementptr inbounds i8, ptr %0, i64 92
  %.not429 = icmp eq i32 %22, 0
  %70 = getelementptr inbounds i8, ptr %0, i64 312
  %71 = getelementptr inbounds i8, ptr %0, i64 320
  %72 = getelementptr inbounds i8, ptr %0, i64 288
  %73 = getelementptr inbounds i8, ptr %0, i64 296
  %74 = getelementptr inbounds i8, ptr %0, i64 304
  %75 = getelementptr inbounds i8, ptr %0, i64 300
  %76 = getelementptr inbounds i8, ptr %0, i64 224
  %77 = getelementptr inbounds i8, ptr %0, i64 232
  %78 = getelementptr inbounds i8, ptr %0, i64 248
  %79 = getelementptr inbounds i8, ptr %0, i64 240
  %80 = getelementptr inbounds i8, ptr %0, i64 236
  %.not326 = icmp eq i32 %17, 0
  %81 = shl nuw nsw i64 %28, 3
  %scevgep = getelementptr i8, ptr %14, i64 %81
  %scevgep574 = getelementptr i8, ptr %30, i64 %81
  %82 = shl nuw nsw i64 %28, 3
  %scevgep590 = getelementptr i8, ptr %15, i64 %82
  %scevgep591 = getelementptr i8, ptr %30, i64 %82
  %min.iters.check597 = icmp ult i32 %1, 4
  %bound0592 = icmp ugt ptr %scevgep591, %15
  %bound1593 = icmp ult ptr %30, %scevgep590
  %found.conflict594 = and i1 %bound0592, %bound1593
  %n.vec600 = and i64 %28, 4294967292
  %cmp.n609 = icmp eq i64 %n.vec600, %28
  %xtraiter649 = and i64 %28, 3
  %lcmp.mod650.not = icmp eq i64 %xtraiter649, 0
  %min.iters.check577 = icmp ult i32 %1, 4
  %bound0 = icmp ugt ptr %scevgep574, %14
  %bound1 = icmp ult ptr %30, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  %n.vec580 = and i64 %28, 4294967292
  %cmp.n588 = icmp eq i64 %n.vec580, %28
  %xtraiter652 = and i64 %28, 3
  %lcmp.mod653.not = icmp eq i64 %xtraiter652, 0
  br label %91

.lr.ph:                                           ; preds = %.lr.ph.prol.loopexit, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next.3, %.lr.ph ], [ %indvars.iv.unr, %.lr.ph.prol.loopexit ]
  %83 = getelementptr inbounds double, ptr %15, i64 %indvars.iv
  store double 0.000000e+00, ptr %83, align 8, !tbaa !12
  %84 = getelementptr inbounds double, ptr %14, i64 %indvars.iv
  store double 0.000000e+00, ptr %84, align 8, !tbaa !12
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %85 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next
  store double 0.000000e+00, ptr %85, align 8, !tbaa !12
  %86 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next
  store double 0.000000e+00, ptr %86, align 8, !tbaa !12
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %87 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next.1
  store double 0.000000e+00, ptr %87, align 8, !tbaa !12
  %88 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next.1
  store double 0.000000e+00, ptr %88, align 8, !tbaa !12
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %89 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next.2
  store double 0.000000e+00, ptr %89, align 8, !tbaa !12
  %90 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next.2
  store double 0.000000e+00, ptr %90, align 8, !tbaa !12
  %indvars.iv.next.3 = add nuw nsw i64 %indvars.iv, 4
  %exitcond.not.3 = icmp eq i64 %indvars.iv.next.3, %28
  br i1 %exitcond.not.3, label %.preheader343, label %.lr.ph, !llvm.loop !20

91:                                               ; preds = %.lr.ph424, %447
  %.0423 = phi i32 [ 0, %.lr.ph424 ], [ %.2, %447 ]
  %.0272422 = phi i64 [ 0, %.lr.ph424 ], [ %448, %447 ]
  %.0280421 = phi i64 [ 0, %.lr.ph424 ], [ %.1281, %447 ]
  %.0282420 = phi i32 [ 0, %.lr.ph424 ], [ %.1283, %447 ]
  %.0284419 = phi i32 [ 0, %.lr.ph424 ], [ %.1285, %447 ]
  br i1 %31, label %92, label %195

92:                                               ; preds = %91
  br i1 %.not429, label %94, label %93

93:                                               ; preds = %92
  tail call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 237, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

94:                                               ; preds = %92
  br i1 %.not, label %96, label %95

95:                                               ; preds = %94
  tail call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 238, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

96:                                               ; preds = %94
  %97 = load i32, ptr %52, align 8, !tbaa !11
  %.not319 = icmp eq i32 %97, 0
  br i1 %.not319, label %99, label %98

98:                                               ; preds = %96
  tail call void @__assert_fail(ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 239, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

99:                                               ; preds = %96
  %100 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not320 = icmp eq i32 %100, 0
  br i1 %.not320, label %.critedge7, label %.critedge.preheader

.critedge.preheader:                              ; preds = %99
  %101 = load i32, ptr %63, align 4, !tbaa !5
  %.not322561 = icmp eq i32 %101, 0
  %..v562 = select i1 %.not322561, i64 272, i64 256
  %.563 = getelementptr inbounds i8, ptr %0, i64 %..v562
  %.526.v564 = select i1 %.not322561, i64 280, i64 264
  %.526565 = getelementptr inbounds i8, ptr %0, i64 %.526.v564
  %102 = load i32, ptr %.563, align 8, !tbaa !21
  %103 = tail call i32 @int_urand(i32 noundef %102) #7
  %104 = load ptr, ptr %.526565, align 8, !tbaa !22
  %105 = zext i32 %103 to i64
  %106 = getelementptr inbounds %struct.nodepair_s, ptr %104, i64 %105
  %.1278568 = load i32, ptr %106, align 4, !tbaa !23
  %107 = load ptr, ptr %76, align 8, !tbaa !25
  %108 = zext i32 %.1278568 to i64
  %109 = getelementptr inbounds i32, ptr %107, i64 %108
  %110 = load i32, ptr %109, align 4, !tbaa !21
  %111 = load i32, ptr %77, align 8, !tbaa !26
  %112 = icmp ult i32 %110, %111
  br i1 %112, label %.lr.ph571, label %.critedge.preheader._crit_edge

.lr.ph571:                                        ; preds = %.critedge.preheader, %.critedge.backedge
  %113 = phi i32 [ %153, %.critedge.backedge ], [ %111, %.critedge.preheader ]
  %114 = phi i32 [ %152, %.critedge.backedge ], [ %110, %.critedge.preheader ]
  %115 = phi i64 [ %150, %.critedge.backedge ], [ %108, %.critedge.preheader ]
  %116 = phi ptr [ %149, %.critedge.backedge ], [ %107, %.critedge.preheader ]
  %.1278570 = phi i32 [ %.1278, %.critedge.backedge ], [ %.1278568, %.critedge.preheader ]
  %.pn = phi ptr [ %148, %.critedge.backedge ], [ %106, %.critedge.preheader ]
  %117 = phi i32 [ %145, %.critedge.backedge ], [ %103, %.critedge.preheader ]
  %.0275569.in = getelementptr inbounds i8, ptr %.pn, i64 4
  %.0275569 = load i32, ptr %.0275569.in, align 4, !tbaa !27
  %118 = zext i32 %.0275569 to i64
  %119 = getelementptr inbounds i32, ptr %116, i64 %118
  %120 = load i32, ptr %119, align 4, !tbaa !21
  %121 = icmp ult i32 %120, %113
  br i1 %121, label %122, label %.critedge.preheader._crit_edge

.critedge.preheader._crit_edge:                   ; preds = %.critedge.preheader, %.critedge.backedge, %.lr.ph571
  tail call void @__assert_fail(ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 261, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

122:                                              ; preds = %.lr.ph571
  %123 = zext i32 %114 to i64
  %124 = zext i32 %120 to i64
  %125 = sub nsw i64 %123, %124
  %126 = tail call i64 @llvm.abs.i64(i64 %125, i1 true)
  %127 = icmp ult i64 %126, 2
  br i1 %127, label %129, label %128

128:                                              ; preds = %122
  tail call void @__assert_fail(ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 263, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

129:                                              ; preds = %122
  %130 = icmp ugt i32 %114, %120
  br i1 %130, label %131, label %136

131:                                              ; preds = %129
  %132 = load ptr, ptr %78, align 8, !tbaa !28
  %133 = getelementptr inbounds i32, ptr %132, i64 %115
  %134 = load i32, ptr %133, align 4, !tbaa !21
  %135 = icmp eq i32 %134, 1
  br i1 %135, label %.critedge.backedge, label %136

136:                                              ; preds = %131, %129
  %137 = icmp ugt i32 %120, %114
  br i1 %137, label %138, label %.critedge5

138:                                              ; preds = %136
  %139 = load ptr, ptr %78, align 8, !tbaa !28
  %140 = getelementptr inbounds i32, ptr %139, i64 %118
  %141 = load i32, ptr %140, align 4, !tbaa !21
  %142 = icmp eq i32 %141, 1
  br i1 %142, label %.critedge.backedge, label %.critedge5

.critedge.backedge:                               ; preds = %138, %131
  %143 = load i32, ptr %63, align 4, !tbaa !5
  %.not322 = icmp eq i32 %143, 0
  %..v = select i1 %.not322, i64 272, i64 256
  %. = getelementptr inbounds i8, ptr %0, i64 %..v
  %.526.v = select i1 %.not322, i64 280, i64 264
  %.526 = getelementptr inbounds i8, ptr %0, i64 %.526.v
  %144 = load i32, ptr %., align 8, !tbaa !21
  %145 = tail call i32 @int_urand(i32 noundef %144) #7
  %146 = load ptr, ptr %.526, align 8, !tbaa !22
  %147 = zext i32 %145 to i64
  %148 = getelementptr inbounds %struct.nodepair_s, ptr %146, i64 %147
  %.1278 = load i32, ptr %148, align 4, !tbaa !23
  %149 = load ptr, ptr %76, align 8, !tbaa !25
  %150 = zext i32 %.1278 to i64
  %151 = getelementptr inbounds i32, ptr %149, i64 %150
  %152 = load i32, ptr %151, align 4, !tbaa !21
  %153 = load i32, ptr %77, align 8, !tbaa !26
  %154 = icmp ult i32 %152, %153
  br i1 %154, label %.lr.ph571, label %.critedge.preheader._crit_edge, !llvm.loop !29

.critedge7:                                       ; preds = %99, %.critedge7.backedge
  %155 = load ptr, ptr %79, align 8, !tbaa !30
  %156 = load i32, ptr %80, align 4, !tbaa !31
  %157 = tail call i32 @int_urand(i32 noundef %156) #7
  %158 = zext i32 %157 to i64
  %159 = getelementptr inbounds i32, ptr %155, i64 %158
  %160 = load i32, ptr %159, align 4, !tbaa !21
  br label %161

161:                                              ; preds = %161, %.critedge7
  %162 = load ptr, ptr %79, align 8, !tbaa !30
  %163 = load i32, ptr %80, align 4, !tbaa !31
  %164 = tail call i32 @int_urand(i32 noundef %163) #7
  %165 = zext i32 %164 to i64
  %166 = getelementptr inbounds i32, ptr %162, i64 %165
  %167 = load i32, ptr %166, align 4, !tbaa !21
  %168 = icmp eq i32 %160, %167
  br i1 %168, label %161, label %169, !llvm.loop !32

169:                                              ; preds = %161
  %170 = load ptr, ptr %76, align 8, !tbaa !25
  %171 = zext i32 %160 to i64
  %172 = getelementptr inbounds i32, ptr %170, i64 %171
  %173 = load i32, ptr %172, align 4, !tbaa !21
  %174 = load i32, ptr %77, align 8, !tbaa !26
  %175 = icmp ult i32 %173, %174
  br i1 %175, label %176, label %181

176:                                              ; preds = %169
  %177 = zext i32 %167 to i64
  %178 = getelementptr inbounds i32, ptr %170, i64 %177
  %179 = load i32, ptr %178, align 4, !tbaa !21
  %180 = icmp ult i32 %179, %174
  br i1 %180, label %182, label %181

181:                                              ; preds = %176, %169
  tail call void @__assert_fail(ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 279, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

182:                                              ; preds = %176
  %183 = tail call i32 @isArcIgnoreDirection(ptr noundef nonnull %0, i32 noundef %160, i32 noundef %167) #7
  %.not321 = icmp eq i32 %183, 0
  br i1 %.not321, label %184, label %.critedge7.backedge

184:                                              ; preds = %182
  %185 = load ptr, ptr %76, align 8, !tbaa !25
  %186 = getelementptr inbounds i32, ptr %185, i64 %171
  %187 = load i32, ptr %186, align 4, !tbaa !21
  %188 = zext i32 %187 to i64
  %189 = getelementptr inbounds i32, ptr %185, i64 %177
  %190 = load i32, ptr %189, align 4, !tbaa !21
  %191 = zext i32 %190 to i64
  %192 = sub nsw i64 %188, %191
  %193 = tail call i64 @llvm.abs.i64(i64 %192, i1 true)
  %194 = icmp ugt i64 %193, 1
  br i1 %194, label %.critedge7.backedge, label %.critedge5

.critedge7.backedge:                              ; preds = %184, %182
  br label %.critedge7, !llvm.loop !33

195:                                              ; preds = %91
  br i1 %32, label %196, label %275

196:                                              ; preds = %195
  %197 = load i32, ptr %63, align 4, !tbaa !5
  %.not310 = icmp eq i32 %197, 0
  br i1 %.not310, label %198, label %199

198:                                              ; preds = %196
  tail call void @__assert_fail(ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 284, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

199:                                              ; preds = %196
  br i1 %.not, label %201, label %200

200:                                              ; preds = %199
  tail call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 285, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

201:                                              ; preds = %199
  %202 = load i32, ptr %52, align 8, !tbaa !11
  %.not311 = icmp eq i32 %202, 0
  br i1 %.not311, label %204, label %203

203:                                              ; preds = %201
  tail call void @__assert_fail(ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 286, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

204:                                              ; preds = %201
  %205 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not312 = icmp eq i32 %205, 0
  br i1 %.not312, label %.preheader337, label %206

206:                                              ; preds = %204
  %207 = load i32, ptr %70, align 8, !tbaa !34
  %208 = icmp eq i32 %207, 0
  br i1 %208, label %209, label %thread-pre-split

209:                                              ; preds = %206
  %210 = load ptr, ptr @stderr, align 8, !tbaa !22
  %211 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %210, ptr noundef nonnull @.str.12) #9
  store i32 0, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  br label %.preheader337

.preheader337:                                    ; preds = %209, %204
  br i1 %.not429, label %.preheader337.split.us, label %.preheader337.split

.preheader337.split.us:                           ; preds = %.preheader337
  %212 = load ptr, ptr %74, align 8, !tbaa !35
  %213 = load i32, ptr %75, align 4, !tbaa !36
  %214 = tail call i32 @int_urand(i32 noundef %213) #7
  %215 = zext i32 %214 to i64
  %216 = getelementptr inbounds i32, ptr %212, i64 %215
  %217 = load i32, ptr %216, align 4, !tbaa !21
  br label %218

218:                                              ; preds = %218, %.preheader337.split.us
  %219 = load i32, ptr %0, align 8, !tbaa !37
  %220 = tail call i32 @int_urand(i32 noundef %219) #7
  %221 = icmp eq i32 %217, %220
  br i1 %221, label %218, label %222, !llvm.loop !38

222:                                              ; preds = %218
  %223 = load ptr, ptr %72, align 8, !tbaa !39
  %224 = zext i32 %217 to i64
  %225 = getelementptr inbounds i32, ptr %223, i64 %224
  %226 = load i32, ptr %225, align 4, !tbaa !21
  %227 = load i32, ptr %73, align 8, !tbaa !40
  %228 = icmp eq i32 %226, %227
  br i1 %228, label %229, label %.split.us412

229:                                              ; preds = %222
  %230 = zext i32 %220 to i64
  %231 = getelementptr inbounds i32, ptr %223, i64 %230
  %232 = load i32, ptr %231, align 4, !tbaa !21
  %.not314.us = icmp ugt i32 %232, %226
  br i1 %.not314.us, label %.split.us412, label %.critedge5

thread-pre-split:                                 ; preds = %206
  %233 = load i32, ptr %70, align 8, !tbaa !34
  %234 = tail call i32 @int_urand(i32 noundef %233) #7
  %235 = load ptr, ptr %71, align 8, !tbaa !41
  %236 = zext i32 %234 to i64
  %237 = getelementptr inbounds %struct.nodepair_s, ptr %235, i64 %236
  %238 = load i32, ptr %237, align 4, !tbaa !23
  %239 = load ptr, ptr %72, align 8, !tbaa !39
  %240 = zext i32 %238 to i64
  %241 = getelementptr inbounds i32, ptr %239, i64 %240
  %242 = load i32, ptr %241, align 4, !tbaa !21
  %243 = load i32, ptr %73, align 8, !tbaa !40
  %244 = icmp eq i32 %242, %243
  br i1 %244, label %245, label %251

245:                                              ; preds = %thread-pre-split
  %246 = getelementptr inbounds i8, ptr %237, i64 4
  %247 = load i32, ptr %246, align 4, !tbaa !27
  %248 = zext i32 %247 to i64
  %249 = getelementptr inbounds i32, ptr %239, i64 %248
  %250 = load i32, ptr %249, align 4, !tbaa !21
  %.not317 = icmp ugt i32 %250, %242
  br i1 %.not317, label %251, label %.critedge5

251:                                              ; preds = %245, %thread-pre-split
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 300, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

.preheader337.split:                              ; preds = %.preheader337, %273
  %252 = load ptr, ptr %74, align 8, !tbaa !35
  %253 = load i32, ptr %75, align 4, !tbaa !36
  %254 = tail call i32 @int_urand(i32 noundef %253) #7
  %255 = zext i32 %254 to i64
  %256 = getelementptr inbounds i32, ptr %252, i64 %255
  %257 = load i32, ptr %256, align 4, !tbaa !21
  br label %258

258:                                              ; preds = %258, %.preheader337.split
  %259 = load i32, ptr %0, align 8, !tbaa !37
  %260 = tail call i32 @int_urand(i32 noundef %259) #7
  %261 = icmp eq i32 %257, %260
  br i1 %261, label %258, label %262, !llvm.loop !38

262:                                              ; preds = %258
  %263 = load ptr, ptr %72, align 8, !tbaa !39
  %264 = zext i32 %257 to i64
  %265 = getelementptr inbounds i32, ptr %263, i64 %264
  %266 = load i32, ptr %265, align 4, !tbaa !21
  %267 = load i32, ptr %73, align 8, !tbaa !40
  %268 = icmp eq i32 %266, %267
  br i1 %268, label %269, label %.split.us412

269:                                              ; preds = %262
  %270 = zext i32 %260 to i64
  %271 = getelementptr inbounds i32, ptr %263, i64 %270
  %272 = load i32, ptr %271, align 4, !tbaa !21
  %.not314 = icmp ugt i32 %272, %266
  br i1 %.not314, label %.split.us412, label %273

.split.us412:                                     ; preds = %222, %229, %262, %269
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 313, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

273:                                              ; preds = %269
  %274 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %257, i32 noundef %260) #7
  %.not316 = icmp eq i32 %274, 0
  br i1 %.not316, label %.critedge5, label %.preheader337.split, !llvm.loop !42

275:                                              ; preds = %195
  %276 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not303 = icmp eq i32 %276, 0
  br i1 %.not303, label %299, label %277

277:                                              ; preds = %275
  %278 = load i32, ptr %63, align 4, !tbaa !5
  %.not308 = icmp eq i32 %278, 0
  br i1 %.not308, label %290, label %279

279:                                              ; preds = %277
  %280 = load i32, ptr %64, align 4, !tbaa !43
  %281 = tail call i32 @int_urand(i32 noundef %280) #7
  %282 = load ptr, ptr %65, align 8, !tbaa !44
  %283 = zext i32 %281 to i64
  %284 = getelementptr inbounds %struct.nodepair_s, ptr %282, i64 %283
  %285 = load i32, ptr %284, align 4, !tbaa !23
  %286 = getelementptr inbounds i8, ptr %284, i64 4
  %287 = load i32, ptr %286, align 4, !tbaa !27
  %288 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %285, i32 noundef %287) #7
  %.not309 = icmp eq i32 %288, 0
  br i1 %.not309, label %289, label %.critedge5

289:                                              ; preds = %279
  tail call void @__assert_fail(ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 324, ptr noundef nonnull @__PRETTY_FUNCTION__.ifdSampler) #8
  unreachable

290:                                              ; preds = %277
  %291 = load i32, ptr %66, align 8, !tbaa !45
  %292 = tail call i32 @int_urand(i32 noundef %291) #7
  %293 = load ptr, ptr %67, align 8, !tbaa !46
  %294 = zext i32 %292 to i64
  %295 = getelementptr inbounds %struct.nodepair_s, ptr %293, i64 %294
  %296 = load i32, ptr %295, align 4, !tbaa !23
  %297 = getelementptr inbounds i8, ptr %295, i64 4
  %298 = load i32, ptr %297, align 4, !tbaa !27
  br label %.critedge5

299:                                              ; preds = %275
  %300 = load i32, ptr %52, align 8, !tbaa !11
  %.not304 = icmp eq i32 %300, 0
  br i1 %.not304, label %.preheader339, label %.preheader341

.preheader339:                                    ; preds = %299
  br i1 %.not429, label %.preheader339.split.us, label %.preheader339.split

.preheader339.split.us:                           ; preds = %.preheader339
  br i1 %.not, label %.split.us401.us, label %.split.us.us

.split.us.us:                                     ; preds = %.preheader339.split.us, %.split.us.us
  %301 = load i32, ptr %0, align 8, !tbaa !37
  %302 = tail call i32 @int_urand(i32 noundef %301) #7
  %303 = load i32, ptr %0, align 8, !tbaa !37
  %304 = tail call i32 @int_urand(i32 noundef %303) #7
  %305 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %302, i32 noundef %304) #7
  %.not305.us406 = icmp eq i32 %305, 0
  br i1 %.not305.us406, label %.critedge5, label %.split.us.us, !llvm.loop !47

.split.us401.us:                                  ; preds = %.preheader339.split.us, %.split399.us.us
  %306 = load i32, ptr %0, align 8, !tbaa !37
  %307 = tail call i32 @int_urand(i32 noundef %306) #7
  br label %308

308:                                              ; preds = %308, %.split.us401.us
  %309 = load i32, ptr %0, align 8, !tbaa !37
  %310 = tail call i32 @int_urand(i32 noundef %309) #7
  %311 = icmp eq i32 %307, %310
  br i1 %311, label %308, label %.split399.us.us, !llvm.loop !48

.split399.us.us:                                  ; preds = %308
  %312 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %307, i32 noundef %310) #7
  %.not305.us.us = icmp eq i32 %312, 0
  br i1 %.not305.us.us, label %.critedge5, label %.split.us401.us, !llvm.loop !47

.preheader341:                                    ; preds = %299, %.preheader341
  %313 = load i32, ptr %68, align 8, !tbaa !49
  %314 = tail call i32 @int_urand(i32 noundef %313) #7
  %315 = load i32, ptr %68, align 8, !tbaa !49
  %316 = load i32, ptr %69, align 4, !tbaa !50
  %317 = tail call i32 @int_urand(i32 noundef %316) #7
  %318 = add i32 %317, %315
  %319 = tail call i32 @isEdge(ptr noundef nonnull %0, i32 noundef %314, i32 noundef %318) #7
  %.not307 = icmp eq i32 %319, 0
  br i1 %.not307, label %.critedge5, label %.preheader341, !llvm.loop !51

.preheader339.split:                              ; preds = %.preheader339, %333
  br i1 %.not, label %.split.us401, label %.split.us

.split.us401:                                     ; preds = %.preheader339.split, %.split399.us
  %320 = load i32, ptr %0, align 8, !tbaa !37
  %321 = tail call i32 @int_urand(i32 noundef %320) #7
  br label %322

322:                                              ; preds = %.split.us401, %322
  %323 = load i32, ptr %0, align 8, !tbaa !37
  %324 = tail call i32 @int_urand(i32 noundef %323) #7
  %325 = icmp eq i32 %321, %324
  br i1 %325, label %322, label %.split399.us, !llvm.loop !48

.split399.us:                                     ; preds = %322
  %326 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %321, i32 noundef %324) #7
  %.not305.us = icmp eq i32 %326, 0
  br i1 %.not305.us, label %.split403.us, label %.split.us401, !llvm.loop !47

.split.us:                                        ; preds = %.preheader339.split, %.split.us
  %327 = load i32, ptr %0, align 8, !tbaa !37
  %328 = tail call i32 @int_urand(i32 noundef %327) #7
  %329 = load i32, ptr %0, align 8, !tbaa !37
  %330 = tail call i32 @int_urand(i32 noundef %329) #7
  %331 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %328, i32 noundef %330) #7
  %.not305 = icmp eq i32 %331, 0
  br i1 %.not305, label %.split403.us, label %.split.us, !llvm.loop !47

.split403.us:                                     ; preds = %.split.us, %.split399.us
  %.us-phi404 = phi i32 [ %321, %.split399.us ], [ %328, %.split.us ]
  %.us-phi405 = phi i32 [ %324, %.split399.us ], [ %330, %.split.us ]
  %332 = load i32, ptr %63, align 4, !tbaa !5
  %.not432 = icmp eq i32 %332, 0
  br i1 %.not432, label %.critedge5, label %333

333:                                              ; preds = %.split403.us
  %334 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %.us-phi405, i32 noundef %.us-phi404) #7
  %.not306 = icmp eq i32 %334, 0
  br i1 %.not306, label %.critedge5, label %.preheader339.split, !llvm.loop !52

.critedge5:                                       ; preds = %.preheader341, %333, %.split403.us, %.split.us.us, %.split399.us.us, %273, %136, %138, %184, %229, %245, %290, %279
  %.2279 = phi i32 [ %238, %245 ], [ %285, %279 ], [ %296, %290 ], [ %217, %229 ], [ %160, %184 ], [ %.1278570, %138 ], [ %.1278570, %136 ], [ %257, %273 ], [ %307, %.split399.us.us ], [ %302, %.split.us.us ], [ %.us-phi404, %.split403.us ], [ %.us-phi404, %333 ], [ %314, %.preheader341 ]
  %.1276 = phi i32 [ %247, %245 ], [ %287, %279 ], [ %298, %290 ], [ %220, %229 ], [ %167, %184 ], [ %.0275569, %138 ], [ %.0275569, %136 ], [ %260, %273 ], [ %310, %.split399.us.us ], [ %304, %.split.us.us ], [ %.us-phi405, %.split403.us ], [ %.us-phi405, %333 ], [ %318, %.preheader341 ]
  %.2 = phi i32 [ %234, %245 ], [ %281, %279 ], [ %292, %290 ], [ %.0423, %229 ], [ %.0423, %184 ], [ %117, %138 ], [ %117, %136 ], [ %.0423, %273 ], [ %.0423, %.split399.us.us ], [ %.0423, %.split.us.us ], [ %.0423, %.split403.us ], [ %.0423, %333 ], [ %.0423, %.preheader341 ]
  %335 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not323 = icmp eq i32 %335, 0
  br i1 %.not323, label %343, label %336

336:                                              ; preds = %.critedge5
  br i1 %31, label %337, label %338

337:                                              ; preds = %336
  tail call void @removeArcOrEdge_updateinnerlist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276, i32 noundef %.2) #7
  br label %341

338:                                              ; preds = %336
  br i1 %32, label %339, label %340

339:                                              ; preds = %338
  tail call void @removeArc_all_maxtermsender_arcs(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276, i32 noundef %.2) #7
  br label %341

340:                                              ; preds = %338
  tail call void @removeArcOrEdge_updatelist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276, i32 noundef %.2) #7
  br label %341

341:                                              ; preds = %339, %340, %337
  %342 = add nsw i32 %.0282420, 1
  %.pre479 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  br label %345

343:                                              ; preds = %.critedge5
  %344 = add nsw i32 %.0284419, 1
  br label %345

345:                                              ; preds = %343, %341
  %346 = phi i32 [ %.pre479, %341 ], [ 0, %343 ]
  %.1285 = phi i32 [ %.0284419, %341 ], [ %344, %343 ]
  %.1283 = phi i32 [ %342, %341 ], [ %.0282420, %343 ]
  %347 = tail call double @calcChangeStats(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276, 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 %13, i32 noundef %346, ptr noundef %30) #7
  %348 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not324 = icmp eq i32 %348, 0
  %349 = select i1 %.not324, i32 1, i32 -1
  %350 = sitofp i32 %349 to double
  %351 = load double, ptr %20, align 8, !tbaa !12
  %352 = tail call double @llvm.fmuladd.f64(double %350, double %351, double %347)
  %353 = tail call double @urand() #7
  %354 = tail call double @exp(double noundef %352) #7
  %355 = fcmp olt double %353, %354
  br i1 %355, label %356, label %440

356:                                              ; preds = %345
  %357 = add i64 %.0280421, 1
  %358 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not327 = icmp eq i32 %358, 0
  br i1 %.not326, label %365, label %359

359:                                              ; preds = %356
  br i1 %.not327, label %360, label %.preheader334

360:                                              ; preds = %359
  br i1 %31, label %361, label %362

361:                                              ; preds = %360
  tail call void @insertArcOrEdge_updateinnerlist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

362:                                              ; preds = %360
  br i1 %32, label %363, label %364

363:                                              ; preds = %362
  tail call void @insertArc_all_maxtermsender_arcs(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

364:                                              ; preds = %362
  tail call void @insertArcOrEdge_updatelist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

365:                                              ; preds = %356
  br i1 %.not327, label %.preheader, label %366

366:                                              ; preds = %365
  br i1 %31, label %367, label %368

367:                                              ; preds = %366
  tail call void @insertArcOrEdge_updateinnerlist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

368:                                              ; preds = %366
  br i1 %32, label %369, label %370

369:                                              ; preds = %368
  tail call void @insertArc_all_maxtermsender_arcs(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

370:                                              ; preds = %368
  tail call void @insertArcOrEdge_updatelist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %371

371:                                              ; preds = %369, %370, %367, %363, %364, %361
  %.pr333 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not329 = icmp eq i32 %.pr333, 0
  br i1 %.not329, label %.preheader, label %.preheader334

.preheader334:                                    ; preds = %359, %371
  br i1 %.not427, label %.loopexit, label %.lr.ph416.preheader

.lr.ph416.preheader:                              ; preds = %.preheader334
  %brmerge = select i1 %min.iters.check597, i1 true, i1 %found.conflict594
  br i1 %brmerge, label %.lr.ph416.preheader613, label %vector.body602

.lr.ph416.preheader613:                           ; preds = %.lr.ph416.preheader, %middle.block595
  %indvars.iv467.ph = phi i64 [ 0, %.lr.ph416.preheader ], [ %n.vec600, %middle.block595 ]
  br i1 %lcmp.mod650.not, label %.lr.ph416.prol.loopexit, label %.lr.ph416.prol

.lr.ph416.prol:                                   ; preds = %.lr.ph416.preheader613, %.lr.ph416.prol
  %indvars.iv467.prol = phi i64 [ %indvars.iv.next468.prol, %.lr.ph416.prol ], [ %indvars.iv467.ph, %.lr.ph416.preheader613 ]
  %prol.iter651 = phi i64 [ %prol.iter651.next, %.lr.ph416.prol ], [ 0, %.lr.ph416.preheader613 ]
  %372 = getelementptr inbounds double, ptr %30, i64 %indvars.iv467.prol
  %373 = load double, ptr %372, align 8, !tbaa !12
  %374 = getelementptr inbounds double, ptr %15, i64 %indvars.iv467.prol
  %375 = load double, ptr %374, align 8, !tbaa !12
  %376 = fadd double %373, %375
  store double %376, ptr %374, align 8, !tbaa !12
  %indvars.iv.next468.prol = add nuw nsw i64 %indvars.iv467.prol, 1
  %prol.iter651.next = add i64 %prol.iter651, 1
  %prol.iter651.cmp.not = icmp eq i64 %prol.iter651.next, %xtraiter649
  br i1 %prol.iter651.cmp.not, label %.lr.ph416.prol.loopexit, label %.lr.ph416.prol, !llvm.loop !53

.lr.ph416.prol.loopexit:                          ; preds = %.lr.ph416.prol, %.lr.ph416.preheader613
  %indvars.iv467.unr = phi i64 [ %indvars.iv467.ph, %.lr.ph416.preheader613 ], [ %indvars.iv.next468.prol, %.lr.ph416.prol ]
  %377 = sub nsw i64 %indvars.iv467.ph, %28
  %378 = icmp ugt i64 %377, -4
  br i1 %378, label %.loopexit, label %.lr.ph416

vector.body602:                                   ; preds = %.lr.ph416.preheader, %vector.body602
  %index603 = phi i64 [ %index.next608, %vector.body602 ], [ 0, %.lr.ph416.preheader ]
  %379 = getelementptr inbounds double, ptr %30, i64 %index603
  %380 = getelementptr inbounds i8, ptr %379, i64 16
  %wide.load604 = load <2 x double>, ptr %379, align 8, !tbaa !12, !alias.scope !54
  %wide.load605 = load <2 x double>, ptr %380, align 8, !tbaa !12, !alias.scope !54
  %381 = getelementptr inbounds double, ptr %15, i64 %index603
  %382 = getelementptr inbounds i8, ptr %381, i64 16
  %wide.load606 = load <2 x double>, ptr %381, align 8, !tbaa !12, !alias.scope !57, !noalias !54
  %wide.load607 = load <2 x double>, ptr %382, align 8, !tbaa !12, !alias.scope !57, !noalias !54
  %383 = fadd <2 x double> %wide.load604, %wide.load606
  %384 = fadd <2 x double> %wide.load605, %wide.load607
  store <2 x double> %383, ptr %381, align 8, !tbaa !12, !alias.scope !57, !noalias !54
  store <2 x double> %384, ptr %382, align 8, !tbaa !12, !alias.scope !57, !noalias !54
  %index.next608 = add nuw i64 %index603, 4
  %385 = icmp eq i64 %index.next608, %n.vec600
  br i1 %385, label %middle.block595, label %vector.body602, !llvm.loop !59

middle.block595:                                  ; preds = %vector.body602
  br i1 %cmp.n609, label %.loopexit, label %.lr.ph416.preheader613

.preheader:                                       ; preds = %365, %371
  br i1 %.not427, label %.loopexit, label %.lr.ph418.preheader

.lr.ph418.preheader:                              ; preds = %.preheader
  %brmerge680 = select i1 %min.iters.check577, i1 true, i1 %found.conflict
  br i1 %brmerge680, label %.lr.ph418.preheader612, label %vector.body582

.lr.ph418.preheader612:                           ; preds = %.lr.ph418.preheader, %middle.block575
  %indvars.iv472.ph = phi i64 [ 0, %.lr.ph418.preheader ], [ %n.vec580, %middle.block575 ]
  br i1 %lcmp.mod653.not, label %.lr.ph418.prol.loopexit, label %.lr.ph418.prol

.lr.ph418.prol:                                   ; preds = %.lr.ph418.preheader612, %.lr.ph418.prol
  %indvars.iv472.prol = phi i64 [ %indvars.iv.next473.prol, %.lr.ph418.prol ], [ %indvars.iv472.ph, %.lr.ph418.preheader612 ]
  %prol.iter654 = phi i64 [ %prol.iter654.next, %.lr.ph418.prol ], [ 0, %.lr.ph418.preheader612 ]
  %386 = getelementptr inbounds double, ptr %30, i64 %indvars.iv472.prol
  %387 = load double, ptr %386, align 8, !tbaa !12
  %388 = getelementptr inbounds double, ptr %14, i64 %indvars.iv472.prol
  %389 = load double, ptr %388, align 8, !tbaa !12
  %390 = fadd double %387, %389
  store double %390, ptr %388, align 8, !tbaa !12
  %indvars.iv.next473.prol = add nuw nsw i64 %indvars.iv472.prol, 1
  %prol.iter654.next = add i64 %prol.iter654, 1
  %prol.iter654.cmp.not = icmp eq i64 %prol.iter654.next, %xtraiter652
  br i1 %prol.iter654.cmp.not, label %.lr.ph418.prol.loopexit, label %.lr.ph418.prol, !llvm.loop !60

.lr.ph418.prol.loopexit:                          ; preds = %.lr.ph418.prol, %.lr.ph418.preheader612
  %indvars.iv472.unr = phi i64 [ %indvars.iv472.ph, %.lr.ph418.preheader612 ], [ %indvars.iv.next473.prol, %.lr.ph418.prol ]
  %391 = sub nsw i64 %indvars.iv472.ph, %28
  %392 = icmp ugt i64 %391, -4
  br i1 %392, label %.loopexit, label %.lr.ph418

vector.body582:                                   ; preds = %.lr.ph418.preheader, %vector.body582
  %index583 = phi i64 [ %index.next587, %vector.body582 ], [ 0, %.lr.ph418.preheader ]
  %393 = getelementptr inbounds double, ptr %30, i64 %index583
  %394 = getelementptr inbounds i8, ptr %393, i64 16
  %wide.load = load <2 x double>, ptr %393, align 8, !tbaa !12, !alias.scope !61
  %wide.load584 = load <2 x double>, ptr %394, align 8, !tbaa !12, !alias.scope !61
  %395 = getelementptr inbounds double, ptr %14, i64 %index583
  %396 = getelementptr inbounds i8, ptr %395, i64 16
  %wide.load585 = load <2 x double>, ptr %395, align 8, !tbaa !12, !alias.scope !64, !noalias !61
  %wide.load586 = load <2 x double>, ptr %396, align 8, !tbaa !12, !alias.scope !64, !noalias !61
  %397 = fadd <2 x double> %wide.load, %wide.load585
  %398 = fadd <2 x double> %wide.load584, %wide.load586
  store <2 x double> %397, ptr %395, align 8, !tbaa !12, !alias.scope !64, !noalias !61
  store <2 x double> %398, ptr %396, align 8, !tbaa !12, !alias.scope !64, !noalias !61
  %index.next587 = add nuw i64 %index583, 4
  %399 = icmp eq i64 %index.next587, %n.vec580
  br i1 %399, label %middle.block575, label %vector.body582, !llvm.loop !66

middle.block575:                                  ; preds = %vector.body582
  br i1 %cmp.n588, label %.loopexit, label %.lr.ph418.preheader612

.lr.ph416:                                        ; preds = %.lr.ph416.prol.loopexit, %.lr.ph416
  %indvars.iv467 = phi i64 [ %indvars.iv.next468.3, %.lr.ph416 ], [ %indvars.iv467.unr, %.lr.ph416.prol.loopexit ]
  %400 = getelementptr inbounds double, ptr %30, i64 %indvars.iv467
  %401 = load double, ptr %400, align 8, !tbaa !12
  %402 = getelementptr inbounds double, ptr %15, i64 %indvars.iv467
  %403 = load double, ptr %402, align 8, !tbaa !12
  %404 = fadd double %401, %403
  store double %404, ptr %402, align 8, !tbaa !12
  %indvars.iv.next468 = add nuw nsw i64 %indvars.iv467, 1
  %405 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next468
  %406 = load double, ptr %405, align 8, !tbaa !12
  %407 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next468
  %408 = load double, ptr %407, align 8, !tbaa !12
  %409 = fadd double %406, %408
  store double %409, ptr %407, align 8, !tbaa !12
  %indvars.iv.next468.1 = add nuw nsw i64 %indvars.iv467, 2
  %410 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next468.1
  %411 = load double, ptr %410, align 8, !tbaa !12
  %412 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next468.1
  %413 = load double, ptr %412, align 8, !tbaa !12
  %414 = fadd double %411, %413
  store double %414, ptr %412, align 8, !tbaa !12
  %indvars.iv.next468.2 = add nuw nsw i64 %indvars.iv467, 3
  %415 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next468.2
  %416 = load double, ptr %415, align 8, !tbaa !12
  %417 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next468.2
  %418 = load double, ptr %417, align 8, !tbaa !12
  %419 = fadd double %416, %418
  store double %419, ptr %417, align 8, !tbaa !12
  %indvars.iv.next468.3 = add nuw nsw i64 %indvars.iv467, 4
  %exitcond471.not.3 = icmp eq i64 %indvars.iv.next468.3, %28
  br i1 %exitcond471.not.3, label %.loopexit, label %.lr.ph416, !llvm.loop !67

.lr.ph418:                                        ; preds = %.lr.ph418.prol.loopexit, %.lr.ph418
  %indvars.iv472 = phi i64 [ %indvars.iv.next473.3, %.lr.ph418 ], [ %indvars.iv472.unr, %.lr.ph418.prol.loopexit ]
  %420 = getelementptr inbounds double, ptr %30, i64 %indvars.iv472
  %421 = load double, ptr %420, align 8, !tbaa !12
  %422 = getelementptr inbounds double, ptr %14, i64 %indvars.iv472
  %423 = load double, ptr %422, align 8, !tbaa !12
  %424 = fadd double %421, %423
  store double %424, ptr %422, align 8, !tbaa !12
  %indvars.iv.next473 = add nuw nsw i64 %indvars.iv472, 1
  %425 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next473
  %426 = load double, ptr %425, align 8, !tbaa !12
  %427 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next473
  %428 = load double, ptr %427, align 8, !tbaa !12
  %429 = fadd double %426, %428
  store double %429, ptr %427, align 8, !tbaa !12
  %indvars.iv.next473.1 = add nuw nsw i64 %indvars.iv472, 2
  %430 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next473.1
  %431 = load double, ptr %430, align 8, !tbaa !12
  %432 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next473.1
  %433 = load double, ptr %432, align 8, !tbaa !12
  %434 = fadd double %431, %433
  store double %434, ptr %432, align 8, !tbaa !12
  %indvars.iv.next473.2 = add nuw nsw i64 %indvars.iv472, 3
  %435 = getelementptr inbounds double, ptr %30, i64 %indvars.iv.next473.2
  %436 = load double, ptr %435, align 8, !tbaa !12
  %437 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next473.2
  %438 = load double, ptr %437, align 8, !tbaa !12
  %439 = fadd double %436, %438
  store double %439, ptr %437, align 8, !tbaa !12
  %indvars.iv.next473.3 = add nuw nsw i64 %indvars.iv472, 4
  %exitcond476.not.3 = icmp eq i64 %indvars.iv.next473.3, %28
  br i1 %exitcond476.not.3, label %.loopexit, label %.lr.ph418, !llvm.loop !68

.loopexit:                                        ; preds = %.lr.ph416.prol.loopexit, %.lr.ph416, %.lr.ph418.prol.loopexit, %.lr.ph418, %middle.block595, %middle.block575, %.preheader334, %.preheader
  %.not329484 = phi i32 [ 0, %.preheader334 ], [ 1, %.preheader ], [ 1, %middle.block575 ], [ 0, %middle.block595 ], [ 1, %.lr.ph418 ], [ 1, %.lr.ph418.prol.loopexit ], [ 0, %.lr.ph416 ], [ 0, %.lr.ph416.prol.loopexit ]
  store i32 %.not329484, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  br label %447

440:                                              ; preds = %345
  %441 = load i32, ptr @ifdSampler.isDelete, align 4, !tbaa !21
  %.not325 = icmp eq i32 %441, 0
  br i1 %.not325, label %447, label %442

442:                                              ; preds = %440
  br i1 %31, label %443, label %444

443:                                              ; preds = %442
  tail call void @insertArcOrEdge_updateinnerlist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %447

444:                                              ; preds = %442
  br i1 %32, label %445, label %446

445:                                              ; preds = %444
  tail call void @insertArc_all_maxtermsender_arcs(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %447

446:                                              ; preds = %444
  tail call void @insertArcOrEdge_updatelist(ptr noundef nonnull %0, i32 noundef %.2279, i32 noundef %.1276) #7
  br label %447

447:                                              ; preds = %.loopexit, %443, %446, %445, %440
  %.1281 = phi i64 [ %357, %.loopexit ], [ %.0280421, %443 ], [ %.0280421, %445 ], [ %.0280421, %446 ], [ %.0280421, %440 ]
  %448 = add nuw i64 %.0272422, 1
  %exitcond477.not = icmp eq i64 %448, %16
  br i1 %exitcond477.not, label %._crit_edge.loopexit, label %91, !llvm.loop !69

._crit_edge.loopexit:                             ; preds = %447
  %449 = uitofp i64 %.1281 to double
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %.preheader343
  %.0284.lcssa = phi i32 [ 0, %.preheader343 ], [ %.1285, %._crit_edge.loopexit ]
  %.0282.lcssa = phi i32 [ 0, %.preheader343 ], [ %.1283, %._crit_edge.loopexit ]
  %.0280.lcssa = phi double [ 0.000000e+00, %.preheader343 ], [ %449, %._crit_edge.loopexit ]
  %450 = sub nsw i32 %.0282.lcssa, %.0284.lcssa
  %451 = sitofp i32 %450 to double
  %452 = fmul double %451, %18
  %453 = fmul double %452, %451
  %454 = add nsw i32 %.0282.lcssa, %.0284.lcssa
  %455 = mul nsw i32 %454, %454
  %456 = uitofp nneg i32 %455 to double
  %457 = fdiv double %453, %456
  %458 = icmp sgt i32 %450, 0
  br i1 %458, label %459, label %462

459:                                              ; preds = %._crit_edge
  %460 = load double, ptr %20, align 8, !tbaa !12
  %461 = fsub double %460, %457
  br label %.sink.split

462:                                              ; preds = %._crit_edge
  %463 = icmp slt i32 %450, 0
  br i1 %463, label %464, label %467

464:                                              ; preds = %462
  %465 = load double, ptr %20, align 8, !tbaa !12
  %466 = fadd double %457, %465
  br label %.sink.split

.sink.split:                                      ; preds = %459, %464
  %.sink = phi double [ %466, %464 ], [ %461, %459 ]
  store double %.sink, ptr %20, align 8, !tbaa !12
  br label %467

467:                                              ; preds = %.sink.split, %462
  %468 = tail call i32 @llvm.abs.i32(i32 %450, i1 true)
  %469 = uitofp nneg i32 %468 to double
  %470 = sitofp i32 %454 to double
  %471 = fdiv double %469, %470
  %472 = fcmp ogt double %471, 8.000000e-01
  br i1 %472, label %473, label %477

473:                                              ; preds = %467
  %474 = load ptr, ptr @stderr, align 8, !tbaa !22
  %475 = load double, ptr %20, align 8, !tbaa !12
  %476 = tail call i32 (ptr, ptr, ...) @fprintf(ptr noundef %474, ptr noundef nonnull @.str.15, i32 noundef %.0282.lcssa, i32 noundef %.0284.lcssa, double noundef %475, double noundef %18) #9
  br label %477

477:                                              ; preds = %473, %467
  %478 = sitofp i32 %.0282.lcssa to double
  %479 = sitofp i32 %.0284.lcssa to double
  %480 = fsub double %478, %479
  store double %480, ptr %19, align 8, !tbaa !12
  %481 = uitofp i64 %16 to double
  %482 = fdiv double %.0280.lcssa, %481
  tail call void @free(ptr noundef %30) #7
  ret double %482
}

declare ptr @safe_malloc(i64 noundef) local_unnamed_addr #2

declare i32 @int_urand(i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.abs.i64(i64, i1 immarg) #3

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

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

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

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

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

declare void @removeArcOrEdge_updateinnerlist(ptr noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare void @removeArc_all_maxtermsender_arcs(ptr noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare void @removeArcOrEdge_updatelist(ptr noundef, i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare double @calcChangeStats(ptr noundef, i32 noundef, i32 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, i32 noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #3

declare double @urand() local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @exp(double noundef) local_unnamed_addr #5

declare void @insertArcOrEdge_updateinnerlist(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare void @insertArc_all_maxtermsender_arcs(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare void @insertArcOrEdge_updatelist(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.abs.i32(i32, i1 immarg) #3

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

attributes #0 = { 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 #1 = { 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 #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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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(write) "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 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 #7 = { nounwind }
attributes #8 = { noreturn nounwind }
attributes #9 = { cold 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, !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 = distinct !{!14, !15}
!15 = !{!"llvm.loop.unroll.disable"}
!16 = distinct !{!16, !17, !18, !19}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!"llvm.loop.isvectorized", i32 1}
!19 = !{!"llvm.loop.unroll.runtime.disable"}
!20 = distinct !{!20, !17, !18}
!21 = !{!7, !7, i64 0}
!22 = !{!10, !10, i64 0}
!23 = !{!24, !7, i64 0}
!24 = !{!"nodepair_s", !7, i64 0, !7, i64 4}
!25 = !{!6, !10, i64 224}
!26 = !{!6, !7, i64 232}
!27 = !{!24, !7, i64 4}
!28 = !{!6, !10, i64 248}
!29 = distinct !{!29, !17}
!30 = !{!6, !10, i64 240}
!31 = !{!6, !7, i64 236}
!32 = distinct !{!32, !17}
!33 = distinct !{!33, !17}
!34 = !{!6, !7, i64 312}
!35 = !{!6, !10, i64 304}
!36 = !{!6, !7, i64 300}
!37 = !{!6, !7, i64 0}
!38 = distinct !{!38, !17}
!39 = !{!6, !10, i64 288}
!40 = !{!6, !7, i64 296}
!41 = !{!6, !10, i64 320}
!42 = distinct !{!42, !17}
!43 = !{!6, !7, i64 12}
!44 = !{!6, !10, i64 48}
!45 = !{!6, !7, i64 56}
!46 = !{!6, !10, i64 80}
!47 = distinct !{!47, !17}
!48 = distinct !{!48, !17}
!49 = !{!6, !7, i64 88}
!50 = !{!6, !7, i64 92}
!51 = distinct !{!51, !17}
!52 = distinct !{!52, !17}
!53 = distinct !{!53, !15}
!54 = !{!55}
!55 = distinct !{!55, !56}
!56 = distinct !{!56, !"LVerDomain"}
!57 = !{!58}
!58 = distinct !{!58, !56}
!59 = distinct !{!59, !17, !18, !19}
!60 = distinct !{!60, !15}
!61 = !{!62}
!62 = distinct !{!62, !63}
!63 = distinct !{!63, !"LVerDomain"}
!64 = !{!65}
!65 = distinct !{!65, !63}
!66 = distinct !{!66, !17, !18, !19}
!67 = distinct !{!67, !17, !18}
!68 = distinct !{!68, !17, !18}
!69 = distinct !{!69, !17}


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