; LLVM IR from facebook/redex :: libredex/Debug.ll (Z11assert_failPKcS0_jS0_10RedexErrorS0_z)

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

%"struct.std::array" = type { [15 x i8] }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"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] }
%struct.__va_list_tag = type { i32, i32, ptr, ptr }
%class.anon = type { i8 }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"struct.boost::exception_detail::error_info_injector" = type <{ %class.RedexException, %"class.boost::exception.base", [4 x i8] }>
%class.RedexException = type { %"class.std::exception", i32, %"class.std::__cxx11::basic_string", %"class.std::map", %"class.std::__cxx11::basic_string" }
%"class.std::exception" = type { ptr }
%"class.boost::exception.base" = type <{ ptr, %"class.boost::exception_detail::refcount_ptr", ptr, ptr, i32 }>
%"class.boost::exception_detail::refcount_ptr" = type { ptr }
%"class.boost::error_info" = type { %"class.boost::exception_detail::error_info_base", %"struct.(anonymous namespace)::StackTrace" }
%"class.boost::exception_detail::error_info_base" = type { ptr }
%"struct.(anonymous namespace)::StackTrace" = type { %"struct.std::array.7", i64 }
%"struct.std::array.7" = type { [256 x ptr] }

@_ZN11redex_debug12_GLOBAL__N_114abort_for_typeE = external hidden global %"struct.std::array", align 1
@_ZN11redex_debug12_GLOBAL__N_122no_stacktrace_for_typeE = external hidden global %"struct.std::array", align 1
@_ZN12_GLOBAL__N_121g_block_multi_assertsE = external hidden global i8, align 1
@_ZN12_GLOBAL__N_118g_abort_if_not_tidE = external hidden global i32, align 4
@_ZN5redex13g_throw_typedE = external dso_local global i8, align 1
@.str = external hidden unnamed_addr constant [37 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZSt4cerr = external global %"class.std::basic_ostream", align 8
@.str.2 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [24 x i8], align 1
@_ZTIN5redex25DuplicateMethodsExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex22BadAnnotationExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex26BufferEndExceededExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex19InvalidDexExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex20InvalidJavaExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5boost16exception_detail19error_info_injectorI14RedexExceptionEE = external dso_local constant { ptr, ptr, i32, i32, ptr, i64, ptr, i64 }, align 8
@_ZN12_GLOBAL__N_110g_abortingE = external hidden global { i32 }, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15), i64 noundef) #0 align 2

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

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

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

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

declare i32 @sleep(i32 noundef) #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z15v_format2stringB5cxx11PKcP13__va_list_tag(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef) #4

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.va_end.p0(ptr) #5

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z13format2stringB5cxx11PKcz(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ...) #4

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.va_start.p0(ptr) #5

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN12_GLOBAL__N_17get_tidEv() #0

; Function Attrs: mustprogress noreturn uwtable
define dso_local void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5, ...) #6 personality ptr @__gxx_personality_v0 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca [1 x %struct.__va_list_tag], align 16
  %14 = alloca %class.anon, align 1
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca i8, align 1
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca [256 x ptr], align 16
  %25 = alloca i32, align 4
  %26 = alloca %"class.std::map", align 8
  %27 = alloca i1, align 1
  %28 = alloca %"class.std::map", align 8
  %29 = alloca i1, align 1
  %30 = alloca %"class.std::map", align 8
  %31 = alloca i1, align 1
  %32 = alloca %"class.std::map", align 8
  %33 = alloca i1, align 1
  %34 = alloca %"class.std::map", align 8
  %35 = alloca i1, align 1
  %36 = alloca %"struct.boost::exception_detail::error_info_injector", align 8
  %37 = alloca %class.RedexException, align 8
  %38 = alloca %"class.std::map", align 8
  %39 = alloca %"class.boost::error_info", align 8
  %40 = alloca %"struct.(anonymous namespace)::StackTrace", align 8
  %41 = alloca i1, align 1
  store ptr %0, ptr %7, align 8, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !5
  store i32 %2, ptr %9, align 4, !tbaa !9
  store ptr %3, ptr %10, align 8, !tbaa !5
  store i32 %4, ptr %11, align 4, !tbaa !11
  store ptr %5, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr %13) #14
  %42 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %13, i64 0, i64 0
  call void @llvm.va_start.p0(ptr %42)
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #14
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #14
  %43 = load ptr, ptr %8, align 8, !tbaa !5
  %44 = load i32, ptr %9, align 4, !tbaa !9
  %45 = load ptr, ptr %10, align 8, !tbaa !5
  %46 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #14
  call void @"_ZZ11assert_failPKcS0_jS0_10RedexErrorS0_zENK3$_0clB5cxx11Ev"(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 1 dereferenceable(1) %14)
  %47 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #14
  invoke void (ptr, ptr, ...) @_Z13format2stringB5cxx11PKcz(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef @.str, ptr noundef %43, i32 noundef %44, ptr noundef %45, ptr noundef %46, ptr noundef %47)
          to label %48 unwind label %58

48:                                               ; preds = %6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #14
  %49 = load ptr, ptr %12, align 8, !tbaa !5
  %50 = call i32 @strcmp(ptr noundef %49, ptr noundef @.str.1) #15
  %51 = icmp ne i32 %50, 0
  br i1 %51, label %52, label %71

52:                                               ; preds = %48
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #14
  %53 = load ptr, ptr %12, align 8, !tbaa !5
  %54 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %13, i64 0, i64 0
  invoke void @_Z15v_format2stringB5cxx11PKcP13__va_list_tag(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %19, ptr noundef %53, ptr noundef %54)
          to label %55 unwind label %62

55:                                               ; preds = %52
  %56 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(32) %19)
          to label %57 unwind label %66

57:                                               ; preds = %55
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #14
  br label %71

58:                                               ; preds = %6
  %59 = landingpad { ptr, i32 }
          cleanup
  %60 = extractvalue { ptr, i32 } %59, 0
  store ptr %60, ptr %17, align 8
  %61 = extractvalue { ptr, i32 } %59, 1
  store i32 %61, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #14
  br label %259

62:                                               ; preds = %52
  %63 = landingpad { ptr, i32 }
          cleanup
  %64 = extractvalue { ptr, i32 } %63, 0
  store ptr %64, ptr %17, align 8
  %65 = extractvalue { ptr, i32 } %63, 1
  store i32 %65, ptr %18, align 4
  br label %70

66:                                               ; preds = %55
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %17, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %18, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #14
  br label %70

70:                                               ; preds = %66, %62
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #14
  br label %258

71:                                               ; preds = %57, %48
  %72 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %13, i64 0, i64 0
  call void @llvm.va_end.p0(ptr %72)
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #14
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #14
  %73 = invoke noundef i32 @_ZN12_GLOBAL__N_17get_tidEv()
          to label %74 unwind label %85

74:                                               ; preds = %71
  store i32 %73, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #14
  store i32 0, ptr %22, align 4, !tbaa !9
  %75 = load i32, ptr %21, align 4, !tbaa !9
  %76 = call noundef zeroext i1 @_ZNSt13__atomic_baseIiE23compare_exchange_strongERiiSt12memory_order(ptr noundef nonnull align 4 dereferenceable(4) @_ZN12_GLOBAL__N_110g_abortingE, ptr noundef nonnull align 4 dereferenceable(4) %22, i32 noundef %75, i32 noundef 5) #14
  %77 = zext i1 %76 to i8
  store i8 %77, ptr %20, align 1, !tbaa !13
  %78 = load i8, ptr %20, align 1, !tbaa !13, !range !15, !noundef !16
  %79 = trunc i8 %78 to i1
  br i1 %79, label %89, label %80

80:                                               ; preds = %74
  %81 = load i32, ptr %22, align 4, !tbaa !9
  %82 = load i32, ptr %21, align 4, !tbaa !9
  %83 = icmp eq i32 %81, %82
  %84 = zext i1 %83 to i8
  store i8 %84, ptr %20, align 1, !tbaa !13
  br label %89

85:                                               ; preds = %71
  %86 = landingpad { ptr, i32 }
          cleanup
  %87 = extractvalue { ptr, i32 } %86, 0
  store ptr %87, ptr %17, align 8
  %88 = extractvalue { ptr, i32 } %86, 1
  store i32 %88, ptr %18, align 4
  br label %257

89:                                               ; preds = %80, %74
  %90 = load i8, ptr %20, align 1, !tbaa !13, !range !15, !noundef !16
  %91 = trunc i8 %90 to i1
  br i1 %91, label %103, label %92

92:                                               ; preds = %89
  %93 = load i8, ptr @_ZN12_GLOBAL__N_121g_block_multi_assertsE, align 1, !tbaa !13, !range !15, !noundef !16
  %94 = trunc i8 %93 to i1
  br i1 %94, label %95, label %103

95:                                               ; preds = %92
  br label %96

96:                                               ; preds = %98, %95
  %97 = invoke i32 @sleep(i32 noundef 1000)
          to label %98 unwind label %99

98:                                               ; preds = %96
  br label %96, !llvm.loop !17

99:                                               ; preds = %165, %163, %161, %158, %156, %154, %152, %143, %122, %120, %118, %115, %113, %111, %109, %96
  %100 = landingpad { ptr, i32 }
          cleanup
  %101 = extractvalue { ptr, i32 } %100, 0
  store ptr %101, ptr %17, align 8
  %102 = extractvalue { ptr, i32 } %100, 1
  store i32 %102, ptr %18, align 4
  br label %256

103:                                              ; preds = %92, %89
  %104 = load i32, ptr %11, align 4, !tbaa !11
  %105 = zext i32 %104 to i64
  %106 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15) @_ZN11redex_debug12_GLOBAL__N_114abort_for_typeE, i64 noundef %105) #14
  %107 = load i8, ptr %106, align 1, !tbaa !13, !range !15, !noundef !16
  %108 = trunc i8 %107 to i1
  br i1 %108, label %109, label %145

109:                                              ; preds = %103
  %110 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.2)
          to label %111 unwind label %99

111:                                              ; preds = %109
  %112 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %110, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %113 unwind label %99

113:                                              ; preds = %111
  %114 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.3)
          to label %115 unwind label %99

115:                                              ; preds = %113
  %116 = load i32, ptr %11, align 4, !tbaa !11
  %117 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %114, i32 noundef %116)
          to label %118 unwind label %99

118:                                              ; preds = %115
  %119 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %117, ptr noundef @.str.1)
          to label %120 unwind label %99

120:                                              ; preds = %118
  %121 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %119, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %122 unwind label %99

122:                                              ; preds = %120
  %123 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %121, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %124 unwind label %99

124:                                              ; preds = %122
  %125 = load i32, ptr %11, align 4, !tbaa !11
  %126 = zext i32 %125 to i64
  %127 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15) @_ZN11redex_debug12_GLOBAL__N_122no_stacktrace_for_typeE, i64 noundef %126) #14
  %128 = load i8, ptr %127, align 1, !tbaa !13, !range !15, !noundef !16
  %129 = trunc i8 %128 to i1
  br i1 %129, label %143, label %130

130:                                              ; preds = %124
  br label %131

131:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #14
  store i32 256, ptr %23, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2048, ptr %24) #14
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #14
  %132 = getelementptr inbounds [256 x ptr], ptr %24, i64 0, i64 0
  %133 = invoke i32 @backtrace(ptr noundef %132, i32 noundef 256)
          to label %134 unwind label %139

134:                                              ; preds = %131
  store i32 %133, ptr %25, align 4, !tbaa !9
  %135 = getelementptr inbounds [256 x ptr], ptr %24, i64 0, i64 0
  %136 = load i32, ptr %25, align 4, !tbaa !9
  call void @backtrace_symbols_fd(ptr noundef %135, i32 noundef %136, i32 noundef 2) #14
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #14
  call void @llvm.lifetime.end.p0(i64 2048, ptr %24) #14
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #14
  br label %137

137:                                              ; preds = %134
  br label %138

138:                                              ; preds = %137
  br label %143

139:                                              ; preds = %131
  %140 = landingpad { ptr, i32 }
          cleanup
  %141 = extractvalue { ptr, i32 } %140, 0
  store ptr %141, ptr %17, align 8
  %142 = extractvalue { ptr, i32 } %140, 1
  store i32 %142, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #14
  call void @llvm.lifetime.end.p0(i64 2048, ptr %24) #14
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #14
  br label %256

143:                                              ; preds = %138, %124
  invoke void @_exit(i32 noundef -6) #16
          to label %144 unwind label %99

144:                                              ; preds = %143
  unreachable

145:                                              ; preds = %103
  %146 = load i32, ptr @_ZN12_GLOBAL__N_118g_abort_if_not_tidE, align 4, !tbaa !9
  %147 = icmp ne i32 %146, 0
  br i1 %147, label %148, label %168

148:                                              ; preds = %145
  %149 = load i32, ptr @_ZN12_GLOBAL__N_118g_abort_if_not_tidE, align 4, !tbaa !9
  %150 = load i32, ptr %21, align 4, !tbaa !9
  %151 = icmp ne i32 %149, %150
  br i1 %151, label %152, label %168

152:                                              ; preds = %148
  %153 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.2)
          to label %154 unwind label %99

154:                                              ; preds = %152
  %155 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %153, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %156 unwind label %99

156:                                              ; preds = %154
  %157 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.3)
          to label %158 unwind label %99

158:                                              ; preds = %156
  %159 = load i32, ptr %11, align 4, !tbaa !11
  %160 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %157, i32 noundef %159)
          to label %161 unwind label %99

161:                                              ; preds = %158
  %162 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %160, ptr noundef @.str.1)
          to label %163 unwind label %99

163:                                              ; preds = %161
  %164 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %162, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %165 unwind label %99

165:                                              ; preds = %163
  %166 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %164, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %167 unwind label %99

167:                                              ; preds = %165
  call void @abort() #17
  unreachable

168:                                              ; preds = %148, %145
  %169 = load i8, ptr @_ZN5redex13g_throw_typedE, align 1, !tbaa !13, !range !15, !noundef !16
  %170 = trunc i8 %169 to i1
  br i1 %170, label %171, label %225

171:                                              ; preds = %168
  %172 = load i32, ptr %11, align 4, !tbaa !11
  switch i32 %172, label %223 [
    i32 5, label %173
    i32 6, label %183
    i32 10, label %193
    i32 12, label %203
    i32 13, label %213
  ]

173:                                              ; preds = %171
  store i1 true, ptr %27, align 1
  %174 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr %26) #14
  call void @llvm.memset.p0.i64(ptr align 8 %26, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %26) #14
  invoke void @_ZN5redex25DuplicateMethodsExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %174, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %26)
          to label %175 unwind label %176

175:                                              ; preds = %173
  store i1 false, ptr %27, align 1
  invoke void @__cxa_throw(ptr %174, ptr @_ZTIN5redex25DuplicateMethodsExceptionE, ptr @_ZN14RedexExceptionD2Ev) #16
          to label %265 unwind label %176

176:                                              ; preds = %175, %173
  %177 = landingpad { ptr, i32 }
          cleanup
  %178 = extractvalue { ptr, i32 } %177, 0
  store ptr %178, ptr %17, align 8
  %179 = extractvalue { ptr, i32 } %177, 1
  store i32 %179, ptr %18, align 4
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %26) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %26) #14
  %180 = load i1, ptr %27, align 1
  br i1 %180, label %181, label %182

181:                                              ; preds = %176
  call void @__cxa_free_exception(ptr %174) #14
  br label %182

182:                                              ; preds = %181, %176
  br label %256

183:                                              ; preds = %171
  store i1 true, ptr %29, align 1
  %184 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr %28) #14
  call void @llvm.memset.p0.i64(ptr align 8 %28, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %28) #14
  invoke void @_ZN5redex22BadAnnotationExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %184, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %28)
          to label %185 unwind label %186

185:                                              ; preds = %183
  store i1 false, ptr %29, align 1
  invoke void @__cxa_throw(ptr %184, ptr @_ZTIN5redex22BadAnnotationExceptionE, ptr @_ZN14RedexExceptionD2Ev) #16
          to label %265 unwind label %186

186:                                              ; preds = %185, %183
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %17, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %18, align 4
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %28) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %28) #14
  %190 = load i1, ptr %29, align 1
  br i1 %190, label %191, label %192

191:                                              ; preds = %186
  call void @__cxa_free_exception(ptr %184) #14
  br label %192

192:                                              ; preds = %191, %186
  br label %256

193:                                              ; preds = %171
  store i1 true, ptr %31, align 1
  %194 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr %30) #14
  call void @llvm.memset.p0.i64(ptr align 8 %30, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %30) #14
  invoke void @_ZN5redex26BufferEndExceededExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %194, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %30)
          to label %195 unwind label %196

195:                                              ; preds = %193
  store i1 false, ptr %31, align 1
  invoke void @__cxa_throw(ptr %194, ptr @_ZTIN5redex26BufferEndExceededExceptionE, ptr @_ZN14RedexExceptionD2Ev) #16
          to label %265 unwind label %196

196:                                              ; preds = %195, %193
  %197 = landingpad { ptr, i32 }
          cleanup
  %198 = extractvalue { ptr, i32 } %197, 0
  store ptr %198, ptr %17, align 8
  %199 = extractvalue { ptr, i32 } %197, 1
  store i32 %199, ptr %18, align 4
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %30) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %30) #14
  %200 = load i1, ptr %31, align 1
  br i1 %200, label %201, label %202

201:                                              ; preds = %196
  call void @__cxa_free_exception(ptr %194) #14
  br label %202

202:                                              ; preds = %201, %196
  br label %256

203:                                              ; preds = %171
  store i1 true, ptr %33, align 1
  %204 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr %32) #14
  call void @llvm.memset.p0.i64(ptr align 8 %32, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %32) #14
  invoke void @_ZN5redex19InvalidDexExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %204, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %32)
          to label %205 unwind label %206

205:                                              ; preds = %203
  store i1 false, ptr %33, align 1
  invoke void @__cxa_throw(ptr %204, ptr @_ZTIN5redex19InvalidDexExceptionE, ptr @_ZN14RedexExceptionD2Ev) #16
          to label %265 unwind label %206

206:                                              ; preds = %205, %203
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %17, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %18, align 4
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %32) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %32) #14
  %210 = load i1, ptr %33, align 1
  br i1 %210, label %211, label %212

211:                                              ; preds = %206
  call void @__cxa_free_exception(ptr %204) #14
  br label %212

212:                                              ; preds = %211, %206
  br label %256

213:                                              ; preds = %171
  store i1 true, ptr %35, align 1
  %214 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr %34) #14
  call void @llvm.memset.p0.i64(ptr align 8 %34, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %34) #14
  invoke void @_ZN5redex20InvalidJavaExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %214, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %34)
          to label %215 unwind label %216

215:                                              ; preds = %213
  store i1 false, ptr %35, align 1
  invoke void @__cxa_throw(ptr %214, ptr @_ZTIN5redex20InvalidJavaExceptionE, ptr @_ZN14RedexExceptionD2Ev) #16
          to label %265 unwind label %216

216:                                              ; preds = %215, %213
  %217 = landingpad { ptr, i32 }
          cleanup
  %218 = extractvalue { ptr, i32 } %217, 0
  store ptr %218, ptr %17, align 8
  %219 = extractvalue { ptr, i32 } %217, 1
  store i32 %219, ptr %18, align 4
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %34) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %34) #14
  %220 = load i1, ptr %35, align 1
  br i1 %220, label %221, label %222

221:                                              ; preds = %216
  call void @__cxa_free_exception(ptr %214) #14
  br label %222

222:                                              ; preds = %221, %216
  br label %256

223:                                              ; preds = %171
  br label %224

224:                                              ; preds = %223
  br label %225

225:                                              ; preds = %224, %168
  store i1 true, ptr %41, align 1
  %226 = call ptr @__cxa_allocate_exception(i64 168) #14
  call void @llvm.lifetime.start.p0(i64 168, ptr %36) #14
  call void @llvm.lifetime.start.p0(i64 128, ptr %37) #14
  %227 = load i32, ptr %11, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 48, ptr %38) #14
  call void @llvm.memset.p0.i64(ptr align 8 %38, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %38) #14
  invoke void @_ZN14RedexExceptionC1E10RedexErrorRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %37, i32 noundef %227, ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull align 8 dereferenceable(48) %38)
          to label %228 unwind label %234

228:                                              ; preds = %225
  invoke void @_ZN5boost17enable_error_infoI14RedexExceptionEENS_16exception_detail29enable_error_info_return_typeIT_E4typeERKS4_(ptr dead_on_unwind writable sret(%"struct.boost::exception_detail::error_info_injector") align 8 %36, ptr noundef nonnull align 8 dereferenceable(128) %37)
          to label %229 unwind label %238

229:                                              ; preds = %228
  call void @llvm.lifetime.start.p0(i64 2064, ptr %39) #14
  call void @llvm.lifetime.start.p0(i64 2056, ptr %40) #14
  invoke void @_ZN12_GLOBAL__N_110StackTraceC2Ev(ptr noundef nonnull align 8 dereferenceable(2056) %40)
          to label %230 unwind label %242

230:                                              ; preds = %229
  call void @_ZN5boost10error_infoIN12_GLOBAL__N_114tag_stacktraceENS1_10StackTraceEEC2EOS3_(ptr noundef nonnull align 8 dereferenceable(2064) %39, ptr noundef nonnull align 8 dereferenceable(2056) %40) #14
  %231 = invoke noundef nonnull align 8 dereferenceable(164) ptr @_ZN5boostlsINS_16exception_detail19error_info_injectorI14RedexExceptionEEN12_GLOBAL__N_114tag_stacktraceENS5_10StackTraceEEENS_9enable_ifINS1_23derives_boost_exceptionIT_EERKSA_E4typeESD_ONS_10error_infoIT0_T1_EE(ptr noundef nonnull align 8 dereferenceable(164) %36, ptr noundef nonnull align 8 dereferenceable(2064) %39)
          to label %232 unwind label %246

232:                                              ; preds = %230
  invoke void @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionEC2ERKS3_(ptr noundef nonnull align 8 dereferenceable(164) %226, ptr noundef nonnull align 8 dereferenceable(164) %231)
          to label %233 unwind label %246

233:                                              ; preds = %232
  store i1 false, ptr %41, align 1
  invoke void @__cxa_throw(ptr %226, ptr @_ZTIN5boost16exception_detail19error_info_injectorI14RedexExceptionEE, ptr @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionED2Ev) #16
          to label %265 unwind label %246

234:                                              ; preds = %225
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %17, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %18, align 4
  br label %252

238:                                              ; preds = %228
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %17, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %18, align 4
  br label %251

242:                                              ; preds = %229
  %243 = landingpad { ptr, i32 }
          cleanup
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %17, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %18, align 4
  br label %250

246:                                              ; preds = %233, %232, %230
  %247 = landingpad { ptr, i32 }
          cleanup
  %248 = extractvalue { ptr, i32 } %247, 0
  store ptr %248, ptr %17, align 8
  %249 = extractvalue { ptr, i32 } %247, 1
  store i32 %249, ptr %18, align 4
  call void @_ZN5boost16exception_detail15error_info_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(2064) %39) #14
  br label %250

250:                                              ; preds = %246, %242
  call void @llvm.lifetime.end.p0(i64 2056, ptr %40) #14
  call void @llvm.lifetime.end.p0(i64 2064, ptr %39) #14
  call void @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionED2Ev(ptr noundef nonnull align 8 dereferenceable(164) %36) #14
  br label %251

251:                                              ; preds = %250, %238
  call void @_ZN14RedexExceptionD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %37) #14
  br label %252

252:                                              ; preds = %251, %234
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %38) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr %38) #14
  call void @llvm.lifetime.end.p0(i64 128, ptr %37) #14
  call void @llvm.lifetime.end.p0(i64 168, ptr %36) #14
  %253 = load i1, ptr %41, align 1
  br i1 %253, label %254, label %255

254:                                              ; preds = %252
  call void @__cxa_free_exception(ptr %226) #14
  br label %255

255:                                              ; preds = %254, %252
  br label %256

256:                                              ; preds = %255, %222, %212, %202, %192, %182, %139, %99
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #14
  br label %257

257:                                              ; preds = %256, %85
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #14
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #14
  br label %258

258:                                              ; preds = %257, %70
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #14
  br label %259

259:                                              ; preds = %258, %58
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #14
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #14
  call void @llvm.lifetime.end.p0(i64 24, ptr %13) #14
  br label %260

260:                                              ; preds = %259
  %261 = load ptr, ptr %17, align 8
  %262 = load i32, ptr %18, align 4
  %263 = insertvalue { ptr, i32 } poison, ptr %261, 0
  %264 = insertvalue { ptr, i32 } %263, i32 %262, 1
  resume { ptr, i32 } %264

265:                                              ; preds = %233, %215, %205, %195, %185, %175
  unreachable
}

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZ11assert_failPKcS0_jS0_10RedexErrorS0_zENK3$_0clB5cxx11Ev"(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(1)) #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32)) #0 align 2

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #8

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #4 align 2

; Function Attrs: alwaysinline mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNSt13__atomic_baseIiE23compare_exchange_strongERiiSt12memory_order(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), i32 noundef, i32 noundef) #9 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #7

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

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #7

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #2

; Function Attrs: noreturn
declare void @_exit(i32 noundef) #10

; Function Attrs: noreturn nounwind
declare void @abort() #11

declare ptr @__cxa_allocate_exception(i64)

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #12

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex25DuplicateMethodsExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

declare void @__cxa_throw(ptr, ptr, ptr)

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

declare void @__cxa_free_exception(ptr)

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex22BadAnnotationExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex26BufferEndExceededExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex19InvalidDexExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex20InvalidJavaExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef nonnull align 8 dereferenceable(164) ptr @_ZN5boostlsINS_16exception_detail19error_info_injectorI14RedexExceptionEEN12_GLOBAL__N_114tag_stacktraceENS5_10StackTraceEEENS_9enable_ifINS1_23derives_boost_exceptionIT_EERKSA_E4typeESD_ONS_10error_infoIT0_T1_EE(ptr noundef nonnull align 8 dereferenceable(164), ptr noundef nonnull align 8 dereferenceable(2064)) #7

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost17enable_error_infoI14RedexExceptionEENS_16exception_detail29enable_error_info_return_typeIT_E4typeERKS4_(ptr dead_on_unwind noalias writable sret(%"struct.boost::exception_detail::error_info_injector") align 8, ptr noundef nonnull align 8 dereferenceable(128)) #7

declare void @_ZN14RedexExceptionC1E10RedexErrorRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), i32 noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_110StackTraceC2Ev(ptr noundef nonnull align 8 dereferenceable(2056)) unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN5boost10error_infoIN12_GLOBAL__N_114tag_stacktraceENS1_10StackTraceEEC2EOS3_(ptr noundef nonnull align 8 dereferenceable(2064), ptr noundef nonnull align 8 dereferenceable(2056)) unnamed_addr #0 align 2

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"_ZTS10RedexError", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"bool", !7, i64 0}
!15 = !{i8 0, i8 2}
!16 = !{}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.std::array" = type { [15 x i8] }
%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"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] }
%struct.__va_list_tag = type { i32, i32, ptr, ptr }
%class.anon = type { i8 }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"struct.boost::exception_detail::error_info_injector" = type <{ %class.RedexException, %"class.boost::exception.base", [4 x i8] }>
%class.RedexException = type { %"class.std::exception", i32, %"class.std::__cxx11::basic_string", %"class.std::map", %"class.std::__cxx11::basic_string" }
%"class.std::exception" = type { ptr }
%"class.boost::exception.base" = type <{ ptr, %"class.boost::exception_detail::refcount_ptr", ptr, ptr, i32 }>
%"class.boost::exception_detail::refcount_ptr" = type { ptr }
%"class.boost::error_info" = type { %"class.boost::exception_detail::error_info_base", %"struct.(anonymous namespace)::StackTrace" }
%"class.boost::exception_detail::error_info_base" = type { ptr }
%"struct.(anonymous namespace)::StackTrace" = type { %"struct.std::array.7", i64 }
%"struct.std::array.7" = type { [256 x ptr] }

@_ZN11redex_debug12_GLOBAL__N_114abort_for_typeE = external hidden global %"struct.std::array", align 1
@_ZN11redex_debug12_GLOBAL__N_122no_stacktrace_for_typeE = external hidden global %"struct.std::array", align 1
@_ZN12_GLOBAL__N_121g_block_multi_assertsE = external hidden local_unnamed_addr global i8, align 1
@_ZN12_GLOBAL__N_118g_abort_if_not_tidE = external hidden local_unnamed_addr global i32, align 4
@_ZN5redex13g_throw_typedE = external dso_local local_unnamed_addr global i8, align 1
@.str = external hidden unnamed_addr constant [37 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZSt4cerr = external global %"class.std::basic_ostream", align 8
@.str.2 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [24 x i8], align 1
@_ZTIN5redex25DuplicateMethodsExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex22BadAnnotationExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex26BufferEndExceededExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex19InvalidDexExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5redex20InvalidJavaExceptionE = external dso_local constant { ptr, ptr, ptr }, align 8
@_ZTIN5boost16exception_detail19error_info_injectorI14RedexExceptionEE = external dso_local constant { ptr, ptr, i32, i32, ptr, i64, ptr, i64 }, align 8
@_ZN12_GLOBAL__N_110g_abortingE = external hidden global { i32 }, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15), i64 noundef) local_unnamed_addr #0 align 2

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

declare i32 @backtrace(ptr noundef, i32 noundef) local_unnamed_addr #2

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

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

declare i32 @sleep(i32 noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z15v_format2stringB5cxx11PKcP13__va_list_tag(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.va_end.p0(ptr) #5

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z13format2stringB5cxx11PKcz(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ...) local_unnamed_addr #4

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn
declare void @llvm.va_start.p0(ptr) #5

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN12_GLOBAL__N_17get_tidEv() local_unnamed_addr #0

; Function Attrs: mustprogress noreturn uwtable
define dso_local void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef %0, ptr noundef %1, i32 noundef %2, ptr noundef %3, i32 noundef %4, ptr noundef %5, ...) local_unnamed_addr #6 personality ptr @__gxx_personality_v0 {
  %7 = alloca [1 x %struct.__va_list_tag], align 16
  %8 = alloca %class.anon, align 1
  %9 = alloca %"class.std::__cxx11::basic_string", align 8
  %10 = alloca %"class.std::__cxx11::basic_string", align 8
  %11 = alloca %"class.std::__cxx11::basic_string", align 8
  %12 = alloca i32, align 4
  %13 = alloca [256 x ptr], align 16
  %14 = alloca %"class.std::map", align 8
  %15 = alloca %"class.std::map", align 8
  %16 = alloca %"class.std::map", align 8
  %17 = alloca %"class.std::map", align 8
  %18 = alloca %"class.std::map", align 8
  %19 = alloca %"struct.boost::exception_detail::error_info_injector", align 8
  %20 = alloca %class.RedexException, align 8
  %21 = alloca %"class.std::map", align 8
  %22 = alloca %"class.boost::error_info", align 8
  %23 = alloca %"struct.(anonymous namespace)::StackTrace", align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #14
  call void @llvm.va_start.p0(ptr nonnull %7)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #14
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #14
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #14
  call void @"_ZZ11assert_failPKcS0_jS0_10RedexErrorS0_zENK3$_0clB5cxx11Ev"(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %10, ptr noundef nonnull align 1 dereferenceable(1) %8)
  %24 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %10) #14
  invoke void (ptr, ptr, ...) @_Z13format2stringB5cxx11PKcz(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull @.str, ptr noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %0, ptr noundef %24)
          to label %25 unwind label %31

25:                                               ; preds = %6
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #14
  %26 = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %5, ptr noundef nonnull dereferenceable(1) @.str.1) #15
  %.not = icmp eq i32 %26, 0
  br i1 %.not, label %38, label %27

27:                                               ; preds = %25
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #14
  invoke void @_Z15v_format2stringB5cxx11PKcP13__va_list_tag(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef %5, ptr noundef nonnull %7)
          to label %28 unwind label %33

28:                                               ; preds = %27
  %29 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %30 unwind label %35

30:                                               ; preds = %28
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #14
  br label %38

31:                                               ; preds = %6
  %32 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #14
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #14
  br label %153

33:                                               ; preds = %27
  %34 = landingpad { ptr, i32 }
          cleanup
  br label %37

35:                                               ; preds = %28
  %36 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #14
  br label %37

37:                                               ; preds = %35, %33
  %.pn = phi { ptr, i32 } [ %36, %35 ], [ %34, %33 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #14
  br label %152

38:                                               ; preds = %30, %25
  call void @llvm.va_end.p0(ptr nonnull %7)
  %39 = call noundef i32 @_ZN12_GLOBAL__N_17get_tidEv()
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #14
  store i32 0, ptr %12, align 4, !tbaa !5
  %40 = call noundef zeroext i1 @_ZNSt13__atomic_baseIiE23compare_exchange_strongERiiSt12memory_order(ptr noundef nonnull align 4 dereferenceable(4) @_ZN12_GLOBAL__N_110g_abortingE, ptr noundef nonnull align 4 dereferenceable(4) %12, i32 noundef %39, i32 noundef 5) #14
  %41 = load i32, ptr %12, align 4
  %42 = icmp eq i32 %41, %39
  %.041.in = select i1 %40, i1 true, i1 %42
  br i1 %.041.in, label %47, label %43

43:                                               ; preds = %38
  %44 = load i8, ptr @_ZN12_GLOBAL__N_121g_block_multi_assertsE, align 1, !tbaa !9, !range !11, !noundef !12
  %45 = trunc nuw i8 %44 to i1
  br i1 %45, label %.preheader, label %47

.preheader:                                       ; preds = %43, %.preheader
  %46 = invoke i32 @sleep(i32 noundef 1000)
          to label %.preheader unwind label %.loopexit, !llvm.loop !13

.loopexit:                                        ; preds = %.preheader
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %151

.loopexit.split-lp:                               ; preds = %52, %54, %56, %58, %60, %62, %64, %75, %79, %81, %83, %85, %87, %89, %91
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %151

47:                                               ; preds = %43, %38
  %48 = zext i32 %4 to i64
  %49 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15) @_ZN11redex_debug12_GLOBAL__N_114abort_for_typeE, i64 noundef %48) #14
  %50 = load i8, ptr %49, align 1, !tbaa !9, !range !11, !noundef !12
  %51 = trunc nuw i8 %50 to i1
  br i1 %51, label %52, label %77

52:                                               ; preds = %47
  %53 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.2)
          to label %54 unwind label %.loopexit.split-lp

54:                                               ; preds = %52
  %55 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %56 unwind label %.loopexit.split-lp

56:                                               ; preds = %54
  %57 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.3)
          to label %58 unwind label %.loopexit.split-lp

58:                                               ; preds = %56
  %59 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %57, i32 noundef %4)
          to label %60 unwind label %.loopexit.split-lp

60:                                               ; preds = %58
  %61 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %59, ptr noundef nonnull @.str.1)
          to label %62 unwind label %.loopexit.split-lp

62:                                               ; preds = %60
  %63 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %64 unwind label %.loopexit.split-lp

64:                                               ; preds = %62
  %65 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %66 unwind label %.loopexit.split-lp

66:                                               ; preds = %64
  %67 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt5arrayIbLm15EEixEm(ptr noundef nonnull align 1 dereferenceable(15) @_ZN11redex_debug12_GLOBAL__N_122no_stacktrace_for_typeE, i64 noundef %48) #14
  %68 = load i8, ptr %67, align 1, !tbaa !9, !range !11, !noundef !12
  %69 = trunc nuw i8 %68 to i1
  br i1 %69, label %75, label %70

70:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 2048, ptr nonnull %13) #14
  %71 = invoke i32 @backtrace(ptr noundef nonnull %13, i32 noundef 256)
          to label %72 unwind label %73

72:                                               ; preds = %70
  call void @backtrace_symbols_fd(ptr noundef nonnull %13, i32 noundef %71, i32 noundef 2) #14
  call void @llvm.lifetime.end.p0(i64 2048, ptr nonnull %13) #14
  br label %75

73:                                               ; preds = %70
  %74 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 2048, ptr nonnull %13) #14
  br label %151

75:                                               ; preds = %72, %66
  invoke void @_exit(i32 noundef -6) #16
          to label %76 unwind label %.loopexit.split-lp

76:                                               ; preds = %75
  unreachable

77:                                               ; preds = %47
  %78 = load i32, ptr @_ZN12_GLOBAL__N_118g_abort_if_not_tidE, align 4, !tbaa !5
  %.not44 = icmp eq i32 %78, 0
  %.not45 = icmp eq i32 %78, %39
  %or.cond = or i1 %.not44, %.not45
  br i1 %or.cond, label %94, label %79

79:                                               ; preds = %77
  %80 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.2)
          to label %81 unwind label %.loopexit.split-lp

81:                                               ; preds = %79
  %82 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %80, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %83 unwind label %.loopexit.split-lp

83:                                               ; preds = %81
  %84 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.3)
          to label %85 unwind label %.loopexit.split-lp

85:                                               ; preds = %83
  %86 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %84, i32 noundef %4)
          to label %87 unwind label %.loopexit.split-lp

87:                                               ; preds = %85
  %88 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %86, ptr noundef nonnull @.str.1)
          to label %89 unwind label %.loopexit.split-lp

89:                                               ; preds = %87
  %90 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8) %88, ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %91 unwind label %.loopexit.split-lp

91:                                               ; preds = %89
  %92 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %90, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %93 unwind label %.loopexit.split-lp

93:                                               ; preds = %91
  call void @abort() #17
  unreachable

94:                                               ; preds = %77
  %95 = load i8, ptr @_ZN5redex13g_throw_typedE, align 1, !tbaa !9, !range !11, !noundef !12
  %96 = trunc nuw i8 %95 to i1
  br i1 %96, label %97, label %133

97:                                               ; preds = %94
  switch i32 %4, label %133 [
    i32 5, label %98
    i32 6, label %105
    i32 10, label %112
    i32 12, label %119
    i32 13, label %126
  ]

98:                                               ; preds = %97
  %99 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %14) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %14, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %14) #14
  invoke void @_ZN5redex25DuplicateMethodsExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %99, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %14)
          to label %100 unwind label %103

100:                                              ; preds = %98
  invoke void @__cxa_throw(ptr nonnull %99, ptr nonnull @_ZTIN5redex25DuplicateMethodsExceptionE, ptr nonnull @_ZN14RedexExceptionD2Ev) #16
          to label %154 unwind label %101

101:                                              ; preds = %100
  %102 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %14) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %14) #14
  br label %151

103:                                              ; preds = %98
  %104 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %14) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %14) #14
  call void @__cxa_free_exception(ptr %99) #14
  br label %151

105:                                              ; preds = %97
  %106 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %15) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %15, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #14
  invoke void @_ZN5redex22BadAnnotationExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %106, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %15)
          to label %107 unwind label %110

107:                                              ; preds = %105
  invoke void @__cxa_throw(ptr nonnull %106, ptr nonnull @_ZTIN5redex22BadAnnotationExceptionE, ptr nonnull @_ZN14RedexExceptionD2Ev) #16
          to label %154 unwind label %108

108:                                              ; preds = %107
  %109 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #14
  br label %151

110:                                              ; preds = %105
  %111 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #14
  call void @__cxa_free_exception(ptr %106) #14
  br label %151

112:                                              ; preds = %97
  %113 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %16) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %16, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %16) #14
  invoke void @_ZN5redex26BufferEndExceededExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %113, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %16)
          to label %114 unwind label %117

114:                                              ; preds = %112
  invoke void @__cxa_throw(ptr nonnull %113, ptr nonnull @_ZTIN5redex26BufferEndExceededExceptionE, ptr nonnull @_ZN14RedexExceptionD2Ev) #16
          to label %154 unwind label %115

115:                                              ; preds = %114
  %116 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %16) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %16) #14
  br label %151

117:                                              ; preds = %112
  %118 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %16) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %16) #14
  call void @__cxa_free_exception(ptr %113) #14
  br label %151

119:                                              ; preds = %97
  %120 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %17) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %17, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %17) #14
  invoke void @_ZN5redex19InvalidDexExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %120, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %17)
          to label %121 unwind label %124

121:                                              ; preds = %119
  invoke void @__cxa_throw(ptr nonnull %120, ptr nonnull @_ZTIN5redex19InvalidDexExceptionE, ptr nonnull @_ZN14RedexExceptionD2Ev) #16
          to label %154 unwind label %122

122:                                              ; preds = %121
  %123 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %17) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %17) #14
  br label %151

124:                                              ; preds = %119
  %125 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %17) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %17) #14
  call void @__cxa_free_exception(ptr %120) #14
  br label %151

126:                                              ; preds = %97
  %127 = call ptr @__cxa_allocate_exception(i64 128) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %18) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %18, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %18) #14
  invoke void @_ZN5redex20InvalidJavaExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %127, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %18)
          to label %128 unwind label %131

128:                                              ; preds = %126
  invoke void @__cxa_throw(ptr nonnull %127, ptr nonnull @_ZTIN5redex20InvalidJavaExceptionE, ptr nonnull @_ZN14RedexExceptionD2Ev) #16
          to label %154 unwind label %129

129:                                              ; preds = %128
  %130 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %18) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %18) #14
  br label %151

131:                                              ; preds = %126
  %132 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %18) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %18) #14
  call void @__cxa_free_exception(ptr %127) #14
  br label %151

133:                                              ; preds = %97, %94
  %134 = call ptr @__cxa_allocate_exception(i64 168) #14
  call void @llvm.lifetime.start.p0(i64 168, ptr nonnull %19) #14
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %20) #14
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %21) #14
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(48) %21, i8 0, i64 48, i1 false)
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %21) #14
  invoke void @_ZN14RedexExceptionC1E10RedexErrorRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128) %20, i32 noundef %4, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(48) %21)
          to label %135 unwind label %.thread63

135:                                              ; preds = %133
  invoke void @_ZN5boost17enable_error_infoI14RedexExceptionEENS_16exception_detail29enable_error_info_return_typeIT_E4typeERKS4_(ptr dead_on_unwind nonnull writable sret(%"struct.boost::exception_detail::error_info_injector") align 8 %19, ptr noundef nonnull align 8 dereferenceable(128) %20)
          to label %136 unwind label %142

136:                                              ; preds = %135
  call void @llvm.lifetime.start.p0(i64 2064, ptr nonnull %22) #14
  call void @llvm.lifetime.start.p0(i64 2056, ptr nonnull %23) #14
  invoke void @_ZN12_GLOBAL__N_110StackTraceC2Ev(ptr noundef nonnull align 8 dereferenceable(2056) %23)
          to label %137 unwind label %144

137:                                              ; preds = %136
  call void @_ZN5boost10error_infoIN12_GLOBAL__N_114tag_stacktraceENS1_10StackTraceEEC2EOS3_(ptr noundef nonnull align 8 dereferenceable(2064) %22, ptr noundef nonnull align 8 dereferenceable(2056) %23) #14
  %138 = invoke noundef nonnull align 8 dereferenceable(164) ptr @_ZN5boostlsINS_16exception_detail19error_info_injectorI14RedexExceptionEEN12_GLOBAL__N_114tag_stacktraceENS5_10StackTraceEEENS_9enable_ifINS1_23derives_boost_exceptionIT_EERKSA_E4typeESD_ONS_10error_infoIT0_T1_EE(ptr noundef nonnull align 8 dereferenceable(164) %19, ptr noundef nonnull align 8 dereferenceable(2064) %22)
          to label %139 unwind label %146

139:                                              ; preds = %137
  invoke void @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionEC2ERKS3_(ptr noundef nonnull align 8 dereferenceable(164) %134, ptr noundef nonnull align 8 dereferenceable(164) %138)
          to label %140 unwind label %146

140:                                              ; preds = %139
  invoke void @__cxa_throw(ptr nonnull %134, ptr nonnull @_ZTIN5boost16exception_detail19error_info_injectorI14RedexExceptionEE, ptr nonnull @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionED2Ev) #16
          to label %154 unwind label %146

.thread63:                                        ; preds = %133
  %141 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %21) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %21) #14
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %20) #14
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %19) #14
  br label %150

142:                                              ; preds = %135
  %143 = landingpad { ptr, i32 }
          cleanup
  br label %149

144:                                              ; preds = %136
  %145 = landingpad { ptr, i32 }
          cleanup
  br label %148

146:                                              ; preds = %140, %139, %137
  %.0 = phi i1 [ false, %140 ], [ true, %139 ], [ true, %137 ]
  %147 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5boost16exception_detail15error_info_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(2064) %22) #14
  br label %148

148:                                              ; preds = %146, %144
  %.pn46 = phi { ptr, i32 } [ %147, %146 ], [ %145, %144 ]
  %.1 = phi i1 [ %.0, %146 ], [ true, %144 ]
  call void @llvm.lifetime.end.p0(i64 2056, ptr nonnull %23) #14
  call void @llvm.lifetime.end.p0(i64 2064, ptr nonnull %22) #14
  call void @_ZN5boost16exception_detail19error_info_injectorI14RedexExceptionED2Ev(ptr noundef nonnull align 8 dereferenceable(164) %19) #14
  br label %149

149:                                              ; preds = %142, %148
  %.pn46.pn = phi { ptr, i32 } [ %.pn46, %148 ], [ %143, %142 ]
  %.2 = phi i1 [ %.1, %148 ], [ true, %142 ]
  call void @_ZN14RedexExceptionD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %20) #14
  call void @_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %21) #14
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %21) #14
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %20) #14
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %19) #14
  br i1 %.2, label %150, label %151

150:                                              ; preds = %.thread63, %149
  %.pn46.pn.pn66 = phi { ptr, i32 } [ %141, %.thread63 ], [ %.pn46.pn, %149 ]
  call void @__cxa_free_exception(ptr %134) #14
  br label %151

151:                                              ; preds = %.loopexit, %.loopexit.split-lp, %129, %122, %115, %108, %101, %149, %150, %131, %124, %117, %110, %103, %73
  %.pn50 = phi { ptr, i32 } [ %74, %73 ], [ %.pn46.pn.pn66, %150 ], [ %.pn46.pn, %149 ], [ %132, %131 ], [ %130, %129 ], [ %125, %124 ], [ %123, %122 ], [ %118, %117 ], [ %116, %115 ], [ %111, %110 ], [ %109, %108 ], [ %104, %103 ], [ %102, %101 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #14
  br label %152

152:                                              ; preds = %151, %37
  %.pn50.pn = phi { ptr, i32 } [ %.pn50, %151 ], [ %.pn, %37 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #14
  br label %153

153:                                              ; preds = %152, %31
  %.pn50.pn.pn = phi { ptr, i32 } [ %.pn50.pn, %152 ], [ %32, %31 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #14
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #14
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #14
  resume { ptr, i32 } %.pn50.pn.pn

154:                                              ; preds = %140, %128, %121, %114, %107, %100
  unreachable
}

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZ11assert_failPKcS0_jS0_10RedexErrorS0_zENK3$_0clB5cxx11Ev"(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #7 align 2

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

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #8

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

; Function Attrs: alwaysinline mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNSt13__atomic_baseIiE23compare_exchange_strongERiiSt12memory_order(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4), i32 noundef, i32 noundef) local_unnamed_addr #9 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #7

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

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #7

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcESaIcEERSt13basic_ostreamIT_T0_ES7_RKNSt7__cxx1112basic_stringIS4_S5_T1_EE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #2

; Function Attrs: noreturn
declare void @_exit(i32 noundef) local_unnamed_addr #10

; Function Attrs: noreturn nounwind
declare void @abort() local_unnamed_addr #11

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #12

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex25DuplicateMethodsExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

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

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

declare void @__cxa_free_exception(ptr) local_unnamed_addr

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex22BadAnnotationExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex26BufferEndExceededExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex19InvalidDexExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5redex20InvalidJavaExceptionC2ERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef nonnull align 8 dereferenceable(164) ptr @_ZN5boostlsINS_16exception_detail19error_info_injectorI14RedexExceptionEEN12_GLOBAL__N_114tag_stacktraceENS5_10StackTraceEEENS_9enable_ifINS1_23derives_boost_exceptionIT_EERKSA_E4typeESD_ONS_10error_infoIT0_T1_EE(ptr noundef nonnull align 8 dereferenceable(164), ptr noundef nonnull align 8 dereferenceable(2064)) local_unnamed_addr #7

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN5boost17enable_error_infoI14RedexExceptionEENS_16exception_detail29enable_error_info_return_typeIT_E4typeERKS4_(ptr dead_on_unwind noalias writable sret(%"struct.boost::exception_detail::error_info_injector") align 8, ptr noundef nonnull align 8 dereferenceable(128)) local_unnamed_addr #7

declare void @_ZN14RedexExceptionC1E10RedexErrorRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKSt3mapIS6_S6_St4lessIS6_ESaISt4pairIS7_S6_EEE(ptr noundef nonnull align 8 dereferenceable(128), i32 noundef, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_110StackTraceC2Ev(ptr noundef nonnull align 8 dereferenceable(2056)) unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN5boost10error_infoIN12_GLOBAL__N_114tag_stacktraceENS1_10StackTraceEEC2EOS3_(ptr noundef nonnull align 8 dereferenceable(2064), ptr noundef nonnull align 8 dereferenceable(2056)) unnamed_addr #0 align 2

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}


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