; LLVM IR from facebook/redex :: libredex/PointsToSemantics.ll (ZN17PointsToOperation11from_s_exprERKN6sparta6s_exprE)

; 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.boost::optional.50" = type { %"class.boost::optional_detail::optional_base.51" }
%"class.boost::optional_detail::optional_base.51" = type { i8, [7 x i8], %"class.boost::optional_detail::aligned_storage.52" }
%"class.boost::optional_detail::aligned_storage.52" = type { %"union.boost::optional_detail::aligned_storage<PointsToOperation>::dummy_u" }
%"union.boost::optional_detail::aligned_storage<PointsToOperation>::dummy_u" = type { [16 x i8] }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.sparta::s_expr" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"class.sparta::s_patn" = type { %"class.boost::intrusive_ptr.1" }
%"class.boost::intrusive_ptr.1" = type { ptr }
%"class.std::initializer_list.2" = type { ptr, i64 }
%"class.boost::optional.34" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, i32 }
%struct.PointsToOperation = type { i32, %union.anon.49 }
%union.anon.49 = type { ptr }
%"class.std::basic_string_view" = type { i64, ptr }
%"class.boost::optional.37" = type { %"class.boost::optional_detail::tc_optional_base.38" }
%"class.boost::optional_detail::tc_optional_base.38" = type { i8, i32 }
%"class.boost::optional.47" = type { %"class.boost::optional_detail::tc_optional_base.48" }
%"class.boost::optional_detail::tc_optional_base.48" = type { i8, ptr }

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: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 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: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2EPi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr, i64) unnamed_addr #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZN8pts_impl17string_to_op_kindERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32)) #4

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZN8pts_impl22string_to_special_edgeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32)) #4

; Function Attrs: mustprogress uwtable
declare dso_local { i8, ptr } @_ZN8pts_impl20s_expr_to_dex_methodERKN6sparta6s_exprE(ptr noundef nonnull align 8 dereferenceable(8)) #4

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8), ptr, i64, ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32)) #1 align 2

declare noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) #5

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN17PointsToOperation11from_s_exprERKN6sparta6s_exprE(ptr dead_on_unwind noalias writable sret(%"class.boost::optional.50") align 8 %0, ptr noundef nonnull align 8 dereferenceable(8) %1) #4 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.sparta::s_expr", align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca %"class.sparta::s_patn", align 8
  %10 = alloca %"class.std::initializer_list.2", align 8
  %11 = alloca [1 x %"class.sparta::s_patn"], align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca %"class.boost::optional.34", align 4
  %15 = alloca i32, align 4
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca %"class.sparta::s_patn", align 8
  %18 = alloca %"class.std::initializer_list.2", align 8
  %19 = alloca [1 x %"class.sparta::s_patn"], align 8
  %20 = alloca ptr, align 8
  %21 = alloca %struct.PointsToOperation, align 8
  %22 = alloca %"class.std::basic_string_view", align 8
  %23 = alloca %"class.std::__cxx11::basic_string", align 8
  %24 = alloca %"class.sparta::s_patn", align 8
  %25 = alloca %"class.std::initializer_list.2", align 8
  %26 = alloca [1 x %"class.sparta::s_patn"], align 8
  %27 = alloca ptr, align 8
  %28 = alloca %struct.PointsToOperation, align 8
  %29 = alloca %"class.std::basic_string_view", align 8
  %30 = alloca %struct.PointsToOperation, align 8
  %31 = alloca i32, align 4
  %32 = alloca %"class.sparta::s_patn", align 8
  %33 = alloca %"class.std::initializer_list.2", align 8
  %34 = alloca [1 x %"class.sparta::s_patn"], align 8
  %35 = alloca ptr, align 8
  %36 = alloca %struct.PointsToOperation, align 8
  %37 = alloca %"class.std::__cxx11::basic_string", align 8
  %38 = alloca %"class.std::__cxx11::basic_string", align 8
  %39 = alloca %"class.std::__cxx11::basic_string", align 8
  %40 = alloca %"class.sparta::s_patn", align 8
  %41 = alloca %"class.std::initializer_list.2", align 8
  %42 = alloca [3 x %"class.sparta::s_patn"], align 8
  %43 = alloca ptr, align 8
  %44 = alloca %struct.PointsToOperation, align 8
  %45 = alloca %"class.std::basic_string_view", align 8
  %46 = alloca %"class.std::basic_string_view", align 8
  %47 = alloca %"class.std::basic_string_view", align 8
  %48 = alloca %"class.std::__cxx11::basic_string", align 8
  %49 = alloca %"class.sparta::s_patn", align 8
  %50 = alloca %"class.std::initializer_list.2", align 8
  %51 = alloca [1 x %"class.sparta::s_patn"], align 8
  %52 = alloca ptr, align 8
  %53 = alloca %"class.boost::optional.37", align 4
  %54 = alloca %struct.PointsToOperation, align 8
  %55 = alloca %"class.sparta::s_expr", align 8
  %56 = alloca %"class.sparta::s_patn", align 8
  %57 = alloca %"class.std::initializer_list.2", align 8
  %58 = alloca [1 x %"class.sparta::s_patn"], align 8
  %59 = alloca ptr, align 8
  %60 = alloca %"class.boost::optional.47", align 8
  %61 = alloca %struct.PointsToOperation, align 8
  store ptr %0, ptr %3, align 8
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %5) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #6
  invoke void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %62 unwind label %83

62:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  store ptr %11, ptr %12, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef %5)
          to label %63 unwind label %87

63:                                               ; preds = %62
  %64 = getelementptr inbounds %"class.std::initializer_list.2", ptr %10, i32 0, i32 0
  store ptr %11, ptr %64, align 8, !tbaa !9
  %65 = getelementptr inbounds %"class.std::initializer_list.2", ptr %10, i32 0, i32 1
  store i64 1, ptr %65, align 8, !tbaa !12
  %66 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 0
  %67 = load ptr, ptr %66, align 8
  %68 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 1
  %69 = load i64, ptr %68, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr %67, i64 %69, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %70 unwind label %98

70:                                               ; preds = %63
  %71 = load ptr, ptr %4, align 8, !tbaa !5
  %72 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %71)
          to label %73 unwind label %102

73:                                               ; preds = %70
  %74 = xor i1 %72, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  %75 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %11, i32 0, i32 0
  %76 = getelementptr inbounds %"class.sparta::s_patn", ptr %75, i64 1
  br label %77

77:                                               ; preds = %77, %73
  %78 = phi ptr [ %76, %73 ], [ %79, %77 ]
  %79 = getelementptr inbounds %"class.sparta::s_patn", ptr %78, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %79) #6
  %80 = icmp eq ptr %79, %75
  br i1 %80, label %81, label %77

81:                                               ; preds = %77
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  br i1 %74, label %82, label %115

82:                                               ; preds = %81
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %598

83:                                               ; preds = %2
  %84 = landingpad { ptr, i32 }
          cleanup
  %85 = extractvalue { ptr, i32 } %84, 0
  store ptr %85, ptr %7, align 8
  %86 = extractvalue { ptr, i32 } %84, 1
  store i32 %86, ptr %8, align 4
  br label %600

87:                                               ; preds = %62
  %88 = landingpad { ptr, i32 }
          cleanup
  %89 = extractvalue { ptr, i32 } %88, 0
  store ptr %89, ptr %7, align 8
  %90 = extractvalue { ptr, i32 } %88, 1
  store i32 %90, ptr %8, align 4
  %91 = load ptr, ptr %12, align 8
  %92 = icmp eq ptr %11, %91
  br i1 %92, label %97, label %93

93:                                               ; preds = %93, %87
  %94 = phi ptr [ %91, %87 ], [ %95, %93 ]
  %95 = getelementptr inbounds %"class.sparta::s_patn", ptr %94, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %95) #6
  %96 = icmp eq ptr %95, %11
  br i1 %96, label %97, label %93

97:                                               ; preds = %93, %87
  br label %114

98:                                               ; preds = %63
  %99 = landingpad { ptr, i32 }
          cleanup
  %100 = extractvalue { ptr, i32 } %99, 0
  store ptr %100, ptr %7, align 8
  %101 = extractvalue { ptr, i32 } %99, 1
  store i32 %101, ptr %8, align 4
  br label %106

102:                                              ; preds = %70
  %103 = landingpad { ptr, i32 }
          cleanup
  %104 = extractvalue { ptr, i32 } %103, 0
  store ptr %104, ptr %7, align 8
  %105 = extractvalue { ptr, i32 } %103, 1
  store i32 %105, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  br label %106

106:                                              ; preds = %102, %98
  %107 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %11, i32 0, i32 0
  %108 = getelementptr inbounds %"class.sparta::s_patn", ptr %107, i64 1
  br label %109

109:                                              ; preds = %109, %106
  %110 = phi ptr [ %108, %106 ], [ %111, %109 ]
  %111 = getelementptr inbounds %"class.sparta::s_patn", ptr %110, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %111) #6
  %112 = icmp eq ptr %111, %107
  br i1 %112, label %113, label %109

113:                                              ; preds = %109
  br label %114

114:                                              ; preds = %113, %97
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  br label %599

115:                                              ; preds = %81
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  %116 = invoke i64 @_ZN8pts_impl17string_to_op_kindERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %5)
          to label %117 unwind label %121

117:                                              ; preds = %115
  %118 = getelementptr inbounds %"class.boost::optional.34", ptr %14, i32 0, i32 0
  store i64 %116, ptr %118, align 4
  %119 = call noundef zeroext i1 @_ZNK5boost8optionalI21PointsToOperationKindEntEv(ptr noundef nonnull align 4 dereferenceable(8) %14) #6
  br i1 %119, label %120, label %125

120:                                              ; preds = %117
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %596

121:                                              ; preds = %115
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %7, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %8, align 4
  br label %597

125:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  %126 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNR5boost8optionalI21PointsToOperationKindEdeEv(ptr noundef nonnull align 4 dereferenceable(8) %14)
          to label %127 unwind label %130

127:                                              ; preds = %125
  %128 = load i32, ptr %126, align 4, !tbaa !13
  store i32 %128, ptr %15, align 4, !tbaa !13
  %129 = load i32, ptr %15, align 4, !tbaa !13
  switch i32 %129, label %593 [
    i32 0, label %134
    i32 1, label %203
    i32 3, label %203
    i32 6, label %203
    i32 2, label %272
    i32 5, label %272
    i32 18, label %272
    i32 19, label %272
    i32 4, label %280
    i32 7, label %340
    i32 9, label %340
    i32 10, label %340
    i32 12, label %340
    i32 8, label %437
    i32 11, label %437
    i32 13, label %510
    i32 14, label %510
    i32 15, label %510
    i32 16, label %510
    i32 17, label %510
  ]

130:                                              ; preds = %125
  %131 = landingpad { ptr, i32 }
          cleanup
  %132 = extractvalue { ptr, i32 } %131, 0
  store ptr %132, ptr %7, align 8
  %133 = extractvalue { ptr, i32 } %131, 1
  store i32 %133, ptr %8, align 4
  br label %595

134:                                              ; preds = %127
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #6
  store ptr %19, ptr %20, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef %16)
          to label %135 unwind label %154

135:                                              ; preds = %134
  %136 = getelementptr inbounds %"class.std::initializer_list.2", ptr %18, i32 0, i32 0
  store ptr %19, ptr %136, align 8, !tbaa !9
  %137 = getelementptr inbounds %"class.std::initializer_list.2", ptr %18, i32 0, i32 1
  store i64 1, ptr %137, align 8, !tbaa !12
  %138 = getelementptr inbounds { ptr, i64 }, ptr %18, i32 0, i32 0
  %139 = load ptr, ptr %138, align 8
  %140 = getelementptr inbounds { ptr, i64 }, ptr %18, i32 0, i32 1
  %141 = load i64, ptr %140, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr %139, i64 %141)
          to label %142 unwind label %165

142:                                              ; preds = %135
  %143 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %144 unwind label %169

144:                                              ; preds = %142
  %145 = xor i1 %143, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  %146 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %19, i32 0, i32 0
  %147 = getelementptr inbounds %"class.sparta::s_patn", ptr %146, i64 1
  br label %148

148:                                              ; preds = %148, %144
  %149 = phi ptr [ %147, %144 ], [ %150, %148 ]
  %150 = getelementptr inbounds %"class.sparta::s_patn", ptr %149, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %150) #6
  %151 = icmp eq ptr %150, %146
  br i1 %151, label %152, label %148

152:                                              ; preds = %148
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  br i1 %145, label %153, label %182

153:                                              ; preds = %152
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %201

154:                                              ; preds = %134
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %7, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %8, align 4
  %158 = load ptr, ptr %20, align 8
  %159 = icmp eq ptr %19, %158
  br i1 %159, label %164, label %160

160:                                              ; preds = %160, %154
  %161 = phi ptr [ %158, %154 ], [ %162, %160 ]
  %162 = getelementptr inbounds %"class.sparta::s_patn", ptr %161, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %162) #6
  %163 = icmp eq ptr %162, %19
  br i1 %163, label %164, label %160

164:                                              ; preds = %160, %154
  br label %181

165:                                              ; preds = %135
  %166 = landingpad { ptr, i32 }
          cleanup
  %167 = extractvalue { ptr, i32 } %166, 0
  store ptr %167, ptr %7, align 8
  %168 = extractvalue { ptr, i32 } %166, 1
  store i32 %168, ptr %8, align 4
  br label %173

169:                                              ; preds = %142
  %170 = landingpad { ptr, i32 }
          cleanup
  %171 = extractvalue { ptr, i32 } %170, 0
  store ptr %171, ptr %7, align 8
  %172 = extractvalue { ptr, i32 } %170, 1
  store i32 %172, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #6
  br label %173

173:                                              ; preds = %169, %165
  %174 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %19, i32 0, i32 0
  %175 = getelementptr inbounds %"class.sparta::s_patn", ptr %174, i64 1
  br label %176

176:                                              ; preds = %176, %173
  %177 = phi ptr [ %175, %173 ], [ %178, %176 ]
  %178 = getelementptr inbounds %"class.sparta::s_patn", ptr %177, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %178) #6
  %179 = icmp eq ptr %178, %174
  br i1 %179, label %180, label %176

180:                                              ; preds = %176
  br label %181

181:                                              ; preds = %180, %164
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  br label %202

182:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #6
  %183 = load i32, ptr %15, align 4, !tbaa !13
  %184 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #6
  %185 = getelementptr inbounds { i64, ptr }, ptr %22, i32 0, i32 0
  %186 = extractvalue { i64, ptr } %184, 0
  store i64 %186, ptr %185, align 8
  %187 = getelementptr inbounds { i64, ptr }, ptr %22, i32 0, i32 1
  %188 = extractvalue { i64, ptr } %184, 1
  store ptr %188, ptr %187, align 8
  %189 = getelementptr inbounds { i64, ptr }, ptr %22, i32 0, i32 0
  %190 = load i64, ptr %189, align 8
  %191 = getelementptr inbounds { i64, ptr }, ptr %22, i32 0, i32 1
  %192 = load ptr, ptr %191, align 8
  %193 = invoke noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64 %190, ptr %192)
          to label %194 unwind label %197

194:                                              ; preds = %182
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKindPK9DexString(ptr noundef nonnull align 8 dereferenceable(16) %21, i32 noundef %183, ptr noundef %193)
          to label %195 unwind label %197

195:                                              ; preds = %194
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %196 unwind label %197

196:                                              ; preds = %195
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #6
  store i32 1, ptr %13, align 4
  br label %201

197:                                              ; preds = %195, %194, %182
  %198 = landingpad { ptr, i32 }
          cleanup
  %199 = extractvalue { ptr, i32 } %198, 0
  store ptr %199, ptr %7, align 8
  %200 = extractvalue { ptr, i32 } %198, 1
  store i32 %200, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #6
  br label %202

201:                                              ; preds = %196, %153
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #6
  br label %594

202:                                              ; preds = %197, %181
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #6
  br label %595

203:                                              ; preds = %127, %127, %127
  call void @llvm.lifetime.start.p0(i64 32, ptr %23) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #6
  store ptr %26, ptr %27, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef %23)
          to label %204 unwind label %223

204:                                              ; preds = %203
  %205 = getelementptr inbounds %"class.std::initializer_list.2", ptr %25, i32 0, i32 0
  store ptr %26, ptr %205, align 8, !tbaa !9
  %206 = getelementptr inbounds %"class.std::initializer_list.2", ptr %25, i32 0, i32 1
  store i64 1, ptr %206, align 8, !tbaa !12
  %207 = getelementptr inbounds { ptr, i64 }, ptr %25, i32 0, i32 0
  %208 = load ptr, ptr %207, align 8
  %209 = getelementptr inbounds { ptr, i64 }, ptr %25, i32 0, i32 1
  %210 = load i64, ptr %209, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr %208, i64 %210)
          to label %211 unwind label %234

211:                                              ; preds = %204
  %212 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %213 unwind label %238

213:                                              ; preds = %211
  %214 = xor i1 %212, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  %215 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %26, i32 0, i32 0
  %216 = getelementptr inbounds %"class.sparta::s_patn", ptr %215, i64 1
  br label %217

217:                                              ; preds = %217, %213
  %218 = phi ptr [ %216, %213 ], [ %219, %217 ]
  %219 = getelementptr inbounds %"class.sparta::s_patn", ptr %218, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %219) #6
  %220 = icmp eq ptr %219, %215
  br i1 %220, label %221, label %217

221:                                              ; preds = %217
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #6
  br i1 %214, label %222, label %251

222:                                              ; preds = %221
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %270

223:                                              ; preds = %203
  %224 = landingpad { ptr, i32 }
          cleanup
  %225 = extractvalue { ptr, i32 } %224, 0
  store ptr %225, ptr %7, align 8
  %226 = extractvalue { ptr, i32 } %224, 1
  store i32 %226, ptr %8, align 4
  %227 = load ptr, ptr %27, align 8
  %228 = icmp eq ptr %26, %227
  br i1 %228, label %233, label %229

229:                                              ; preds = %229, %223
  %230 = phi ptr [ %227, %223 ], [ %231, %229 ]
  %231 = getelementptr inbounds %"class.sparta::s_patn", ptr %230, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %231) #6
  %232 = icmp eq ptr %231, %26
  br i1 %232, label %233, label %229

233:                                              ; preds = %229, %223
  br label %250

234:                                              ; preds = %204
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %7, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %8, align 4
  br label %242

238:                                              ; preds = %211
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %7, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  br label %242

242:                                              ; preds = %238, %234
  %243 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %26, i32 0, i32 0
  %244 = getelementptr inbounds %"class.sparta::s_patn", ptr %243, i64 1
  br label %245

245:                                              ; preds = %245, %242
  %246 = phi ptr [ %244, %242 ], [ %247, %245 ]
  %247 = getelementptr inbounds %"class.sparta::s_patn", ptr %246, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %247) #6
  %248 = icmp eq ptr %247, %243
  br i1 %248, label %249, label %245

249:                                              ; preds = %245
  br label %250

250:                                              ; preds = %249, %233
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #6
  br label %271

251:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 16, ptr %28) #6
  %252 = load i32, ptr %15, align 4, !tbaa !13
  %253 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  %254 = getelementptr inbounds { i64, ptr }, ptr %29, i32 0, i32 0
  %255 = extractvalue { i64, ptr } %253, 0
  store i64 %255, ptr %254, align 8
  %256 = getelementptr inbounds { i64, ptr }, ptr %29, i32 0, i32 1
  %257 = extractvalue { i64, ptr } %253, 1
  store ptr %257, ptr %256, align 8
  %258 = getelementptr inbounds { i64, ptr }, ptr %29, i32 0, i32 0
  %259 = load i64, ptr %258, align 8
  %260 = getelementptr inbounds { i64, ptr }, ptr %29, i32 0, i32 1
  %261 = load ptr, ptr %260, align 8
  %262 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %259, ptr %261)
          to label %263 unwind label %266

263:                                              ; preds = %251
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKindP7DexType(ptr noundef nonnull align 8 dereferenceable(16) %28, i32 noundef %252, ptr noundef %262)
          to label %264 unwind label %266

264:                                              ; preds = %263
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %28)
          to label %265 unwind label %266

265:                                              ; preds = %264
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #6
  store i32 1, ptr %13, align 4
  br label %270

266:                                              ; preds = %264, %263, %251
  %267 = landingpad { ptr, i32 }
          cleanup
  %268 = extractvalue { ptr, i32 } %267, 0
  store ptr %268, ptr %7, align 8
  %269 = extractvalue { ptr, i32 } %267, 1
  store i32 %269, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %28) #6
  br label %271

270:                                              ; preds = %265, %222
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #6
  br label %594

271:                                              ; preds = %266, %250
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #6
  br label %595

272:                                              ; preds = %127, %127, %127, %127
  call void @llvm.lifetime.start.p0(i64 16, ptr %30) #6
  %273 = load i32, ptr %15, align 4, !tbaa !13
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKind(ptr noundef nonnull align 8 dereferenceable(16) %30, i32 noundef %273)
          to label %274 unwind label %276

274:                                              ; preds = %272
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %30)
          to label %275 unwind label %276

275:                                              ; preds = %274
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #6
  store i32 1, ptr %13, align 4
  br label %594

276:                                              ; preds = %274, %272
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %7, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #6
  br label %595

280:                                              ; preds = %127
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  store ptr %34, ptr %35, align 8
  invoke void @_ZN6sparta6s_patnC2EPi(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef %31)
          to label %281 unwind label %300

281:                                              ; preds = %280
  %282 = getelementptr inbounds %"class.std::initializer_list.2", ptr %33, i32 0, i32 0
  store ptr %34, ptr %282, align 8, !tbaa !9
  %283 = getelementptr inbounds %"class.std::initializer_list.2", ptr %33, i32 0, i32 1
  store i64 1, ptr %283, align 8, !tbaa !12
  %284 = getelementptr inbounds { ptr, i64 }, ptr %33, i32 0, i32 0
  %285 = load ptr, ptr %284, align 8
  %286 = getelementptr inbounds { ptr, i64 }, ptr %33, i32 0, i32 1
  %287 = load i64, ptr %286, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr %285, i64 %287)
          to label %288 unwind label %311

288:                                              ; preds = %281
  %289 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %290 unwind label %315

290:                                              ; preds = %288
  %291 = xor i1 %289, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  %292 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %34, i32 0, i32 0
  %293 = getelementptr inbounds %"class.sparta::s_patn", ptr %292, i64 1
  br label %294

294:                                              ; preds = %294, %290
  %295 = phi ptr [ %293, %290 ], [ %296, %294 ]
  %296 = getelementptr inbounds %"class.sparta::s_patn", ptr %295, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %296) #6
  %297 = icmp eq ptr %296, %292
  br i1 %297, label %298, label %294

298:                                              ; preds = %294
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  br i1 %291, label %299, label %328

299:                                              ; preds = %298
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %338

300:                                              ; preds = %280
  %301 = landingpad { ptr, i32 }
          cleanup
  %302 = extractvalue { ptr, i32 } %301, 0
  store ptr %302, ptr %7, align 8
  %303 = extractvalue { ptr, i32 } %301, 1
  store i32 %303, ptr %8, align 4
  %304 = load ptr, ptr %35, align 8
  %305 = icmp eq ptr %34, %304
  br i1 %305, label %310, label %306

306:                                              ; preds = %306, %300
  %307 = phi ptr [ %304, %300 ], [ %308, %306 ]
  %308 = getelementptr inbounds %"class.sparta::s_patn", ptr %307, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %308) #6
  %309 = icmp eq ptr %308, %34
  br i1 %309, label %310, label %306

310:                                              ; preds = %306, %300
  br label %327

311:                                              ; preds = %281
  %312 = landingpad { ptr, i32 }
          cleanup
  %313 = extractvalue { ptr, i32 } %312, 0
  store ptr %313, ptr %7, align 8
  %314 = extractvalue { ptr, i32 } %312, 1
  store i32 %314, ptr %8, align 4
  br label %319

315:                                              ; preds = %288
  %316 = landingpad { ptr, i32 }
          cleanup
  %317 = extractvalue { ptr, i32 } %316, 0
  store ptr %317, ptr %7, align 8
  %318 = extractvalue { ptr, i32 } %316, 1
  store i32 %318, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  br label %319

319:                                              ; preds = %315, %311
  %320 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %34, i32 0, i32 0
  %321 = getelementptr inbounds %"class.sparta::s_patn", ptr %320, i64 1
  br label %322

322:                                              ; preds = %322, %319
  %323 = phi ptr [ %321, %319 ], [ %324, %322 ]
  %324 = getelementptr inbounds %"class.sparta::s_patn", ptr %323, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %324) #6
  %325 = icmp eq ptr %324, %320
  br i1 %325, label %326, label %322

326:                                              ; preds = %322
  br label %327

327:                                              ; preds = %326, %310
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  br label %339

328:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 16, ptr %36) #6
  %329 = load i32, ptr %15, align 4, !tbaa !13
  %330 = load i32, ptr %31, align 4, !tbaa !15
  %331 = sext i32 %330 to i64
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKindm(ptr noundef nonnull align 8 dereferenceable(16) %36, i32 noundef %329, i64 noundef %331)
          to label %332 unwind label %334

332:                                              ; preds = %328
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %36)
          to label %333 unwind label %334

333:                                              ; preds = %332
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #6
  store i32 1, ptr %13, align 4
  br label %338

334:                                              ; preds = %332, %328
  %335 = landingpad { ptr, i32 }
          cleanup
  %336 = extractvalue { ptr, i32 } %335, 0
  store ptr %336, ptr %7, align 8
  %337 = extractvalue { ptr, i32 } %335, 1
  store i32 %337, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #6
  br label %339

338:                                              ; preds = %333, %299
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  br label %594

339:                                              ; preds = %334, %327
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  br label %595

340:                                              ; preds = %127, %127, %127, %127
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr %39) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr %42) #6
  store ptr %42, ptr %43, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef %37)
          to label %341 unwind label %364

341:                                              ; preds = %340
  %342 = getelementptr inbounds %"class.sparta::s_patn", ptr %42, i64 1
  store ptr %342, ptr %43, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %342, ptr noundef %38)
          to label %343 unwind label %364

343:                                              ; preds = %341
  %344 = getelementptr inbounds %"class.sparta::s_patn", ptr %42, i64 2
  store ptr %344, ptr %43, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %344, ptr noundef %39)
          to label %345 unwind label %364

345:                                              ; preds = %343
  %346 = getelementptr inbounds %"class.std::initializer_list.2", ptr %41, i32 0, i32 0
  store ptr %42, ptr %346, align 8, !tbaa !9
  %347 = getelementptr inbounds %"class.std::initializer_list.2", ptr %41, i32 0, i32 1
  store i64 3, ptr %347, align 8, !tbaa !12
  %348 = getelementptr inbounds { ptr, i64 }, ptr %41, i32 0, i32 0
  %349 = load ptr, ptr %348, align 8
  %350 = getelementptr inbounds { ptr, i64 }, ptr %41, i32 0, i32 1
  %351 = load i64, ptr %350, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr %349, i64 %351)
          to label %352 unwind label %375

352:                                              ; preds = %345
  %353 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %354 unwind label %379

354:                                              ; preds = %352
  %355 = xor i1 %353, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #6
  %356 = getelementptr inbounds [3 x %"class.sparta::s_patn"], ptr %42, i32 0, i32 0
  %357 = getelementptr inbounds %"class.sparta::s_patn", ptr %356, i64 3
  br label %358

