; LLVM IR from fritzsedlazeck/SURVIVOR :: src/simulator (Eval_vcf)

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

%"class.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 }
%struct.strsimul = type <{ %struct.strcoordinate, %struct.strcoordinate, i16, i8, i8, [4 x i8] }>
%struct.strcoordinate = type { i32, %"class.std::__cxx11::basic_string" }
%"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.strvcfentry = type <{ %"class.std::__cxx11::basic_string", %struct.strcoordinate, %struct.strcoordinate, i16, [6 x i8], %"class.std::map", i32, i32, %"class.std::vector.7", %"struct.std::pair", [2 x i8], %"struct.std::pair.12", [4 x i8], %"class.std::__cxx11::basic_string", i32, [4 x i8], %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", i32, [4 x i8], %"struct.std::pair.14", %"struct.std::pair.12", %"struct.std::pair.12", i32, [4 x 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 }
%"class.std::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair" = type { i8, i8 }
%"struct.std::pair.14" = type { %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string" }
%"struct.std::pair.12" = type { i32, i32 }

@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str.16 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [25 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #2 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)) #1

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #5 align 2

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef, ptr noundef, i32 noundef) #5

; Function Attrs: mustprogress uwtable
define dso_local void @_Z16eval_calls_paperSt6vectorI11strvcfentrySaIS0_EES_I8strsimulSaIS3_EEi(ptr noundef %0, ptr noundef %1, i32 noundef %2) #2 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i64, align 8
  %12 = alloca i32, align 4
  %13 = alloca i8, align 1
  %14 = alloca i64, align 8
  %15 = alloca %struct.strsimul, align 8
  %16 = alloca %struct.strvcfentry, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca %struct.strsimul, align 8
  %20 = alloca %struct.strvcfentry, align 8
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i8, align 1
  %28 = alloca i64, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store i32 0, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store i32 0, ptr %10, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  store i64 0, ptr %11, align 8, !tbaa !11
  br label %29

29:                                               ; preds = %100, %3
  %30 = load i64, ptr %11, align 8, !tbaa !11
  %31 = call noundef i64 @_ZNKSt6vectorI11strvcfentrySaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #6
  %32 = icmp ult i64 %30, %31
  br i1 %32, label %34, label %33

33:                                               ; preds = %29
  store i32 2, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  br label %103

34:                                               ; preds = %29
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #6
  store i8 0, ptr %13, align 1, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  store i64 0, ptr %14, align 8, !tbaa !11
  br label %35

35:                                               ; preds = %89, %34
  %36 = load i64, ptr %14, align 8, !tbaa !11
  %37 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  %38 = icmp ult i64 %36, %37
  br i1 %38, label %40, label %39

39:                                               ; preds = %35
  store i32 5, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  br label %93

40:                                               ; preds = %35
  %41 = load i64, ptr %14, align 8, !tbaa !11
  %42 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %41) #6
  call void @_ZN8strsimulC2ERKS_(ptr noundef nonnull align 8 dereferenceable(84) %15, ptr noundef nonnull align 8 dereferenceable(84) %42)
  %43 = load i64, ptr %11, align 8, !tbaa !11
  %44 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %43) #6
  invoke void @_ZN11strvcfentryC2ERKS_(ptr noundef nonnull align 8 dereferenceable(420) %16, ptr noundef nonnull align 8 dereferenceable(420) %44)
          to label %45 unwind label %66

45:                                               ; preds = %40
  %46 = load i32, ptr %6, align 4, !tbaa !9
  %47 = call noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef %15, ptr noundef %16, i32 noundef %46)
  br i1 %47, label %48, label %60

48:                                               ; preds = %45
  %49 = load i64, ptr %14, align 8, !tbaa !11
  %50 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %49) #6
  %51 = getelementptr inbounds %struct.strsimul, ptr %50, i32 0, i32 2
  %52 = load i16, ptr %51, align 8, !tbaa !15
  %53 = sext i16 %52 to i32
  %54 = load i64, ptr %11, align 8, !tbaa !11
  %55 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %54) #6
  %56 = getelementptr inbounds %struct.strvcfentry, ptr %55, i32 0, i32 3
  %57 = load i16, ptr %56, align 8, !tbaa !21
  %58 = sext i16 %57 to i32
  %59 = icmp eq i32 %53, %58
  br label %60

60:                                               ; preds = %48, %45
  %61 = phi i1 [ false, %45 ], [ %59, %48 ]
  call void @_ZN11strvcfentryD2Ev(ptr noundef nonnull align 8 dereferenceable(420) %16) #6
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %15) #6
  br i1 %61, label %62, label %70

62:                                               ; preds = %60
  store i8 1, ptr %13, align 1, !tbaa !13
  %63 = load i64, ptr %14, align 8, !tbaa !11
  %64 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %63) #6
  %65 = getelementptr inbounds %struct.strsimul, ptr %64, i32 0, i32 3
  store i8 1, ptr %65, align 2, !tbaa !39
  br label %88

66:                                               ; preds = %40
  %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 @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %15) #6
  br label %92

70:                                               ; preds = %60
  %71 = load i64, ptr %14, align 8, !tbaa !11
  %72 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %71) #6
  call void @_ZN8strsimulC2ERKS_(ptr noundef nonnull align 8 dereferenceable(84) %19, ptr noundef nonnull align 8 dereferenceable(84) %72)
  %73 = load i64, ptr %11, align 8, !tbaa !11
  %74 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %73) #6
  invoke void @_ZN11strvcfentryC2ERKS_(ptr noundef nonnull align 8 dereferenceable(420) %20, ptr noundef nonnull align 8 dereferenceable(420) %74)
          to label %75 unwind label %83

75:                                               ; preds = %70
  %76 = load i32, ptr %6, align 4, !tbaa !9
  %77 = mul nsw i32 %76, 100
  %78 = call noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef %19, ptr noundef %20, i32 noundef %77)
  call void @_ZN11strvcfentryD2Ev(ptr noundef nonnull align 8 dereferenceable(420) %20) #6
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %19) #6
  br i1 %78, label %79, label %87

79:                                               ; preds = %75
  store i8 1, ptr %13, align 1, !tbaa !13
  %80 = load i64, ptr %14, align 8, !tbaa !11
  %81 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %80) #6
  %82 = getelementptr inbounds %struct.strsimul, ptr %81, i32 0, i32 4
  store i8 1, ptr %82, align 1, !tbaa !40
  br label %87

83:                                               ; preds = %70
  %84 = landingpad { ptr, i32 }
          cleanup
  %85 = extractvalue { ptr, i32 } %84, 0
  store ptr %85, ptr %17, align 8
  %86 = extractvalue { ptr, i32 } %84, 1
  store i32 %86, ptr %18, align 4
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %19) #6
  br label %92

87:                                               ; preds = %79, %75
  br label %88

88:                                               ; preds = %87, %62
  br label %89

89:                                               ; preds = %88
  %90 = load i64, ptr %14, align 8, !tbaa !11
  %91 = add i64 %90, 1
  store i64 %91, ptr %14, align 8, !tbaa !11
  br label %35, !llvm.loop !41

92:                                               ; preds = %83, %66
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  br label %239

93:                                               ; preds = %39
  %94 = load i8, ptr %13, align 1, !tbaa !13, !range !43, !noundef !44
  %95 = trunc i8 %94 to i1
  br i1 %95, label %99, label %96

96:                                               ; preds = %93
  %97 = load i32, ptr %8, align 4, !tbaa !9
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr %8, align 4, !tbaa !9
  br label %99

99:                                               ; preds = %96, %93
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #6
  br label %100

100:                                              ; preds = %99
  %101 = load i64, ptr %11, align 8, !tbaa !11
  %102 = add i64 %101, 1
  store i64 %102, ptr %11, align 8, !tbaa !11
  br label %29, !llvm.loop !45

103:                                              ; preds = %33
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  store i32 0, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #6
  store i32 0, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #6
  store i32 0, ptr %23, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #6
  store i32 0, ptr %24, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #6
  store i32 0, ptr %25, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #6
  store i32 0, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #6
  store i8 0, ptr %27, align 1, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #6
  store i64 0, ptr %28, align 8, !tbaa !11
  br label %104

104:                                              ; preds = %195, %103
  %105 = load i64, ptr %28, align 8, !tbaa !11
  %106 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  %107 = icmp ult i64 %105, %106
  br i1 %107, label %109, label %108

108:                                              ; preds = %104
  store i32 8, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  br label %198

109:                                              ; preds = %104
  %110 = load i64, ptr %28, align 8, !tbaa !11
  %111 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %110) #6
  %112 = getelementptr inbounds %struct.strsimul, ptr %111, i32 0, i32 3
  %113 = load i8, ptr %112, align 2, !tbaa !39, !range !43, !noundef !44
  %114 = trunc i8 %113 to i1
  br i1 %114, label %115, label %139

115:                                              ; preds = %109
  %116 = load i32, ptr %10, align 4, !tbaa !9
  %117 = add nsw i32 %116, 1
  store i32 %117, ptr %10, align 4, !tbaa !9
  %118 = load i64, ptr %28, align 8, !tbaa !11
  %119 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %118) #6
  %120 = getelementptr inbounds %struct.strsimul, ptr %119, i32 0, i32 2
  %121 = load i16, ptr %120, align 8, !tbaa !15
  %122 = sext i16 %121 to i32
  %123 = icmp eq i32 %122, 0
  br i1 %123, label %124, label %127

124:                                              ; preds = %115
  %125 = load i32, ptr %21, align 4, !tbaa !9
  %126 = add nsw i32 %125, 1
  store i32 %126, ptr %21, align 4, !tbaa !9
  br label %138

127:                                              ; preds = %115
  %128 = load i64, ptr %28, align 8, !tbaa !11
  %129 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %128) #6
  %130 = getelementptr inbounds %struct.strsimul, ptr %129, i32 0, i32 2
  %131 = load i16, ptr %130, align 8, !tbaa !15
  %132 = sext i16 %131 to i32
  %133 = icmp eq i32 %132, 4
  br i1 %133, label %134, label %137

134:                                              ; preds = %127
  store i8 1, ptr %27, align 1, !tbaa !13
  %135 = load i32, ptr %24, align 4, !tbaa !9
  %136 = add nsw i32 %135, 1
  store i32 %136, ptr %24, align 4, !tbaa !9
  br label %137

137:                                              ; preds = %134, %127
  br label %138

138:                                              ; preds = %137, %124
  br label %194

139:                                              ; preds = %109
  %140 = load i64, ptr %28, align 8, !tbaa !11
  %141 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %140) #6
  %142 = getelementptr inbounds %struct.strsimul, ptr %141, i32 0, i32 4
  %143 = load i8, ptr %142, align 1, !tbaa !40, !range !43, !noundef !44
  %144 = trunc i8 %143 to i1
  br i1 %144, label %145, label %169

145:                                              ; preds = %139
  %146 = load i32, ptr %9, align 4, !tbaa !9
  %147 = add nsw i32 %146, 1
  store i32 %147, ptr %9, align 4, !tbaa !9
  %148 = load i64, ptr %28, align 8, !tbaa !11
  %149 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %148) #6
  %150 = getelementptr inbounds %struct.strsimul, ptr %149, i32 0, i32 2
  %151 = load i16, ptr %150, align 8, !tbaa !15
  %152 = sext i16 %151 to i32
  %153 = icmp eq i32 %152, 0
  br i1 %153, label %154, label %157

154:                                              ; preds = %145
  %155 = load i32, ptr %22, align 4, !tbaa !9
  %156 = add nsw i32 %155, 1
  store i32 %156, ptr %22, align 4, !tbaa !9
  br label %168

157:                                              ; preds = %145
  %158 = load i64, ptr %28, align 8, !tbaa !11
  %159 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %158) #6
  %160 = getelementptr inbounds %struct.strsimul, ptr %159, i32 0, i32 2
  %161 = load i16, ptr %160, align 8, !tbaa !15
  %162 = sext i16 %161 to i32
  %163 = icmp eq i32 %162, 4
  br i1 %163, label %164, label %167

164:                                              ; preds = %157
  store i8 1, ptr %27, align 1, !tbaa !13
  %165 = load i32, ptr %25, align 4, !tbaa !9
  %166 = add nsw i32 %165, 1
  store i32 %166, ptr %25, align 4, !tbaa !9
  br label %167

167:                                              ; preds = %164, %157
  br label %168

168:                                              ; preds = %167, %154
  br label %193

169:                                              ; preds = %139
  %170 = load i32, ptr %7, align 4, !tbaa !9
  %171 = add nsw i32 %170, 1
  store i32 %171, ptr %7, align 4, !tbaa !9
  %172 = load i64, ptr %28, align 8, !tbaa !11
  %173 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %172) #6
  %174 = getelementptr inbounds %struct.strsimul, ptr %173, i32 0, i32 2
  %175 = load i16, ptr %174, align 8, !tbaa !15
  %176 = sext i16 %175 to i32
  %177 = icmp eq i32 %176, 0
  br i1 %177, label %178, label %181

178:                                              ; preds = %169
  %179 = load i32, ptr %23, align 4, !tbaa !9
  %180 = add nsw i32 %179, 1
  store i32 %180, ptr %23, align 4, !tbaa !9
  br label %192

181:                                              ; preds = %169
  %182 = load i64, ptr %28, align 8, !tbaa !11
  %183 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %182) #6
  %184 = getelementptr inbounds %struct.strsimul, ptr %183, i32 0, i32 2
  %185 = load i16, ptr %184, align 8, !tbaa !15
  %186 = sext i16 %185 to i32
  %187 = icmp eq i32 %186, 4
  br i1 %187, label %188, label %191

188:                                              ; preds = %181
  store i8 1, ptr %27, align 1, !tbaa !13
  %189 = load i32, ptr %26, align 4, !tbaa !9
  %190 = add nsw i32 %189, 1
  store i32 %190, ptr %26, align 4, !tbaa !9
  br label %191

191:                                              ; preds = %188, %181
  br label %192

192:                                              ; preds = %191, %178
  br label %193

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

194:                                              ; preds = %193, %138
  br label %195

195:                                              ; preds = %194
  %196 = load i64, ptr %28, align 8, !tbaa !11
  %197 = add i64 %196, 1
  store i64 %197, ptr %28, align 8, !tbaa !11
  br label %104, !llvm.loop !46

198:                                              ; preds = %108
  %199 = load i8, ptr %27, align 1, !tbaa !13, !range !43, !noundef !44
  %200 = trunc i8 %199 to i1
  br i1 %200, label %201, label %222

201:                                              ; preds = %198
  %202 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.27)
  %203 = load i32, ptr %21, align 4, !tbaa !9
  %204 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %202, i32 noundef %203)
  %205 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %204, ptr noundef @.str.16)
  %206 = load i32, ptr %22, align 4, !tbaa !9
  %207 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %205, i32 noundef %206)
  %208 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %207, ptr noundef @.str.16)
  %209 = load i32, ptr %23, align 4, !tbaa !9
  %210 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %208, i32 noundef %209)
  %211 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %210, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %212 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.28)
  %213 = load i32, ptr %24, align 4, !tbaa !9
  %214 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %212, i32 noundef %213)
  %215 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %214, ptr noundef @.str.16)
  %216 = load i32, ptr %25, align 4, !tbaa !9
  %217 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %215, i32 noundef %216)
  %218 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %217, ptr noundef @.str.16)
  %219 = load i32, ptr %26, align 4, !tbaa !9
  %220 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %218, i32 noundef %219)
  %221 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %220, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %222

222:                                              ; preds = %201, %198
  %223 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef @.str.29)
  %224 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #6
  %225 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEm(ptr noundef nonnull align 8 dereferenceable(8) %223, i64 noundef %224)
  %226 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %225, ptr noundef @.str.22)
  %227 = load i32, ptr %10, align 4, !tbaa !9
  %228 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %226, i32 noundef %227)
  %229 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %228, ptr noundef @.str.22)
  %230 = load i32, ptr %9, align 4, !tbaa !9
  %231 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %229, i32 noundef %230)
  %232 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %231, ptr noundef @.str.22)
  %233 = load i32, ptr %7, align 4, !tbaa !9
  %234 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %232, i32 noundef %233)
  %235 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %234, ptr noundef @.str.22)
  %236 = load i32, ptr %8, align 4, !tbaa !9
  %237 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %235, i32 noundef %236)
  %238 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %237, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  ret void

239:                                              ; preds = %92
  %240 = load ptr, ptr %17, align 8
  %241 = load i32, ptr %18, align 4
  %242 = insertvalue { ptr, i32 } poison, ptr %240, 0
  %243 = insertvalue { ptr, i32 } %242, i32 %241, 1
  resume { ptr, i32 } %243
}

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

!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 = !{!"long", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"bool", !7, i64 0}
!15 = !{!16, !20, i64 80}
!16 = !{!"_ZTS8strsimul", !17, i64 0, !17, i64 40, !20, i64 80, !14, i64 82, !14, i64 83}
!17 = !{!"_ZTS13strcoordinate", !10, i64 0, !18, i64 8}
!18 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !19, i64 0, !12, i64 8, !7, i64 16}
!19 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!20 = !{!"short", !7, i64 0}
!21 = !{!22, !20, i64 112}
!22 = !{!"_ZTS11strvcfentry", !18, i64 0, !17, i64 32, !17, i64 72, !20, i64 112, !23, i64 120, !10, i64 168, !10, i64 172, !31, i64 176, !35, i64 200, !36, i64 204, !18, i64 216, !10, i64 248, !18, i64 256, !37, i64 288, !18, i64 296, !10, i64 328, !38, i64 336, !36, i64 400, !36, i64 408, !10, i64 416}
!23 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEE", !24, i64 0}
!24 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE", !25, i64 0}
!25 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE13_Rb_tree_implISC_Lb1EEE", !26, i64 0, !28, i64 8}
!26 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !27, i64 0}
!27 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!28 = !{!"_ZTSSt15_Rb_tree_header", !29, i64 0, !12, i64 32}
!29 = !{!"_ZTSSt18_Rb_tree_node_base", !30, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!30 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!31 = !{!"_ZTSSt6vectorIiSaIiEE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!35 = !{!"_ZTSSt4pairIbbE", !14, i64 0, !14, i64 1}
!36 = !{!"_ZTSSt4pairIiiE", !10, i64 0, !10, i64 4}
!37 = !{!"double", !7, i64 0}
!38 = !{!"_ZTSSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_E", !18, i64 0, !18, i64 32}
!39 = !{!16, !14, i64 82}
!40 = !{!16, !14, i64 83}
!41 = distinct !{!41, !42}
!42 = !{!"llvm.loop.mustprogress"}
!43 = !{i8 0, i8 2}
!44 = !{}
!45 = distinct !{!45, !42}
!46 = distinct !{!46, !42}


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

%"class.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 }
%struct.strsimul = type <{ %struct.strcoordinate, %struct.strcoordinate, i16, i8, i8, [4 x i8] }>
%struct.strcoordinate = type { i32, %"class.std::__cxx11::basic_string" }
%"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.strvcfentry = type <{ %"class.std::__cxx11::basic_string", %struct.strcoordinate, %struct.strcoordinate, i16, [6 x i8], %"class.std::map", i32, i32, %"class.std::vector.7", %"struct.std::pair", [2 x i8], %"struct.std::pair.12", [4 x i8], %"class.std::__cxx11::basic_string", i32, [4 x i8], %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", i32, [4 x i8], %"struct.std::pair.14", %"struct.std::pair.12", %"struct.std::pair.12", i32, [4 x 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 }
%"class.std::vector.7" = type { %"struct.std::_Vector_base.8" }
%"struct.std::_Vector_base.8" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::pair" = type { i8, i8 }
%"struct.std::pair.14" = type { %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string" }
%"struct.std::pair.12" = type { i32, i32 }

@_ZSt4cout = external global %"class.std::basic_ostream", align 8
@.str.16 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [25 x i8], align 1

declare i32 @__gxx_personality_v0(...)

; 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 #0

; 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 #1 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)) #0

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #4 align 2

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
define dso_local void @_Z16eval_calls_paperSt6vectorI11strvcfentrySaIS0_EES_I8strsimulSaIS3_EEi(ptr noundef nonnull %0, ptr noundef %1, i32 noundef %2) local_unnamed_addr #1 personality ptr @__gxx_personality_v0 {
  %4 = alloca %struct.strsimul, align 8
  %5 = alloca %struct.strvcfentry, align 8
  %6 = alloca %struct.strsimul, align 8
  %7 = alloca %struct.strvcfentry, align 8
  %8 = tail call noundef i64 @_ZNKSt6vectorI11strvcfentrySaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #5
  %.not = icmp eq i64 %8, 0
  br i1 %.not, label %.preheader, label %.preheader81.lr.ph

.preheader81.lr.ph:                               ; preds = %3
  %9 = mul nsw i32 %2, 100
  br label %.preheader81

.preheader81:                                     ; preds = %.preheader81.lr.ph, %._crit_edge
  %.06590 = phi i64 [ 0, %.preheader81.lr.ph ], [ %15, %._crit_edge ]
  %.07089 = phi i32 [ 0, %.preheader81.lr.ph ], [ %spec.select, %._crit_edge ]
  %10 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #5
  %.not115 = icmp eq i64 %10, 0
  br i1 %.not115, label %._crit_edge, label %.lr.ph

.preheader:                                       ; preds = %._crit_edge, %3
  %.070.lcssa = phi i32 [ 0, %3 ], [ %spec.select, %._crit_edge ]
  %11 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #5
  %.not116 = icmp eq i64 %11, 0
  br i1 %.not116, label %._crit_edge104.thread, label %.lr.ph103

._crit_edge:                                      ; preds = %45, %.preheader81
  %.063.lcssa = phi i8 [ 0, %.preheader81 ], [ %.164, %45 ]
  %12 = and i8 %.063.lcssa, 1
  %13 = xor i8 %12, 1
  %14 = zext nneg i8 %13 to i32
  %spec.select = add nuw nsw i32 %.07089, %14
  %15 = add nuw i64 %.06590, 1
  %16 = call noundef i64 @_ZNKSt6vectorI11strvcfentrySaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #5
  %17 = icmp ult i64 %15, %16
  br i1 %17, label %.preheader81, label %.preheader, !llvm.loop !5

.lr.ph:                                           ; preds = %.preheader81, %45
  %.06287 = phi i64 [ %46, %45 ], [ 0, %.preheader81 ]
  %.06386 = phi i8 [ %.164, %45 ], [ 0, %.preheader81 ]
  %18 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.06287) #5
  call void @_ZN8strsimulC2ERKS_(ptr noundef nonnull align 8 dereferenceable(84) %4, ptr noundef nonnull align 8 dereferenceable(84) %18)
  %19 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %.06590) #5
  invoke void @_ZN11strvcfentryC2ERKS_(ptr noundef nonnull align 8 dereferenceable(420) %5, ptr noundef nonnull align 8 dereferenceable(420) %19)
          to label %20 unwind label %33

20:                                               ; preds = %.lr.ph
  %21 = call noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef nonnull %4, ptr noundef nonnull %5, i32 noundef %2)
  br i1 %21, label %22, label %.critedge

22:                                               ; preds = %20
  %23 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.06287) #5
  %24 = getelementptr inbounds i8, ptr %23, i64 80
  %25 = load i16, ptr %24, align 8, !tbaa !7
  %26 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %.06590) #5
  %27 = getelementptr inbounds i8, ptr %26, i64 112
  %28 = load i16, ptr %27, align 8, !tbaa !19
  %29 = icmp eq i16 %25, %28
  call void @_ZN11strvcfentryD2Ev(ptr noundef nonnull align 8 dereferenceable(420) %5) #5
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %4) #5
  br i1 %29, label %30, label %35

30:                                               ; preds = %22
  %31 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.06287) #5
  %32 = getelementptr inbounds i8, ptr %31, i64 82
  store i8 1, ptr %32, align 2, !tbaa !37
  br label %45

33:                                               ; preds = %.lr.ph
  %34 = landingpad { ptr, i32 }
          cleanup
  br label %49

.critedge:                                        ; preds = %20
  call void @_ZN11strvcfentryD2Ev(ptr noundef nonnull align 8 dereferenceable(420) %5) #5
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %4) #5
  br label %35

35:                                               ; preds = %.critedge, %22
  %36 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.06287) #5
  call void @_ZN8strsimulC2ERKS_(ptr noundef nonnull align 8 dereferenceable(84) %6, ptr noundef nonnull align 8 dereferenceable(84) %36)
  %37 = call noundef nonnull align 8 dereferenceable(420) ptr @_ZNSt6vectorI11strvcfentrySaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %.06590) #5
  invoke void @_ZN11strvcfentryC2ERKS_(ptr noundef nonnull align 8 dereferenceable(420) %7, ptr noundef nonnull align 8 dereferenceable(420) %37)
          to label %38 unwind label %43

38:                                               ; preds = %35
  %39 = call noundef zeroext i1 @_Z18match_coords_paper8strsimul11strvcfentryi(ptr noundef nonnull %6, ptr noundef nonnull %7, i32 noundef %9)
  call void @_ZN11strvcfentryD2Ev(ptr noundef nonnull align 8 dereferenceable(420) %7) #5
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %6) #5
  br i1 %39, label %40, label %45

40:                                               ; preds = %38
  %41 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.06287) #5
  %42 = getelementptr inbounds i8, ptr %41, i64 83
  store i8 1, ptr %42, align 1, !tbaa !38
  br label %45

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

45:                                               ; preds = %30, %40, %38
  %.164 = phi i8 [ 1, %30 ], [ 1, %40 ], [ %.06386, %38 ]
  %46 = add nuw i64 %.06287, 1
  %47 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #5
  %48 = icmp ult i64 %46, %47
  br i1 %48, label %.lr.ph, label %._crit_edge, !llvm.loop !39

49:                                               ; preds = %43, %33
  %.sink = phi ptr [ %6, %43 ], [ %4, %33 ]
  %.pn = phi { ptr, i32 } [ %44, %43 ], [ %34, %33 ]
  call void @_ZN8strsimulD2Ev(ptr noundef nonnull align 8 dereferenceable(84) %.sink) #5
  resume { ptr, i32 } %.pn

._crit_edge104:                                   ; preds = %97
  br i1 %.1, label %101, label %._crit_edge104.thread

.lr.ph103:                                        ; preds = %.preheader, %97
  %.0102 = phi i64 [ %98, %97 ], [ 0, %.preheader ]
  %.047101 = phi i1 [ %.1, %97 ], [ false, %.preheader ]
  %.048100 = phi i32 [ %.149, %97 ], [ 0, %.preheader ]
  %.05099 = phi i32 [ %.151, %97 ], [ 0, %.preheader ]
  %.05298 = phi i32 [ %.153, %97 ], [ 0, %.preheader ]
  %.05497 = phi i32 [ %.155, %97 ], [ 0, %.preheader ]
  %.05696 = phi i32 [ %.157, %97 ], [ 0, %.preheader ]
  %.05895 = phi i32 [ %.159, %97 ], [ 0, %.preheader ]
  %.06694 = phi i32 [ %.167, %97 ], [ 0, %.preheader ]
  %.06893 = phi i32 [ %.169, %97 ], [ 0, %.preheader ]
  %.07292 = phi i32 [ %.173, %97 ], [ 0, %.preheader ]
  %50 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %51 = getelementptr inbounds i8, ptr %50, i64 82
  %52 = load i8, ptr %51, align 2, !tbaa !37, !range !40, !noundef !41
  %53 = trunc nuw i8 %52 to i1
  br i1 %53, label %54, label %68

54:                                               ; preds = %.lr.ph103
  %55 = add nsw i32 %.06694, 1
  %56 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %57 = getelementptr inbounds i8, ptr %56, i64 80
  %58 = load i16, ptr %57, align 8, !tbaa !7
  %59 = icmp eq i16 %58, 0
  br i1 %59, label %60, label %62

60:                                               ; preds = %54
  %61 = add nsw i32 %.05895, 1
  br label %97

62:                                               ; preds = %54
  %63 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %64 = getelementptr inbounds i8, ptr %63, i64 80
  %65 = load i16, ptr %64, align 8, !tbaa !7
  %66 = icmp eq i16 %65, 4
  %67 = zext i1 %66 to i32
  %spec.select75 = add nsw i32 %.05298, %67
  %spec.select76 = select i1 %66, i1 true, i1 %.047101
  br label %97

68:                                               ; preds = %.lr.ph103
  %69 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %70 = getelementptr inbounds i8, ptr %69, i64 83
  %71 = load i8, ptr %70, align 1, !tbaa !38, !range !40, !noundef !41
  %72 = trunc nuw i8 %71 to i1
  %73 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %74 = getelementptr inbounds i8, ptr %73, i64 80
  %75 = load i16, ptr %74, align 8, !tbaa !7
  %76 = icmp eq i16 %75, 0
  br i1 %72, label %77, label %87

77:                                               ; preds = %68
  %78 = add nsw i32 %.06893, 1
  br i1 %76, label %79, label %81

79:                                               ; preds = %77
  %80 = add nsw i32 %.05696, 1
  br label %97

81:                                               ; preds = %77
  %82 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %83 = getelementptr inbounds i8, ptr %82, i64 80
  %84 = load i16, ptr %83, align 8, !tbaa !7
  %85 = icmp eq i16 %84, 4
  %86 = zext i1 %85 to i32
  %spec.select77 = add nsw i32 %.05099, %86
  %spec.select78 = select i1 %85, i1 true, i1 %.047101
  br label %97

87:                                               ; preds = %68
  %88 = add nsw i32 %.07292, 1
  br i1 %76, label %89, label %91

89:                                               ; preds = %87
  %90 = add nsw i32 %.05497, 1
  br label %97

91:                                               ; preds = %87
  %92 = call noundef nonnull align 8 dereferenceable(84) ptr @_ZNSt6vectorI8strsimulSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %.0102) #5
  %93 = getelementptr inbounds i8, ptr %92, i64 80
  %94 = load i16, ptr %93, align 8, !tbaa !7
  %95 = icmp eq i16 %94, 4
  %96 = zext i1 %95 to i32
  %spec.select79 = add nsw i32 %.048100, %96
  %spec.select80 = select i1 %95, i1 true, i1 %.047101
  br label %97

97:                                               ; preds = %91, %81, %62, %60, %89, %79
  %.173 = phi i32 [ %.07292, %60 ], [ %.07292, %79 ], [ %88, %89 ], [ %.07292, %62 ], [ %.07292, %81 ], [ %88, %91 ]
  %.169 = phi i32 [ %.06893, %60 ], [ %78, %79 ], [ %.06893, %89 ], [ %.06893, %62 ], [ %78, %81 ], [ %.06893, %91 ]
  %.167 = phi i32 [ %55, %60 ], [ %.06694, %79 ], [ %.06694, %89 ], [ %55, %62 ], [ %.06694, %81 ], [ %.06694, %91 ]
  %.159 = phi i32 [ %61, %60 ], [ %.05895, %79 ], [ %.05895, %89 ], [ %.05895, %62 ], [ %.05895, %81 ], [ %.05895, %91 ]
  %.157 = phi i32 [ %.05696, %60 ], [ %80, %79 ], [ %.05696, %89 ], [ %.05696, %62 ], [ %.05696, %81 ], [ %.05696, %91 ]
  %.155 = phi i32 [ %.05497, %60 ], [ %.05497, %79 ], [ %90, %89 ], [ %.05497, %62 ], [ %.05497, %81 ], [ %.05497, %91 ]
  %.153 = phi i32 [ %.05298, %60 ], [ %.05298, %79 ], [ %.05298, %89 ], [ %spec.select75, %62 ], [ %.05298, %81 ], [ %.05298, %91 ]
  %.151 = phi i32 [ %.05099, %60 ], [ %.05099, %79 ], [ %.05099, %89 ], [ %.05099, %62 ], [ %spec.select77, %81 ], [ %.05099, %91 ]
  %.149 = phi i32 [ %.048100, %60 ], [ %.048100, %79 ], [ %.048100, %89 ], [ %.048100, %62 ], [ %.048100, %81 ], [ %spec.select79, %91 ]
  %.1 = phi i1 [ %.047101, %60 ], [ %.047101, %79 ], [ %.047101, %89 ], [ %spec.select76, %62 ], [ %spec.select78, %81 ], [ %spec.select80, %91 ]
  %98 = add nuw i64 %.0102, 1
  %99 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #5
  %100 = icmp ult i64 %98, %99
  br i1 %100, label %.lr.ph103, label %._crit_edge104, !llvm.loop !42

101:                                              ; preds = %._crit_edge104
  %102 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.27)
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %102, i32 noundef %.159)
  %104 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %103, ptr noundef nonnull @.str.16)
  %105 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %104, i32 noundef %.157)
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %105, ptr noundef nonnull @.str.16)
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %106, i32 noundef %.155)
  %108 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %107, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.28)
  %110 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %109, i32 noundef %.153)
  %111 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %110, ptr noundef nonnull @.str.16)
  %112 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %111, i32 noundef %.151)
  %113 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %112, ptr noundef nonnull @.str.16)
  %114 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %113, i32 noundef %.149)
  %115 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %114, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  br label %._crit_edge104.thread

._crit_edge104.thread:                            ; preds = %.preheader, %101, %._crit_edge104
  %.066.lcssa129 = phi i32 [ %.167, %101 ], [ %.167, %._crit_edge104 ], [ 0, %.preheader ]
  %.068.lcssa128 = phi i32 [ %.169, %101 ], [ %.169, %._crit_edge104 ], [ 0, %.preheader ]
  %.072.lcssa127 = phi i32 [ %.173, %101 ], [ %.173, %._crit_edge104 ], [ 0, %.preheader ]
  %116 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cout, ptr noundef nonnull @.str.29)
  %117 = call noundef i64 @_ZNKSt6vectorI8strsimulSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %1) #5
  %118 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEm(ptr noundef nonnull align 8 dereferenceable(8) %116, i64 noundef %117)
  %119 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %118, ptr noundef nonnull @.str.22)
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %119, i32 noundef %.066.lcssa129)
  %121 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %120, ptr noundef nonnull @.str.22)
  %122 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %121, i32 noundef %.068.lcssa128)
  %123 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %122, ptr noundef nonnull @.str.22)
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %123, i32 noundef %.072.lcssa127)
  %125 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull @.str.22)
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %125, i32 noundef %.070.lcssa)
  %127 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %126, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
  ret void
}

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!8, !17, i64 80}
!8 = !{!"_ZTS8strsimul", !9, i64 0, !9, i64 40, !17, i64 80, !18, i64 82, !18, i64 83}
!9 = !{!"_ZTS13strcoordinate", !10, i64 0, !13, i64 8}
!10 = !{!"int", !11, i64 0}
!11 = !{!"omnipotent char", !12, i64 0}
!12 = !{!"Simple C++ TBAA"}
!13 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !14, i64 0, !16, i64 8, !11, i64 16}
!14 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !15, i64 0}
!15 = !{!"any pointer", !11, i64 0}
!16 = !{!"long", !11, i64 0}
!17 = !{!"short", !11, i64 0}
!18 = !{!"bool", !11, i64 0}
!19 = !{!20, !17, i64 112}
!20 = !{!"_ZTS11strvcfentry", !13, i64 0, !9, i64 32, !9, i64 72, !17, i64 112, !21, i64 120, !10, i64 168, !10, i64 172, !29, i64 176, !33, i64 200, !34, i64 204, !13, i64 216, !10, i64 248, !13, i64 256, !35, i64 288, !13, i64 296, !10, i64 328, !36, i64 336, !34, i64 400, !34, i64 408, !10, i64 416}
!21 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St4lessIS5_ESaISt4pairIKS5_S5_EEE", !22, i64 0}
!22 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE", !23, i64 0}
!23 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_S5_ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE13_Rb_tree_implISC_Lb1EEE", !24, i64 0, !26, i64 8}
!24 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !25, i64 0}
!25 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!26 = !{!"_ZTSSt15_Rb_tree_header", !27, i64 0, !16, i64 32}
!27 = !{!"_ZTSSt18_Rb_tree_node_base", !28, i64 0, !15, i64 8, !15, i64 16, !15, i64 24}
!28 = !{!"_ZTSSt14_Rb_tree_color", !11, i64 0}
!29 = !{!"_ZTSSt6vectorIiSaIiEE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !15, i64 0, !15, i64 8, !15, i64 16}
!33 = !{!"_ZTSSt4pairIbbE", !18, i64 0, !18, i64 1}
!34 = !{!"_ZTSSt4pairIiiE", !10, i64 0, !10, i64 4}
!35 = !{!"double", !11, i64 0}
!36 = !{!"_ZTSSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_E", !13, i64 0, !13, i64 32}
!37 = !{!8, !18, i64 82}
!38 = !{!8, !18, i64 83}
!39 = distinct !{!39, !6}
!40 = !{i8 0, i8 2}
!41 = !{}
!42 = distinct !{!42, !6}


; Effective O3 passes: AggressiveInstCombinePass,CorrelatedValuePropagationPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass