; LLVM IR from fdabrandao/vpsolver :: src/vbp2afg.ll (Z9swig_mainiPPc)

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

%class.Instance = type { i32, i32, i32, i32, i32, %"class.std::vector", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", i32, i8, i8, i8, %"class.std::vector.10", %"class.std::vector.0", %"class.std::vector.0" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.10" = type { %"struct.std::_Vector_base.11" }
%"struct.std::_Vector_base.11" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.Arcflow = type <{ i8, [7 x i8], %"class.std::set", %class.NodeSet, %"class.std::vector.0", %"class.std::map", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector", i32, [4 x i8], i64, %class.Instance, i32, i32, i32, [4 x i8], %"class.std::vector.0", %"class.std::vector.23", i32, [4 x i8] }>
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.NodeSet = type { %"class.std::map", %"class.std::vector" }
%"class.std::map" = type { %"class.std::_Rb_tree.18" }
%"class.std::_Rb_tree.18" = type { %"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str = external hidden unnamed_addr constant [57 x i8], align 1
@stdout = external global ptr, align 8
@.str.1 = external hidden unnamed_addr constant [85 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_Z9swig_mainiPPc(i32 noundef %0, ptr noundef %1) #0 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca [256 x i8], align 16
  %10 = alloca %class.Instance, align 8
  %11 = alloca [256 x i8], align 16
  %12 = alloca i32, align 4
  %13 = alloca [256 x i8], align 16
  %14 = alloca %class.Arcflow, align 8
  %15 = alloca i32, align 4
  %16 = alloca ptr, align 8
  store i32 %0, ptr %4, align 4, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !9
  %17 = call i32 (ptr, ...) @printf(ptr noundef @.str)
  %18 = load ptr, ptr @stdout, align 8, !tbaa !9
  %19 = call i32 @setvbuf(ptr noundef %18, ptr noundef null, i32 noundef 2, i64 noundef 0) #8
  %20 = load i32, ptr %4, align 4, !tbaa !5
  %21 = icmp slt i32 %20, 3
  br i1 %21, label %25, label %22

22:                                               ; preds = %2
  %23 = load i32, ptr %4, align 4, !tbaa !5
  %24 = icmp sgt i32 %23, 6
  br i1 %24, label %25, label %27

25:                                               ; preds = %22, %2
  %26 = call i32 (ptr, ...) @printf(ptr noundef @.str.1)
  store i32 1, ptr %3, align 4
  br label %216

27:                                               ; preds = %22
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  store ptr null, ptr %6, align 8, !tbaa !9
  %28 = load ptr, ptr %5, align 8, !tbaa !9
  %29 = getelementptr inbounds ptr, ptr %28, i64 2
  %30 = load ptr, ptr %29, align 8, !tbaa !9
  %31 = invoke noalias ptr @fopen(ptr noundef %30, ptr noundef @.str.2)
          to label %32 unwind label %37

32:                                               ; preds = %27
  store ptr %31, ptr %6, align 8, !tbaa !9
  %33 = load ptr, ptr %6, align 8, !tbaa !9
  %34 = icmp eq ptr %33, null
  br i1 %34, label %35, label %41

35:                                               ; preds = %32
  invoke void @perror(ptr noundef @.str.3)
          to label %36 unwind label %37

36:                                               ; preds = %35
  br label %41

37:                                               ; preds = %35, %27
  %38 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %39 = extractvalue { ptr, i32 } %38, 0
  store ptr %39, ptr %7, align 8
  %40 = extractvalue { ptr, i32 } %38, 1
  store i32 %40, ptr %8, align 4
  br label %170

41:                                               ; preds = %36, %32
  %42 = load ptr, ptr %6, align 8, !tbaa !9
  %43 = icmp ne ptr %42, null
  br i1 %43, label %59, label %44

44:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 256, ptr %9) #8
  %45 = getelementptr inbounds [256 x i8], ptr %9, i64 0, i64 0
  %46 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %45, i64 noundef 256, ptr noundef @.str.4, ptr noundef @.str.5, ptr noundef @.str.6, i32 noundef 24) #8
  %47 = call ptr @__cxa_allocate_exception(i64 16) #8
  %48 = getelementptr inbounds [256 x i8], ptr %9, i64 0, i64 0
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %47, ptr noundef %48)
          to label %49 unwind label %50

49:                                               ; preds = %44
  invoke void @__cxa_throw(ptr %47, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #9
          to label %226 unwind label %54

50:                                               ; preds = %44
  %51 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %52 = extractvalue { ptr, i32 } %51, 0
  store ptr %52, ptr %7, align 8
  %53 = extractvalue { ptr, i32 } %51, 1
  store i32 %53, ptr %8, align 4
  call void @__cxa_free_exception(ptr %47) #8
  br label %58

54:                                               ; preds = %49
  %55 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %56 = extractvalue { ptr, i32 } %55, 0
  store ptr %56, ptr %7, align 8
  %57 = extractvalue { ptr, i32 } %55, 1
  store i32 %57, ptr %8, align 4
  br label %58

58:                                               ; preds = %54, %50
  call void @llvm.lifetime.end.p0(i64 256, ptr %9) #8
  br label %170

59:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 200, ptr %10) #8
  %60 = load ptr, ptr %5, align 8, !tbaa !9
  %61 = getelementptr inbounds ptr, ptr %60, i64 1
  %62 = load ptr, ptr %61, align 8, !tbaa !9
  invoke void @_ZN8InstanceC1EPKc(ptr noundef nonnull align 8 dereferenceable(200) %10, ptr noundef %62)
          to label %63 unwind label %85

63:                                               ; preds = %59
  %64 = load i32, ptr %4, align 4, !tbaa !5
  %65 = icmp sge i32 %64, 4
  br i1 %65, label %66, label %99

66:                                               ; preds = %63
  %67 = load ptr, ptr %5, align 8, !tbaa !9
  %68 = getelementptr inbounds ptr, ptr %67, i64 3
  %69 = load ptr, ptr %68, align 8, !tbaa !9
  %70 = call i32 @atoi(ptr noundef %69) #10
  %71 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 9
  store i32 %70, ptr %71, align 8, !tbaa !11
  %72 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 9
  %73 = load i32, ptr %72, align 8, !tbaa !11
  %74 = icmp sge i32 %73, -3
  br i1 %74, label %75, label %79

75:                                               ; preds = %66
  %76 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 9
  %77 = load i32, ptr %76, align 8, !tbaa !11
  %78 = icmp sle i32 %77, -3
  br i1 %78, label %98, label %79

79:                                               ; preds = %75, %66
  call void @llvm.lifetime.start.p0(i64 256, ptr %11) #8
  %80 = getelementptr inbounds [256 x i8], ptr %11, i64 0, i64 0
  %81 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %80, i64 noundef 256, ptr noundef @.str.4, ptr noundef @.str.7, ptr noundef @.str.6, i32 noundef 30) #8
  %82 = call ptr @__cxa_allocate_exception(i64 16) #8
  %83 = getelementptr inbounds [256 x i8], ptr %11, i64 0, i64 0
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %82, ptr noundef %83)
          to label %84 unwind label %89

84:                                               ; preds = %79
  invoke void @__cxa_throw(ptr %82, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #9
          to label %226 unwind label %93

85:                                               ; preds = %59
  %86 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %87 = extractvalue { ptr, i32 } %86, 0
  store ptr %87, ptr %7, align 8
  %88 = extractvalue { ptr, i32 } %86, 1
  store i32 %88, ptr %8, align 4
  br label %169

89:                                               ; preds = %79
  %90 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %91 = extractvalue { ptr, i32 } %90, 0
  store ptr %91, ptr %7, align 8
  %92 = extractvalue { ptr, i32 } %90, 1
  store i32 %92, ptr %8, align 4
  call void @__cxa_free_exception(ptr %82) #8
  br label %97

93:                                               ; preds = %84
  %94 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %95 = extractvalue { ptr, i32 } %94, 0
  store ptr %95, ptr %7, align 8
  %96 = extractvalue { ptr, i32 } %94, 1
  store i32 %96, ptr %8, align 4
  br label %97

97:                                               ; preds = %93, %89
  call void @llvm.lifetime.end.p0(i64 256, ptr %11) #8
  br label %168

98:                                               ; preds = %75
  br label %99

99:                                               ; preds = %98, %63
  %100 = load i32, ptr %4, align 4, !tbaa !5
  %101 = icmp sge i32 %100, 5
  br i1 %101, label %102, label %115

102:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #8
  %103 = load ptr, ptr %5, align 8, !tbaa !9
  %104 = getelementptr inbounds ptr, ptr %103, i64 4
  %105 = load ptr, ptr %104, align 8, !tbaa !9
  %106 = call i32 @atoi(ptr noundef %105) #10
  store i32 %106, ptr %12, align 4, !tbaa !5
  %107 = load i32, ptr %12, align 4, !tbaa !5
  %108 = icmp sge i32 %107, 0
  br i1 %108, label %109, label %114

109:                                              ; preds = %102
  %110 = load i32, ptr %12, align 4, !tbaa !5
  %111 = icmp ne i32 %110, 0
  %112 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 10
  %113 = zext i1 %111 to i8
  store i8 %113, ptr %112, align 4, !tbaa !30
  br label %114

114:                                              ; preds = %109, %102
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #8
  br label %115

115:                                              ; preds = %114, %99
  %116 = load i32, ptr %4, align 4, !tbaa !5
  %117 = icmp sge i32 %116, 6
  br i1 %117, label %118, label %150

118:                                              ; preds = %115
  %119 = load ptr, ptr %5, align 8, !tbaa !9
  %120 = getelementptr inbounds ptr, ptr %119, i64 5
  %121 = load ptr, ptr %120, align 8, !tbaa !9
  %122 = getelementptr inbounds i8, ptr %121, i64 0
  %123 = load i8, ptr %122, align 1, !tbaa !31
  %124 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 12
  store i8 %123, ptr %124, align 2, !tbaa !32
  %125 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 12
  %126 = load i8, ptr %125, align 2, !tbaa !32
  %127 = sext i8 %126 to i32
  %128 = icmp eq i32 %127, 73
  br i1 %128, label %149, label %129

129:                                              ; preds = %118
  %130 = getelementptr inbounds %class.Instance, ptr %10, i32 0, i32 12
  %131 = load i8, ptr %130, align 2, !tbaa !32
  %132 = sext i8 %131 to i32
  %133 = icmp eq i32 %132, 67
  br i1 %133, label %149, label %134

134:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 256, ptr %13) #8
  %135 = getelementptr inbounds [256 x i8], ptr %13, i64 0, i64 0
  %136 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %135, i64 noundef 256, ptr noundef @.str.4, ptr noundef @.str.8, ptr noundef @.str.6, i32 noundef 40) #8
  %137 = call ptr @__cxa_allocate_exception(i64 16) #8
  %138 = getelementptr inbounds [256 x i8], ptr %13, i64 0, i64 0
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %137, ptr noundef %138)
          to label %139 unwind label %140