358:                                              ; preds = %358, %354
  %359 = phi ptr [ %357, %354 ], [ %360, %358 ]
  %360 = getelementptr inbounds %"class.sparta::s_patn", ptr %359, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %360) #6
  %361 = icmp eq ptr %360, %356
  br i1 %361, label %362, label %358

362:                                              ; preds = %358
  call void @llvm.lifetime.end.p0(i64 24, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #6
  br i1 %355, label %363, label %392

363:                                              ; preds = %362
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %435

364:                                              ; preds = %343, %341, %340
  %365 = landingpad { ptr, i32 }
          cleanup
  %366 = extractvalue { ptr, i32 } %365, 0
  store ptr %366, ptr %7, align 8
  %367 = extractvalue { ptr, i32 } %365, 1
  store i32 %367, ptr %8, align 4
  %368 = load ptr, ptr %43, align 8
  %369 = icmp eq ptr %42, %368
  br i1 %369, label %374, label %370

370:                                              ; preds = %370, %364
  %371 = phi ptr [ %368, %364 ], [ %372, %370 ]
  %372 = getelementptr inbounds %"class.sparta::s_patn", ptr %371, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %372) #6
  %373 = icmp eq ptr %372, %42
  br i1 %373, label %374, label %370

374:                                              ; preds = %370, %364
  br label %391

375:                                              ; preds = %345
  %376 = landingpad { ptr, i32 }
          cleanup
  %377 = extractvalue { ptr, i32 } %376, 0
  store ptr %377, ptr %7, align 8
  %378 = extractvalue { ptr, i32 } %376, 1
  store i32 %378, ptr %8, align 4
  br label %383

379:                                              ; preds = %352
  %380 = landingpad { ptr, i32 }
          cleanup
  %381 = extractvalue { ptr, i32 } %380, 0
  store ptr %381, ptr %7, align 8
  %382 = extractvalue { ptr, i32 } %380, 1
  store i32 %382, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #6
  br label %383

383:                                              ; preds = %379, %375
  %384 = getelementptr inbounds [3 x %"class.sparta::s_patn"], ptr %42, i32 0, i32 0
  %385 = getelementptr inbounds %"class.sparta::s_patn", ptr %384, i64 3
  br label %386

386:                                              ; preds = %386, %383
  %387 = phi ptr [ %385, %383 ], [ %388, %386 ]
  %388 = getelementptr inbounds %"class.sparta::s_patn", ptr %387, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %388) #6
  %389 = icmp eq ptr %388, %384
  br i1 %389, label %390, label %386

390:                                              ; preds = %386
  br label %391

391:                                              ; preds = %390, %374
  call void @llvm.lifetime.end.p0(i64 24, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #6
  br label %436

392:                                              ; preds = %362
  call void @llvm.lifetime.start.p0(i64 16, ptr %44) #6
  %393 = load i32, ptr %15, align 4, !tbaa !13
  %394 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %37) #6
  %395 = getelementptr inbounds { i64, ptr }, ptr %45, i32 0, i32 0
  %396 = extractvalue { i64, ptr } %394, 0
  store i64 %396, ptr %395, align 8
  %397 = getelementptr inbounds { i64, ptr }, ptr %45, i32 0, i32 1
  %398 = extractvalue { i64, ptr } %394, 1
  store ptr %398, ptr %397, align 8
  %399 = getelementptr inbounds { i64, ptr }, ptr %45, i32 0, i32 0
  %400 = load i64, ptr %399, align 8
  %401 = getelementptr inbounds { i64, ptr }, ptr %45, i32 0, i32 1
  %402 = load ptr, ptr %401, align 8
  %403 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %400, ptr %402)
          to label %404 unwind label %431

404:                                              ; preds = %392
  %405 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  %406 = getelementptr inbounds { i64, ptr }, ptr %46, i32 0, i32 0
  %407 = extractvalue { i64, ptr } %405, 0
  store i64 %407, ptr %406, align 8
  %408 = getelementptr inbounds { i64, ptr }, ptr %46, i32 0, i32 1
  %409 = extractvalue { i64, ptr } %405, 1
  store ptr %409, ptr %408, align 8
  %410 = getelementptr inbounds { i64, ptr }, ptr %46, i32 0, i32 0
  %411 = load i64, ptr %410, align 8
  %412 = getelementptr inbounds { i64, ptr }, ptr %46, i32 0, i32 1
  %413 = load ptr, ptr %412, align 8
  %414 = invoke noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64 %411, ptr %413)
          to label %415 unwind label %431

415:                                              ; preds = %404
  %416 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %39) #6
  %417 = getelementptr inbounds { i64, ptr }, ptr %47, i32 0, i32 0
  %418 = extractvalue { i64, ptr } %416, 0
  store i64 %418, ptr %417, align 8
  %419 = getelementptr inbounds { i64, ptr }, ptr %47, i32 0, i32 1
  %420 = extractvalue { i64, ptr } %416, 1
  store ptr %420, ptr %419, align 8
  %421 = getelementptr inbounds { i64, ptr }, ptr %47, i32 0, i32 0
  %422 = load i64, ptr %421, align 8
  %423 = getelementptr inbounds { i64, ptr }, ptr %47, i32 0, i32 1
  %424 = load ptr, ptr %423, align 8
  %425 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %422, ptr %424)
          to label %426 unwind label %431

426:                                              ; preds = %415
  %427 = invoke noundef ptr @_ZN8DexField10make_fieldEPK7DexTypePK9DexStringS2_(ptr noundef %403, ptr noundef %414, ptr noundef %425)
          to label %428 unwind label %431

428:                                              ; preds = %426
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKindP11DexFieldRef(ptr noundef nonnull align 8 dereferenceable(16) %44, i32 noundef %393, ptr noundef %427)
          to label %429 unwind label %431

429:                                              ; preds = %428
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %44)
          to label %430 unwind label %431

430:                                              ; preds = %429
  call void @llvm.lifetime.end.p0(i64 16, ptr %44) #6
  store i32 1, ptr %13, align 4
  br label %435

431:                                              ; preds = %429, %428, %426, %415, %404, %392
  %432 = landingpad { ptr, i32 }
          cleanup
  %433 = extractvalue { ptr, i32 } %432, 0
  store ptr %433, ptr %7, align 8
  %434 = extractvalue { ptr, i32 } %432, 1
  store i32 %434, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %44) #6
  br label %436

435:                                              ; preds = %430, %363
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #6
  br label %594

436:                                              ; preds = %431, %391
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %38) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #6
  br label %595

437:                                              ; preds = %127, %127
  call void @llvm.lifetime.start.p0(i64 32, ptr %48) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #6
  store ptr %51, ptr %52, align 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %51, ptr noundef %48)
          to label %438 unwind label %457

438:                                              ; preds = %437
  %439 = getelementptr inbounds %"class.std::initializer_list.2", ptr %50, i32 0, i32 0
  store ptr %51, ptr %439, align 8, !tbaa !9
  %440 = getelementptr inbounds %"class.std::initializer_list.2", ptr %50, i32 0, i32 1
  store i64 1, ptr %440, align 8, !tbaa !12
  %441 = getelementptr inbounds { ptr, i64 }, ptr %50, i32 0, i32 0
  %442 = load ptr, ptr %441, align 8
  %443 = getelementptr inbounds { ptr, i64 }, ptr %50, i32 0, i32 1
  %444 = load i64, ptr %443, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %49, ptr %442, i64 %444)
          to label %445 unwind label %468

445:                                              ; preds = %438
  %446 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %49, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %447 unwind label %472

447:                                              ; preds = %445
  %448 = xor i1 %446, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %49) #6
  %449 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %51, i32 0, i32 0
  %450 = getelementptr inbounds %"class.sparta::s_patn", ptr %449, i64 1
  br label %451

451:                                              ; preds = %451, %447
  %452 = phi ptr [ %450, %447 ], [ %453, %451 ]
  %453 = getelementptr inbounds %"class.sparta::s_patn", ptr %452, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %453) #6
  %454 = icmp eq ptr %453, %449
  br i1 %454, label %455, label %451

455:                                              ; preds = %451
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #6
  br i1 %448, label %456, label %485

456:                                              ; preds = %455
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %508

457:                                              ; preds = %437
  %458 = landingpad { ptr, i32 }
          cleanup
  %459 = extractvalue { ptr, i32 } %458, 0
  store ptr %459, ptr %7, align 8
  %460 = extractvalue { ptr, i32 } %458, 1
  store i32 %460, ptr %8, align 4
  %461 = load ptr, ptr %52, align 8
  %462 = icmp eq ptr %51, %461
  br i1 %462, label %467, label %463

463:                                              ; preds = %463, %457
  %464 = phi ptr [ %461, %457 ], [ %465, %463 ]
  %465 = getelementptr inbounds %"class.sparta::s_patn", ptr %464, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %465) #6
  %466 = icmp eq ptr %465, %51
  br i1 %466, label %467, label %463

467:                                              ; preds = %463, %457
  br label %484

468:                                              ; preds = %438
  %469 = landingpad { ptr, i32 }
          cleanup
  %470 = extractvalue { ptr, i32 } %469, 0
  store ptr %470, ptr %7, align 8
  %471 = extractvalue { ptr, i32 } %469, 1
  store i32 %471, ptr %8, align 4
  br label %476

472:                                              ; preds = %445
  %473 = landingpad { ptr, i32 }
          cleanup
  %474 = extractvalue { ptr, i32 } %473, 0
  store ptr %474, ptr %7, align 8
  %475 = extractvalue { ptr, i32 } %473, 1
  store i32 %475, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %49) #6
  br label %476

476:                                              ; preds = %472, %468
  %477 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %51, i32 0, i32 0
  %478 = getelementptr inbounds %"class.sparta::s_patn", ptr %477, i64 1
  br label %479

479:                                              ; preds = %479, %476
  %480 = phi ptr [ %478, %476 ], [ %481, %479 ]
  %481 = getelementptr inbounds %"class.sparta::s_patn", ptr %480, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %481) #6
  %482 = icmp eq ptr %481, %477
  br i1 %482, label %483, label %479

483:                                              ; preds = %479
  br label %484

484:                                              ; preds = %483, %467
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #6
  br label %509

485:                                              ; preds = %455
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #6
  %486 = invoke i64 @_ZN8pts_impl22string_to_special_edgeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %48)
          to label %487 unwind label %491

487:                                              ; preds = %485
  %488 = getelementptr inbounds %"class.boost::optional.37", ptr %53, i32 0, i32 0
  store i64 %486, ptr %488, align 4
  %489 = call noundef zeroext i1 @_ZNK5boost8optionalI19SpecialPointsToEdgeEntEv(ptr noundef nonnull align 4 dereferenceable(8) %53) #6
  br i1 %489, label %490, label %495

490:                                              ; preds = %487
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %506

491:                                              ; preds = %485
  %492 = landingpad { ptr, i32 }
          cleanup
  %493 = extractvalue { ptr, i32 } %492, 0
  store ptr %493, ptr %7, align 8
  %494 = extractvalue { ptr, i32 } %492, 1
  store i32 %494, ptr %8, align 4
  br label %507

495:                                              ; preds = %487
  call void @llvm.lifetime.start.p0(i64 16, ptr %54) #6
  %496 = load i32, ptr %15, align 4, !tbaa !13
  %497 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNR5boost8optionalI19SpecialPointsToEdgeEdeEv(ptr noundef nonnull align 4 dereferenceable(8) %53)
          to label %498 unwind label %502

498:                                              ; preds = %495
  %499 = load i32, ptr %497, align 4, !tbaa !17
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKind19SpecialPointsToEdge(ptr noundef nonnull align 8 dereferenceable(16) %54, i32 noundef %496, i32 noundef %499)
          to label %500 unwind label %502

500:                                              ; preds = %498
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %54)
          to label %501 unwind label %502

501:                                              ; preds = %500
  call void @llvm.lifetime.end.p0(i64 16, ptr %54) #6
  store i32 1, ptr %13, align 4
  br label %506

502:                                              ; preds = %500, %498, %495
  %503 = landingpad { ptr, i32 }
          cleanup
  %504 = extractvalue { ptr, i32 } %503, 0
  store ptr %504, ptr %7, align 8
  %505 = extractvalue { ptr, i32 } %503, 1
  store i32 %505, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %54) #6
  br label %507

506:                                              ; preds = %501, %490
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  br label %508

507:                                              ; preds = %502, %491
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #6
  br label %509

508:                                              ; preds = %506, %456
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #6
  br label %594

509:                                              ; preds = %507, %484
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #6
  br label %595

510:                                              ; preds = %127, %127, %127, %127, %127
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #6
  invoke void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %55)
          to label %511 unwind label %531

511:                                              ; preds = %510
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %58) #6
  store ptr %58, ptr %59, align 8
  invoke void @_ZN6sparta6s_patnC2ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef nonnull align 8 dereferenceable(8) %55)
          to label %512 unwind label %535

512:                                              ; preds = %511
  %513 = getelementptr inbounds %"class.std::initializer_list.2", ptr %57, i32 0, i32 0
  store ptr %58, ptr %513, align 8, !tbaa !9
  %514 = getelementptr inbounds %"class.std::initializer_list.2", ptr %57, i32 0, i32 1
  store i64 1, ptr %514, align 8, !tbaa !12
  %515 = getelementptr inbounds { ptr, i64 }, ptr %57, i32 0, i32 0
  %516 = load ptr, ptr %515, align 8
  %517 = getelementptr inbounds { ptr, i64 }, ptr %57, i32 0, i32 1
  %518 = load i64, ptr %517, align 8
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr %516, i64 %518)
          to label %519 unwind label %546

519:                                              ; preds = %512
  %520 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull align 8 dereferenceable(8) %6)
          to label %521 unwind label %550

521:                                              ; preds = %519
  %522 = xor i1 %520, true
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %56) #6
  %523 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %58, i32 0, i32 0
  %524 = getelementptr inbounds %"class.sparta::s_patn", ptr %523, i64 1
  br label %525

525:                                              ; preds = %525, %521
  %526 = phi ptr [ %524, %521 ], [ %527, %525 ]
  %527 = getelementptr inbounds %"class.sparta::s_patn", ptr %526, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %527) #6
  %528 = icmp eq ptr %527, %523
  br i1 %528, label %529, label %525

529:                                              ; preds = %525
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #6
  br i1 %522, label %530, label %563

530:                                              ; preds = %529
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %590

531:                                              ; preds = %510
  %532 = landingpad { ptr, i32 }
          cleanup
  %533 = extractvalue { ptr, i32 } %532, 0
  store ptr %533, ptr %7, align 8
  %534 = extractvalue { ptr, i32 } %532, 1
  store i32 %534, ptr %8, align 4
  br label %592

535:                                              ; preds = %511
  %536 = landingpad { ptr, i32 }
          cleanup
  %537 = extractvalue { ptr, i32 } %536, 0
  store ptr %537, ptr %7, align 8
  %538 = extractvalue { ptr, i32 } %536, 1
  store i32 %538, ptr %8, align 4
  %539 = load ptr, ptr %59, align 8
  %540 = icmp eq ptr %58, %539
  br i1 %540, label %545, label %541

541:                                              ; preds = %541, %535
  %542 = phi ptr [ %539, %535 ], [ %543, %541 ]
  %543 = getelementptr inbounds %"class.sparta::s_patn", ptr %542, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %543) #6
  %544 = icmp eq ptr %543, %58
  br i1 %544, label %545, label %541

545:                                              ; preds = %541, %535
  br label %562

546:                                              ; preds = %512
  %547 = landingpad { ptr, i32 }
          cleanup
  %548 = extractvalue { ptr, i32 } %547, 0
  store ptr %548, ptr %7, align 8
  %549 = extractvalue { ptr, i32 } %547, 1
  store i32 %549, ptr %8, align 4
  br label %554

550:                                              ; preds = %519
  %551 = landingpad { ptr, i32 }
          cleanup
  %552 = extractvalue { ptr, i32 } %551, 0
  store ptr %552, ptr %7, align 8
  %553 = extractvalue { ptr, i32 } %551, 1
  store i32 %553, ptr %8, align 4
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %56) #6
  br label %554

554:                                              ; preds = %550, %546
  %555 = getelementptr inbounds [1 x %"class.sparta::s_patn"], ptr %58, i32 0, i32 0
  %556 = getelementptr inbounds %"class.sparta::s_patn", ptr %555, i64 1
  br label %557

557:                                              ; preds = %557, %554
  %558 = phi ptr [ %556, %554 ], [ %559, %557 ]
  %559 = getelementptr inbounds %"class.sparta::s_patn", ptr %558, i64 -1
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %559) #6
  %560 = icmp eq ptr %559, %555
  br i1 %560, label %561, label %557

561:                                              ; preds = %557
  br label %562

562:                                              ; preds = %561, %545
  call void @llvm.lifetime.end.p0(i64 8, ptr %58) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #6
  br label %591

563:                                              ; preds = %529
  call void @llvm.lifetime.start.p0(i64 16, ptr %60) #6
  %564 = invoke { i8, ptr } @_ZN8pts_impl20s_expr_to_dex_methodERKN6sparta6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %55)
          to label %565 unwind label %573

565:                                              ; preds = %563
  %566 = getelementptr inbounds %"class.boost::optional.47", ptr %60, i32 0, i32 0
  %567 = getelementptr inbounds { i8, ptr }, ptr %566, i32 0, i32 0
  %568 = extractvalue { i8, ptr } %564, 0
  store i8 %568, ptr %567, align 8
  %569 = getelementptr inbounds { i8, ptr }, ptr %566, i32 0, i32 1
  %570 = extractvalue { i8, ptr } %564, 1
  store ptr %570, ptr %569, align 8
  %571 = call noundef zeroext i1 @_ZNK5boost8optionalIP12DexMethodRefEntEv(ptr noundef nonnull align 8 dereferenceable(16) %60) #6
  br i1 %571, label %572, label %577

572:                                              ; preds = %565
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  store i32 1, ptr %13, align 4
  br label %588

573:                                              ; preds = %563
  %574 = landingpad { ptr, i32 }
          cleanup
  %575 = extractvalue { ptr, i32 } %574, 0
  store ptr %575, ptr %7, align 8
  %576 = extractvalue { ptr, i32 } %574, 1
  store i32 %576, ptr %8, align 4
  br label %589

577:                                              ; preds = %565
  call void @llvm.lifetime.start.p0(i64 16, ptr %61) #6
  %578 = load i32, ptr %15, align 4, !tbaa !13
  %579 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIP12DexMethodRefEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %60)
          to label %580 unwind label %584

580:                                              ; preds = %577
  %581 = load ptr, ptr %579, align 8, !tbaa !5
  invoke void @_ZN17PointsToOperationC2E21PointsToOperationKindP12DexMethodRef(ptr noundef nonnull align 8 dereferenceable(16) %61, i32 noundef %578, ptr noundef %581)
          to label %582 unwind label %584

582:                                              ; preds = %580
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %61)
          to label %583 unwind label %584

583:                                              ; preds = %582
  call void @llvm.lifetime.end.p0(i64 16, ptr %61) #6
  store i32 1, ptr %13, align 4
  br label %588

584:                                              ; preds = %582, %580, %577
  %585 = landingpad { ptr, i32 }
          cleanup
  %586 = extractvalue { ptr, i32 } %585, 0
  store ptr %586, ptr %7, align 8
  %587 = extractvalue { ptr, i32 } %585, 1
  store i32 %587, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %61) #6
  br label %589

588:                                              ; preds = %583, %572
  call void @llvm.lifetime.end.p0(i64 16, ptr %60) #6
  br label %590

589:                                              ; preds = %584, %573
  call void @llvm.lifetime.end.p0(i64 16, ptr %60) #6
  br label %591

590:                                              ; preds = %588, %530
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %55) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #6
  br label %594

591:                                              ; preds = %589, %562
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %55) #6
  br label %592

592:                                              ; preds = %591, %531
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #6
  br label %595

593:                                              ; preds = %127
  unreachable

594:                                              ; preds = %590, %508, %435, %338, %275, %270, %201
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  br label %596

595:                                              ; preds = %592, %509, %436, %339, %276, %271, %202, %130
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  br label %597

596:                                              ; preds = %594, %120
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  br label %598

597:                                              ; preds = %595, %121
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  br label %599

598:                                              ; preds = %596, %82
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #6
  ret void

599:                                              ; preds = %597, %114
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  br label %600

600:                                              ; preds = %599, %83
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #6
  br label %601

601:                                              ; preds = %600
  %602 = load ptr, ptr %7, align 8
  %603 = load i32, ptr %8, align 4
  %604 = insertvalue { ptr, i32 } poison, ptr %602, 0
  %605 = insertvalue { ptr, i32 } %604, i32 %603, 1
  resume { ptr, i32 } %605
}

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

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

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

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

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

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

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

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

declare noundef ptr @_ZN8DexField10make_fieldEPK7DexTypePK9DexStringS2_(ptr noundef, ptr noundef, ptr noundef) #5

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

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

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

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

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 = { 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 #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 = { 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 #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }

!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 = !{!"_ZTSSt16initializer_listIN6sparta6s_patnEE", !6, i64 0, !11, i64 8}
!11 = !{!"long", !7, i64 0}
!12 = !{!10, !11, i64 8}
!13 = !{!14, !14, i64 0}
!14 = !{!"_ZTS21PointsToOperationKind", !7, i64 0}
!15 = !{!16, !16, i64 0}
!16 = !{!"int", !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"_ZTS19SpecialPointsToEdge", !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.boost::optional.50" = type { %"class.boost::optional_detail::optional_base.51" }
%"class.boost::optional_detail::optional_base.51" = type { i8, [7 x i8], %"class.boost::optional_detail::aligned_storage.52" }
%"class.boost::optional_detail::aligned_storage.52" = type { %"union.boost::optional_detail::aligned_storage<PointsToOperation>::dummy_u" }
%"union.boost::optional_detail::aligned_storage<PointsToOperation>::dummy_u" = type { [16 x i8] }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.sparta::s_expr" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"class.sparta::s_patn" = type { %"class.boost::intrusive_ptr.1" }
%"class.boost::intrusive_ptr.1" = type { ptr }
%"class.boost::optional.34" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, i32 }
%struct.PointsToOperation = type { i32, %union.anon.49 }
%union.anon.49 = type { ptr }
%"class.boost::optional.37" = type { %"class.boost::optional_detail::tc_optional_base.38" }
%"class.boost::optional_detail::tc_optional_base.38" = type { i8, i32 }
%"class.boost::optional.47" = type { %"class.boost::optional_detail::tc_optional_base.48" }
%"class.boost::optional_detail::tc_optional_base.48" = type { i8, ptr }

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 nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 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: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2EPi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr, i64) unnamed_addr #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZN8pts_impl17string_to_op_kindERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare dso_local i64 @_ZN8pts_impl22string_to_special_edgeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare dso_local { i8, ptr } @_ZN8pts_impl20s_expr_to_dex_methodERKN6sparta6s_exprE(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8), ptr, i64, ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1 align 2

declare noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) local_unnamed_addr #5

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN17PointsToOperation11from_s_exprERKN6sparta6s_exprE(ptr dead_on_unwind noalias writable sret(%"class.boost::optional.50") align 8 %0, ptr noundef nonnull align 8 dereferenceable(8) %1) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.sparta::s_expr", align 8
  %5 = alloca %"class.sparta::s_patn", align 8
  %6 = alloca [1 x %"class.sparta::s_patn"], align 8
  %7 = alloca %"class.boost::optional.34", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = alloca %"class.sparta::s_patn", align 8
  %10 = alloca [1 x %"class.sparta::s_patn"], align 8
  %11 = alloca %struct.PointsToOperation, align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.sparta::s_patn", align 8
  %14 = alloca [1 x %"class.sparta::s_patn"], align 8
  %15 = alloca %struct.PointsToOperation, align 8
  %16 = alloca %struct.PointsToOperation, align 8
  %17 = alloca i32, align 4
  %18 = alloca %"class.sparta::s_patn", align 8
  %19 = alloca [1 x %"class.sparta::s_patn"], align 8
  %20 = alloca %struct.PointsToOperation, align 8
  %21 = alloca %"class.std::__cxx11::basic_string", align 8
  %22 = alloca %"class.std::__cxx11::basic_string", align 8
  %23 = alloca %"class.std::__cxx11::basic_string", align 8
  %24 = alloca %"class.sparta::s_patn", align 8
  %25 = alloca [3 x %"class.sparta::s_patn"], align 8
  %26 = alloca %struct.PointsToOperation, align 8
  %27 = alloca %"class.std::__cxx11::basic_string", align 8
  %28 = alloca %"class.sparta::s_patn", align 8
  %29 = alloca [1 x %"class.sparta::s_patn"], align 8
  %30 = alloca %"class.boost::optional.37", align 8
  %31 = alloca %struct.PointsToOperation, align 8
  %32 = alloca %"class.sparta::s_expr", align 8
  %33 = alloca %"class.sparta::s_patn", align 8
  %34 = alloca [1 x %"class.sparta::s_patn"], align 8
  %35 = alloca %"class.boost::optional.47", align 8
  %36 = alloca %struct.PointsToOperation, align 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #6
  invoke void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %37 unwind label %43

37:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #6
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull %3)
          to label %38 unwind label %45

38:                                               ; preds = %37
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr nonnull %6, i64 1, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %39 unwind label %47

39:                                               ; preds = %38
  %40 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %41 unwind label %49

41:                                               ; preds = %39
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  br i1 %40, label %51, label %42

42:                                               ; preds = %41
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %252

43:                                               ; preds = %2
  %44 = landingpad { ptr, i32 }
          cleanup
  br label %254

45:                                               ; preds = %37
  %46 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit122

47:                                               ; preds = %38
  %48 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit122.loopexit

49:                                               ; preds = %39
  %50 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #6
  br label %.loopexit122.loopexit

.loopexit122.loopexit:                            ; preds = %49, %47
  %.pn = phi { ptr, i32 } [ %50, %49 ], [ %48, %47 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %6) #6
  br label %.loopexit122

.loopexit122:                                     ; preds = %.loopexit122.loopexit, %45
  %.pn.pn = phi { ptr, i32 } [ %46, %45 ], [ %.pn, %.loopexit122.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  br label %253

51:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #6
  %52 = invoke i64 @_ZN8pts_impl17string_to_op_kindERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %3)
          to label %53 unwind label %56

53:                                               ; preds = %51
  store i64 %52, ptr %7, align 8
  %54 = call noundef zeroext i1 @_ZNK5boost8optionalI21PointsToOperationKindEntEv(ptr noundef nonnull align 4 dereferenceable(8) %7) #6
  br i1 %54, label %55, label %58

55:                                               ; preds = %53
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %250

56:                                               ; preds = %51
  %57 = landingpad { ptr, i32 }
          cleanup
  br label %251

58:                                               ; preds = %53
  %59 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNR5boost8optionalI21PointsToOperationKindEdeEv(ptr noundef nonnull align 4 dereferenceable(8) %7)
          to label %60 unwind label %62

60:                                               ; preds = %58
  %61 = load i32, ptr %59, align 4, !tbaa !5
  switch i32 %61, label %249 [
    i32 0, label %64
    i32 1, label %87
    i32 3, label %87
    i32 6, label %87
    i32 2, label %110
    i32 5, label %110
    i32 18, label %110
    i32 19, label %110
    i32 4, label %114
    i32 7, label %134
    i32 9, label %134
    i32 10, label %134
    i32 12, label %134
    i32 8, label %182
    i32 11, label %182
    i32 13, label %212
    i32 14, label %212
    i32 15, label %212
    i32 16, label %212
    i32 17, label %212
  ]

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

64:                                               ; preds = %60
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #6
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull %8)
          to label %65 unwind label %70

65:                                               ; preds = %64
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr nonnull %10, i64 1)
          to label %66 unwind label %72

66:                                               ; preds = %65
  %67 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %68 unwind label %74

68:                                               ; preds = %66
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br i1 %67, label %76, label %69

69:                                               ; preds = %68
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %85

70:                                               ; preds = %64
  %71 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit

72:                                               ; preds = %65
  %73 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit.loopexit

74:                                               ; preds = %66
  %75 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #6
  br label %.loopexit.loopexit

.loopexit.loopexit:                               ; preds = %74, %72
  %.pn106 = phi { ptr, i32 } [ %75, %74 ], [ %73, %72 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #6
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %70
  %.pn106.pn = phi { ptr, i32 } [ %71, %70 ], [ %.pn106, %.loopexit.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #6
  br label %86

76:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #6
  %77 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %8) #6
  %78 = extractvalue { i64, ptr } %77, 0
  %79 = extractvalue { i64, ptr } %77, 1
  %80 = invoke noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64 %78, ptr %79)
          to label %81 unwind label %83

81:                                               ; preds = %76
  call void @_ZN17PointsToOperationC2E21PointsToOperationKindPK9DexString(ptr noundef nonnull align 8 dereferenceable(16) %11, i32 noundef 0, ptr noundef %80)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %82 unwind label %83

82:                                               ; preds = %81
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #6
  br label %85

83:                                               ; preds = %81, %76
  %84 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #6
  br label %86

85:                                               ; preds = %82, %69
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #6
  br label %250

86:                                               ; preds = %83, %.loopexit
  %.pn109 = phi { ptr, i32 } [ %84, %83 ], [ %.pn106.pn, %.loopexit ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #6
  br label %251

87:                                               ; preds = %60, %60, %60
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #6
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull %12)
          to label %88 unwind label %93

88:                                               ; preds = %87
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr nonnull %14, i64 1)
          to label %89 unwind label %95

89:                                               ; preds = %88
  %90 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %91 unwind label %97

91:                                               ; preds = %89
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #6
  br i1 %90, label %99, label %92

92:                                               ; preds = %91
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %108

93:                                               ; preds = %87
  %94 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit116

95:                                               ; preds = %88
  %96 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit116.loopexit

97:                                               ; preds = %89
  %98 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #6
  br label %.loopexit116.loopexit

.loopexit116.loopexit:                            ; preds = %97, %95
  %.pn101 = phi { ptr, i32 } [ %98, %97 ], [ %96, %95 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #6
  br label %.loopexit116

.loopexit116:                                     ; preds = %.loopexit116.loopexit, %93
  %.pn101.pn = phi { ptr, i32 } [ %94, %93 ], [ %.pn101, %.loopexit116.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #6
  br label %109

99:                                               ; preds = %91
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #6
  %100 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  %101 = extractvalue { i64, ptr } %100, 0
  %102 = extractvalue { i64, ptr } %100, 1
  %103 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %101, ptr %102)
          to label %104 unwind label %106

104:                                              ; preds = %99
  call void @_ZN17PointsToOperationC2E21PointsToOperationKindP7DexType(ptr noundef nonnull align 8 dereferenceable(16) %15, i32 noundef %61, ptr noundef %103)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %105 unwind label %106

105:                                              ; preds = %104
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  br label %108

106:                                              ; preds = %104, %99
  %107 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  br label %109

108:                                              ; preds = %105, %92
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #6
  br label %250

109:                                              ; preds = %106, %.loopexit116
  %.pn104 = phi { ptr, i32 } [ %107, %106 ], [ %.pn101.pn, %.loopexit116 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #6
  br label %251

110:                                              ; preds = %60, %60, %60, %60
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %16) #6
  call void @_ZN17PointsToOperationC2E21PointsToOperationKind(ptr noundef nonnull align 8 dereferenceable(16) %16, i32 noundef %61)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %111 unwind label %112

111:                                              ; preds = %110
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #6
  br label %250

112:                                              ; preds = %110
  %113 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #6
  br label %251

114:                                              ; preds = %60
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %17) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #6
  invoke void @_ZN6sparta6s_patnC2EPi(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull %17)
          to label %115 unwind label %120

115:                                              ; preds = %114
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr nonnull %19, i64 1)
          to label %116 unwind label %122

116:                                              ; preds = %115
  %117 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %118 unwind label %124

118:                                              ; preds = %116
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  br i1 %117, label %126, label %119

119:                                              ; preds = %118
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %132

120:                                              ; preds = %114
  %121 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit117

122:                                              ; preds = %115
  %123 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit117.loopexit

124:                                              ; preds = %116
  %125 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #6
  br label %.loopexit117.loopexit

.loopexit117.loopexit:                            ; preds = %124, %122
  %.pn96 = phi { ptr, i32 } [ %125, %124 ], [ %123, %122 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  br label %.loopexit117

.loopexit117:                                     ; preds = %.loopexit117.loopexit, %120
  %.pn96.pn = phi { ptr, i32 } [ %121, %120 ], [ %.pn96, %.loopexit117.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #6
  br label %133

126:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #6
  %127 = load i32, ptr %17, align 4, !tbaa !9
  %128 = sext i32 %127 to i64
  call void @_ZN17PointsToOperationC2E21PointsToOperationKindm(ptr noundef nonnull align 8 dereferenceable(16) %20, i32 noundef 4, i64 noundef %128)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %129 unwind label %130

129:                                              ; preds = %126
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #6
  br label %132

130:                                              ; preds = %126
  %131 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #6
  br label %133

132:                                              ; preds = %129, %119
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #6
  br label %250

133:                                              ; preds = %130, %.loopexit117
  %.pn99 = phi { ptr, i32 } [ %131, %130 ], [ %.pn96.pn, %.loopexit117 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %17) #6
  br label %251

134:                                              ; preds = %60, %60, %60, %60
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %21) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %25) #6
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull %21)
          to label %136 unwind label %.thread

.thread:                                          ; preds = %134
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit118

136:                                              ; preds = %134
  %137 = getelementptr inbounds i8, ptr %25, i64 8
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %137, ptr noundef nonnull %22)
          to label %138 unwind label %147

138:                                              ; preds = %136
  %139 = getelementptr inbounds i8, ptr %25, i64 16
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %139, ptr noundef nonnull %23)
          to label %140 unwind label %147

140:                                              ; preds = %138
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr nonnull %25, i64 3)
          to label %141 unwind label %153

141:                                              ; preds = %140
  %142 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %143 unwind label %155

143:                                              ; preds = %141
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  %144 = getelementptr inbounds i8, ptr %25, i64 16
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %144) #6
  %145 = getelementptr inbounds i8, ptr %25, i64 8
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %145) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  br i1 %142, label %159, label %146

146:                                              ; preds = %143
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %180

147:                                              ; preds = %138, %136
  %.066 = phi ptr [ %139, %138 ], [ %137, %136 ]
  %148 = landingpad { ptr, i32 }
          cleanup
  br label %149

149:                                              ; preds = %147, %149
  %150 = phi ptr [ %.066, %147 ], [ %151, %149 ]
  %151 = getelementptr inbounds i8, ptr %150, i64 -8
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %151) #6
  %152 = icmp eq ptr %151, %25
  br i1 %152, label %.loopexit118, label %149

153:                                              ; preds = %140
  %154 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit118.loopexit

155:                                              ; preds = %141
  %156 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %24) #6
  br label %.loopexit118.loopexit

.loopexit118.loopexit:                            ; preds = %155, %153
  %.pn91 = phi { ptr, i32 } [ %156, %155 ], [ %154, %153 ]
  %157 = getelementptr inbounds i8, ptr %25, i64 16
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %157) #6
  %158 = getelementptr inbounds i8, ptr %25, i64 8
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %158) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  br label %.loopexit118

.loopexit118:                                     ; preds = %149, %.loopexit118.loopexit, %.thread
  %.pn91.pn = phi { ptr, i32 } [ %135, %.thread ], [ %.pn91, %.loopexit118.loopexit ], [ %148, %149 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  br label %181

159:                                              ; preds = %143
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %26) #6
  %160 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %21) #6
  %161 = extractvalue { i64, ptr } %160, 0
  %162 = extractvalue { i64, ptr } %160, 1
  %163 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %161, ptr %162)
          to label %164 unwind label %178

164:                                              ; preds = %159
  %165 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  %166 = extractvalue { i64, ptr } %165, 0
  %167 = extractvalue { i64, ptr } %165, 1
  %168 = invoke noundef ptr @_ZN9DexString11make_stringESt17basic_string_viewIcSt11char_traitsIcEE(i64 %166, ptr %167)
          to label %169 unwind label %178

169:                                              ; preds = %164
  %170 = call { i64, ptr } @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEcvSt17basic_string_viewIcS2_EEv(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  %171 = extractvalue { i64, ptr } %170, 0
  %172 = extractvalue { i64, ptr } %170, 1
  %173 = invoke noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %171, ptr %172)
          to label %174 unwind label %178

174:                                              ; preds = %169
  %175 = invoke noundef ptr @_ZN8DexField10make_fieldEPK7DexTypePK9DexStringS2_(ptr noundef %163, ptr noundef %168, ptr noundef %173)
          to label %176 unwind label %178

176:                                              ; preds = %174
  call void @_ZN17PointsToOperationC2E21PointsToOperationKindP11DexFieldRef(ptr noundef nonnull align 8 dereferenceable(16) %26, i32 noundef %61, ptr noundef %175)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %26)
          to label %177 unwind label %178

177:                                              ; preds = %176
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %26) #6
  br label %180

178:                                              ; preds = %176, %174, %169, %164, %159
  %179 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %26) #6
  br label %181

180:                                              ; preds = %177, %146
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #6
  br label %250

181:                                              ; preds = %178, %.loopexit118
  %.pn94 = phi { ptr, i32 } [ %179, %178 ], [ %.pn91.pn, %.loopexit118 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %21) #6
  br label %251

182:                                              ; preds = %60, %60
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %27) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #6
  invoke void @_ZN6sparta6s_patnC2EPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull %27)
          to label %183 unwind label %188

183:                                              ; preds = %182
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr nonnull %29, i64 1)
          to label %184 unwind label %190

184:                                              ; preds = %183
  %185 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %186 unwind label %192

186:                                              ; preds = %184
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #6
  br i1 %185, label %194, label %187

187:                                              ; preds = %186
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %210

188:                                              ; preds = %182
  %189 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit120

190:                                              ; preds = %183
  %191 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit120.loopexit

192:                                              ; preds = %184
  %193 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #6
  br label %.loopexit120.loopexit

.loopexit120.loopexit:                            ; preds = %192, %190
  %.pn85 = phi { ptr, i32 } [ %193, %192 ], [ %191, %190 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %29) #6
  br label %.loopexit120

.loopexit120:                                     ; preds = %.loopexit120.loopexit, %188
  %.pn85.pn = phi { ptr, i32 } [ %189, %188 ], [ %.pn85, %.loopexit120.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #6
  br label %211

194:                                              ; preds = %186
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #6
  %195 = invoke i64 @_ZN8pts_impl22string_to_special_edgeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %27)
          to label %196 unwind label %199

196:                                              ; preds = %194
  store i64 %195, ptr %30, align 8
  %197 = call noundef zeroext i1 @_ZNK5boost8optionalI19SpecialPointsToEdgeEntEv(ptr noundef nonnull align 4 dereferenceable(8) %30) #6
  br i1 %197, label %198, label %201

198:                                              ; preds = %196
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %208

199:                                              ; preds = %194
  %200 = landingpad { ptr, i32 }
          cleanup
  br label %209

201:                                              ; preds = %196
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %31) #6
  %202 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZNR5boost8optionalI19SpecialPointsToEdgeEdeEv(ptr noundef nonnull align 4 dereferenceable(8) %30)
          to label %203 unwind label %206

203:                                              ; preds = %201
  %204 = load i32, ptr %202, align 4, !tbaa !11
  call void @_ZN17PointsToOperationC2E21PointsToOperationKind19SpecialPointsToEdge(ptr noundef nonnull align 8 dereferenceable(16) %31, i32 noundef %61, i32 noundef %204)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %205 unwind label %206

205:                                              ; preds = %203
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %31) #6
  br label %208

206:                                              ; preds = %203, %201
  %207 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %31) #6
  br label %209

208:                                              ; preds = %205, %198
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #6
  br label %210

209:                                              ; preds = %206, %199
  %.pn88 = phi { ptr, i32 } [ %207, %206 ], [ %200, %199 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #6
  br label %211

210:                                              ; preds = %208, %187
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %27) #6
  br label %250

211:                                              ; preds = %209, %.loopexit120
  %.pn88.pn = phi { ptr, i32 } [ %.pn88, %209 ], [ %.pn85.pn, %.loopexit120 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %27) #6
  br label %251

212:                                              ; preds = %60, %60, %60, %60, %60
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #6
  invoke void @_ZN6sparta6s_exprC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32)
          to label %213 unwind label %219

213:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %34) #6
  invoke void @_ZN6sparta6s_patnC2ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %32)
          to label %214 unwind label %221

214:                                              ; preds = %213
  invoke void @_ZN6sparta6s_patnC2ESt16initializer_listIS0_E(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr nonnull %34, i64 1)
          to label %215 unwind label %223

215:                                              ; preds = %214
  %216 = invoke noundef zeroext i1 @_ZN6sparta6s_patn10match_withERKNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %217 unwind label %225

217:                                              ; preds = %215
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #6
  br i1 %216, label %227, label %218

218:                                              ; preds = %217
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %246

219:                                              ; preds = %212
  %220 = landingpad { ptr, i32 }
          cleanup
  br label %248

221:                                              ; preds = %213
  %222 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit121

223:                                              ; preds = %214
  %224 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit121.loopexit

225:                                              ; preds = %215
  %226 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  br label %.loopexit121.loopexit

.loopexit121.loopexit:                            ; preds = %225, %223
  %.pn78 = phi { ptr, i32 } [ %226, %225 ], [ %224, %223 ]
  call void @_ZN6sparta6s_patnD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %34) #6
  br label %.loopexit121

.loopexit121:                                     ; preds = %.loopexit121.loopexit, %221
  %.pn78.pn = phi { ptr, i32 } [ %222, %221 ], [ %.pn78, %.loopexit121.loopexit ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #6
  br label %247

227:                                              ; preds = %217
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %35) #6
  %228 = invoke { i8, ptr } @_ZN8pts_impl20s_expr_to_dex_methodERKN6sparta6s_exprE(ptr noundef nonnull align 8 dereferenceable(8) %32)
          to label %229 unwind label %235

229:                                              ; preds = %227
  %230 = extractvalue { i8, ptr } %228, 0
  store i8 %230, ptr %35, align 8
  %231 = getelementptr inbounds i8, ptr %35, i64 8
  %232 = extractvalue { i8, ptr } %228, 1
  store ptr %232, ptr %231, align 8
  %233 = call noundef zeroext i1 @_ZNK5boost8optionalIP12DexMethodRefEntEv(ptr noundef nonnull align 8 dereferenceable(16) %35) #6
  br i1 %233, label %234, label %237

234:                                              ; preds = %229
  call void @_ZN5boost8optionalI17PointsToOperationEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  br label %244

235:                                              ; preds = %227
  %236 = landingpad { ptr, i32 }
          cleanup
  br label %245

237:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %36) #6
  %238 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIP12DexMethodRefEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %35)
          to label %239 unwind label %242

239:                                              ; preds = %237
  %240 = load ptr, ptr %238, align 8, !tbaa !13
  call void @_ZN17PointsToOperationC2E21PointsToOperationKindP12DexMethodRef(ptr noundef nonnull align 8 dereferenceable(16) %36, i32 noundef %61, ptr noundef %240)
  invoke void @_ZN5boost8optionalI17PointsToOperationEC2EOS1_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(16) %36)
          to label %241 unwind label %242

241:                                              ; preds = %239
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %36) #6
  br label %244

242:                                              ; preds = %239, %237
  %243 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %36) #6
  br label %245

244:                                              ; preds = %241, %234
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %35) #6
  br label %246

245:                                              ; preds = %242, %235
  %.pn81 = phi { ptr, i32 } [ %243, %242 ], [ %236, %235 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %35) #6
  br label %247

246:                                              ; preds = %244, %218
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #6
  br label %250

247:                                              ; preds = %245, %.loopexit121
  %.pn81.pn = phi { ptr, i32 } [ %.pn81, %245 ], [ %.pn78.pn, %.loopexit121 ]
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  br label %248

248:                                              ; preds = %247, %219
  %.pn81.pn.pn = phi { ptr, i32 } [ %.pn81.pn, %247 ], [ %220, %219 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #6
  br label %251

249:                                              ; preds = %60
  unreachable

250:                                              ; preds = %85, %108, %111, %132, %180, %210, %246, %55
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #6
  br label %252

251:                                              ; preds = %62, %86, %109, %112, %133, %181, %211, %248, %56
  %.pn81.pn.pn.pn.pn = phi { ptr, i32 } [ %57, %56 ], [ %.pn81.pn.pn, %248 ], [ %.pn88.pn, %211 ], [ %.pn94, %181 ], [ %.pn99, %133 ], [ %113, %112 ], [ %.pn104, %109 ], [ %.pn109, %86 ], [ %63, %62 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #6
  br label %253

252:                                              ; preds = %250, %42
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #6
  ret void

253:                                              ; preds = %251, %.loopexit122
  %.pn81.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn81.pn.pn.pn.pn, %251 ], [ %.pn.pn, %.loopexit122 ]
  call void @_ZN6sparta6s_exprD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #6
  br label %254

254:                                              ; preds = %253, %43
  %.pn81.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn81.pn.pn.pn.pn.pn, %253 ], [ %44, %43 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #6
  resume { ptr, i32 } %.pn81.pn.pn.pn.pn.pn.pn
}

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

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

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

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

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

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

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

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

declare noundef ptr @_ZN8DexField10make_fieldEPK7DexTypePK9DexStringS2_(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #5

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta6s_patnC2ERNS_6s_exprE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #3 align 2

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

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

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

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 = { 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 #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 = { 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 #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }

!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 = !{!"_ZTS21PointsToOperationKind", !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 = !{!"_ZTS19SpecialPointsToEdge", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"any pointer", !7, i64 0}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass