; LLVM IR from facebook/redex :: libredex/TypeInference.ll (ZN14type_inference17refine_comparableEPNS_15TypeEnvironmentEjj)

; 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.sparta::FiniteAbstractDomain" = type { %"class.boost::multiprecision::number" }
%"class.boost::multiprecision::number" = type { %"struct.boost::multiprecision::backends::cpp_int_backend" }
%"struct.boost::multiprecision::backends::cpp_int_backend" = type { %"struct.boost::multiprecision::backends::cpp_int_base" }
%"struct.boost::multiprecision::backends::cpp_int_base" = type { i16 }

declare i32 @__gxx_personality_v0(...)

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

; 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 @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2), ptr noundef nonnull align 4 dereferenceable(4)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind noalias writable sret(%"class.sparta::FiniteAbstractDomain") align 2, ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2), ptr noundef nonnull align 2 dereferenceable(2)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6sparta27DirectProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE13set_to_bottomEv(ptr noundef nonnull align 8 dereferenceable(48)) #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN14type_inference17refine_comparableEPNS_15TypeEnvironmentEjj(ptr noundef %0, i32 noundef %1, i32 noundef %2) #2 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %13 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %14 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %15 = alloca i32, align 4
  %16 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %17 = alloca i1, align 1
  %18 = alloca i1, align 1
  %19 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %20 = alloca i1, align 1
  %21 = alloca i32, align 4
  %22 = alloca i1, align 1
  %23 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %24 = alloca i1, align 1
  %25 = alloca i1, align 1
  %26 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %27 = alloca i1, align 1
  %28 = alloca i32, align 4
  %29 = alloca i1, align 1
  %30 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %31 = alloca i1, align 1
  %32 = alloca i1, align 1
  %33 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %34 = alloca i1, align 1
  %35 = alloca i32, align 4
  %36 = alloca i1, align 1
  %37 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store i32 %2, ptr %6, align 4, !tbaa !9
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = call noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %38)
  br i1 %39, label %40, label %41

40:                                               ; preds = %3
  br label %218

41:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 2, ptr %8) #3
  %42 = load ptr, ptr %4, align 8, !tbaa !5
  %43 = load i32, ptr %5, align 4, !tbaa !9
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %8, ptr noundef nonnull align 8 dereferenceable(48) %42, i32 noundef %43)
  %44 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %8)
          to label %45 unwind label %117

45:                                               ; preds = %41
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %8) #3
  store i32 %44, ptr %7, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 2, ptr %12) #3
  %46 = load ptr, ptr %4, align 8, !tbaa !5
  %47 = load i32, ptr %6, align 4, !tbaa !9
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %12, ptr noundef nonnull align 8 dereferenceable(48) %46, i32 noundef %47)
  %48 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %49 unwind label %121

49:                                               ; preds = %45
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %12) #3
  store i32 %48, ptr %11, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 2, ptr %13) #3
  call void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %13, ptr noundef nonnull align 4 dereferenceable(4) %7)
  call void @llvm.lifetime.start.p0(i64 2, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  store i32 5, ptr %15, align 4, !tbaa !11
  store i1 false, ptr %17, align 1
  store i1 false, ptr %18, align 1
  store i1 false, ptr %20, align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  store i1 false, ptr %22, align 1
  store i1 false, ptr %24, align 1
  store i1 false, ptr %25, align 1
  store i1 false, ptr %27, align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #3
  store i1 false, ptr %29, align 1
  store i1 false, ptr %31, align 1
  store i1 false, ptr %32, align 1
  store i1 false, ptr %34, align 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #3
  store i1 false, ptr %36, align 1
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %14, ptr noundef nonnull align 4 dereferenceable(4) %15)
          to label %50 unwind label %125

50:                                               ; preds = %49
  %51 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %13, ptr noundef nonnull align 2 dereferenceable(2) %14)
          to label %52 unwind label %129

52:                                               ; preds = %50
  br i1 %51, label %53, label %58

53:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 2, ptr %16) #3
  store i1 true, ptr %17, align 1
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %16, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %54 unwind label %133

54:                                               ; preds = %53
  store i1 true, ptr %18, align 1
  call void @llvm.lifetime.start.p0(i64 2, ptr %19) #3
  store i1 true, ptr %20, align 1
  store i32 5, ptr %21, align 4, !tbaa !11
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %19, ptr noundef nonnull align 4 dereferenceable(4) %21)
          to label %55 unwind label %137

55:                                               ; preds = %54
  store i1 true, ptr %22, align 1
  %56 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %16, ptr noundef nonnull align 2 dereferenceable(2) %19)
          to label %57 unwind label %141

57:                                               ; preds = %55
  br i1 %56, label %76, label %58

58:                                               ; preds = %57, %52
  call void @llvm.lifetime.start.p0(i64 2, ptr %23) #3
  store i1 true, ptr %24, align 1
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %23, ptr noundef nonnull align 4 dereferenceable(4) %7)
          to label %59 unwind label %145

59:                                               ; preds = %58
  store i1 true, ptr %25, align 1
  call void @llvm.lifetime.start.p0(i64 2, ptr %26) #3
  store i1 true, ptr %27, align 1
  store i32 12, ptr %28, align 4, !tbaa !11
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %26, ptr noundef nonnull align 4 dereferenceable(4) %28)
          to label %60 unwind label %149

60:                                               ; preds = %59
  store i1 true, ptr %29, align 1
  %61 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %23, ptr noundef nonnull align 2 dereferenceable(2) %26)
          to label %62 unwind label %153

62:                                               ; preds = %60
  br i1 %61, label %63, label %74

63:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 2, ptr %30) #3
  store i1 true, ptr %31, align 1
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %30, ptr noundef nonnull align 4 dereferenceable(4) %11)
          to label %64 unwind label %157

64:                                               ; preds = %63
  store i1 true, ptr %32, align 1
  call void @llvm.lifetime.start.p0(i64 2, ptr %33) #3
  store i1 true, ptr %34, align 1
  store i32 12, ptr %35, align 4, !tbaa !11
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %33, ptr noundef nonnull align 4 dereferenceable(4) %35)
          to label %65 unwind label %161

65:                                               ; preds = %64
  store i1 true, ptr %36, align 1
  %66 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %30, ptr noundef nonnull align 2 dereferenceable(2) %33)
          to label %67 unwind label %165

67:                                               ; preds = %65
  br i1 %66, label %68, label %74

68:                                               ; preds = %67
  %69 = load i32, ptr %7, align 4, !tbaa !11
  %70 = icmp ne i32 %69, 7
  br i1 %70, label %71, label %74

71:                                               ; preds = %68
  %72 = load i32, ptr %11, align 4, !tbaa !11
  %73 = icmp ne i32 %72, 7
  br label %74

74:                                               ; preds = %71, %68, %67, %62
  %75 = phi i1 [ false, %68 ], [ false, %67 ], [ false, %62 ], [ %73, %71 ]
  br label %76

76:                                               ; preds = %74, %57
  %77 = phi i1 [ true, %57 ], [ %75, %74 ]
  %78 = xor i1 %77, true
  %79 = load i1, ptr %36, align 1
  br i1 %79, label %80, label %81

80:                                               ; preds = %76
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %33) #3
  br label %81

81:                                               ; preds = %80, %76
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #3
  %82 = load i1, ptr %34, align 1
  br i1 %82, label %83, label %84

83:                                               ; preds = %81
  call void @llvm.lifetime.end.p0(i64 2, ptr %33) #3
  br label %84

84:                                               ; preds = %83, %81
  %85 = load i1, ptr %32, align 1
  br i1 %85, label %86, label %87

86:                                               ; preds = %84
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %30) #3
  br label %87

87:                                               ; preds = %86, %84
  %88 = load i1, ptr %31, align 1
  br i1 %88, label %89, label %90

89:                                               ; preds = %87
  call void @llvm.lifetime.end.p0(i64 2, ptr %30) #3
  br label %90

90:                                               ; preds = %89, %87
  %91 = load i1, ptr %29, align 1
  br i1 %91, label %92, label %93

92:                                               ; preds = %90
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %26) #3
  br label %93

93:                                               ; preds = %92, %90
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #3
  %94 = load i1, ptr %27, align 1
  br i1 %94, label %95, label %96

95:                                               ; preds = %93
  call void @llvm.lifetime.end.p0(i64 2, ptr %26) #3
  br label %96

96:                                               ; preds = %95, %93
  %97 = load i1, ptr %25, align 1
  br i1 %97, label %98, label %99

98:                                               ; preds = %96
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %23) #3
  br label %99

99:                                               ; preds = %98, %96
  %100 = load i1, ptr %24, align 1
  br i1 %100, label %101, label %102

101:                                              ; preds = %99
  call void @llvm.lifetime.end.p0(i64 2, ptr %23) #3
  br label %102

102:                                              ; preds = %101, %99
  %103 = load i1, ptr %22, align 1
  br i1 %103, label %104, label %105

104:                                              ; preds = %102
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %19) #3
  br label %105

105:                                              ; preds = %104, %102
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  %106 = load i1, ptr %20, align 1
  br i1 %106, label %107, label %108

107:                                              ; preds = %105
  call void @llvm.lifetime.end.p0(i64 2, ptr %19) #3
  br label %108

108:                                              ; preds = %107, %105
  %109 = load i1, ptr %18, align 1
  br i1 %109, label %110, label %111

110:                                              ; preds = %108
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %16) #3
  br label %111

111:                                              ; preds = %110, %108
  %112 = load i1, ptr %17, align 1
  br i1 %112, label %113, label %114

113:                                              ; preds = %111
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #3
  br label %114

114:                                              ; preds = %113, %111
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %14) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %13) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %13) #3
  br i1 %78, label %115, label %215

115:                                              ; preds = %114
  %116 = load ptr, ptr %4, align 8, !tbaa !5
  call void @_ZN6sparta27DirectProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE13set_to_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %116)
  store i32 1, ptr %37, align 4
  br label %216

117:                                              ; preds = %41
  %118 = landingpad { ptr, i32 }
          cleanup
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %9, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %10, align 4
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %8) #3
  br label %220

121:                                              ; preds = %45
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %9, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %10, align 4
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %12) #3
  br label %219

125:                                              ; preds = %49
  %126 = landingpad { ptr, i32 }
          cleanup
  %127 = extractvalue { ptr, i32 } %126, 0
  store ptr %127, ptr %9, align 8
  %128 = extractvalue { ptr, i32 } %126, 1
  store i32 %128, ptr %10, align 4
  br label %214

129:                                              ; preds = %50
  %130 = landingpad { ptr, i32 }
          cleanup
  %131 = extractvalue { ptr, i32 } %130, 0
  store ptr %131, ptr %9, align 8
  %132 = extractvalue { ptr, i32 } %130, 1
  store i32 %132, ptr %10, align 4
  br label %213

133:                                              ; preds = %53
  %134 = landingpad { ptr, i32 }
          cleanup
  %135 = extractvalue { ptr, i32 } %134, 0
  store ptr %135, ptr %9, align 8
  %136 = extractvalue { ptr, i32 } %134, 1
  store i32 %136, ptr %10, align 4
  br label %209

137:                                              ; preds = %54
  %138 = landingpad { ptr, i32 }
          cleanup
  %139 = extractvalue { ptr, i32 } %138, 0
  store ptr %139, ptr %9, align 8
  %140 = extractvalue { ptr, i32 } %138, 1
  store i32 %140, ptr %10, align 4
  br label %202

141:                                              ; preds = %55
  %142 = landingpad { ptr, i32 }
          cleanup
  %143 = extractvalue { ptr, i32 } %142, 0
  store ptr %143, ptr %9, align 8
  %144 = extractvalue { ptr, i32 } %142, 1
  store i32 %144, ptr %10, align 4
  br label %198

145:                                              ; preds = %58
  %146 = landingpad { ptr, i32 }
          cleanup
  %147 = extractvalue { ptr, i32 } %146, 0
  store ptr %147, ptr %9, align 8
  %148 = extractvalue { ptr, i32 } %146, 1
  store i32 %148, ptr %10, align 4
  br label %194

149:                                              ; preds = %59
  %150 = landingpad { ptr, i32 }
          cleanup
  %151 = extractvalue { ptr, i32 } %150, 0
  store ptr %151, ptr %9, align 8
  %152 = extractvalue { ptr, i32 } %150, 1
  store i32 %152, ptr %10, align 4
  br label %187

153:                                              ; preds = %60
  %154 = landingpad { ptr, i32 }
          cleanup
  %155 = extractvalue { ptr, i32 } %154, 0
  store ptr %155, ptr %9, align 8
  %156 = extractvalue { ptr, i32 } %154, 1
  store i32 %156, ptr %10, align 4
  br label %183

157:                                              ; preds = %63
  %158 = landingpad { ptr, i32 }
          cleanup
  %159 = extractvalue { ptr, i32 } %158, 0
  store ptr %159, ptr %9, align 8
  %160 = extractvalue { ptr, i32 } %158, 1
  store i32 %160, ptr %10, align 4
  br label %179

161:                                              ; preds = %64
  %162 = landingpad { ptr, i32 }
          cleanup
  %163 = extractvalue { ptr, i32 } %162, 0
  store ptr %163, ptr %9, align 8
  %164 = extractvalue { ptr, i32 } %162, 1
  store i32 %164, ptr %10, align 4
  br label %172

165:                                              ; preds = %65
  %166 = landingpad { ptr, i32 }
          cleanup
  %167 = extractvalue { ptr, i32 } %166, 0
  store ptr %167, ptr %9, align 8
  %168 = extractvalue { ptr, i32 } %166, 1
  store i32 %168, ptr %10, align 4
  %169 = load i1, ptr %36, align 1
  br i1 %169, label %170, label %171

170:                                              ; preds = %165
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %33) #3
  br label %171

171:                                              ; preds = %170, %165
  br label %172

172:                                              ; preds = %171, %161
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #3
  %173 = load i1, ptr %34, align 1
  br i1 %173, label %174, label %175

174:                                              ; preds = %172
  call void @llvm.lifetime.end.p0(i64 2, ptr %33) #3
  br label %175

175:                                              ; preds = %174, %172
  %176 = load i1, ptr %32, align 1
  br i1 %176, label %177, label %178

177:                                              ; preds = %175
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %30) #3
  br label %178

178:                                              ; preds = %177, %175
  br label %179

179:                                              ; preds = %178, %157
  %180 = load i1, ptr %31, align 1
  br i1 %180, label %181, label %182

181:                                              ; preds = %179
  call void @llvm.lifetime.end.p0(i64 2, ptr %30) #3
  br label %182

182:                                              ; preds = %181, %179
  br label %183

183:                                              ; preds = %182, %153
  %184 = load i1, ptr %29, align 1
  br i1 %184, label %185, label %186

185:                                              ; preds = %183
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %26) #3
  br label %186

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

187:                                              ; preds = %186, %149
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #3
  %188 = load i1, ptr %27, align 1
  br i1 %188, label %189, label %190

189:                                              ; preds = %187
  call void @llvm.lifetime.end.p0(i64 2, ptr %26) #3
  br label %190

190:                                              ; preds = %189, %187
  %191 = load i1, ptr %25, align 1
  br i1 %191, label %192, label %193

192:                                              ; preds = %190
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %23) #3
  br label %193

193:                                              ; preds = %192, %190
  br label %194

194:                                              ; preds = %193, %145
  %195 = load i1, ptr %24, align 1
  br i1 %195, label %196, label %197

196:                                              ; preds = %194
  call void @llvm.lifetime.end.p0(i64 2, ptr %23) #3
  br label %197

197:                                              ; preds = %196, %194
  br label %198

198:                                              ; preds = %197, %141
  %199 = load i1, ptr %22, align 1
  br i1 %199, label %200, label %201

200:                                              ; preds = %198
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %19) #3
  br label %201

201:                                              ; preds = %200, %198
  br label %202

202:                                              ; preds = %201, %137
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  %203 = load i1, ptr %20, align 1
  br i1 %203, label %204, label %205

204:                                              ; preds = %202
  call void @llvm.lifetime.end.p0(i64 2, ptr %19) #3
  br label %205

205:                                              ; preds = %204, %202
  %206 = load i1, ptr %18, align 1
  br i1 %206, label %207, label %208

207:                                              ; preds = %205
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %16) #3
  br label %208

208:                                              ; preds = %207, %205
  br label %209

209:                                              ; preds = %208, %133
  %210 = load i1, ptr %17, align 1
  br i1 %210, label %211, label %212

211:                                              ; preds = %209
  call void @llvm.lifetime.end.p0(i64 2, ptr %16) #3
  br label %212

212:                                              ; preds = %211, %209
  br label %213

213:                                              ; preds = %212, %129
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %14) #3
  br label %214

214:                                              ; preds = %213, %125
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %14) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %13) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr %13) #3
  br label %219

215:                                              ; preds = %114
  store i32 0, ptr %37, align 4
  br label %216

216:                                              ; preds = %215, %115
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  %217 = load i32, ptr %37, align 4
  switch i32 %217, label %226 [
    i32 0, label %218
    i32 1, label %218
  ]

218:                                              ; preds = %216, %216, %40
  ret void

219:                                              ; preds = %214, %121
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  br label %220

220:                                              ; preds = %219, %117
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  br label %221

221:                                              ; preds = %220
  %222 = load ptr, ptr %9, align 8
  %223 = load i32, ptr %10, align 4
  %224 = insertvalue { ptr, i32 } poison, ptr %222, 0
  %225 = insertvalue { ptr, i32 } %224, i32 %223, 1
  resume { ptr, i32 } %225

226:                                              ; preds = %216
  unreachable
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { 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, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_ZTS6IRType", !7, 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.sparta::FiniteAbstractDomain" = type { %"class.boost::multiprecision::number" }
%"class.boost::multiprecision::number" = type { %"struct.boost::multiprecision::backends::cpp_int_backend" }
%"struct.boost::multiprecision::backends::cpp_int_backend" = type { %"struct.boost::multiprecision::backends::cpp_int_base" }
%"struct.boost::multiprecision::backends::cpp_int_base" = type { i16 }

declare i32 @__gxx_personality_v0(...)

; 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 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 @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2), ptr noundef nonnull align 4 dereferenceable(4)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind noalias writable sret(%"class.sparta::FiniteAbstractDomain") align 2, ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2), ptr noundef nonnull align 2 dereferenceable(2)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN14type_inference17refine_comparableEPNS_15TypeEnvironmentEjj(ptr noundef nonnull %0, i32 noundef %1, i32 noundef %2) local_unnamed_addr #2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i32, align 4
  %5 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %6 = alloca i32, align 4
  %7 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %8 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %9 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %10 = alloca i32, align 4
  %11 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %12 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %13 = alloca i32, align 4
  %14 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %15 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %16 = alloca i32, align 4
  %17 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %18 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %19 = alloca i32, align 4
  %20 = tail call noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %0)
  br i1 %20, label %90, label %21

21:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #3
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %5) #3
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind nonnull writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %5, ptr noundef nonnull align 8 dereferenceable(48) %0, i32 noundef %1)
  %22 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %5)
          to label %23 unwind label %54

23:                                               ; preds = %21
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %5) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %5) #3
  store i32 %22, ptr %4, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #3
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %7) #3
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind nonnull writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %7, ptr noundef nonnull align 8 dereferenceable(48) %0, i32 noundef %2)
  %24 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %7)
          to label %25 unwind label %56

25:                                               ; preds = %23
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %7) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %7) #3
  store i32 %24, ptr %6, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %8) #3
  call void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %8, ptr noundef nonnull align 4 dereferenceable(4) %4)
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %9) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #3
  store i32 5, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %19) #3
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %9, ptr noundef nonnull align 4 dereferenceable(4) %10)
          to label %26 unwind label %58

26:                                               ; preds = %25
  %27 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %8, ptr noundef nonnull align 2 dereferenceable(2) %9)
          to label %28 unwind label %60

28:                                               ; preds = %26
  br i1 %27, label %29, label %34

29:                                               ; preds = %28
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %11) #3
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %11, ptr noundef nonnull align 4 dereferenceable(4) %6)
          to label %30 unwind label %62

30:                                               ; preds = %29
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %12) #3
  store i32 5, ptr %13, align 4, !tbaa !5
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %12, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %31 unwind label %64

31:                                               ; preds = %30
  %32 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %11, ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %33 unwind label %.thread131

33:                                               ; preds = %31
  br i1 %32, label %.critedge87.thread, label %34

34:                                               ; preds = %33, %28
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %14) #3
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %14, ptr noundef nonnull align 4 dereferenceable(4) %4)
          to label %35 unwind label %67

35:                                               ; preds = %34
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %15) #3
  store i32 12, ptr %16, align 4, !tbaa !5
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %15, ptr noundef nonnull align 4 dereferenceable(4) %16)
          to label %36 unwind label %69

36:                                               ; preds = %35
  %37 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %14, ptr noundef nonnull align 2 dereferenceable(2) %15)
          to label %38 unwind label %71

38:                                               ; preds = %36
  br i1 %37, label %39, label %.critedge82.thread118

.critedge82.thread118:                            ; preds = %38
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #3
  br label %.critedge87

39:                                               ; preds = %38
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %17) #3
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %17, ptr noundef nonnull align 4 dereferenceable(4) %6)
          to label %40 unwind label %73

40:                                               ; preds = %39
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %18) #3
  store i32 12, ptr %19, align 4, !tbaa !5
  invoke void @_ZN6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEC2ERKS1_(ptr noundef nonnull align 2 dereferenceable(2) %18, ptr noundef nonnull align 4 dereferenceable(4) %19)
          to label %41 unwind label %75

41:                                               ; preds = %40
  %42 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE3leqERKSF_(ptr noundef nonnull align 2 dereferenceable(2) %17, ptr noundef nonnull align 2 dereferenceable(2) %18)
          to label %43 unwind label %77

43:                                               ; preds = %41
  %44 = load i32, ptr %4, align 4
  %45 = icmp ne i32 %44, 7
  %or.cond = select i1 %42, i1 %45, i1 false
  br i1 %or.cond, label %46, label %.critedge82.thread

46:                                               ; preds = %43
  %47 = load i32, ptr %6, align 4, !tbaa !5
  %48 = icmp eq i32 %47, 7
  br label %.critedge82.thread

.critedge82.thread:                               ; preds = %46, %43
  %.ph = phi i1 [ true, %43 ], [ %48, %46 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %18) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %18) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %17) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %17) #3
  br label %.critedge87

.critedge87.thread:                               ; preds = %33
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #3
  br label %.critedge91

.critedge87:                                      ; preds = %.critedge82.thread118, %.critedge82.thread
  %49 = phi i1 [ %.ph, %.critedge82.thread ], [ true, %.critedge82.thread118 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %15) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %14) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %14) #3
  br i1 %27, label %.critedge91, label %50

50:                                               ; preds = %.critedge87
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #3
  br label %.critedge92

.critedge91:                                      ; preds = %.critedge87, %.critedge87.thread
  %51 = phi i1 [ false, %.critedge87.thread ], [ %49, %.critedge87 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %12) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %11) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %11) #3
  br label %.critedge92

.critedge92:                                      ; preds = %50, %.critedge91
  %52 = phi i1 [ %49, %50 ], [ %51, %.critedge91 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %9) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %8) #3
  br i1 %52, label %53, label %89

53:                                               ; preds = %.critedge92
  call void @_ZN6sparta27DirectProductAbstractDomainIN14type_inference15TypeEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS6_Lm16EvvEEN5boost14multiprecision6numberINSA_8backends15cpp_int_backendILj16ELj16ELNSA_16cpp_integer_typeE0ELNSA_18cpp_int_check_typeE0EvEELNSA_26expression_template_optionE0EEEXadL_ZNS1_12type_latticeEEEEENS_17TopValueInterfaceISJ_EEEEEENS3_INS4_Ij13DexTypeDomainNSK_ISO_EEEEEENS3_INS4_IjNS5_I7IntTypeNS7_ISS_Lm7EvvEENSB_INSD_ILj7ELj7ELSE_0ELSF_0EvEELSH_0EEEXadL_ZNS1_16int_type_latticeEEEEENSK_ISW_EEEEEEEE13set_to_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %0)
  br label %89

54:                                               ; preds = %21
  %55 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %5) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %5) #3
  br label %92

56:                                               ; preds = %23
  %57 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %7) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %7) #3
  br label %91

58:                                               ; preds = %25
  %59 = landingpad { ptr, i32 }
          cleanup
  br label %88

60:                                               ; preds = %26
  %61 = landingpad { ptr, i32 }
          cleanup
  br label %87

62:                                               ; preds = %29
  %63 = landingpad { ptr, i32 }
          cleanup
  br label %86

64:                                               ; preds = %30
  %65 = landingpad { ptr, i32 }
          cleanup
  br label %85

.thread131:                                       ; preds = %31
  %66 = landingpad { ptr, i32 }
          cleanup
  br label %84

67:                                               ; preds = %34
  %68 = landingpad { ptr, i32 }
          cleanup
  br label %83

69:                                               ; preds = %35
  %70 = landingpad { ptr, i32 }
          cleanup
  br label %82

71:                                               ; preds = %36
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %81

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

75:                                               ; preds = %40
  %76 = landingpad { ptr, i32 }
          cleanup
  br label %79

77:                                               ; preds = %41
  %78 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %18) #3
  br label %79

79:                                               ; preds = %77, %75
  %.pn = phi { ptr, i32 } [ %78, %77 ], [ %76, %75 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %19) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %18) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %17) #3
  br label %80

80:                                               ; preds = %73, %79
  %.pn.pn = phi { ptr, i32 } [ %.pn, %79 ], [ %74, %73 ]
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %17) #3
  br label %81

81:                                               ; preds = %71, %80
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %80 ], [ %72, %71 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %15) #3
  br label %82

82:                                               ; preds = %81, %69
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn, %81 ], [ %70, %69 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %15) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %14) #3
  br label %83

83:                                               ; preds = %82, %67
  %.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn, %82 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %14) #3
  br i1 %27, label %84, label %.critedge94

84:                                               ; preds = %.thread131, %83
  %.pn.pn.pn.pn.pn.pn134 = phi { ptr, i32 } [ %66, %.thread131 ], [ %.pn.pn.pn.pn.pn, %83 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #3
  br label %85

85:                                               ; preds = %84, %64
  %.pn.pn.pn.pn.pn.pn.pn.ph = phi { ptr, i32 } [ %65, %64 ], [ %.pn.pn.pn.pn.pn.pn134, %84 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %12) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %11) #3
  br label %86

.critedge94:                                      ; preds = %83
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #3
  br label %87

86:                                               ; preds = %85, %62
  %.pn.pn.pn.pn.pn.pn.pn.pn.ph = phi { ptr, i32 } [ %63, %62 ], [ %.pn.pn.pn.pn.pn.pn.pn.ph, %85 ]
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %11) #3
  br label %87

87:                                               ; preds = %.critedge94, %86, %60
  %.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn.pn.pn.pn.ph, %86 ], [ %.pn.pn.pn.pn.pn, %.critedge94 ], [ %61, %60 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %9) #3
  br label %88

88:                                               ; preds = %87, %58
  %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn.pn.pn.pn.pn, %87 ], [ %59, %58 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %9) #3
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #3
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %8) #3
  br label %91

89:                                               ; preds = %.critedge92, %53
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #3
  br label %90

90:                                               ; preds = %3, %89
  ret void

91:                                               ; preds = %88, %56
  %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn, %88 ], [ %57, %56 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #3
  br label %92

92:                                               ; preds = %91, %54
  %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn, %91 ], [ %55, %54 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #3
  resume { ptr, i32 } %.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn
}

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { 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 = !{!"_ZTS6IRType", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}


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