139:                                              ; preds = %134
  invoke void @__cxa_throw(ptr %137, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #9
          to label %226 unwind label %144

140:                                              ; preds = %134
  %141 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %142 = extractvalue { ptr, i32 } %141, 0
  store ptr %142, ptr %7, align 8
  %143 = extractvalue { ptr, i32 } %141, 1
  store i32 %143, ptr %8, align 4
  call void @__cxa_free_exception(ptr %137) #8
  br label %148

144:                                              ; preds = %139
  %145 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %146 = extractvalue { ptr, i32 } %145, 0
  store ptr %146, ptr %7, align 8
  %147 = extractvalue { ptr, i32 } %145, 1
  store i32 %147, ptr %8, align 4
  br label %148

148:                                              ; preds = %144, %140
  call void @llvm.lifetime.end.p0(i64 256, ptr %13) #8
  br label %168

149:                                              ; preds = %129, %118
  br label %150

150:                                              ; preds = %149, %115
  call void @llvm.lifetime.start.p0(i64 608, ptr %14) #8
  invoke void @_ZN7ArcflowC1ERK8Instance(ptr noundef nonnull align 8 dereferenceable(604) %14, ptr noundef nonnull align 8 dereferenceable(200) %10)
          to label %151 unwind label %159

151:                                              ; preds = %150
  %152 = load ptr, ptr %6, align 8, !tbaa !9
  invoke void @_ZNK8Instance5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(200) %10, ptr noundef %152)
          to label %153 unwind label %163

153:                                              ; preds = %151
  %154 = load ptr, ptr %6, align 8, !tbaa !9
  invoke void @_ZN7Arcflow5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(604) %14, ptr noundef %154)
          to label %155 unwind label %163

155:                                              ; preds = %153
  %156 = load ptr, ptr %6, align 8, !tbaa !9
  %157 = invoke i32 @fclose(ptr noundef %156)
          to label %158 unwind label %163

158:                                              ; preds = %155
  store i32 0, ptr %3, align 4
  store i32 1, ptr %15, align 4
  call void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604) %14) #8
  call void @llvm.lifetime.end.p0(i64 608, ptr %14) #8
  call void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200) %10) #8
  call void @llvm.lifetime.end.p0(i64 200, ptr %10) #8
  br label %214

159:                                              ; preds = %150
  %160 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %161 = extractvalue { ptr, i32 } %160, 0
  store ptr %161, ptr %7, align 8
  %162 = extractvalue { ptr, i32 } %160, 1
  store i32 %162, ptr %8, align 4
  br label %167

163:                                              ; preds = %155, %153, %151
  %164 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  %165 = extractvalue { ptr, i32 } %164, 0
  store ptr %165, ptr %7, align 8
  %166 = extractvalue { ptr, i32 } %164, 1
  store i32 %166, ptr %8, align 4
  call void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604) %14) #8
  br label %167

167:                                              ; preds = %163, %159
  call void @llvm.lifetime.end.p0(i64 608, ptr %14) #8
  br label %168

168:                                              ; preds = %167, %148, %97
  call void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200) %10) #8
  br label %169

169:                                              ; preds = %168, %85
  call void @llvm.lifetime.end.p0(i64 200, ptr %10) #8
  br label %170

170:                                              ; preds = %169, %58, %37
  %171 = load i32, ptr %8, align 4
  %172 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTISt13runtime_error) #8
  %173 = icmp eq i32 %171, %172
  br i1 %173, label %174, label %183

174:                                              ; preds = %170
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #8
  %175 = load ptr, ptr %7, align 8
  %176 = call ptr @__cxa_begin_catch(ptr %175) #8
  store ptr %176, ptr %16, align 8
  %177 = load ptr, ptr %6, align 8, !tbaa !9
  %178 = icmp ne ptr %177, null
  br i1 %178, label %179, label %204

179:                                              ; preds = %174
  %180 = load ptr, ptr %6, align 8, !tbaa !9
  %181 = invoke i32 @fclose(ptr noundef %180)
          to label %182 unwind label %200

182:                                              ; preds = %179
  br label %204

183:                                              ; preds = %170
  %184 = load ptr, ptr %7, align 8
  %185 = call ptr @__cxa_begin_catch(ptr %184) #8
  %186 = load ptr, ptr %6, align 8, !tbaa !9
  %187 = icmp ne ptr %186, null
  br i1 %187, label %188, label %196

188:                                              ; preds = %183
  %189 = load ptr, ptr %6, align 8, !tbaa !9
  %190 = invoke i32 @fclose(ptr noundef %189)
          to label %191 unwind label %192

191:                                              ; preds = %188
  br label %196

192:                                              ; preds = %196, %188
  %193 = landingpad { ptr, i32 }
          cleanup
  %194 = extractvalue { ptr, i32 } %193, 0
  store ptr %194, ptr %7, align 8
  %195 = extractvalue { ptr, i32 } %193, 1
  store i32 %195, ptr %8, align 4
  invoke void @__cxa_end_catch()
          to label %199 unwind label %223

196:                                              ; preds = %191, %183
  %197 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.9)
          to label %198 unwind label %192

198:                                              ; preds = %196
  store i32 1, ptr %3, align 4
  store i32 1, ptr %15, align 4
  call void @__cxa_end_catch()
  br label %214

199:                                              ; preds = %192
  br label %215

200:                                              ; preds = %204, %179
  %201 = landingpad { ptr, i32 }
          cleanup
  %202 = extractvalue { ptr, i32 } %201, 0
  store ptr %202, ptr %7, align 8
  %203 = extractvalue { ptr, i32 } %201, 1
  store i32 %203, ptr %8, align 4
  invoke void @__cxa_end_catch()
          to label %212 unwind label %223

204:                                              ; preds = %182, %174
  %205 = load ptr, ptr %16, align 8, !tbaa !9
  %206 = load ptr, ptr %205, align 8, !tbaa !33
  %207 = getelementptr inbounds ptr, ptr %206, i64 2
  %208 = load ptr, ptr %207, align 8
  %209 = call noundef ptr %208(ptr noundef nonnull align 8 dereferenceable(16) %205) #8
  %210 = invoke i32 (ptr, ...) @printf(ptr noundef @.str.10, ptr noundef %209)
          to label %211 unwind label %200

211:                                              ; preds = %204
  store i32 1, ptr %3, align 4
  store i32 1, ptr %15, align 4
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  br label %214

212:                                              ; preds = %200
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #8
  br label %215

213:                                              ; No predecessors!
  unreachable

214:                                              ; preds = %211, %198, %158
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %216

215:                                              ; preds = %212, %199
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %218

216:                                              ; preds = %214, %25
  %217 = load i32, ptr %3, align 4
  ret i32 %217

218:                                              ; preds = %215
  %219 = load ptr, ptr %7, align 8
  %220 = load i32, ptr %8, align 4
  %221 = insertvalue { ptr, i32 } poison, ptr %219, 0
  %222 = insertvalue { ptr, i32 } %221, i32 %220, 1
  resume { ptr, i32 } %222

223:                                              ; preds = %200, %192
  %224 = landingpad { ptr, i32 }
          catch ptr null
  %225 = extractvalue { ptr, i32 } %224, 0
  call void @__clang_call_terminate(ptr %225) #11
  unreachable

226:                                              ; preds = %139, %84, %49
  unreachable
}

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

; Function Attrs: nounwind
declare i32 @setvbuf(ptr noundef, ptr noundef, i32 noundef, i64 noundef) #2

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

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

declare i32 @__gxx_personality_v0(...)

declare void @perror(ptr noundef) #1

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #2

declare ptr @__cxa_allocate_exception(i64)

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #1

declare void @__cxa_free_exception(ptr)

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #2

declare void @__cxa_throw(ptr, ptr, ptr)

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

declare void @_ZN8InstanceC1EPKc(ptr noundef nonnull align 8 dereferenceable(200), ptr noundef) unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr noundef nonnull) #4

declare void @_ZN7ArcflowC1ERK8Instance(ptr noundef nonnull align 8 dereferenceable(604), ptr noundef nonnull align 8 dereferenceable(200)) unnamed_addr #1

declare void @_ZNK8Instance5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(200), ptr noundef) #1

declare void @_ZN7Arcflow5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(604), ptr noundef) #1

declare i32 @fclose(ptr noundef) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604)) unnamed_addr #5 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200)) unnamed_addr #5 align 2

; Function Attrs: nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #6

declare ptr @__cxa_begin_catch(ptr)

declare void @__cxa_end_catch()

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) #7

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #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 = { 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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { inlinehint mustprogress nounwind willreturn memory(read) 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 #5 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind memory(none) }
attributes #7 = { noinline noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #8 = { nounwind }
attributes #9 = { noreturn }
attributes #10 = { nounwind willreturn memory(read) }
attributes #11 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !6, i64 120}
!12 = !{!"_ZTS8Instance", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !6, i64 16, !13, i64 24, !17, i64 48, !17, i64 72, !21, i64 96, !6, i64 120, !25, i64 124, !25, i64 125, !7, i64 126, !26, i64 128, !17, i64 152, !17, i64 176}
!13 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!17 = !{!"_ZTSSt6vectorIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!21 = !{!"_ZTSSt6vectorI4ItemSaIS0_EE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseI4ItemSaIS0_EE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!25 = !{!"bool", !7, i64 0}
!26 = !{!"_ZTSSt6vectorIcSaIcEE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !10, i64 0, !10, i64 8, !10, i64 16}
!30 = !{!12, !25, i64 124}
!31 = !{!7, !7, i64 0}
!32 = !{!12, !7, i64 126}
!33 = !{!34, !34, i64 0}
!34 = !{!"vtable pointer", !8, i64 0}


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

%class.Instance = type { i32, i32, i32, i32, i32, %"class.std::vector", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", i32, i8, i8, i8, %"class.std::vector.10", %"class.std::vector.0", %"class.std::vector.0" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::vector<int>, std::allocator<std::vector<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl" = type { %"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Item, std::allocator<Item>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.10" = type { %"struct.std::_Vector_base.11" }
%"struct.std::_Vector_base.11" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.0" = type { %"struct.std::_Vector_base.1" }
%"struct.std::_Vector_base.1" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.Arcflow = type <{ i8, [7 x i8], %"class.std::set", %class.NodeSet, %"class.std::vector.0", %"class.std::map", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.0", %"class.std::vector.5", %"class.std::vector", i32, [4 x i8], i64, %class.Instance, i32, i32, i32, [4 x i8], %"class.std::vector.0", %"class.std::vector.23", i32, [4 x i8] }>
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<Arc, Arc, std::_Identity<Arc>, std::less<Arc>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.NodeSet = type { %"class.std::map", %"class.std::vector" }
%"class.std::map" = type { %"class.std::_Rb_tree.18" }
%"class.std::_Rb_tree.18" = type { %"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::vector<int>, std::pair<const std::vector<int>, int>, std::_Select1st<std::pair<const std::vector<int>, int>>, std::less<std::vector<int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl" = type { %"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Arc, std::allocator<Arc>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str = external hidden unnamed_addr constant [57 x i8], align 1
@stdout = external local_unnamed_addr global ptr, align 8
@.str.1 = external hidden unnamed_addr constant [85 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [54 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [13 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [69 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [4 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 0, 2) i32 @_Z9swig_mainiPPc(i32 noundef %0, ptr nocapture noundef readonly %1) local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %3 = alloca [256 x i8], align 16
  %4 = alloca %class.Instance, align 8
  %5 = alloca [256 x i8], align 16
  %6 = alloca [256 x i8], align 16
  %7 = alloca %class.Arcflow, align 8
  %8 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str)
  %9 = load ptr, ptr @stdout, align 8, !tbaa !5
  %10 = tail call i32 @setvbuf(ptr noundef %9, ptr noundef null, i32 noundef 2, i64 noundef 0) #8
  %11 = add i32 %0, -7
  %or.cond = icmp ult i32 %11, -4
  br i1 %or.cond, label %12, label %14

12:                                               ; preds = %2
  %13 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1)
  br label %104

14:                                               ; preds = %2
  %15 = getelementptr inbounds i8, ptr %1, i64 16
  %16 = load ptr, ptr %15, align 8, !tbaa !5
  %17 = tail call noalias ptr @fopen(ptr noundef %16, ptr noundef nonnull @.str.2)
  %18 = icmp eq ptr %17, null
  br i1 %18, label %19, label %28

19:                                               ; preds = %14
  tail call void @perror(ptr noundef nonnull @.str.3) #9
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %3) #8
  %20 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %3, i64 noundef 256, ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.6, i32 noundef 24) #8
  %21 = tail call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %21, ptr noundef nonnull %3)
          to label %22 unwind label %23

22:                                               ; preds = %19
  invoke void @__cxa_throw(ptr nonnull %21, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %105 unwind label %25

23:                                               ; preds = %19
  %24 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  call void @__cxa_free_exception(ptr %21) #8
  br label %27

25:                                               ; preds = %22
  %26 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  br label %27

27:                                               ; preds = %25, %23
  %.pn = phi { ptr, i32 } [ %26, %25 ], [ %24, %23 ]
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %3) #8
  br label %86

28:                                               ; preds = %14
  call void @llvm.lifetime.start.p0(i64 200, ptr nonnull %4) #8
  %29 = getelementptr inbounds i8, ptr %1, i64 8
  %30 = load ptr, ptr %29, align 8, !tbaa !5
  invoke void @_ZN8InstanceC1EPKc(ptr noundef nonnull align 8 dereferenceable(200) %4, ptr noundef %30)
          to label %31 unwind label %42

31:                                               ; preds = %28
  %32 = icmp ugt i32 %0, 3
  br i1 %32, label %33, label %.thread58

33:                                               ; preds = %31
  %34 = getelementptr inbounds i8, ptr %1, i64 24
  %35 = load ptr, ptr %34, align 8, !tbaa !5
  %36 = call i32 @atoi(ptr nocapture noundef %35) #11
  %37 = getelementptr inbounds i8, ptr %4, i64 120
  store i32 %36, ptr %37, align 8, !tbaa !9
  %or.cond4 = icmp eq i32 %36, -3
  br i1 %or.cond4, label %49, label %38

38:                                               ; preds = %33
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %5) #8
  %39 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %5, i64 noundef 256, ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.6, i32 noundef 30) #8
  %40 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef nonnull %5)
          to label %41 unwind label %44

41:                                               ; preds = %38
  invoke void @__cxa_throw(ptr nonnull %40, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %105 unwind label %46

42:                                               ; preds = %28
  %43 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  br label %85

44:                                               ; preds = %38
  %45 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  call void @__cxa_free_exception(ptr %40) #8
  br label %48

46:                                               ; preds = %41
  %47 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  br label %48

48:                                               ; preds = %46, %44
  %.pn48 = phi { ptr, i32 } [ %47, %46 ], [ %45, %44 ]
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %5) #8
  br label %84

49:                                               ; preds = %33
  %.not = icmp eq i32 %0, 4
  br i1 %.not, label %.thread58, label %50

50:                                               ; preds = %49
  %51 = getelementptr inbounds i8, ptr %1, i64 32
  %52 = load ptr, ptr %51, align 8, !tbaa !5
  %53 = call i32 @atoi(ptr nocapture noundef %52) #11
  %54 = icmp sgt i32 %53, -1
  br i1 %54, label %55, label %59

55:                                               ; preds = %50
  %56 = icmp ne i32 %53, 0
  %57 = getelementptr inbounds i8, ptr %4, i64 124
  %58 = zext i1 %56 to i8
  store i8 %58, ptr %57, align 4, !tbaa !29
  br label %59

59:                                               ; preds = %50, %55
  %60 = icmp ugt i32 %0, 5
  br i1 %60, label %61, label %.thread58

61:                                               ; preds = %59
  %62 = getelementptr inbounds i8, ptr %1, i64 40
  %63 = load ptr, ptr %62, align 8, !tbaa !5
  %64 = load i8, ptr %63, align 1, !tbaa !30
  %65 = getelementptr inbounds i8, ptr %4, i64 126
  store i8 %64, ptr %65, align 2, !tbaa !31
  switch i8 %64, label %66 [
    i8 73, label %.thread58
    i8 67, label %.thread58
  ]

66:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %6) #8
  %67 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef nonnull dereferenceable(1) %6, i64 noundef 256, ptr noundef nonnull @.str.4, ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.6, i32 noundef 40) #8
  %68 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %68, ptr noundef nonnull %6)
          to label %69 unwind label %70

69:                                               ; preds = %66
  invoke void @__cxa_throw(ptr nonnull %68, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %105 unwind label %72

70:                                               ; preds = %66
  %71 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  call void @__cxa_free_exception(ptr %68) #8
  br label %74

72:                                               ; preds = %69
  %73 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  br label %74

74:                                               ; preds = %72, %70
  %.pn50 = phi { ptr, i32 } [ %73, %72 ], [ %71, %70 ]
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %6) #8
  br label %84

.thread58:                                        ; preds = %31, %49, %61, %61, %59
  call void @llvm.lifetime.start.p0(i64 608, ptr nonnull %7) #8
  invoke void @_ZN7ArcflowC1ERK8Instance(ptr noundef nonnull align 8 dereferenceable(604) %7, ptr noundef nonnull align 8 dereferenceable(200) %4)
          to label %75 unwind label %79

75:                                               ; preds = %.thread58
  invoke void @_ZNK8Instance5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(200) %4, ptr noundef nonnull %17)
          to label %76 unwind label %81

76:                                               ; preds = %75
  invoke void @_ZN7Arcflow5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(604) %7, ptr noundef nonnull %17)
          to label %77 unwind label %81

77:                                               ; preds = %76
  %78 = call i32 @fclose(ptr noundef nonnull %17)
  call void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604) %7) #8
  call void @llvm.lifetime.end.p0(i64 608, ptr nonnull %7) #8
  call void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200) %4) #8
  call void @llvm.lifetime.end.p0(i64 200, ptr nonnull %4) #8
  br label %104

79:                                               ; preds = %.thread58
  %80 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  br label %83

81:                                               ; preds = %76, %75
  %82 = landingpad { ptr, i32 }
          catch ptr @_ZTISt13runtime_error
          catch ptr null
  call void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604) %7) #8
  br label %83

83:                                               ; preds = %81, %79
  %.pn52 = phi { ptr, i32 } [ %82, %81 ], [ %80, %79 ]
  call void @llvm.lifetime.end.p0(i64 608, ptr nonnull %7) #8
  br label %84

84:                                               ; preds = %83, %74, %48
  %.pn52.pn = phi { ptr, i32 } [ %.pn52, %83 ], [ %.pn50, %74 ], [ %.pn48, %48 ]
  call void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200) %4) #8
  br label %85

85:                                               ; preds = %84, %42
  %.pn52.pn.pn = phi { ptr, i32 } [ %.pn52.pn, %84 ], [ %43, %42 ]
  call void @llvm.lifetime.end.p0(i64 200, ptr nonnull %4) #8
  br label %86

86:                                               ; preds = %85, %27
  %.pn52.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn, %85 ], [ %.pn, %27 ]
  %.6 = extractvalue { ptr, i32 } %.pn52.pn.pn.pn, 1
  %.641 = extractvalue { ptr, i32 } %.pn52.pn.pn.pn, 0
  %87 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTISt13runtime_error) #8
  %88 = icmp eq i32 %.6, %87
  %89 = call ptr @__cxa_begin_catch(ptr %.641) #8
  br i1 %88, label %90, label %93

90:                                               ; preds = %86
  br i1 %18, label %98, label %91

91:                                               ; preds = %90
  %92 = call i32 @fclose(ptr noundef nonnull %17)
  br label %98

93:                                               ; preds = %86
  br i1 %18, label %96, label %94

94:                                               ; preds = %93
  %95 = call i32 @fclose(ptr noundef nonnull %17)
  br label %96

96:                                               ; preds = %94, %93
  %97 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.9)
  call void @__cxa_end_catch()
  br label %104

98:                                               ; preds = %91, %90
  %99 = load ptr, ptr %89, align 8, !tbaa !32
  %100 = getelementptr inbounds i8, ptr %99, i64 16
  %101 = load ptr, ptr %100, align 8
  %102 = call noundef ptr %101(ptr noundef nonnull align 8 dereferenceable(16) %89) #8
  %103 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.10, ptr noundef %102)
  call void @__cxa_end_catch()
  br label %104

104:                                              ; preds = %77, %96, %98, %12
  %.1 = phi i32 [ 1, %12 ], [ 0, %77 ], [ 1, %98 ], [ 1, %96 ]
  ret i32 %.1

105:                                              ; preds = %69, %41, %22
  unreachable
}

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

; Function Attrs: nofree nounwind
declare noundef i32 @setvbuf(ptr nocapture noundef, ptr noundef, i32 noundef, i64 noundef) local_unnamed_addr #1

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

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

declare i32 @__gxx_personality_v0(...)

; Function Attrs: nofree nounwind
declare void @perror(ptr nocapture noundef readonly) local_unnamed_addr #1

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #3

declare void @__cxa_free_exception(ptr) local_unnamed_addr

; Function Attrs: nounwind
declare void @_ZNSt13runtime_errorD1Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

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

declare void @_ZN8InstanceC1EPKc(ptr noundef nonnull align 8 dereferenceable(200), ptr noundef) unnamed_addr #3

; Function Attrs: inlinehint mustprogress nofree nounwind willreturn memory(read) uwtable
declare i32 @atoi(ptr nocapture noundef nonnull) local_unnamed_addr #5

declare void @_ZN7ArcflowC1ERK8Instance(ptr noundef nonnull align 8 dereferenceable(604), ptr noundef nonnull align 8 dereferenceable(200)) unnamed_addr #3

declare void @_ZNK8Instance5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(200), ptr noundef) local_unnamed_addr #3

declare void @_ZN7Arcflow5writeEP8_IO_FILE(ptr noundef nonnull align 8 dereferenceable(604), ptr noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN7ArcflowD2Ev(ptr noundef nonnull align 8 dereferenceable(604)) unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN8InstanceD2Ev(ptr noundef nonnull align 8 dereferenceable(200)) unnamed_addr #6 align 2

; Function Attrs: nofree nosync nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #7

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

declare void @__cxa_end_catch() local_unnamed_addr

attributes #0 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { 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 = { inlinehint mustprogress nofree nounwind willreturn memory(read) 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 #6 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #7 = { nofree nosync nounwind memory(none) }
attributes #8 = { nounwind }
attributes #9 = { cold }
attributes #10 = { noreturn }
attributes #11 = { nounwind willreturn memory(read) }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !11, i64 120}
!10 = !{!"_ZTS8Instance", !11, i64 0, !11, i64 4, !11, i64 8, !11, i64 12, !11, i64 16, !12, i64 24, !16, i64 48, !16, i64 72, !20, i64 96, !11, i64 120, !24, i64 124, !24, i64 125, !7, i64 126, !25, i64 128, !16, i64 152, !16, i64 176}
!11 = !{!"int", !7, i64 0}
!12 = !{!"_ZTSSt6vectorIS_IiSaIiEESaIS1_EE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseISt6vectorIiSaIiEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!16 = !{!"_ZTSSt6vectorIiSaIiEE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!20 = !{!"_ZTSSt6vectorI4ItemSaIS0_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseI4ItemSaIS0_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI4ItemSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!24 = !{!"bool", !7, i64 0}
!25 = !{!"_ZTSSt6vectorIcSaIcEE", !26, i64 0}
!26 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!29 = !{!10, !24, i64 124}
!30 = !{!7, !7, i64 0}
!31 = !{!10, !7, i64 126}
!32 = !{!33, !33, i64 0}
!33 = !{!"vtable pointer", !8, i64 0}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass