; LLVM IR from nickgildea/z3_codegen :: codegen.ll (Z14AddConstraintsR14CodeGenContext)

; 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.z3::solver" = type { %"class.z3::object", ptr }
%"class.z3::object" = type { ptr }
%"class.z3::expr" = type { %"class.z3::ast" }
%"class.z3::ast" = type { %"class.z3::object", ptr }
%"class.z3::ast_vector_tpl" = type { %"class.z3::object", 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.__gnu_cxx::__normal_iterator" = type { ptr }
%class.CodeGenContext = type { ptr, %"class.z3::solver", i32, i32, i32, %"class.z3::ast_vector_tpl", %"class.z3::ast_vector_tpl", %"class.z3::ast_vector_tpl", %"class.z3::ast_vector_tpl", %"class.std::vector", %class.ISASubset }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<z3::ast_vector_tpl<z3::expr>, std::allocator<z3::ast_vector_tpl<z3::expr>>>::_Vector_impl" }
%"struct.std::_Vector_base<z3::ast_vector_tpl<z3::expr>, std::allocator<z3::ast_vector_tpl<z3::expr>>>::_Vector_impl" = type { %"struct.std::_Vector_base<z3::ast_vector_tpl<z3::expr>, std::allocator<z3::ast_vector_tpl<z3::expr>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<z3::ast_vector_tpl<z3::expr>, std::allocator<z3::ast_vector_tpl<z3::expr>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.ISASubset = type { %"class.std::vector.0" }

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z314ast_vector_tplINS_4exprEEC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14AddConstraintsR14CodeGenContext(ptr noundef nonnull align 8 dereferenceable(152) %0) #1 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca %"class.z3::solver", align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"class.z3::expr", align 8
  %9 = alloca %"class.z3::expr", align 8
  %10 = alloca %"class.z3::expr", align 8
  %11 = alloca %"class.z3::expr", align 8
  %12 = alloca %"class.z3::expr", align 8
  %13 = alloca %"class.z3::expr", align 8
  %14 = alloca %"class.z3::expr", align 8
  %15 = alloca %"class.z3::expr", align 8
  %16 = alloca %"class.z3::expr", align 8
  %17 = alloca %"class.z3::expr", align 8
  %18 = alloca %"class.z3::expr", align 8
  %19 = alloca %"class.z3::expr", align 8
  %20 = alloca %"class.z3::ast_vector_tpl", align 8
  %21 = alloca %"class.z3::expr", align 8
  %22 = alloca %"class.z3::expr", align 8
  %23 = alloca %"class.z3::expr", align 8
  %24 = alloca %"class.z3::expr", align 8
  %25 = alloca %"class.z3::expr", align 8
  %26 = alloca ptr, align 8
  %27 = alloca %"class.std::vector.0", align 8
  %28 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %30 = alloca i32, align 4
  %31 = alloca %"class.z3::expr", align 8
  %32 = alloca %"class.z3::expr", align 8
  %33 = alloca %"class.z3::expr", align 8
  %34 = alloca %"class.z3::expr", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %3) #5
  %35 = load ptr, ptr %2, align 8, !tbaa !5
  %36 = getelementptr inbounds %class.CodeGenContext, ptr %35, i32 0, i32 0
  %37 = load ptr, ptr %36, align 8, !tbaa !9
  call void @_ZN2z36solverC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16) %3, ptr noundef nonnull align 8 dereferenceable(16) %37)
  %38 = load ptr, ptr %2, align 8, !tbaa !5
  %39 = getelementptr inbounds %class.CodeGenContext, ptr %38, i32 0, i32 1
  %40 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN2z36solveraSERKS0_(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef nonnull align 8 dereferenceable(16) %3)
          to label %41 unwind label %52

41:                                               ; preds = %1
  call void @_ZN2z36solverD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  %42 = load ptr, ptr %2, align 8, !tbaa !5
  %43 = getelementptr inbounds %class.CodeGenContext, ptr %42, i32 0, i32 2
  %44 = load i32, ptr %43, align 8, !tbaa !24
  store i32 %44, ptr %6, align 4, !tbaa !25
  br label %45

45:                                               ; preds = %270, %41
  %46 = load i32, ptr %6, align 4, !tbaa !25
  %47 = load ptr, ptr %2, align 8, !tbaa !5
  %48 = getelementptr inbounds %class.CodeGenContext, ptr %47, i32 0, i32 4
  %49 = load i32, ptr %48, align 8, !tbaa !26
  %50 = icmp slt i32 %46, %49
  br i1 %50, label %56, label %51

51:                                               ; preds = %45
  store i32 2, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  br label %276

52:                                               ; preds = %1
  %53 = landingpad { ptr, i32 }
          cleanup
  %54 = extractvalue { ptr, i32 } %53, 0
  store ptr %54, ptr %4, align 8
  %55 = extractvalue { ptr, i32 } %53, 1
  store i32 %55, ptr %5, align 4
  call void @_ZN2z36solverD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %3) #5
  br label %277

56:                                               ; preds = %45
  %57 = load ptr, ptr %2, align 8, !tbaa !5
  %58 = getelementptr inbounds %class.CodeGenContext, ptr %57, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #5
  %59 = load ptr, ptr %2, align 8, !tbaa !5
  %60 = getelementptr inbounds %class.CodeGenContext, ptr %59, i32 0, i32 5
  %61 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %9, ptr noundef nonnull align 8 dereferenceable(16) %60, i32 noundef %61)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %8, ptr noundef nonnull align 8 dereferenceable(16) %9, i32 noundef 0)
          to label %62 unwind label %133

62:                                               ; preds = %56
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %58, ptr noundef nonnull align 8 dereferenceable(16) %8)
          to label %63 unwind label %137

63:                                               ; preds = %62
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #5
  %64 = load ptr, ptr %2, align 8, !tbaa !5
  %65 = getelementptr inbounds %class.CodeGenContext, ptr %64, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #5
  %66 = load ptr, ptr %2, align 8, !tbaa !5
  %67 = getelementptr inbounds %class.CodeGenContext, ptr %66, i32 0, i32 5
  %68 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %11, ptr noundef nonnull align 8 dereferenceable(16) %67, i32 noundef %68)
  %69 = load ptr, ptr %2, align 8, !tbaa !5
  %70 = getelementptr inbounds %class.CodeGenContext, ptr %69, i32 0, i32 10
  %71 = invoke noundef i32 @_ZNK9ISASubset4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %70)
          to label %72 unwind label %142

72:                                               ; preds = %63
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %10, ptr noundef nonnull align 8 dereferenceable(16) %11, i32 noundef %71)
          to label %73 unwind label %142

73:                                               ; preds = %72
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %65, ptr noundef nonnull align 8 dereferenceable(16) %10)
          to label %74 unwind label %146

74:                                               ; preds = %73
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #5
  %75 = load ptr, ptr %2, align 8, !tbaa !5
  %76 = getelementptr inbounds %class.CodeGenContext, ptr %75, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %13) #5
  %77 = load ptr, ptr %2, align 8, !tbaa !5
  %78 = getelementptr inbounds %class.CodeGenContext, ptr %77, i32 0, i32 6
  %79 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %13, ptr noundef nonnull align 8 dereferenceable(16) %78, i32 noundef %79)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %12, ptr noundef nonnull align 8 dereferenceable(16) %13, i32 noundef 0)
          to label %80 unwind label %151

80:                                               ; preds = %74
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %76, ptr noundef nonnull align 8 dereferenceable(16) %12)
          to label %81 unwind label %155

81:                                               ; preds = %80
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %13) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #5
  %82 = load ptr, ptr %2, align 8, !tbaa !5
  %83 = getelementptr inbounds %class.CodeGenContext, ptr %82, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %15) #5
  %84 = load ptr, ptr %2, align 8, !tbaa !5
  %85 = getelementptr inbounds %class.CodeGenContext, ptr %84, i32 0, i32 6
  %86 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %15, ptr noundef nonnull align 8 dereferenceable(16) %85, i32 noundef %86)
  %87 = load i32, ptr %6, align 4, !tbaa !25
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %14, ptr noundef nonnull align 8 dereferenceable(16) %15, i32 noundef %87)
          to label %88 unwind label %160

88:                                               ; preds = %81
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %83, ptr noundef nonnull align 8 dereferenceable(16) %14)
          to label %89 unwind label %164

89:                                               ; preds = %88
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %14) #5
  %90 = load ptr, ptr %2, align 8, !tbaa !5
  %91 = getelementptr inbounds %class.CodeGenContext, ptr %90, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %17) #5
  %92 = load ptr, ptr %2, align 8, !tbaa !5
  %93 = getelementptr inbounds %class.CodeGenContext, ptr %92, i32 0, i32 7
  %94 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %17, ptr noundef nonnull align 8 dereferenceable(16) %93, i32 noundef %94)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %16, ptr noundef nonnull align 8 dereferenceable(16) %17, i32 noundef 0)
          to label %95 unwind label %169

95:                                               ; preds = %89
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %91, ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %96 unwind label %173

96:                                               ; preds = %95
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #5
  %97 = load ptr, ptr %2, align 8, !tbaa !5
  %98 = getelementptr inbounds %class.CodeGenContext, ptr %97, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %18) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %19) #5
  %99 = load ptr, ptr %2, align 8, !tbaa !5
  %100 = getelementptr inbounds %class.CodeGenContext, ptr %99, i32 0, i32 7
  %101 = load i32, ptr %6, align 4, !tbaa !25
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %19, ptr noundef nonnull align 8 dereferenceable(16) %100, i32 noundef %101)
  %102 = load i32, ptr %6, align 4, !tbaa !25
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %18, ptr noundef nonnull align 8 dereferenceable(16) %19, i32 noundef %102)
          to label %103 unwind label %178

103:                                              ; preds = %96
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %98, ptr noundef nonnull align 8 dereferenceable(16) %18)
          to label %104 unwind label %182

104:                                              ; preds = %103
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %18) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #5
  %105 = load ptr, ptr %2, align 8, !tbaa !5
  %106 = getelementptr inbounds %class.CodeGenContext, ptr %105, i32 0, i32 0
  %107 = load ptr, ptr %106, align 8, !tbaa !9
  call void @_ZN2z314ast_vector_tplINS_4exprEEC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 8 dereferenceable(16) %107)
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #5
  %108 = load ptr, ptr %2, align 8, !tbaa !5
  %109 = getelementptr inbounds %class.CodeGenContext, ptr %108, i32 0, i32 8
  %110 = load i32, ptr %6, align 4, !tbaa !25
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %22, ptr noundef nonnull align 8 dereferenceable(16) %109, i32 noundef %110)
          to label %111 unwind label %187

111:                                              ; preds = %104
  invoke void @_ZN2z3gtERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %21, ptr noundef nonnull align 8 dereferenceable(16) %22, i32 noundef 0)
          to label %112 unwind label %191

112:                                              ; preds = %111
  invoke void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %113 unwind label %195

113:                                              ; preds = %112
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %21) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %22) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %24) #5
  %114 = load ptr, ptr %2, align 8, !tbaa !5
  %115 = getelementptr inbounds %class.CodeGenContext, ptr %114, i32 0, i32 8
  %116 = load i32, ptr %6, align 4, !tbaa !25
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %24, ptr noundef nonnull align 8 dereferenceable(16) %115, i32 noundef %116)
          to label %117 unwind label %201

117:                                              ; preds = %113
  invoke void @_ZN2z3leERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %23, ptr noundef nonnull align 8 dereferenceable(16) %24, i32 noundef 31)
          to label %118 unwind label %205

118:                                              ; preds = %117
  invoke void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 8 dereferenceable(16) %23)
          to label %119 unwind label %209

119:                                              ; preds = %118
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #5
  invoke void @_ZN2z36mk_andERKNS_14ast_vector_tplINS_4exprEEE(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %25, ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %120 unwind label %215

120:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #5
  call void @llvm.lifetime.start.p0(i64 24, ptr %27) #5
  %121 = load ptr, ptr %2, align 8, !tbaa !5
  %122 = getelementptr inbounds %class.CodeGenContext, ptr %121, i32 0, i32 10
  invoke void @_ZN9ISASubset18opCodesForKindMaskEi(ptr dead_on_unwind writable sret(%"class.std::vector.0") align 8 %27, ptr noundef nonnull align 8 dereferenceable(24) %122, i32 noundef 1)
          to label %123 unwind label %219

123:                                              ; preds = %120
  store ptr %27, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #5
  %124 = load ptr, ptr %26, align 8, !tbaa !5
  %125 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %124) #5
  %126 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %28, i32 0, i32 0
  store ptr %125, ptr %126, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #5
  %127 = load ptr, ptr %26, align 8, !tbaa !5
  %128 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %127) #5
  %129 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %29, i32 0, i32 0
  store ptr %128, ptr %129, align 8
  br label %130

130:                                              ; preds = %242, %123
  %131 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29) #5
  br i1 %131, label %223, label %132

132:                                              ; preds = %130
  store i32 5, ptr %7, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  br label %269

133:                                              ; preds = %56
  %134 = landingpad { ptr, i32 }
          cleanup
  %135 = extractvalue { ptr, i32 } %134, 0
  store ptr %135, ptr %4, align 8
  %136 = extractvalue { ptr, i32 } %134, 1
  store i32 %136, ptr %5, align 4
  br label %141

137:                                              ; preds = %62
  %138 = landingpad { ptr, i32 }
          cleanup
  %139 = extractvalue { ptr, i32 } %138, 0
  store ptr %139, ptr %4, align 8
  %140 = extractvalue { ptr, i32 } %138, 1
  store i32 %140, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #5
  br label %141

141:                                              ; preds = %137, %133
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #5
  br label %275

142:                                              ; preds = %72, %63
  %143 = landingpad { ptr, i32 }
          cleanup
  %144 = extractvalue { ptr, i32 } %143, 0
  store ptr %144, ptr %4, align 8
  %145 = extractvalue { ptr, i32 } %143, 1
  store i32 %145, ptr %5, align 4
  br label %150

146:                                              ; preds = %73
  %147 = landingpad { ptr, i32 }
          cleanup
  %148 = extractvalue { ptr, i32 } %147, 0
  store ptr %148, ptr %4, align 8
  %149 = extractvalue { ptr, i32 } %147, 1
  store i32 %149, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #5
  br label %150

150:                                              ; preds = %146, %142
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #5
  br label %275

151:                                              ; preds = %74
  %152 = landingpad { ptr, i32 }
          cleanup
  %153 = extractvalue { ptr, i32 } %152, 0
  store ptr %153, ptr %4, align 8
  %154 = extractvalue { ptr, i32 } %152, 1
  store i32 %154, ptr %5, align 4
  br label %159

155:                                              ; preds = %80
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %4, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #5
  br label %159

159:                                              ; preds = %155, %151
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %13) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #5
  br label %275

160:                                              ; preds = %81
  %161 = landingpad { ptr, i32 }
          cleanup
  %162 = extractvalue { ptr, i32 } %161, 0
  store ptr %162, ptr %4, align 8
  %163 = extractvalue { ptr, i32 } %161, 1
  store i32 %163, ptr %5, align 4
  br label %168

164:                                              ; preds = %88
  %165 = landingpad { ptr, i32 }
          cleanup
  %166 = extractvalue { ptr, i32 } %165, 0
  store ptr %166, ptr %4, align 8
  %167 = extractvalue { ptr, i32 } %165, 1
  store i32 %167, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #5
  br label %168

168:                                              ; preds = %164, %160
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %14) #5
  br label %275

169:                                              ; preds = %89
  %170 = landingpad { ptr, i32 }
          cleanup
  %171 = extractvalue { ptr, i32 } %170, 0
  store ptr %171, ptr %4, align 8
  %172 = extractvalue { ptr, i32 } %170, 1
  store i32 %172, ptr %5, align 4
  br label %177

173:                                              ; preds = %95
  %174 = landingpad { ptr, i32 }
          cleanup
  %175 = extractvalue { ptr, i32 } %174, 0
  store ptr %175, ptr %4, align 8
  %176 = extractvalue { ptr, i32 } %174, 1
  store i32 %176, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #5
  br label %177

177:                                              ; preds = %173, %169
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %16) #5
  br label %275

178:                                              ; preds = %96
  %179 = landingpad { ptr, i32 }
          cleanup
  %180 = extractvalue { ptr, i32 } %179, 0
  store ptr %180, ptr %4, align 8
  %181 = extractvalue { ptr, i32 } %179, 1
  store i32 %181, ptr %5, align 4
  br label %186

182:                                              ; preds = %103
  %183 = landingpad { ptr, i32 }
          cleanup
  %184 = extractvalue { ptr, i32 } %183, 0
  store ptr %184, ptr %4, align 8
  %185 = extractvalue { ptr, i32 } %183, 1
  store i32 %185, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %18) #5
  br label %186

186:                                              ; preds = %182, %178
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #5
  br label %275

187:                                              ; preds = %104
  %188 = landingpad { ptr, i32 }
          cleanup
  %189 = extractvalue { ptr, i32 } %188, 0
  store ptr %189, ptr %4, align 8
  %190 = extractvalue { ptr, i32 } %188, 1
  store i32 %190, ptr %5, align 4
  br label %200

191:                                              ; preds = %111
  %192 = landingpad { ptr, i32 }
          cleanup
  %193 = extractvalue { ptr, i32 } %192, 0
  store ptr %193, ptr %4, align 8
  %194 = extractvalue { ptr, i32 } %192, 1
  store i32 %194, ptr %5, align 4
  br label %199

195:                                              ; preds = %112
  %196 = landingpad { ptr, i32 }
          cleanup
  %197 = extractvalue { ptr, i32 } %196, 0
  store ptr %197, ptr %4, align 8
  %198 = extractvalue { ptr, i32 } %196, 1
  store i32 %198, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %21) #5
  br label %199

199:                                              ; preds = %195, %191
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %22) #5
  br label %200

200:                                              ; preds = %199, %187
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #5
  br label %274

201:                                              ; preds = %113
  %202 = landingpad { ptr, i32 }
          cleanup
  %203 = extractvalue { ptr, i32 } %202, 0
  store ptr %203, ptr %4, align 8
  %204 = extractvalue { ptr, i32 } %202, 1
  store i32 %204, ptr %5, align 4
  br label %214

205:                                              ; preds = %117
  %206 = landingpad { ptr, i32 }
          cleanup
  %207 = extractvalue { ptr, i32 } %206, 0
  store ptr %207, ptr %4, align 8
  %208 = extractvalue { ptr, i32 } %206, 1
  store i32 %208, ptr %5, align 4
  br label %213

209:                                              ; preds = %118
  %210 = landingpad { ptr, i32 }
          cleanup
  %211 = extractvalue { ptr, i32 } %210, 0
  store ptr %211, ptr %4, align 8
  %212 = extractvalue { ptr, i32 } %210, 1
  store i32 %212, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #5
  br label %213

213:                                              ; preds = %209, %205
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #5
  br label %214

214:                                              ; preds = %213, %201
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #5
  br label %274

215:                                              ; preds = %119
  %216 = landingpad { ptr, i32 }
          cleanup
  %217 = extractvalue { ptr, i32 } %216, 0
  store ptr %217, ptr %4, align 8
  %218 = extractvalue { ptr, i32 } %216, 1
  store i32 %218, ptr %5, align 4
  br label %273

219:                                              ; preds = %120
  %220 = landingpad { ptr, i32 }
          cleanup
  %221 = extractvalue { ptr, i32 } %220, 0
  store ptr %221, ptr %4, align 8
  %222 = extractvalue { ptr, i32 } %220, 1
  store i32 %222, ptr %5, align 4
  br label %268

223:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #5
  %224 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #5
  %225 = load i32, ptr %224, align 4, !tbaa !25
  store i32 %225, ptr %30, align 4, !tbaa !25
  %226 = load ptr, ptr %2, align 8, !tbaa !5
  %227 = getelementptr inbounds %class.CodeGenContext, ptr %226, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #5
  %228 = load ptr, ptr %2, align 8, !tbaa !5
  %229 = getelementptr inbounds %class.CodeGenContext, ptr %228, i32 0, i32 0
  %230 = load ptr, ptr %229, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %33) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr %34) #5
  %231 = load ptr, ptr %2, align 8, !tbaa !5
  %232 = getelementptr inbounds %class.CodeGenContext, ptr %231, i32 0, i32 5
  %233 = load i32, ptr %6, align 4, !tbaa !25
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %34, ptr noundef nonnull align 8 dereferenceable(16) %232, i32 noundef %233)
          to label %234 unwind label %244

234:                                              ; preds = %223
  %235 = load i32, ptr %30, align 4, !tbaa !25
  invoke void @_ZN2z3eqERKNS_4exprEi(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %33, ptr noundef nonnull align 8 dereferenceable(16) %34, i32 noundef %235)
          to label %236 unwind label %248

236:                                              ; preds = %234
  invoke void @_ZN2z37impliesERKNS_4exprES2_(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %32, ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef nonnull align 8 dereferenceable(16) %25)
          to label %237 unwind label %252

237:                                              ; preds = %236
  %238 = invoke noundef ptr @_ZNK2z33astcvP7_Z3_astEv(ptr noundef nonnull align 8 dereferenceable(16) %32)
          to label %239 unwind label %256

239:                                              ; preds = %237
  invoke void @_ZN2z37to_exprERNS_7contextEP7_Z3_ast(ptr dead_on_unwind writable sret(%"class.z3::expr") align 8 %31, ptr noundef nonnull align 8 dereferenceable(16) %230, ptr noundef %238)
          to label %240 unwind label %256

240:                                              ; preds = %239
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %227, ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %241 unwind label %260

241:                                              ; preds = %240
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %31) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %33) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %34) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  br label %242

242:                                              ; preds = %241
  %243 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #5
  br label %130

244:                                              ; preds = %223
  %245 = landingpad { ptr, i32 }
          cleanup
  %246 = extractvalue { ptr, i32 } %245, 0
  store ptr %246, ptr %4, align 8
  %247 = extractvalue { ptr, i32 } %245, 1
  store i32 %247, ptr %5, align 4
  br label %267

248:                                              ; preds = %234
  %249 = landingpad { ptr, i32 }
          cleanup
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %4, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %5, align 4
  br label %266

252:                                              ; preds = %236
  %253 = landingpad { ptr, i32 }
          cleanup
  %254 = extractvalue { ptr, i32 } %253, 0
  store ptr %254, ptr %4, align 8
  %255 = extractvalue { ptr, i32 } %253, 1
  store i32 %255, ptr %5, align 4
  br label %265

256:                                              ; preds = %239, %237
  %257 = landingpad { ptr, i32 }
          cleanup
  %258 = extractvalue { ptr, i32 } %257, 0
  store ptr %258, ptr %4, align 8
  %259 = extractvalue { ptr, i32 } %257, 1
  store i32 %259, ptr %5, align 4
  br label %264

260:                                              ; preds = %240
  %261 = landingpad { ptr, i32 }
          cleanup
  %262 = extractvalue { ptr, i32 } %261, 0
  store ptr %262, ptr %4, align 8
  %263 = extractvalue { ptr, i32 } %261, 1
  store i32 %263, ptr %5, align 4
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %31) #5
  br label %264

264:                                              ; preds = %260, %256
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #5
  br label %265

265:                                              ; preds = %264, %252
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %33) #5
  br label %266

266:                                              ; preds = %265, %248
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %34) #5
  br label %267

267:                                              ; preds = %266, %244
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #5
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %27) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr %27) #5
  br label %268

268:                                              ; preds = %267, %219
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %25) #5
  br label %273

269:                                              ; preds = %132
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %25) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #5
  call void @_ZN2z314ast_vector_tplINS_4exprEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #5
  br label %270

270:                                              ; preds = %269
  %271 = load i32, ptr %6, align 4, !tbaa !25
  %272 = add nsw i32 %271, 1
  store i32 %272, ptr %6, align 4, !tbaa !25
  br label %45, !llvm.loop !27

273:                                              ; preds = %268, %215
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #5
  br label %274

274:                                              ; preds = %273, %214, %200
  call void @_ZN2z314ast_vector_tplINS_4exprEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #5
  br label %275

275:                                              ; preds = %274, %186, %177, %168, %159, %150, %141
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  br label %277

276:                                              ; preds = %51
  ret void

277:                                              ; preds = %275, %52
  %278 = load ptr, ptr %4, align 8
  %279 = load i32, ptr %5, align 4
  %280 = insertvalue { ptr, i32 } poison, ptr %278, 0
  %281 = insertvalue { ptr, i32 } %280, i32 %279, 1
  resume { ptr, i32 } %281
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z36solverC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN2z36solveraSERKS0_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK9ISASubset4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3gtERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3leERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z36mk_andERKNS_14ast_vector_tplINS_4exprEEE(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16)) #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN9ISASubset18opCodesForKindMaskEi(ptr dead_on_unwind noalias writable sret(%"class.std::vector.0") align 8, ptr noundef nonnull align 8 dereferenceable(24), i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z37to_exprERNS_7contextEP7_Z3_ast(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z37impliesERKNS_4exprES2_(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3eqERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK2z33astcvP7_Z3_astEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"_ZTS14CodeGenContext", !6, i64 0, !11, i64 8, !13, i64 24, !13, i64 28, !13, i64 32, !14, i64 40, !14, i64 56, !14, i64 72, !14, i64 88, !15, i64 104, !19, i64 128}
!11 = !{!"_ZTSN2z36solverE", !12, i64 0, !6, i64 8}
!12 = !{!"_ZTSN2z36objectE", !6, i64 0}
!13 = !{!"int", !7, i64 0}
!14 = !{!"_ZTSN2z314ast_vector_tplINS_4exprEEE", !12, i64 0, !6, i64 8}
!15 = !{!"_ZTSSt6vectorIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"_ZTS9ISASubset", !20, i64 0}
!20 = !{!"_ZTSSt6vectorIiSaIiEE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!24 = !{!10, !13, i64 24}
!25 = !{!13, !13, i64 0}
!26 = !{!10, !13, i64 32}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.mustprogress"}


; 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.z3::solver" = type { %"class.z3::object", ptr }
%"class.z3::object" = type { ptr }
%"class.z3::expr" = type { %"class.z3::ast" }
%"class.z3::ast" = type { %"class.z3::object", ptr }
%"class.z3::ast_vector_tpl" = type { %"class.z3::object", 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.__gnu_cxx::__normal_iterator" = type { ptr }

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z314ast_vector_tplINS_4exprEEC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_Z14AddConstraintsR14CodeGenContext(ptr noundef nonnull align 8 dereferenceable(152) %0) local_unnamed_addr #1 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.z3::solver", align 8
  %3 = alloca %"class.z3::expr", align 8
  %4 = alloca %"class.z3::expr", align 8
  %5 = alloca %"class.z3::expr", align 8
  %6 = alloca %"class.z3::expr", align 8
  %7 = alloca %"class.z3::expr", align 8
  %8 = alloca %"class.z3::expr", align 8
  %9 = alloca %"class.z3::expr", align 8
  %10 = alloca %"class.z3::expr", align 8
  %11 = alloca %"class.z3::expr", align 8
  %12 = alloca %"class.z3::expr", align 8
  %13 = alloca %"class.z3::expr", align 8
  %14 = alloca %"class.z3::expr", align 8
  %15 = alloca %"class.z3::ast_vector_tpl", align 8
  %16 = alloca %"class.z3::expr", align 8
  %17 = alloca %"class.z3::expr", align 8
  %18 = alloca %"class.z3::expr", align 8
  %19 = alloca %"class.z3::expr", align 8
  %20 = alloca %"class.z3::expr", align 8
  %21 = alloca %"class.std::vector.0", align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %24 = alloca %"class.z3::expr", align 8
  %25 = alloca %"class.z3::expr", align 8
  %26 = alloca %"class.z3::expr", align 8
  %27 = alloca %"class.z3::expr", align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %2) #5
  %28 = load ptr, ptr %0, align 8, !tbaa !5
  call void @_ZN2z36solverC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16) %2, ptr noundef nonnull align 8 dereferenceable(16) %28)
  %29 = getelementptr inbounds i8, ptr %0, i64 8
  %30 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN2z36solveraSERKS0_(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %2)
          to label %31 unwind label %42

31:                                               ; preds = %1
  call void @_ZN2z36solverD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %2) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #5
  %32 = getelementptr inbounds i8, ptr %0, i64 24
  %33 = load i32, ptr %32, align 8, !tbaa !23
  %34 = getelementptr inbounds i8, ptr %0, i64 32
  %35 = load i32, ptr %34, align 8, !tbaa !24
  %36 = icmp slt i32 %33, %35
  br i1 %36, label %.lr.ph90, label %._crit_edge91

.lr.ph90:                                         ; preds = %31
  %37 = getelementptr inbounds i8, ptr %0, i64 40
  %38 = getelementptr inbounds i8, ptr %0, i64 128
  %39 = getelementptr inbounds i8, ptr %0, i64 56
  %40 = getelementptr inbounds i8, ptr %0, i64 72
  %41 = getelementptr inbounds i8, ptr %0, i64 88
  br label %44

._crit_edge91:                                    ; preds = %._crit_edge, %31
  ret void

42:                                               ; preds = %1
  %43 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z36solverD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %2) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #5
  br label %151

44:                                               ; preds = %.lr.ph90, %._crit_edge
  %.06088 = phi i32 [ %33, %.lr.ph90 ], [ %70, %._crit_edge ]
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %4, ptr noundef nonnull align 8 dereferenceable(16) %37, i32 noundef %.06088)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %3, ptr noundef nonnull align 8 dereferenceable(16) %4, i32 noundef 0)
          to label %45 unwind label %73

45:                                               ; preds = %44
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %3)
          to label %46 unwind label %75

46:                                               ; preds = %45
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %4) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %6, ptr noundef nonnull align 8 dereferenceable(16) %37, i32 noundef %.06088)
  %47 = call noundef i32 @_ZNK9ISASubset4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %38)
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %5, ptr noundef nonnull align 8 dereferenceable(16) %6, i32 noundef %47)
          to label %48 unwind label %78

48:                                               ; preds = %46
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %5)
          to label %49 unwind label %80

49:                                               ; preds = %48
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %8, ptr noundef nonnull align 8 dereferenceable(16) %39, i32 noundef %.06088)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %7, ptr noundef nonnull align 8 dereferenceable(16) %8, i32 noundef 0)
          to label %50 unwind label %83

50:                                               ; preds = %49
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %7)
          to label %51 unwind label %85

51:                                               ; preds = %50
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %10, ptr noundef nonnull align 8 dereferenceable(16) %39, i32 noundef %.06088)
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %9, ptr noundef nonnull align 8 dereferenceable(16) %10, i32 noundef %.06088)
          to label %52 unwind label %88

52:                                               ; preds = %51
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %9)
          to label %53 unwind label %90

53:                                               ; preds = %52
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %12, ptr noundef nonnull align 8 dereferenceable(16) %40, i32 noundef %.06088)
  invoke void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %11, ptr noundef nonnull align 8 dereferenceable(16) %12, i32 noundef 0)
          to label %54 unwind label %93

54:                                               ; preds = %53
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %55 unwind label %95

55:                                               ; preds = %54
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %11) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %14) #5
  call void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %14, ptr noundef nonnull align 8 dereferenceable(16) %40, i32 noundef %.06088)
  invoke void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %13, ptr noundef nonnull align 8 dereferenceable(16) %14, i32 noundef %.06088)
          to label %56 unwind label %98

56:                                               ; preds = %55
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %13)
          to label %57 unwind label %100

57:                                               ; preds = %56
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %13) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #5
  %58 = load ptr, ptr %0, align 8, !tbaa !5
  call void @_ZN2z314ast_vector_tplINS_4exprEEC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 8 dereferenceable(16) %58)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %16) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #5
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %17, ptr noundef nonnull align 8 dereferenceable(16) %41, i32 noundef %.06088)
          to label %59 unwind label %103

59:                                               ; preds = %57
  invoke void @_ZN2z3gtERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %16, ptr noundef nonnull align 8 dereferenceable(16) %17, i32 noundef 0)
          to label %60 unwind label %105

60:                                               ; preds = %59
  invoke void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %61 unwind label %107

61:                                               ; preds = %60
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #5
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %19, ptr noundef nonnull align 8 dereferenceable(16) %41, i32 noundef %.06088)
          to label %62 unwind label %111

62:                                               ; preds = %61
  invoke void @_ZN2z3leERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %18, ptr noundef nonnull align 8 dereferenceable(16) %19, i32 noundef 31)
          to label %63 unwind label %113

63:                                               ; preds = %62
  invoke void @_ZN2z314ast_vector_tplINS_4exprEE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 8 dereferenceable(16) %18)
          to label %64 unwind label %115

64:                                               ; preds = %63
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %18) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #5
  invoke void @_ZN2z36mk_andERKNS_14ast_vector_tplINS_4exprEEE(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %20, ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %65 unwind label %119

65:                                               ; preds = %64
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %21) #5
  invoke void @_ZN9ISASubset18opCodesForKindMaskEi(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.0") align 8 %21, ptr noundef nonnull align 8 dereferenceable(24) %38, i32 noundef 1)
          to label %66 unwind label %121

66:                                               ; preds = %65
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #5
  %67 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %21) #5
  store ptr %67, ptr %22, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #5
  %68 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %21) #5
  store ptr %68, ptr %23, align 8
  %69 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23) #5
  br i1 %69, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %131, %66
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #5
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #5
  call void @_ZN2z314ast_vector_tplINS_4exprEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #5
  %70 = add nsw i32 %.06088, 1
  %71 = load i32, ptr %34, align 8, !tbaa !24
  %72 = icmp slt i32 %70, %71
  br i1 %72, label %44, label %._crit_edge91, !llvm.loop !25

73:                                               ; preds = %44
  %74 = landingpad { ptr, i32 }
          cleanup
  br label %77

75:                                               ; preds = %45
  %76 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #5
  br label %77

77:                                               ; preds = %75, %73
  %.pn = phi { ptr, i32 } [ %76, %75 ], [ %74, %73 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %4) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #5
  br label %151

78:                                               ; preds = %46
  %79 = landingpad { ptr, i32 }
          cleanup
  br label %82

80:                                               ; preds = %48
  %81 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #5
  br label %82

82:                                               ; preds = %80, %78
  %.pn62 = phi { ptr, i32 } [ %81, %80 ], [ %79, %78 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #5
  br label %151

83:                                               ; preds = %49
  %84 = landingpad { ptr, i32 }
          cleanup
  br label %87

85:                                               ; preds = %50
  %86 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #5
  br label %87

87:                                               ; preds = %85, %83
  %.pn64 = phi { ptr, i32 } [ %86, %85 ], [ %84, %83 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #5
  br label %151

88:                                               ; preds = %51
  %89 = landingpad { ptr, i32 }
          cleanup
  br label %92

90:                                               ; preds = %52
  %91 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #5
  br label %92

92:                                               ; preds = %90, %88
  %.pn66 = phi { ptr, i32 } [ %91, %90 ], [ %89, %88 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #5
  br label %151

93:                                               ; preds = %53
  %94 = landingpad { ptr, i32 }
          cleanup
  br label %97

95:                                               ; preds = %54
  %96 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %11) #5
  br label %97

97:                                               ; preds = %95, %93
  %.pn68 = phi { ptr, i32 } [ %96, %95 ], [ %94, %93 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #5
  br label %151

98:                                               ; preds = %55
  %99 = landingpad { ptr, i32 }
          cleanup
  br label %102

100:                                              ; preds = %56
  %101 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %13) #5
  br label %102

102:                                              ; preds = %100, %98
  %.pn70 = phi { ptr, i32 } [ %101, %100 ], [ %99, %98 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #5
  br label %151

103:                                              ; preds = %57
  %104 = landingpad { ptr, i32 }
          cleanup
  br label %110

105:                                              ; preds = %59
  %106 = landingpad { ptr, i32 }
          cleanup
  br label %109

107:                                              ; preds = %60
  %108 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #5
  br label %109

109:                                              ; preds = %107, %105
  %.pn72 = phi { ptr, i32 } [ %108, %107 ], [ %106, %105 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #5
  br label %110

110:                                              ; preds = %109, %103
  %.pn72.pn = phi { ptr, i32 } [ %.pn72, %109 ], [ %104, %103 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #5
  br label %150

111:                                              ; preds = %61
  %112 = landingpad { ptr, i32 }
          cleanup
  br label %118

113:                                              ; preds = %62
  %114 = landingpad { ptr, i32 }
          cleanup
  br label %117

115:                                              ; preds = %63
  %116 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %18) #5
  br label %117

117:                                              ; preds = %115, %113
  %.pn75 = phi { ptr, i32 } [ %116, %115 ], [ %114, %113 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %19) #5
  br label %118

118:                                              ; preds = %117, %111
  %.pn75.pn = phi { ptr, i32 } [ %.pn75, %117 ], [ %112, %111 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #5
  br label %150

119:                                              ; preds = %64
  %120 = landingpad { ptr, i32 }
          cleanup
  br label %149

121:                                              ; preds = %65
  %122 = landingpad { ptr, i32 }
          cleanup
  br label %148

.lr.ph:                                           ; preds = %66, %131
  %123 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #5
  %124 = load i32, ptr %123, align 4, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %24) #5
  %125 = load ptr, ptr %0, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %25) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %26) #5
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %27) #5
  invoke void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %27, ptr noundef nonnull align 8 dereferenceable(16) %37, i32 noundef %.06088)
          to label %126 unwind label %134

126:                                              ; preds = %.lr.ph
  invoke void @_ZN2z3eqERKNS_4exprEi(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %26, ptr noundef nonnull align 8 dereferenceable(16) %27, i32 noundef %124)
          to label %127 unwind label %136

127:                                              ; preds = %126
  invoke void @_ZN2z37impliesERKNS_4exprES2_(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %25, ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %128 unwind label %138

128:                                              ; preds = %127
  %129 = call noundef ptr @_ZNK2z33astcvP7_Z3_astEv(ptr noundef nonnull align 8 dereferenceable(16) %25)
  invoke void @_ZN2z37to_exprERNS_7contextEP7_Z3_ast(ptr dead_on_unwind nonnull writable sret(%"class.z3::expr") align 8 %24, ptr noundef nonnull align 8 dereferenceable(16) %125, ptr noundef %129)
          to label %130 unwind label %140

130:                                              ; preds = %128
  invoke void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %131 unwind label %142

131:                                              ; preds = %130
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %25) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26) #5
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %26) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %25) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %24) #5
  %132 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #5
  %133 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23) #5
  br i1 %133, label %.lr.ph, label %._crit_edge

134:                                              ; preds = %.lr.ph
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %147

136:                                              ; preds = %126
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %146

138:                                              ; preds = %127
  %139 = landingpad { ptr, i32 }
          cleanup
  br label %145

140:                                              ; preds = %128
  %141 = landingpad { ptr, i32 }
          cleanup
  br label %144

142:                                              ; preds = %130
  %143 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #5
  br label %144

144:                                              ; preds = %142, %140
  %.pn78 = phi { ptr, i32 } [ %143, %142 ], [ %141, %140 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %25) #5
  br label %145

145:                                              ; preds = %144, %138
  %.pn78.pn = phi { ptr, i32 } [ %.pn78, %144 ], [ %139, %138 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26) #5
  br label %146

146:                                              ; preds = %145, %136
  %.pn78.pn.pn = phi { ptr, i32 } [ %.pn78.pn, %145 ], [ %137, %136 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #5
  br label %147

147:                                              ; preds = %146, %134
  %.pn78.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn, %146 ], [ %135, %134 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %26) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %25) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %24) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #5
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #5
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #5
  br label %148

148:                                              ; preds = %147, %121
  %.pn78.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn, %147 ], [ %122, %121 ]
  call void @_ZN2z33astD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #5
  br label %149

149:                                              ; preds = %148, %119
  %.pn78.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn.pn, %148 ], [ %120, %119 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #5
  br label %150

150:                                              ; preds = %149, %118, %110
  %.pn78.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn78.pn.pn.pn.pn.pn, %149 ], [ %.pn75.pn, %118 ], [ %.pn72.pn, %110 ]
  call void @_ZN2z314ast_vector_tplINS_4exprEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #5
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #5
  br label %151

151:                                              ; preds = %77, %82, %87, %92, %97, %102, %150, %42
  %.pn78.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %43, %42 ], [ %.pn78.pn.pn.pn.pn.pn.pn, %150 ], [ %.pn70, %102 ], [ %.pn68, %97 ], [ %.pn66, %92 ], [ %.pn64, %87 ], [ %.pn62, %82 ], [ %.pn, %77 ]
  resume { ptr, i32 } %.pn78.pn.pn.pn.pn.pn.pn.pn.pn
}

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z36solverC2ERNS_7contextE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN2z36solveraSERKS0_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN2z36solver3addERKNS_4exprE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3geERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK2z314ast_vector_tplINS_4exprEEixEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3ltERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK9ISASubset4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3gtERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3leERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z36mk_andERKNS_14ast_vector_tplINS_4exprEEE(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN9ISASubset18opCodesForKindMaskEi(ptr dead_on_unwind noalias writable sret(%"class.std::vector.0") align 8, ptr noundef nonnull align 8 dereferenceable(24), i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z37to_exprERNS_7contextEP7_Z3_ast(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z37impliesERKNS_4exprES2_(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN2z3eqERKNS_4exprEi(ptr dead_on_unwind noalias writable sret(%"class.z3::expr") align 8, ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK2z33astcvP7_Z3_astEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #2 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint 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 #4 = { 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 #5 = { 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 0}
!6 = !{!"_ZTS14CodeGenContext", !7, i64 0, !10, i64 8, !12, i64 24, !12, i64 28, !12, i64 32, !13, i64 40, !13, i64 56, !13, i64 72, !13, i64 88, !14, i64 104, !18, i64 128}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSN2z36solverE", !11, i64 0, !7, i64 8}
!11 = !{!"_ZTSN2z36objectE", !7, i64 0}
!12 = !{!"int", !8, i64 0}
!13 = !{!"_ZTSN2z314ast_vector_tplINS_4exprEEE", !11, i64 0, !7, i64 8}
!14 = !{!"_ZTSSt6vectorIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIN2z314ast_vector_tplINS0_4exprEEESaIS3_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!18 = !{!"_ZTS9ISASubset", !19, i64 0}
!19 = !{!"_ZTSSt6vectorIiSaIiEE", !20, i64 0}
!20 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!23 = !{!6, !12, i64 24}
!24 = !{!6, !12, i64 32}
!25 = distinct !{!25, !26}
!26 = !{!"llvm.loop.mustprogress"}
!27 = !{!12, !12, i64 0}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass