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

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

@.str = external hidden unnamed_addr constant [44 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [78 x i8], align 1
@__PRETTY_FUNCTION__.basicSampler = external hidden unnamed_addr constant [302 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
@.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 [81 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [36 x i8], align 1

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

60:                                               ; preds = %22
  %61 = load i32, ptr %41, align 4, !tbaa !9
  %62 = icmp ne i32 %61, 0
  br i1 %62, label %64, label %63

63:                                               ; preds = %60, %22
  br label %65

64:                                               ; preds = %60
  call void @__assert_fail(ptr noundef @.str, ptr noundef @.str.1, i32 noundef 154, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

65:                                               ; preds = %63
  %66 = load i32, ptr %44, align 4, !tbaa !9
  %67 = icmp ne i32 %66, 0
  br i1 %67, label %68, label %74

68:                                               ; preds = %65
  %69 = load i32, ptr %41, align 4, !tbaa !9
  %70 = icmp ne i32 %69, 0
  br i1 %70, label %75, label %71

71:                                               ; preds = %68
  %72 = load i32, ptr %43, align 4, !tbaa !9
  %73 = icmp ne i32 %72, 0
  br i1 %73, label %75, label %74

74:                                               ; preds = %71, %65
  br label %76

75:                                               ; preds = %71, %68
  call void @__assert_fail(ptr noundef @.str.2, ptr noundef @.str.1, i32 noundef 155, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

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

79:                                               ; preds = %76
  %80 = load ptr, ptr %23, align 8, !tbaa !5
  %81 = getelementptr inbounds %struct.graph_s, ptr %80, i32 0, i32 1
  %82 = load i32, ptr %81, align 4, !tbaa !13
  %83 = icmp ne i32 %82, 0
  br i1 %83, label %84, label %85

84:                                               ; preds = %79, %76
  br label %86

85:                                               ; preds = %79
  call void @__assert_fail(ptr noundef @.str.3, ptr noundef @.str.1, i32 noundef 156, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

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

89:                                               ; preds = %86
  %90 = load ptr, ptr %23, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct.graph_s, ptr %90, i32 0, i32 2
  %92 = load i32, ptr %91, align 8, !tbaa !15
  %93 = icmp ne i32 %92, 0
  br i1 %93, label %95, label %94

94:                                               ; preds = %89, %86
  br label %96

95:                                               ; preds = %89
  call void @__assert_fail(ptr noundef @.str.4, ptr noundef @.str.1, i32 noundef 157, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

96:                                               ; preds = %94
  %97 = load ptr, ptr %23, align 8, !tbaa !5
  %98 = getelementptr inbounds %struct.graph_s, ptr %97, i32 0, i32 2
  %99 = load i32, ptr %98, align 8, !tbaa !15
  %100 = icmp ne i32 %99, 0
  br i1 %100, label %101, label %106

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

106:                                              ; preds = %101, %96
  br label %108

107:                                              ; preds = %101
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.1, i32 noundef 158, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

108:                                              ; preds = %106
  store i32 0, ptr %47, align 4, !tbaa !9
  br label %109

109:                                              ; preds = %122, %108
  %110 = load i32, ptr %47, align 4, !tbaa !9
  %111 = load i32, ptr %24, align 4, !tbaa !9
  %112 = icmp ult i32 %110, %111
  br i1 %112, label %113, label %125

113:                                              ; preds = %109
  %114 = load ptr, ptr %38, align 8, !tbaa !5
  %115 = load i32, ptr %47, align 4, !tbaa !9
  %116 = zext i32 %115 to i64
  %117 = getelementptr inbounds double, ptr %114, i64 %116
  store double 0.000000e+00, ptr %117, align 8, !tbaa !16
  %118 = load ptr, ptr %37, align 8, !tbaa !5
  %119 = load i32, ptr %47, align 4, !tbaa !9
  %120 = zext i32 %119 to i64
  %121 = getelementptr inbounds double, ptr %118, i64 %120
  store double 0.000000e+00, ptr %121, align 8, !tbaa !16
  br label %122

122:                                              ; preds = %113
  %123 = load i32, ptr %47, align 4, !tbaa !9
  %124 = add i32 %123, 1
  store i32 %124, ptr %47, align 4, !tbaa !9
  br label %109, !llvm.loop !18

125:                                              ; preds = %109
  store i64 0, ptr %50, align 8, !tbaa !11
  br label %126

126:                                              ; preds = %588, %125
  %127 = load i64, ptr %50, align 8, !tbaa !11
  %128 = load i64, ptr %39, align 8, !tbaa !11
  %129 = icmp ult i64 %127, %128
  br i1 %129, label %130, label %591

130:                                              ; preds = %126
  %131 = load i32, ptr %41, align 4, !tbaa !9
  %132 = icmp ne i32 %131, 0
  br i1 %132, label %133, label %321

133:                                              ; preds = %130
  %134 = load i32, ptr %42, align 4, !tbaa !9
  %135 = icmp ne i32 %134, 0
  br i1 %135, label %137, label %136

136:                                              ; preds = %133
  br label %138

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

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

141:                                              ; preds = %138
  br label %143

142:                                              ; preds = %138
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 175, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

143:                                              ; preds = %141
  %144 = load ptr, ptr %23, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.graph_s, ptr %144, i32 0, i32 2
  %146 = load i32, ptr %145, align 8, !tbaa !15
  %147 = icmp ne i32 %146, 0
  br i1 %147, label %149, label %148

148:                                              ; preds = %143
  br label %150

149:                                              ; preds = %143
  call void @__assert_fail(ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 176, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

150:                                              ; preds = %148
  br label %151

151:                                              ; preds = %314, %150
  %152 = load ptr, ptr %23, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.graph_s, ptr %152, i32 0, i32 36
  %154 = load ptr, ptr %153, align 8, !tbaa !20
  %155 = load ptr, ptr %23, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.graph_s, ptr %155, i32 0, i32 35
  %157 = load i32, ptr %156, align 4, !tbaa !21
  %158 = call i32 @int_urand(i32 noundef %157)
  %159 = zext i32 %158 to i64
  %160 = getelementptr inbounds i32, ptr %154, i64 %159
  %161 = load i32, ptr %160, align 4, !tbaa !9
  store i32 %161, ptr %47, align 4, !tbaa !9
  br label %162

162:                                              ; preds = %173, %151
  %163 = load ptr, ptr %23, align 8, !tbaa !5
  %164 = getelementptr inbounds %struct.graph_s, ptr %163, i32 0, i32 36
  %165 = load ptr, ptr %164, align 8, !tbaa !20
  %166 = load ptr, ptr %23, align 8, !tbaa !5
  %167 = getelementptr inbounds %struct.graph_s, ptr %166, i32 0, i32 35
  %168 = load i32, ptr %167, align 4, !tbaa !21
  %169 = call i32 @int_urand(i32 noundef %168)
  %170 = zext i32 %169 to i64
  %171 = getelementptr inbounds i32, ptr %165, i64 %170
  %172 = load i32, ptr %171, align 4, !tbaa !9
  store i32 %172, ptr %48, align 4, !tbaa !9
  br label %173

173:                                              ; preds = %162
  %174 = load i32, ptr %47, align 4, !tbaa !9
  %175 = load i32, ptr %48, align 4, !tbaa !9
  %176 = icmp eq i32 %174, %175
  br i1 %176, label %162, label %177, !llvm.loop !22

177:                                              ; preds = %173
  %178 = load ptr, ptr %23, align 8, !tbaa !5
  %179 = getelementptr inbounds %struct.graph_s, ptr %178, i32 0, i32 33
  %180 = load ptr, ptr %179, align 8, !tbaa !23
  %181 = load i32, ptr %47, align 4, !tbaa !9
  %182 = zext i32 %181 to i64
  %183 = getelementptr inbounds i32, ptr %180, i64 %182
  %184 = load i32, ptr %183, align 4, !tbaa !9
  %185 = load ptr, ptr %23, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.graph_s, ptr %185, i32 0, i32 34
  %187 = load i32, ptr %186, align 8, !tbaa !24
  %188 = icmp ult i32 %184, %187
  br i1 %188, label %189, label %202

189:                                              ; preds = %177
  %190 = load ptr, ptr %23, align 8, !tbaa !5
  %191 = getelementptr inbounds %struct.graph_s, ptr %190, i32 0, i32 33
  %192 = load ptr, ptr %191, align 8, !tbaa !23
  %193 = load i32, ptr %48, align 4, !tbaa !9
  %194 = zext i32 %193 to i64
  %195 = getelementptr inbounds i32, ptr %192, i64 %194
  %196 = load i32, ptr %195, align 4, !tbaa !9
  %197 = load ptr, ptr %23, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.graph_s, ptr %197, i32 0, i32 34
  %199 = load i32, ptr %198, align 8, !tbaa !24
  %200 = icmp ult i32 %196, %199
  br i1 %200, label %201, label %202

201:                                              ; preds = %189
  br label %203

202:                                              ; preds = %189, %177
  call void @__assert_fail(ptr noundef @.str.9, ptr noundef @.str.1, i32 noundef 182, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

203:                                              ; preds = %201
  %204 = load ptr, ptr %23, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct.graph_s, ptr %204, i32 0, i32 33
  %206 = load ptr, ptr %205, align 8, !tbaa !23
  %207 = load i32, ptr %47, align 4, !tbaa !9
  %208 = zext i32 %207 to i64
  %209 = getelementptr inbounds i32, ptr %206, i64 %208
  %210 = load i32, ptr %209, align 4, !tbaa !9
  %211 = zext i32 %210 to i64
  %212 = load ptr, ptr %23, align 8, !tbaa !5
  %213 = getelementptr inbounds %struct.graph_s, ptr %212, i32 0, i32 33
  %214 = load ptr, ptr %213, align 8, !tbaa !23
  %215 = load i32, ptr %48, align 4, !tbaa !9
  %216 = zext i32 %215 to i64
  %217 = getelementptr inbounds i32, ptr %214, i64 %216
  %218 = load i32, ptr %217, align 4, !tbaa !9
  %219 = zext i32 %218 to i64
  %220 = sub nsw i64 %211, %219
  %221 = call i64 @llvm.abs.i64(i64 %220, i1 true)
  %222 = icmp sle i64 %221, 1
  br i1 %222, label %229, label %223

223:                                              ; preds = %203
  %224 = load ptr, ptr %23, align 8, !tbaa !5
  %225 = load i32, ptr %47, align 4, !tbaa !9
  %226 = load i32, ptr %48, align 4, !tbaa !9
  %227 = call i32 @isArcIgnoreDirection(ptr noundef %224, i32 noundef %225, i32 noundef %226)
  %228 = icmp ne i32 %227, 0
  br i1 %228, label %230, label %229

229:                                              ; preds = %223, %203
  br label %231

230:                                              ; preds = %223
  call void @__assert_fail(ptr noundef @.str.10, ptr noundef @.str.1, i32 noundef 185, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

231:                                              ; preds = %229
  br label %232

232:                                              ; preds = %231
  %233 = load ptr, ptr %23, align 8, !tbaa !5
  %234 = getelementptr inbounds %struct.graph_s, ptr %233, i32 0, i32 33
  %235 = load ptr, ptr %234, align 8, !tbaa !23
  %236 = load i32, ptr %47, align 4, !tbaa !9
  %237 = zext i32 %236 to i64
  %238 = getelementptr inbounds i32, ptr %235, i64 %237
  %239 = load i32, ptr %238, align 4, !tbaa !9
  %240 = zext i32 %239 to i64
  %241 = load ptr, ptr %23, align 8, !tbaa !5
  %242 = getelementptr inbounds %struct.graph_s, ptr %241, i32 0, i32 33
  %243 = load ptr, ptr %242, align 8, !tbaa !23
  %244 = load i32, ptr %48, align 4, !tbaa !9
  %245 = zext i32 %244 to i64
  %246 = getelementptr inbounds i32, ptr %243, i64 %245
  %247 = load i32, ptr %246, align 4, !tbaa !9
  %248 = zext i32 %247 to i64
  %249 = sub nsw i64 %240, %248
  %250 = call i64 @llvm.abs.i64(i64 %249, i1 true)
  %251 = icmp sgt i64 %250, 1
  br i1 %251, label %314, label %252

252:                                              ; preds = %232
  %253 = load ptr, ptr %23, align 8, !tbaa !5
  %254 = load i32, ptr %47, align 4, !tbaa !9
  %255 = load i32, ptr %48, align 4, !tbaa !9
  %256 = call i32 @isArcIgnoreDirection(ptr noundef %253, i32 noundef %254, i32 noundef %255)
  %257 = icmp ne i32 %256, 0
  br i1 %257, label %258, label %312

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

274:                                              ; preds = %258
  %275 = load ptr, ptr %23, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct.graph_s, ptr %275, i32 0, i32 37
  %277 = load ptr, ptr %276, align 8, !tbaa !25
  %278 = load i32, ptr %47, align 4, !tbaa !9
  %279 = zext i32 %278 to i64
  %280 = getelementptr inbounds i32, ptr %277, i64 %279
  %281 = load i32, ptr %280, align 4, !tbaa !9
  %282 = icmp eq i32 %281, 1
  br i1 %282, label %310, label %283

283:                                              ; preds = %274, %258
  %284 = load ptr, ptr %23, align 8, !tbaa !5
  %285 = getelementptr inbounds %struct.graph_s, ptr %284, i32 0, i32 33
  %286 = load ptr, ptr %285, align 8, !tbaa !23
  %287 = load i32, ptr %48, align 4, !tbaa !9
  %288 = zext i32 %287 to i64
  %289 = getelementptr inbounds i32, ptr %286, i64 %288
  %290 = load i32, ptr %289, align 4, !tbaa !9
  %291 = load ptr, ptr %23, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct.graph_s, ptr %291, i32 0, i32 33
  %293 = load ptr, ptr %292, align 8, !tbaa !23
  %294 = load i32, ptr %47, align 4, !tbaa !9
  %295 = zext i32 %294 to i64
  %296 = getelementptr inbounds i32, ptr %293, i64 %295
  %297 = load i32, ptr %296, align 4, !tbaa !9
  %298 = icmp ugt i32 %290, %297
  br i1 %298, label %299, label %308

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

308:                                              ; preds = %299, %283
  %309 = phi i1 [ false, %283 ], [ %307, %299 ]
  br label %310

310:                                              ; preds = %308, %274
  %311 = phi i1 [ true, %274 ], [ %309, %308 ]
  br label %312

312:                                              ; preds = %310, %252
  %313 = phi i1 [ false, %252 ], [ %311, %310 ]
  br label %314

314:                                              ; preds = %312, %232
  %315 = phi i1 [ true, %232 ], [ %313, %312 ]
  br i1 %315, label %151, label %316, !llvm.loop !26

316:                                              ; preds = %314
  %317 = load ptr, ptr %23, align 8, !tbaa !5
  %318 = load i32, ptr %47, align 4, !tbaa !9
  %319 = load i32, ptr %48, align 4, !tbaa !9
  %320 = call i32 @isArc(ptr noundef %317, i32 noundef %318, i32 noundef %319)
  store i32 %320, ptr %51, align 4, !tbaa !9
  br label %481

321:                                              ; preds = %130
  %322 = load i32, ptr %43, align 4, !tbaa !9
  %323 = icmp ne i32 %322, 0
  br i1 %323, label %324, label %398

324:                                              ; preds = %321
  %325 = load ptr, ptr %23, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct.graph_s, ptr %325, i32 0, i32 1
  %327 = load i32, ptr %326, align 4, !tbaa !13
  %328 = icmp ne i32 %327, 0
  br i1 %328, label %329, label %330

329:                                              ; preds = %324
  br label %331

330:                                              ; preds = %324
  call void @__assert_fail(ptr noundef @.str.11, ptr noundef @.str.1, i32 noundef 196, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

331:                                              ; preds = %329
  %332 = load i32, ptr %44, align 4, !tbaa !9
  %333 = icmp ne i32 %332, 0
  br i1 %333, label %335, label %334

334:                                              ; preds = %331
  br label %336

335:                                              ; preds = %331
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.1, i32 noundef 197, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

336:                                              ; preds = %334
  %337 = load ptr, ptr %23, align 8, !tbaa !5
  %338 = getelementptr inbounds %struct.graph_s, ptr %337, i32 0, i32 2
  %339 = load i32, ptr %338, align 8, !tbaa !15
  %340 = icmp ne i32 %339, 0
  br i1 %340, label %342, label %341

341:                                              ; preds = %336
  br label %343

342:                                              ; preds = %336
  call void @__assert_fail(ptr noundef @.str.8, ptr noundef @.str.1, i32 noundef 198, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

343:                                              ; preds = %341
  br label %344

344:                                              ; preds = %381, %343
  %345 = load ptr, ptr %23, align 8, !tbaa !5
  %346 = getelementptr inbounds %struct.graph_s, ptr %345, i32 0, i32 45
  %347 = load ptr, ptr %346, align 8, !tbaa !27
  %348 = load ptr, ptr %23, align 8, !tbaa !5
  %349 = getelementptr inbounds %struct.graph_s, ptr %348, i32 0, i32 44
  %350 = load i32, ptr %349, align 4, !tbaa !28
  %351 = call i32 @int_urand(i32 noundef %350)
  %352 = zext i32 %351 to i64
  %353 = getelementptr inbounds i32, ptr %347, i64 %352
  %354 = load i32, ptr %353, align 4, !tbaa !9
  store i32 %354, ptr %47, align 4, !tbaa !9
  br label %355

355:                                              ; preds = %360, %344
  %356 = load ptr, ptr %23, align 8, !tbaa !5
  %357 = getelementptr inbounds %struct.graph_s, ptr %356, i32 0, i32 0
  %358 = load i32, ptr %357, align 8, !tbaa !29
  %359 = call i32 @int_urand(i32 noundef %358)
  store i32 %359, ptr %48, align 4, !tbaa !9
  br label %360

360:                                              ; preds = %355
  %361 = load i32, ptr %47, align 4, !tbaa !9
  %362 = load i32, ptr %48, align 4, !tbaa !9
  %363 = icmp eq i32 %361, %362
  br i1 %363, label %355, label %364, !llvm.loop !30

364:                                              ; preds = %360
  %365 = load ptr, ptr %23, align 8, !tbaa !5
  %366 = load i32, ptr %47, align 4, !tbaa !9
  %367 = load i32, ptr %48, align 4, !tbaa !9
  %368 = call i32 @isArc(ptr noundef %365, i32 noundef %366, i32 noundef %367)
  store i32 %368, ptr %51, align 4, !tbaa !9
  br label %369

369:                                              ; preds = %364
  %370 = load i32, ptr %42, align 4, !tbaa !9
  %371 = icmp ne i32 %370, 0
  br i1 %371, label %372, label %381

372:                                              ; preds = %369
  %373 = load i32, ptr %51, align 4, !tbaa !9
  %374 = icmp ne i32 %373, 0
  br i1 %374, label %381, label %375

375:                                              ; preds = %372
  %376 = load ptr, ptr %23, align 8, !tbaa !5
  %377 = load i32, ptr %48, align 4, !tbaa !9
  %378 = load i32, ptr %47, align 4, !tbaa !9
  %379 = call i32 @isArc(ptr noundef %376, i32 noundef %377, i32 noundef %378)
  %380 = icmp ne i32 %379, 0
  br label %381

381:                                              ; preds = %375, %372, %369
  %382 = phi i1 [ false, %372 ], [ false, %369 ], [ %380, %375 ]
  br i1 %382, label %344, label %383, !llvm.loop !31

383:                                              ; preds = %381
  %384 = load ptr, ptr %23, align 8, !tbaa !5
  %385 = getelementptr inbounds %struct.graph_s, ptr %384, i32 0, i32 42
  %386 = load ptr, ptr %385, align 8, !tbaa !32
  %387 = load i32, ptr %47, align 4, !tbaa !9
  %388 = zext i32 %387 to i64
  %389 = getelementptr inbounds i32, ptr %386, i64 %388
  %390 = load i32, ptr %389, align 4, !tbaa !9
  %391 = load ptr, ptr %23, align 8, !tbaa !5
  %392 = getelementptr inbounds %struct.graph_s, ptr %391, i32 0, i32 43
  %393 = load i32, ptr %392, align 8, !tbaa !33
  %394 = icmp eq i32 %390, %393
  br i1 %394, label %395, label %396

395:                                              ; preds = %383
  br label %397

396:                                              ; preds = %383
  call void @__assert_fail(ptr noundef @.str.12, ptr noundef @.str.1, i32 noundef 206, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

397:                                              ; preds = %395
  br label %480

398:                                              ; preds = %321
  %399 = load ptr, ptr %23, align 8, !tbaa !5
  %400 = getelementptr inbounds %struct.graph_s, ptr %399, i32 0, i32 2
  %401 = load i32, ptr %400, align 8, !tbaa !15
  %402 = icmp ne i32 %401, 0
  br i1 %402, label %403, label %434

403:                                              ; preds = %398
  %404 = load ptr, ptr %23, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct.graph_s, ptr %404, i32 0, i32 13
  %406 = load i32, ptr %405, align 8, !tbaa !34
  %407 = call i32 @int_urand(i32 noundef %406)
  store i32 %407, ptr %47, align 4, !tbaa !9
  %408 = load ptr, ptr %23, align 8, !tbaa !5
  %409 = getelementptr inbounds %struct.graph_s, ptr %408, i32 0, i32 13
  %410 = load i32, ptr %409, align 8, !tbaa !34
  %411 = load ptr, ptr %23, align 8, !tbaa !5
  %412 = getelementptr inbounds %struct.graph_s, ptr %411, i32 0, i32 14
  %413 = load i32, ptr %412, align 4, !tbaa !35
  %414 = call i32 @int_urand(i32 noundef %413)
  %415 = add i32 %410, %414
  store i32 %415, ptr %48, align 4, !tbaa !9
  %416 = load ptr, ptr %23, align 8, !tbaa !5
  %417 = load i32, ptr %47, align 4, !tbaa !9
  %418 = call i32 @bipartite_node_mode(ptr noundef %416, i32 noundef %417)
  %419 = icmp eq i32 %418, 0
  br i1 %419, label %420, label %421

420:                                              ; preds = %403
  br label %422

421:                                              ; preds = %403
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.1, i32 noundef 214, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

422:                                              ; preds = %420
  %423 = load ptr, ptr %23, align 8, !tbaa !5
  %424 = load i32, ptr %48, align 4, !tbaa !9
  %425 = call i32 @bipartite_node_mode(ptr noundef %423, i32 noundef %424)
  %426 = icmp eq i32 %425, 1
  br i1 %426, label %427, label %428

427:                                              ; preds = %422
  br label %429

428:                                              ; preds = %422
  call void @__assert_fail(ptr noundef @.str.14, ptr noundef @.str.1, i32 noundef 215, ptr noundef @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

429:                                              ; preds = %427
  %430 = load ptr, ptr %23, align 8, !tbaa !5
  %431 = load i32, ptr %47, align 4, !tbaa !9
  %432 = load i32, ptr %48, align 4, !tbaa !9
  %433 = call i32 @isEdge(ptr noundef %430, i32 noundef %431, i32 noundef %432)
  store i32 %433, ptr %51, align 4, !tbaa !9
  br label %479

434:                                              ; preds = %398
  br label %435

435:                                              ; preds = %476, %434
  %436 = load ptr, ptr %23, align 8, !tbaa !5
  %437 = getelementptr inbounds %struct.graph_s, ptr %436, i32 0, i32 0
  %438 = load i32, ptr %437, align 8, !tbaa !29
  %439 = call i32 @int_urand(i32 noundef %438)
  store i32 %439, ptr %47, align 4, !tbaa !9
  br label %440

440:                                              ; preds = %452, %435
  %441 = load ptr, ptr %23, align 8, !tbaa !5
  %442 = getelementptr inbounds %struct.graph_s, ptr %441, i32 0, i32 0
  %443 = load i32, ptr %442, align 8, !tbaa !29
  %444 = call i32 @int_urand(i32 noundef %443)
  store i32 %444, ptr %48, align 4, !tbaa !9
  br label %445

445:                                              ; preds = %440
  %446 = load i32, ptr %44, align 4, !tbaa !9
  %447 = icmp ne i32 %446, 0
  br i1 %447, label %452, label %448

448:                                              ; preds = %445
  %449 = load i32, ptr %47, align 4, !tbaa !9
  %450 = load i32, ptr %48, align 4, !tbaa !9
  %451 = icmp eq i32 %449, %450
  br label %452

452:                                              ; preds = %448, %445
  %453 = phi i1 [ false, %445 ], [ %451, %448 ]
  br i1 %453, label %440, label %454, !llvm.loop !36

454:                                              ; preds = %452
  %455 = load ptr, ptr %23, align 8, !tbaa !5
  %456 = load i32, ptr %47, align 4, !tbaa !9
  %457 = load i32, ptr %48, align 4, !tbaa !9
  %458 = call i32 @isArcOrEdge(ptr noundef %455, i32 noundef %456, i32 noundef %457)
  store i32 %458, ptr %51, align 4, !tbaa !9
  br label %459

459:                                              ; preds = %454
  %460 = load ptr, ptr %23, align 8, !tbaa !5
  %461 = getelementptr inbounds %struct.graph_s, ptr %460, i32 0, i32 1
  %462 = load i32, ptr %461, align 4, !tbaa !13
  %463 = icmp ne i32 %462, 0
  br i1 %463, label %464, label %476

464:                                              ; preds = %459
  %465 = load i32, ptr %42, align 4, !tbaa !9
  %466 = icmp ne i32 %465, 0
  br i1 %466, label %467, label %476

467:                                              ; preds = %464
  %468 = load i32, ptr %51, align 4, !tbaa !9
  %469 = icmp ne i32 %468, 0
  br i1 %469, label %476, label %470

470:                                              ; preds = %467
  %471 = load ptr, ptr %23, align 8, !tbaa !5
  %472 = load i32, ptr %48, align 4, !tbaa !9
  %473 = load i32, ptr %47, align 4, !tbaa !9
  %474 = call i32 @isArc(ptr noundef %471, i32 noundef %472, i32 noundef %473)
  %475 = icmp ne i32 %474, 0
  br label %476

476:                                              ; preds = %470, %467, %464, %459
  %477 = phi i1 [ false, %467 ], [ false, %464 ], [ false, %459 ], [ %475, %470 ]
  br i1 %477, label %435, label %478, !llvm.loop !37

478:                                              ; preds = %476
  br label %479

479:                                              ; preds = %478, %429
  br label %480

480:                                              ; preds = %479, %397
  br label %481

481:                                              ; preds = %480, %316
  %482 = load i32, ptr %51, align 4, !tbaa !9
  %483 = icmp ne i32 %482, 0
  br i1 %483, label %484, label %488

484:                                              ; preds = %481
  %485 = load ptr, ptr %23, align 8, !tbaa !5
  %486 = load i32, ptr %47, align 4, !tbaa !9
  %487 = load i32, ptr %48, align 4, !tbaa !9
  call void @removeArcOrEdge(ptr noundef %485, i32 noundef %486, i32 noundef %487)
  br label %488

488:                                              ; preds = %484, %481
  %489 = load ptr, ptr %23, align 8, !tbaa !5
  %490 = load i32, ptr %47, align 4, !tbaa !9
  %491 = load i32, ptr %48, align 4, !tbaa !9
  %492 = load i32, ptr %24, align 4, !tbaa !9
  %493 = load i32, ptr %25, align 4, !tbaa !9
  %494 = load i32, ptr %26, align 4, !tbaa !9
  %495 = load i32, ptr %27, align 4, !tbaa !9
  %496 = load ptr, ptr %28, align 8, !tbaa !5
  %497 = load ptr, ptr %29, align 8, !tbaa !5
  %498 = load ptr, ptr %30, align 8, !tbaa !5
  %499 = load ptr, ptr %31, align 8, !tbaa !5
  %500 = load ptr, ptr %32, align 8, !tbaa !5
  %501 = load ptr, ptr %33, align 8, !tbaa !5
  %502 = load ptr, ptr %34, align 8, !tbaa !5
  %503 = load ptr, ptr %35, align 8, !tbaa !5
  %504 = load ptr, ptr %36, align 8, !tbaa !5
  %505 = load i32, ptr %51, align 4, !tbaa !9
  %506 = load ptr, ptr %52, align 8, !tbaa !5
  %507 = call double @calcChangeStats(ptr noundef %489, i32 noundef %490, i32 noundef %491, i32 noundef %492, i32 noundef %493, i32 noundef %494, i32 noundef %495, ptr noundef %496, ptr noundef %497, ptr noundef %498, ptr noundef %499, ptr noundef %500, ptr noundef %501, ptr noundef %502, ptr noundef %503, ptr noundef %504, i32 noundef %505, ptr noundef %506)
  store double %507, ptr %53, align 8, !tbaa !16
  %508 = call double @urand()
  %509 = load double, ptr %53, align 8, !tbaa !16
  %510 = call double @exp(double noundef %509) #6
  %511 = fcmp olt double %508, %510
  br i1 %511, label %512, label %579

512:                                              ; preds = %488
  %513 = load i64, ptr %45, align 8, !tbaa !11
  %514 = add i64 %513, 1
  store i64 %514, ptr %45, align 8, !tbaa !11
  %515 = load i32, ptr %40, align 4, !tbaa !9
  %516 = icmp ne i32 %515, 0
  br i1 %516, label %517, label %525

517:                                              ; preds = %512
  %518 = load i32, ptr %51, align 4, !tbaa !9
  %519 = icmp ne i32 %518, 0
  br i1 %519, label %524, label %520

520:                                              ; preds = %517
  %521 = load ptr, ptr %23, align 8, !tbaa !5
  %522 = load i32, ptr %47, align 4, !tbaa !9
  %523 = load i32, ptr %48, align 4, !tbaa !9
  call void @insertArcOrEdge(ptr noundef %521, i32 noundef %522, i32 noundef %523)
  br label %524

524:                                              ; preds = %520, %517
  br label %533

525:                                              ; preds = %512
  %526 = load i32, ptr %51, align 4, !tbaa !9
  %527 = icmp ne i32 %526, 0
  br i1 %527, label %528, label %532

528:                                              ; preds = %525
  %529 = load ptr, ptr %23, align 8, !tbaa !5
  %530 = load i32, ptr %47, align 4, !tbaa !9
  %531 = load i32, ptr %48, align 4, !tbaa !9
  call void @insertArcOrEdge(ptr noundef %529, i32 noundef %530, i32 noundef %531)
  br label %532

532:                                              ; preds = %528, %525
  br label %533

533:                                              ; preds = %532, %524
  %534 = load i32, ptr %51, align 4, !tbaa !9
  %535 = icmp ne i32 %534, 0
  br i1 %535, label %536, label %557

536:                                              ; preds = %533
  store i32 0, ptr %49, align 4, !tbaa !9
  br label %537

537:                                              ; preds = %553, %536
  %538 = load i32, ptr %49, align 4, !tbaa !9
  %539 = load i32, ptr %24, align 4, !tbaa !9
  %540 = icmp ult i32 %538, %539
  br i1 %540, label %541, label %556

541:                                              ; preds = %537
  %542 = load ptr, ptr %52, align 8, !tbaa !5
  %543 = load i32, ptr %49, align 4, !tbaa !9
  %544 = zext i32 %543 to i64
  %545 = getelementptr inbounds double, ptr %542, i64 %544
  %546 = load double, ptr %545, align 8, !tbaa !16
  %547 = load ptr, ptr %38, align 8, !tbaa !5
  %548 = load i32, ptr %49, align 4, !tbaa !9
  %549 = zext i32 %548 to i64
  %550 = getelementptr inbounds double, ptr %547, i64 %549
  %551 = load double, ptr %550, align 8, !tbaa !16
  %552 = fadd double %551, %546
  store double %552, ptr %550, align 8, !tbaa !16
  br label %553

553:                                              ; preds = %541
  %554 = load i32, ptr %49, align 4, !tbaa !9
  %555 = add i32 %554, 1
  store i32 %555, ptr %49, align 4, !tbaa !9
  br label %537, !llvm.loop !38

556:                                              ; preds = %537
  br label %578

557:                                              ; preds = %533
  store i32 0, ptr %49, align 4, !tbaa !9
  br label %558

558:                                              ; preds = %574, %557
  %559 = load i32, ptr %49, align 4, !tbaa !9
  %560 = load i32, ptr %24, align 4, !tbaa !9
  %561 = icmp ult i32 %559, %560
  br i1 %561, label %562, label %577

562:                                              ; preds = %558
  %563 = load ptr, ptr %52, align 8, !tbaa !5
  %564 = load i32, ptr %49, align 4, !tbaa !9
  %565 = zext i32 %564 to i64
  %566 = getelementptr inbounds double, ptr %563, i64 %565
  %567 = load double, ptr %566, align 8, !tbaa !16
  %568 = load ptr, ptr %37, align 8, !tbaa !5
  %569 = load i32, ptr %49, align 4, !tbaa !9
  %570 = zext i32 %569 to i64
  %571 = getelementptr inbounds double, ptr %568, i64 %570
  %572 = load double, ptr %571, align 8, !tbaa !16
  %573 = fadd double %572, %567
  store double %573, ptr %571, align 8, !tbaa !16
  br label %574

574:                                              ; preds = %562
  %575 = load i32, ptr %49, align 4, !tbaa !9
  %576 = add i32 %575, 1
  store i32 %576, ptr %49, align 4, !tbaa !9
  br label %558, !llvm.loop !39

577:                                              ; preds = %558
  br label %578

578:                                              ; preds = %577, %556
  br label %587

579:                                              ; preds = %488
  %580 = load i32, ptr %51, align 4, !tbaa !9
  %581 = icmp ne i32 %580, 0
  br i1 %581, label %582, label %586

582:                                              ; preds = %579
  %583 = load ptr, ptr %23, align 8, !tbaa !5
  %584 = load i32, ptr %47, align 4, !tbaa !9
  %585 = load i32, ptr %48, align 4, !tbaa !9
  call void @insertArcOrEdge(ptr noundef %583, i32 noundef %584, i32 noundef %585)
  br label %586

586:                                              ; preds = %582, %579
  br label %587

587:                                              ; preds = %586, %578
  br label %588

588:                                              ; preds = %587
  %589 = load i64, ptr %50, align 8, !tbaa !11
  %590 = add i64 %589, 1
  store i64 %590, ptr %50, align 8, !tbaa !11
  br label %126, !llvm.loop !40

591:                                              ; preds = %126
  %592 = load i64, ptr %45, align 8, !tbaa !11
  %593 = uitofp i64 %592 to double
  %594 = load i64, ptr %39, align 8, !tbaa !11
  %595 = uitofp i64 %594 to double
  %596 = fdiv double %593, %595
  store double %596, ptr %46, align 8, !tbaa !16
  %597 = load ptr, ptr %52, align 8, !tbaa !5
  call void @free(ptr noundef %597) #6
  %598 = load double, ptr %46, align 8, !tbaa !16
  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 4, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %49) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %47) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #6
  ret double %598
}

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

declare ptr @safe_malloc(i64 noundef) #2

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

declare i32 @int_urand(i32 noundef) #2

; 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) #2

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

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

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

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

declare void @removeArcOrEdge(ptr noundef, i32 noundef, i32 noundef) #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) #2

declare double @urand() #2

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

declare void @insertArcOrEdge(ptr noundef, i32 noundef, i32 noundef) #2

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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, !10, i64 4}
!14 = !{!"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}
!15 = !{!14, !10, i64 8}
!16 = !{!17, !17, i64 0}
!17 = !{!"double", !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!14, !6, i64 240}
!21 = !{!14, !10, i64 236}
!22 = distinct !{!22, !19}
!23 = !{!14, !6, i64 224}
!24 = !{!14, !10, i64 232}
!25 = !{!14, !6, i64 248}
!26 = distinct !{!26, !19}
!27 = !{!14, !6, i64 304}
!28 = !{!14, !10, i64 300}
!29 = !{!14, !10, i64 0}
!30 = distinct !{!30, !19}
!31 = distinct !{!31, !19}
!32 = !{!14, !6, i64 288}
!33 = !{!14, !10, i64 296}
!34 = !{!14, !10, i64 88}
!35 = !{!14, !10, i64 92}
!36 = distinct !{!36, !19}
!37 = distinct !{!37, !19}
!38 = distinct !{!38, !19}
!39 = distinct !{!39, !19}
!40 = distinct !{!40, !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"

@.str = external hidden unnamed_addr constant [44 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [78 x i8], align 1
@__PRETTY_FUNCTION__.basicSampler = external hidden unnamed_addr constant [302 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
@.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 [81 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [36 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local double @basicSampler(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, i32 noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, ptr noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11, ptr noundef %12, ptr noundef %13, ptr nocapture noundef %14, ptr nocapture noundef %15, i64 noundef %16, i32 noundef %17, i32 noundef %18, i32 noundef %19, i32 noundef %20, i32 noundef %21) local_unnamed_addr #0 {
  %23 = ptrtoint ptr %15 to i64
  %24 = ptrtoint ptr %14 to i64
  %25 = zext i32 %1 to i64
  %26 = shl nuw nsw i64 %25, 3
  %27 = tail call ptr @safe_malloc(i64 noundef %26) #6
  %28 = icmp ne i32 %20, 0
  %29 = icmp ne i32 %18, 0
  %or.cond = and i1 %29, %28
  br i1 %or.cond, label %30, label %31

30:                                               ; preds = %22
  tail call void @__assert_fail(ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i32 noundef 154, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

31:                                               ; preds = %22
  %.not = icmp eq i32 %21, 0
  %32 = or i32 %20, %18
  %or.cond3.not = icmp eq i32 %32, 0
  %or.cond217 = or i1 %.not, %or.cond3.not
  br i1 %or.cond217, label %34, label %33

33:                                               ; preds = %31
  tail call void @__assert_fail(ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.1, i32 noundef 155, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

34:                                               ; preds = %31
  br i1 %28, label %35, label %39

35:                                               ; preds = %34
  %36 = getelementptr inbounds i8, ptr %0, i64 4
  %37 = load i32, ptr %36, align 4, !tbaa !5
  %.not199 = icmp eq i32 %37, 0
  br i1 %.not199, label %38, label %39

38:                                               ; preds = %35
  tail call void @__assert_fail(ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.1, i32 noundef 156, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

39:                                               ; preds = %34, %35
  %40 = getelementptr inbounds i8, ptr %0, i64 8
  %41 = load i32, ptr %40, align 8, !tbaa !11
  %.not200 = icmp eq i32 %41, 0
  br i1 %29, label %42, label %44

42:                                               ; preds = %39
  br i1 %.not200, label %.thread324, label %43

43:                                               ; preds = %42
  tail call void @__assert_fail(ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.1, i32 noundef 157, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

44:                                               ; preds = %39
  br i1 %.not200, label %.thread324, label %45

45:                                               ; preds = %44
  %46 = getelementptr inbounds i8, ptr %0, i64 4
  %47 = load i32, ptr %46, align 4, !tbaa !5
  %.not202 = icmp eq i32 %47, 0
  br i1 %.not202, label %.thread324, label %48

48:                                               ; preds = %45
  tail call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.1, i32 noundef 158, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

.thread324:                                       ; preds = %42, %44, %45
  %49 = getelementptr inbounds i8, ptr %0, i64 8
  %.not276 = icmp eq i32 %1, 0
  br i1 %.not276, label %.preheader233, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %.thread324
  %min.iters.check = icmp ult i32 %1, 4
  %50 = sub i64 %24, %23
  %diff.check = icmp ult i64 %50, 32
  %or.cond397 = or i1 %min.iters.check, %diff.check
  br i1 %or.cond397, label %.lr.ph.preheader416, label %vector.ph

.lr.ph.preheader416:                              ; preds = %middle.block, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ 0, %.lr.ph.preheader ], [ %n.vec, %middle.block ]
  %xtraiter = and i64 %25, 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.preheader416, %.lr.ph.prol
  %indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %.lr.ph.prol ], [ %indvars.iv.ph, %.lr.ph.preheader416 ]
  %prol.iter = phi i64 [ %prol.iter.next, %.lr.ph.prol ], [ 0, %.lr.ph.preheader416 ]
  %51 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.prol
  store double 0.000000e+00, ptr %51, align 8, !tbaa !12
  %52 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.prol
  store double 0.000000e+00, ptr %52, 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.preheader416
  %indvars.iv.unr = phi i64 [ %indvars.iv.ph, %.lr.ph.preheader416 ], [ %indvars.iv.next.prol, %.lr.ph.prol ]
  %53 = sub nsw i64 %indvars.iv.ph, %25
  %54 = icmp ugt i64 %53, -4
  br i1 %54, label %.preheader233, label %.lr.ph

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

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

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.vec, %25
  br i1 %cmp.n, label %.preheader233, label %.lr.ph.preheader416

.preheader233:                                    ; preds = %.lr.ph.prol.loopexit, %.lr.ph, %middle.block, %.thread324
  %.not277 = icmp eq i64 %16, 0
  br i1 %.not277, label %._crit_edge, label %.lr.ph275

.lr.ph275:                                        ; preds = %.preheader233
  %60 = getelementptr inbounds i8, ptr %0, i64 88
  %61 = getelementptr inbounds i8, ptr %0, i64 92
  %62 = getelementptr inbounds i8, ptr %0, i64 4
  %63 = icmp eq i32 %19, 0
  %64 = getelementptr inbounds i8, ptr %0, i64 304
  %65 = getelementptr inbounds i8, ptr %0, i64 300
  %66 = getelementptr inbounds i8, ptr %0, i64 288
  %67 = getelementptr inbounds i8, ptr %0, i64 296
  %68 = getelementptr inbounds i8, ptr %0, i64 240
  %69 = getelementptr inbounds i8, ptr %0, i64 236
  %70 = getelementptr inbounds i8, ptr %0, i64 224
  %71 = getelementptr inbounds i8, ptr %0, i64 232
  %72 = getelementptr inbounds i8, ptr %0, i64 248
  %.not216 = icmp eq i32 %17, 0
  %73 = shl nuw nsw i64 %25, 3
  %scevgep = getelementptr i8, ptr %14, i64 %73
  %scevgep361 = getelementptr i8, ptr %27, i64 %73
  %74 = shl nuw nsw i64 %25, 3
  %scevgep377 = getelementptr i8, ptr %15, i64 %74
  %scevgep378 = getelementptr i8, ptr %27, i64 %74
  %min.iters.check384 = icmp ult i32 %1, 4
  %bound0379 = icmp ugt ptr %scevgep378, %15
  %bound1380 = icmp ult ptr %27, %scevgep377
  %found.conflict381 = and i1 %bound0379, %bound1380
  %n.vec387 = and i64 %25, 4294967292
  %cmp.n396 = icmp eq i64 %n.vec387, %25
  %xtraiter417 = and i64 %25, 3
  %lcmp.mod418.not = icmp eq i64 %xtraiter417, 0
  %min.iters.check364 = icmp ult i32 %1, 4
  %bound0 = icmp ugt ptr %scevgep361, %14
  %bound1 = icmp ult ptr %27, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  %n.vec367 = and i64 %25, 4294967292
  %cmp.n375 = icmp eq i64 %n.vec367, %25
  %xtraiter420 = and i64 %25, 3
  %lcmp.mod421.not = icmp eq i64 %xtraiter420, 0
  br label %83

.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 ]
  %75 = getelementptr inbounds double, ptr %15, i64 %indvars.iv
  store double 0.000000e+00, ptr %75, align 8, !tbaa !12
  %76 = getelementptr inbounds double, ptr %14, i64 %indvars.iv
  store double 0.000000e+00, ptr %76, align 8, !tbaa !12
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %77 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next
  store double 0.000000e+00, ptr %77, align 8, !tbaa !12
  %78 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next
  store double 0.000000e+00, ptr %78, align 8, !tbaa !12
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %79 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next.1
  store double 0.000000e+00, ptr %79, align 8, !tbaa !12
  %80 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next.1
  store double 0.000000e+00, ptr %80, align 8, !tbaa !12
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %81 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next.2
  store double 0.000000e+00, ptr %81, align 8, !tbaa !12
  %82 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next.2
  store double 0.000000e+00, ptr %82, 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, %25
  br i1 %exitcond.not.3, label %.preheader233, label %.lr.ph, !llvm.loop !20

83:                                               ; preds = %.lr.ph275, %.loopexit
  %.0274 = phi i64 [ 0, %.lr.ph275 ], [ %.1, %.loopexit ]
  %.0185273 = phi i64 [ 0, %.lr.ph275 ], [ %310, %.loopexit ]
  br i1 %29, label %84, label %150

84:                                               ; preds = %83
  br i1 %63, label %86, label %85

85:                                               ; preds = %84
  tail call void @__assert_fail(ptr noundef nonnull @.str.6, ptr noundef nonnull @.str.1, i32 noundef 174, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

86:                                               ; preds = %84
  br i1 %.not, label %88, label %87

87:                                               ; preds = %86
  tail call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 175, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

88:                                               ; preds = %86
  %89 = load i32, ptr %49, align 8, !tbaa !11
  %.not212 = icmp eq i32 %89, 0
  br i1 %.not212, label %.preheader, label %90

90:                                               ; preds = %88
  tail call void @__assert_fail(ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 176, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

.preheader:                                       ; preds = %88, %.preheader.backedge
  %91 = load ptr, ptr %68, align 8, !tbaa !21
  %92 = load i32, ptr %69, align 4, !tbaa !22
  %93 = tail call i32 @int_urand(i32 noundef %92) #6
  %94 = zext i32 %93 to i64
  %95 = getelementptr inbounds i32, ptr %91, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !23
  br label %97

97:                                               ; preds = %97, %.preheader
  %98 = load ptr, ptr %68, align 8, !tbaa !21
  %99 = load i32, ptr %69, align 4, !tbaa !22
  %100 = tail call i32 @int_urand(i32 noundef %99) #6
  %101 = zext i32 %100 to i64
  %102 = getelementptr inbounds i32, ptr %98, i64 %101
  %103 = load i32, ptr %102, align 4, !tbaa !23
  %104 = icmp eq i32 %96, %103
  br i1 %104, label %97, label %105, !llvm.loop !24

105:                                              ; preds = %97
  %106 = load ptr, ptr %70, align 8, !tbaa !25
  %107 = zext i32 %96 to i64
  %108 = getelementptr inbounds i32, ptr %106, i64 %107
  %109 = load i32, ptr %108, align 4, !tbaa !23
  %110 = load i32, ptr %71, align 8, !tbaa !26
  %111 = icmp ult i32 %109, %110
  br i1 %111, label %112, label %117

112:                                              ; preds = %105
  %113 = zext i32 %103 to i64
  %114 = getelementptr inbounds i32, ptr %106, i64 %113
  %115 = load i32, ptr %114, align 4, !tbaa !23
  %116 = icmp ult i32 %115, %110
  br i1 %116, label %118, label %117

117:                                              ; preds = %112, %105
  tail call void @__assert_fail(ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.1, i32 noundef 182, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

118:                                              ; preds = %112
  %119 = zext i32 %109 to i64
  %120 = zext i32 %115 to i64
  %121 = sub nsw i64 %119, %120
  %122 = tail call i64 @llvm.abs.i64(i64 %121, i1 true)
  %123 = icmp ult i64 %122, 2
  br i1 %123, label %.thread326, label %124

124:                                              ; preds = %118
  %125 = tail call i32 @isArcIgnoreDirection(ptr noundef nonnull %0, i32 noundef %96, i32 noundef %103) #6
  %.not213 = icmp eq i32 %125, 0
  br i1 %.not213, label %127, label %126

126:                                              ; preds = %124
  tail call void @__assert_fail(ptr noundef nonnull @.str.10, ptr noundef nonnull @.str.1, i32 noundef 185, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

127:                                              ; preds = %124
  %.pre312 = load ptr, ptr %70, align 8, !tbaa !25
  %.phi.trans.insert313 = getelementptr inbounds i32, ptr %.pre312, i64 %107
  %.pre314 = load i32, ptr %.phi.trans.insert313, align 4, !tbaa !23
  %.phi.trans.insert315 = getelementptr inbounds i32, ptr %.pre312, i64 %113
  %.pre316 = load i32, ptr %.phi.trans.insert315, align 4, !tbaa !23
  %.pre317 = zext i32 %.pre314 to i64
  %.pre318 = zext i32 %.pre316 to i64
  %.pre320 = sub nsw i64 %.pre317, %.pre318
  %.pre322 = tail call i64 @llvm.abs.i64(i64 %.pre320, i1 true)
  %128 = icmp ugt i64 %.pre322, 1
  br i1 %128, label %.preheader.backedge, label %.thread326

.preheader.backedge:                              ; preds = %127, %137, %144
  br label %.preheader, !llvm.loop !27

.thread326:                                       ; preds = %118, %127
  %129 = tail call i32 @isArcIgnoreDirection(ptr noundef nonnull %0, i32 noundef %96, i32 noundef %103) #6
  %.not214 = icmp eq i32 %129, 0
  br i1 %.not214, label %.critedge5, label %130

130:                                              ; preds = %.thread326
  %131 = load ptr, ptr %70, align 8, !tbaa !25
  %132 = getelementptr inbounds i32, ptr %131, i64 %107
  %133 = load i32, ptr %132, align 4, !tbaa !23
  %134 = getelementptr inbounds i32, ptr %131, i64 %113
  %135 = load i32, ptr %134, align 4, !tbaa !23
  %136 = icmp ugt i32 %133, %135
  br i1 %136, label %137, label %142

137:                                              ; preds = %130
  %138 = load ptr, ptr %72, align 8, !tbaa !28
  %139 = getelementptr inbounds i32, ptr %138, i64 %107
  %140 = load i32, ptr %139, align 4, !tbaa !23
  %141 = icmp eq i32 %140, 1
  br i1 %141, label %.preheader.backedge, label %142

142:                                              ; preds = %137, %130
  %143 = icmp ugt i32 %135, %133
  br i1 %143, label %144, label %.critedge5

144:                                              ; preds = %142
  %145 = load ptr, ptr %72, align 8, !tbaa !28
  %146 = getelementptr inbounds i32, ptr %145, i64 %113
  %147 = load i32, ptr %146, align 4, !tbaa !23
  %148 = icmp eq i32 %147, 1
  br i1 %148, label %.preheader.backedge, label %.critedge5

.critedge5:                                       ; preds = %.thread326, %142, %144
  %149 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %96, i32 noundef %103) #6
  br label %.critedge15

150:                                              ; preds = %83
  br i1 %28, label %151, label %191

151:                                              ; preds = %150
  %152 = load i32, ptr %62, align 4, !tbaa !5
  %.not208 = icmp eq i32 %152, 0
  br i1 %.not208, label %153, label %154

153:                                              ; preds = %151
  tail call void @__assert_fail(ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.1, i32 noundef 196, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

154:                                              ; preds = %151
  br i1 %.not, label %156, label %155

155:                                              ; preds = %154
  tail call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.1, i32 noundef 197, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

156:                                              ; preds = %154
  %157 = load i32, ptr %49, align 8, !tbaa !11
  %.not209 = icmp eq i32 %157, 0
  br i1 %.not209, label %.preheader231, label %169

.preheader231:                                    ; preds = %156
  br i1 %63, label %.preheader231.split.us, label %.preheader231.split

.preheader231.split.us:                           ; preds = %.preheader231
  %158 = load ptr, ptr %64, align 8, !tbaa !29
  %159 = load i32, ptr %65, align 4, !tbaa !30
  %160 = tail call i32 @int_urand(i32 noundef %159) #6
  %161 = zext i32 %160 to i64
  %162 = getelementptr inbounds i32, ptr %158, i64 %161
  %163 = load i32, ptr %162, align 4, !tbaa !23
  br label %164

164:                                              ; preds = %164, %.preheader231.split.us
  %165 = load i32, ptr %0, align 8, !tbaa !31
  %166 = tail call i32 @int_urand(i32 noundef %165) #6
  %167 = icmp eq i32 %163, %166
  br i1 %167, label %164, label %.critedge9.split.us, !llvm.loop !32

.critedge9.split.us:                              ; preds = %164
  %168 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %163, i32 noundef %166) #6
  br label %.critedge9

169:                                              ; preds = %156
  tail call void @__assert_fail(ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.1, i32 noundef 198, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

.preheader231.split:                              ; preds = %.preheader231, %182
  %170 = load ptr, ptr %64, align 8, !tbaa !29
  %171 = load i32, ptr %65, align 4, !tbaa !30
  %172 = tail call i32 @int_urand(i32 noundef %171) #6
  %173 = zext i32 %172 to i64
  %174 = getelementptr inbounds i32, ptr %170, i64 %173
  %175 = load i32, ptr %174, align 4, !tbaa !23
  br label %176

176:                                              ; preds = %176, %.preheader231.split
  %177 = load i32, ptr %0, align 8, !tbaa !31
  %178 = tail call i32 @int_urand(i32 noundef %177) #6
  %179 = icmp eq i32 %175, %178
  br i1 %179, label %176, label %180, !llvm.loop !32

180:                                              ; preds = %176
  %181 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %175, i32 noundef %178) #6
  %.not280 = icmp eq i32 %181, 0
  br i1 %.not280, label %182, label %.critedge9

182:                                              ; preds = %180
  %183 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %178, i32 noundef %175) #6
  %.not210 = icmp eq i32 %183, 0
  br i1 %.not210, label %.critedge9, label %.preheader231.split, !llvm.loop !33

.critedge9:                                       ; preds = %182, %180, %.critedge9.split.us
  %.us-phi266 = phi i32 [ %168, %.critedge9.split.us ], [ 0, %182 ], [ %181, %180 ]
  %.us-phi267 = phi i32 [ %163, %.critedge9.split.us ], [ %175, %180 ], [ %175, %182 ]
  %.us-phi268 = phi i32 [ %166, %.critedge9.split.us ], [ %178, %180 ], [ %178, %182 ]
  %184 = load ptr, ptr %66, align 8, !tbaa !34
  %185 = zext i32 %.us-phi267 to i64
  %186 = getelementptr inbounds i32, ptr %184, i64 %185
  %187 = load i32, ptr %186, align 4, !tbaa !23
  %188 = load i32, ptr %67, align 8, !tbaa !35
  %189 = icmp eq i32 %187, %188
  br i1 %189, label %.critedge15, label %190

190:                                              ; preds = %.critedge9
  tail call void @__assert_fail(ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.1, i32 noundef 206, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

191:                                              ; preds = %150
  %192 = load i32, ptr %49, align 8, !tbaa !11
  %.not203 = icmp eq i32 %192, 0
  br i1 %.not203, label %.preheader232, label %201

.preheader232:                                    ; preds = %191
  br i1 %63, label %.preheader232.split.us, label %.preheader232.split

.preheader232.split.us:                           ; preds = %.preheader232
  %193 = load i32, ptr %0, align 8, !tbaa !31
  %194 = tail call i32 @int_urand(i32 noundef %193) #6
  br i1 %.not, label %.split.us262, label %.split.us.us

.split.us262:                                     ; preds = %.preheader232.split.us, %.split.us262
  %195 = load i32, ptr %0, align 8, !tbaa !31
  %196 = tail call i32 @int_urand(i32 noundef %195) #6
  %197 = icmp eq i32 %194, %196
  br i1 %197, label %.split.us262, label %.critedge15.loopexit.split.us, !llvm.loop !36

.critedge15.loopexit.split.us:                    ; preds = %.split.us262, %.split.us.us
  %.us-phi.us = phi i32 [ %200, %.split.us.us ], [ %196, %.split.us262 ]
  %198 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %194, i32 noundef %.us-phi.us) #6
  br label %.critedge15

.split.us.us:                                     ; preds = %.preheader232.split.us
  %199 = load i32, ptr %0, align 8, !tbaa !31
  %200 = tail call i32 @int_urand(i32 noundef %199) #6
  br label %.critedge15.loopexit.split.us

201:                                              ; preds = %191
  %202 = load i32, ptr %60, align 8, !tbaa !37
  %203 = tail call i32 @int_urand(i32 noundef %202) #6
  %204 = load i32, ptr %60, align 8, !tbaa !37
  %205 = load i32, ptr %61, align 4, !tbaa !38
  %206 = tail call i32 @int_urand(i32 noundef %205) #6
  %207 = add i32 %206, %204
  %208 = tail call i32 @bipartite_node_mode(ptr noundef nonnull %0, i32 noundef %203) #6
  %209 = icmp eq i32 %208, 0
  br i1 %209, label %211, label %210

210:                                              ; preds = %201
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.1, i32 noundef 214, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

211:                                              ; preds = %201
  %212 = tail call i32 @bipartite_node_mode(ptr noundef nonnull %0, i32 noundef %207) #6
  %213 = icmp eq i32 %212, 1
  br i1 %213, label %215, label %214

214:                                              ; preds = %211
  tail call void @__assert_fail(ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.1, i32 noundef 215, ptr noundef nonnull @__PRETTY_FUNCTION__.basicSampler) #7
  unreachable

215:                                              ; preds = %211
  %216 = tail call i32 @isEdge(ptr noundef nonnull %0, i32 noundef %203, i32 noundef %207) #6
  br label %.critedge15

.preheader232.split:                              ; preds = %.preheader232, %228
  %217 = load i32, ptr %0, align 8, !tbaa !31
  %218 = tail call i32 @int_urand(i32 noundef %217) #6
  br i1 %.not, label %.split, label %.split.us

.split.us:                                        ; preds = %.preheader232.split
  %219 = load i32, ptr %0, align 8, !tbaa !31
  %220 = tail call i32 @int_urand(i32 noundef %219) #6
  br label %.split261

.split:                                           ; preds = %.preheader232.split, %.split
  %221 = load i32, ptr %0, align 8, !tbaa !31
  %222 = tail call i32 @int_urand(i32 noundef %221) #6
  %223 = icmp eq i32 %218, %222
  br i1 %223, label %.split, label %.split261, !llvm.loop !36

.split261:                                        ; preds = %.split, %.split.us
  %.us-phi = phi i32 [ %220, %.split.us ], [ %222, %.split ]
  %224 = tail call i32 @isArcOrEdge(ptr noundef nonnull %0, i32 noundef %218, i32 noundef %.us-phi) #6
  %225 = load i32, ptr %62, align 4, !tbaa !5
  %226 = icmp eq i32 %225, 0
  %227 = icmp ne i32 %224, 0
  %or.cond13 = select i1 %226, i1 true, i1 %227
  br i1 %or.cond13, label %.critedge15, label %228

228:                                              ; preds = %.split261
  %229 = tail call i32 @isArc(ptr noundef nonnull %0, i32 noundef %.us-phi, i32 noundef %218) #6
  %.not207 = icmp eq i32 %229, 0
  br i1 %.not207, label %.critedge15.thread, label %.preheader232.split, !llvm.loop !39

.critedge15:                                      ; preds = %.split261, %.critedge15.loopexit.split.us, %.critedge9, %215, %.critedge5
  %.0188 = phi i32 [ %103, %.critedge5 ], [ %.us-phi268, %.critedge9 ], [ %207, %215 ], [ %.us-phi.us, %.critedge15.loopexit.split.us ], [ %.us-phi, %.split261 ]
  %.0184 = phi i32 [ %149, %.critedge5 ], [ %.us-phi266, %.critedge9 ], [ %216, %215 ], [ %198, %.critedge15.loopexit.split.us ], [ %224, %.split261 ]
  %.1183 = phi i32 [ %96, %.critedge5 ], [ %.us-phi267, %.critedge9 ], [ %203, %215 ], [ %194, %.critedge15.loopexit.split.us ], [ %218, %.split261 ]
  %.not215 = icmp eq i32 %.0184, 0
  br i1 %.not215, label %.critedge15.thread, label %230

230:                                              ; preds = %.critedge15
  tail call void @removeArcOrEdge(ptr noundef nonnull %0, i32 noundef %.1183, i32 noundef %.0188) #6
  br label %.critedge15.thread

.critedge15.thread:                               ; preds = %228, %230, %.critedge15
  %.not215229 = phi i1 [ false, %230 ], [ true, %.critedge15 ], [ true, %228 ]
  %.1183228 = phi i32 [ %.1183, %230 ], [ %.1183, %.critedge15 ], [ %218, %228 ]
  %.0184227 = phi i32 [ %.0184, %230 ], [ 0, %.critedge15 ], [ 0, %228 ]
  %.0188226 = phi i32 [ %.0188, %230 ], [ %.0188, %.critedge15 ], [ %.us-phi, %228 ]
  %231 = tail call double @calcChangeStats(ptr noundef nonnull %0, i32 noundef %.1183228, i32 noundef %.0188226, 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 %.0184227, ptr noundef %27) #6
  %232 = tail call double @urand() #6
  %233 = tail call double @exp(double noundef %231) #6
  %234 = fcmp olt double %232, %233
  br i1 %234, label %235, label %308

235:                                              ; preds = %.critedge15.thread
  %236 = add i64 %.0274, 1
  br i1 %.not216, label %238, label %237

237:                                              ; preds = %235
  br i1 %.not215229, label %.thread, label %.critedge221

.thread:                                          ; preds = %237
  tail call void @insertArcOrEdge(ptr noundef nonnull %0, i32 noundef %.1183228, i32 noundef %.0188226) #6
  br label %.critedge219

238:                                              ; preds = %235
  br i1 %.not215229, label %.critedge219, label %239

239:                                              ; preds = %238
  tail call void @insertArcOrEdge(ptr noundef nonnull %0, i32 noundef %.1183228, i32 noundef %.0188226) #6
  br label %.critedge221

.critedge221:                                     ; preds = %239, %237
  br i1 %.not276, label %.loopexit, label %.lr.ph270.preheader

.lr.ph270.preheader:                              ; preds = %.critedge221
  %brmerge = select i1 %min.iters.check384, i1 true, i1 %found.conflict381
  br i1 %brmerge, label %.lr.ph270.preheader399, label %vector.body389

vector.body389:                                   ; preds = %.lr.ph270.preheader, %vector.body389
  %index390 = phi i64 [ %index.next395, %vector.body389 ], [ 0, %.lr.ph270.preheader ]
  %240 = getelementptr inbounds double, ptr %27, i64 %index390
  %241 = getelementptr inbounds i8, ptr %240, i64 16
  %wide.load391 = load <2 x double>, ptr %240, align 8, !tbaa !12, !alias.scope !40
  %wide.load392 = load <2 x double>, ptr %241, align 8, !tbaa !12, !alias.scope !40
  %242 = getelementptr inbounds double, ptr %15, i64 %index390
  %243 = getelementptr inbounds i8, ptr %242, i64 16
  %wide.load393 = load <2 x double>, ptr %242, align 8, !tbaa !12, !alias.scope !43, !noalias !40
  %wide.load394 = load <2 x double>, ptr %243, align 8, !tbaa !12, !alias.scope !43, !noalias !40
  %244 = fadd <2 x double> %wide.load391, %wide.load393
  %245 = fadd <2 x double> %wide.load392, %wide.load394
  store <2 x double> %244, ptr %242, align 8, !tbaa !12, !alias.scope !43, !noalias !40
  store <2 x double> %245, ptr %243, align 8, !tbaa !12, !alias.scope !43, !noalias !40
  %index.next395 = add nuw i64 %index390, 4
  %246 = icmp eq i64 %index.next395, %n.vec387
  br i1 %246, label %middle.block382, label %vector.body389, !llvm.loop !45

middle.block382:                                  ; preds = %vector.body389
  br i1 %cmp.n396, label %.loopexit, label %.lr.ph270.preheader399

.lr.ph270.preheader399:                           ; preds = %.lr.ph270.preheader, %middle.block382
  %indvars.iv299.ph = phi i64 [ 0, %.lr.ph270.preheader ], [ %n.vec387, %middle.block382 ]
  br i1 %lcmp.mod418.not, label %.lr.ph270.prol.loopexit, label %.lr.ph270.prol

.lr.ph270.prol:                                   ; preds = %.lr.ph270.preheader399, %.lr.ph270.prol
  %indvars.iv299.prol = phi i64 [ %indvars.iv.next300.prol, %.lr.ph270.prol ], [ %indvars.iv299.ph, %.lr.ph270.preheader399 ]
  %prol.iter419 = phi i64 [ %prol.iter419.next, %.lr.ph270.prol ], [ 0, %.lr.ph270.preheader399 ]
  %247 = getelementptr inbounds double, ptr %27, i64 %indvars.iv299.prol
  %248 = load double, ptr %247, align 8, !tbaa !12
  %249 = getelementptr inbounds double, ptr %15, i64 %indvars.iv299.prol
  %250 = load double, ptr %249, align 8, !tbaa !12
  %251 = fadd double %248, %250
  store double %251, ptr %249, align 8, !tbaa !12
  %indvars.iv.next300.prol = add nuw nsw i64 %indvars.iv299.prol, 1
  %prol.iter419.next = add i64 %prol.iter419, 1
  %prol.iter419.cmp.not = icmp eq i64 %prol.iter419.next, %xtraiter417
  br i1 %prol.iter419.cmp.not, label %.lr.ph270.prol.loopexit, label %.lr.ph270.prol, !llvm.loop !46

.lr.ph270.prol.loopexit:                          ; preds = %.lr.ph270.prol, %.lr.ph270.preheader399
  %indvars.iv299.unr = phi i64 [ %indvars.iv299.ph, %.lr.ph270.preheader399 ], [ %indvars.iv.next300.prol, %.lr.ph270.prol ]
  %252 = sub nsw i64 %indvars.iv299.ph, %25
  %253 = icmp ugt i64 %252, -4
  br i1 %253, label %.loopexit, label %.lr.ph270

.lr.ph270:                                        ; preds = %.lr.ph270.prol.loopexit, %.lr.ph270
  %indvars.iv299 = phi i64 [ %indvars.iv.next300.3, %.lr.ph270 ], [ %indvars.iv299.unr, %.lr.ph270.prol.loopexit ]
  %254 = getelementptr inbounds double, ptr %27, i64 %indvars.iv299
  %255 = load double, ptr %254, align 8, !tbaa !12
  %256 = getelementptr inbounds double, ptr %15, i64 %indvars.iv299
  %257 = load double, ptr %256, align 8, !tbaa !12
  %258 = fadd double %255, %257
  store double %258, ptr %256, align 8, !tbaa !12
  %indvars.iv.next300 = add nuw nsw i64 %indvars.iv299, 1
  %259 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next300
  %260 = load double, ptr %259, align 8, !tbaa !12
  %261 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next300
  %262 = load double, ptr %261, align 8, !tbaa !12
  %263 = fadd double %260, %262
  store double %263, ptr %261, align 8, !tbaa !12
  %indvars.iv.next300.1 = add nuw nsw i64 %indvars.iv299, 2
  %264 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next300.1
  %265 = load double, ptr %264, align 8, !tbaa !12
  %266 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next300.1
  %267 = load double, ptr %266, align 8, !tbaa !12
  %268 = fadd double %265, %267
  store double %268, ptr %266, align 8, !tbaa !12
  %indvars.iv.next300.2 = add nuw nsw i64 %indvars.iv299, 3
  %269 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next300.2
  %270 = load double, ptr %269, align 8, !tbaa !12
  %271 = getelementptr inbounds double, ptr %15, i64 %indvars.iv.next300.2
  %272 = load double, ptr %271, align 8, !tbaa !12
  %273 = fadd double %270, %272
  store double %273, ptr %271, align 8, !tbaa !12
  %indvars.iv.next300.3 = add nuw nsw i64 %indvars.iv299, 4
  %exitcond303.not.3 = icmp eq i64 %indvars.iv.next300.3, %25
  br i1 %exitcond303.not.3, label %.loopexit, label %.lr.ph270, !llvm.loop !47

.critedge219:                                     ; preds = %.thread, %238
  br i1 %.not276, label %.loopexit, label %.lr.ph272.preheader

.lr.ph272.preheader:                              ; preds = %.critedge219
  %brmerge438 = select i1 %min.iters.check364, i1 true, i1 %found.conflict
  br i1 %brmerge438, label %.lr.ph272.preheader398, label %vector.body369

vector.body369:                                   ; preds = %.lr.ph272.preheader, %vector.body369
  %index370 = phi i64 [ %index.next374, %vector.body369 ], [ 0, %.lr.ph272.preheader ]
  %274 = getelementptr inbounds double, ptr %27, i64 %index370
  %275 = getelementptr inbounds i8, ptr %274, i64 16
  %wide.load = load <2 x double>, ptr %274, align 8, !tbaa !12, !alias.scope !48
  %wide.load371 = load <2 x double>, ptr %275, align 8, !tbaa !12, !alias.scope !48
  %276 = getelementptr inbounds double, ptr %14, i64 %index370
  %277 = getelementptr inbounds i8, ptr %276, i64 16
  %wide.load372 = load <2 x double>, ptr %276, align 8, !tbaa !12, !alias.scope !51, !noalias !48
  %wide.load373 = load <2 x double>, ptr %277, align 8, !tbaa !12, !alias.scope !51, !noalias !48
  %278 = fadd <2 x double> %wide.load, %wide.load372
  %279 = fadd <2 x double> %wide.load371, %wide.load373
  store <2 x double> %278, ptr %276, align 8, !tbaa !12, !alias.scope !51, !noalias !48
  store <2 x double> %279, ptr %277, align 8, !tbaa !12, !alias.scope !51, !noalias !48
  %index.next374 = add nuw i64 %index370, 4
  %280 = icmp eq i64 %index.next374, %n.vec367
  br i1 %280, label %middle.block362, label %vector.body369, !llvm.loop !53

middle.block362:                                  ; preds = %vector.body369
  br i1 %cmp.n375, label %.loopexit, label %.lr.ph272.preheader398

.lr.ph272.preheader398:                           ; preds = %.lr.ph272.preheader, %middle.block362
  %indvars.iv304.ph = phi i64 [ 0, %.lr.ph272.preheader ], [ %n.vec367, %middle.block362 ]
  br i1 %lcmp.mod421.not, label %.lr.ph272.prol.loopexit, label %.lr.ph272.prol

.lr.ph272.prol:                                   ; preds = %.lr.ph272.preheader398, %.lr.ph272.prol
  %indvars.iv304.prol = phi i64 [ %indvars.iv.next305.prol, %.lr.ph272.prol ], [ %indvars.iv304.ph, %.lr.ph272.preheader398 ]
  %prol.iter422 = phi i64 [ %prol.iter422.next, %.lr.ph272.prol ], [ 0, %.lr.ph272.preheader398 ]
  %281 = getelementptr inbounds double, ptr %27, i64 %indvars.iv304.prol
  %282 = load double, ptr %281, align 8, !tbaa !12
  %283 = getelementptr inbounds double, ptr %14, i64 %indvars.iv304.prol
  %284 = load double, ptr %283, align 8, !tbaa !12
  %285 = fadd double %282, %284
  store double %285, ptr %283, align 8, !tbaa !12
  %indvars.iv.next305.prol = add nuw nsw i64 %indvars.iv304.prol, 1
  %prol.iter422.next = add i64 %prol.iter422, 1
  %prol.iter422.cmp.not = icmp eq i64 %prol.iter422.next, %xtraiter420
  br i1 %prol.iter422.cmp.not, label %.lr.ph272.prol.loopexit, label %.lr.ph272.prol, !llvm.loop !54

.lr.ph272.prol.loopexit:                          ; preds = %.lr.ph272.prol, %.lr.ph272.preheader398
  %indvars.iv304.unr = phi i64 [ %indvars.iv304.ph, %.lr.ph272.preheader398 ], [ %indvars.iv.next305.prol, %.lr.ph272.prol ]
  %286 = sub nsw i64 %indvars.iv304.ph, %25
  %287 = icmp ugt i64 %286, -4
  br i1 %287, label %.loopexit, label %.lr.ph272

.lr.ph272:                                        ; preds = %.lr.ph272.prol.loopexit, %.lr.ph272
  %indvars.iv304 = phi i64 [ %indvars.iv.next305.3, %.lr.ph272 ], [ %indvars.iv304.unr, %.lr.ph272.prol.loopexit ]
  %288 = getelementptr inbounds double, ptr %27, i64 %indvars.iv304
  %289 = load double, ptr %288, align 8, !tbaa !12
  %290 = getelementptr inbounds double, ptr %14, i64 %indvars.iv304
  %291 = load double, ptr %290, align 8, !tbaa !12
  %292 = fadd double %289, %291
  store double %292, ptr %290, align 8, !tbaa !12
  %indvars.iv.next305 = add nuw nsw i64 %indvars.iv304, 1
  %293 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next305
  %294 = load double, ptr %293, align 8, !tbaa !12
  %295 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next305
  %296 = load double, ptr %295, align 8, !tbaa !12
  %297 = fadd double %294, %296
  store double %297, ptr %295, align 8, !tbaa !12
  %indvars.iv.next305.1 = add nuw nsw i64 %indvars.iv304, 2
  %298 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next305.1
  %299 = load double, ptr %298, align 8, !tbaa !12
  %300 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next305.1
  %301 = load double, ptr %300, align 8, !tbaa !12
  %302 = fadd double %299, %301
  store double %302, ptr %300, align 8, !tbaa !12
  %indvars.iv.next305.2 = add nuw nsw i64 %indvars.iv304, 3
  %303 = getelementptr inbounds double, ptr %27, i64 %indvars.iv.next305.2
  %304 = load double, ptr %303, align 8, !tbaa !12
  %305 = getelementptr inbounds double, ptr %14, i64 %indvars.iv.next305.2
  %306 = load double, ptr %305, align 8, !tbaa !12
  %307 = fadd double %304, %306
  store double %307, ptr %305, align 8, !tbaa !12
  %indvars.iv.next305.3 = add nuw nsw i64 %indvars.iv304, 4
  %exitcond308.not.3 = icmp eq i64 %indvars.iv.next305.3, %25
  br i1 %exitcond308.not.3, label %.loopexit, label %.lr.ph272, !llvm.loop !55

308:                                              ; preds = %.critedge15.thread
  br i1 %.not215229, label %.loopexit, label %309

309:                                              ; preds = %308
  tail call void @insertArcOrEdge(ptr noundef nonnull %0, i32 noundef %.1183228, i32 noundef %.0188226) #6
  br label %.loopexit

.loopexit:                                        ; preds = %.lr.ph270.prol.loopexit, %.lr.ph270, %.lr.ph272.prol.loopexit, %.lr.ph272, %middle.block382, %middle.block362, %.critedge221, %.critedge219, %309, %308
  %.1 = phi i64 [ %.0274, %309 ], [ %.0274, %308 ], [ %236, %.critedge219 ], [ %236, %.critedge221 ], [ %236, %middle.block362 ], [ %236, %middle.block382 ], [ %236, %.lr.ph272 ], [ %236, %.lr.ph272.prol.loopexit ], [ %236, %.lr.ph270 ], [ %236, %.lr.ph270.prol.loopexit ]
  %310 = add nuw i64 %.0185273, 1
  %exitcond309.not = icmp eq i64 %310, %16
  br i1 %exitcond309.not, label %._crit_edge.loopexit, label %83, !llvm.loop !56

._crit_edge.loopexit:                             ; preds = %.loopexit
  %311 = uitofp i64 %.1 to double
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit, %.preheader233
  %.0.lcssa = phi double [ 0.000000e+00, %.preheader233 ], [ %311, %._crit_edge.loopexit ]
  %312 = uitofp i64 %16 to double
  %313 = fdiv double %.0.lcssa, %312
  tail call void @free(ptr noundef %27) #6
  ret double %313
}

declare ptr @safe_malloc(i64 noundef) local_unnamed_addr #1

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

declare i32 @int_urand(i32 noundef) local_unnamed_addr #1

; 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 #1

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

declare i32 @bipartite_node_mode(ptr noundef, i32 noundef) local_unnamed_addr #1

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

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

declare void @removeArcOrEdge(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

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 #1

declare double @urand() local_unnamed_addr #1

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

declare void @insertArcOrEdge(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #1

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "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 = { 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 #3 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { 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 #5 = { 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 #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, !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 = !{!6, !10, i64 240}
!22 = !{!6, !7, i64 236}
!23 = !{!7, !7, i64 0}
!24 = distinct !{!24, !17}
!25 = !{!6, !10, i64 224}
!26 = !{!6, !7, i64 232}
!27 = distinct !{!27, !17}
!28 = !{!6, !10, i64 248}
!29 = !{!6, !10, i64 304}
!30 = !{!6, !7, i64 300}
!31 = !{!6, !7, i64 0}
!32 = distinct !{!32, !17}
!33 = distinct !{!33, !17}
!34 = !{!6, !10, i64 288}
!35 = !{!6, !7, i64 296}
!36 = distinct !{!36, !17}
!37 = !{!6, !7, i64 88}
!38 = !{!6, !7, i64 92}
!39 = distinct !{!39, !17}
!40 = !{!41}
!41 = distinct !{!41, !42}
!42 = distinct !{!42, !"LVerDomain"}
!43 = !{!44}
!44 = distinct !{!44, !42}
!45 = distinct !{!45, !17, !18, !19}
!46 = distinct !{!46, !15}
!47 = distinct !{!47, !17, !18}
!48 = !{!49}
!49 = distinct !{!49, !50}
!50 = distinct !{!50, !"LVerDomain"}
!51 = !{!52}
!52 = distinct !{!52, !50}
!53 = distinct !{!53, !17, !18, !19}
!54 = distinct !{!54, !15}
!55 = distinct !{!55, !17, !18}
!56 = distinct !{!56, !17}


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