; LLVM IR from Tiramisu-Compiler/tiramisu :: utils/code_generator/tiramisu_code_generator.ll (ZN13tiramisu_code13write_buffersEv)

; 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::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%class.tiramisu_code = type { %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::vector.28", %"class.std::vector", %"class.std::vector.3", %"class.std::vector.18", %"class.std::vector.8", i32, %"class.std::basic_ofstream" }
%"class.std::vector.28" = type { %"struct.std::_Vector_base.29" }
%"struct.std::_Vector_base.29" = type { %"struct.std::_Vector_base<constant *, std::allocator<constant *>>::_Vector_impl" }
%"struct.std::_Vector_base<constant *, std::allocator<constant *>>::_Vector_impl" = type { %"struct.std::_Vector_base<constant *, std::allocator<constant *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<constant *, std::allocator<constant *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<variable *, std::allocator<variable *>>::_Vector_impl" }
%"struct.std::_Vector_base<variable *, std::allocator<variable *>>::_Vector_impl" = type { %"struct.std::_Vector_base<variable *, std::allocator<variable *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<variable *, std::allocator<variable *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<computation *, std::allocator<computation *>>::_Vector_impl" }
%"struct.std::_Vector_base<computation *, std::allocator<computation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<computation *, std::allocator<computation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<computation *, std::allocator<computation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<input *, std::allocator<input *>>::_Vector_impl" }
%"struct.std::_Vector_base<input *, std::allocator<input *>>::_Vector_impl" = type { %"struct.std::_Vector_base<input *, std::allocator<input *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<input *, std::allocator<input *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<buffer *, std::allocator<buffer *>>::_Vector_impl" }
%"struct.std::_Vector_base<buffer *, std::allocator<buffer *>>::_Vector_impl" = type { %"struct.std::_Vector_base<buffer *, std::allocator<buffer *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<buffer *, std::allocator<buffer *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::basic_ofstream" = type { %"class.std::basic_ostream.base", %"class.std::basic_filebuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::basic_filebuf" = type { %"class.std::basic_streambuf", %union.pthread_mutex_t, %"class.std::__basic_file", i32, %struct.__mbstate_t, %struct.__mbstate_t, %struct.__mbstate_t, ptr, i64, i8, i8, i8, i8, ptr, ptr, i8, ptr, ptr, i64, ptr, ptr }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%"class.std::__basic_file" = type <{ ptr, i8, [7 x i8] }>
%struct.__mbstate_t = type { i32, %union.anon.33 }
%union.anon.33 = type { i32 }
%"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.buffer = type { %"class.std::__cxx11::basic_string", i32, %"class.std::vector.23", %"class.std::vector.13" }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = type { %"struct.std::_Vector_base<computation_abstract *, std::allocator<computation_abstract *>>::_Vector_impl" }
%"struct.std::_Vector_base<computation_abstract *, std::allocator<computation_abstract *>>::_Vector_impl" = type { %"struct.std::_Vector_base<computation_abstract *, std::allocator<computation_abstract *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<computation_abstract *, std::allocator<computation_abstract *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.computation_abstract = type { %"class.std::__cxx11::basic_string", %"class.std::vector" }
%class.variable = type { %"class.std::__cxx11::basic_string", i32, i32 }

@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [4 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: mustprogress nounwind uwtable
declare void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #1 align 2

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(88), i1 noundef zeroext) #3 align 2

; 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)) #3 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef, i32 noundef, ptr noundef) #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef, ptr noundef) #3

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN13tiramisu_code13write_buffersEv(ptr noundef nonnull align 8 dereferenceable(736) %0) #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca %"class.std::__cxx11::basic_string", align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %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 ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca %"class.std::__cxx11::basic_string", align 8
  %21 = alloca %"class.std::__cxx11::basic_string", align 8
  %22 = alloca %"class.std::__cxx11::basic_string", align 8
  %23 = alloca i32, align 4
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %25 = load ptr, ptr %2, align 8
  %26 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 8
  %27 = load i32, ptr %26, align 8, !tbaa !9
  %28 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %27, ptr noundef %28)
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #4
  store i32 0, ptr %3, align 4, !tbaa !44
  br label %29

29:                                               ; preds = %151, %1
  %30 = load i32, ptr %3, align 4, !tbaa !44
  %31 = sext i32 %30 to i64
  %32 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %33 = call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %32) #4
  %34 = icmp ult i64 %31, %33
  br i1 %34, label %36, label %35

35:                                               ; preds = %29
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  br label %154

36:                                               ; preds = %29
  %37 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 8
  %38 = load i32, ptr %37, align 8, !tbaa !9
  %39 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %38, ptr noundef %39)
  call void @llvm.lifetime.start.p0(i64 32, ptr %4) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %5) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %6) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %7) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %8) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %11) #4
  %40 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %41 = load i32, ptr %3, align 4, !tbaa !44
  %42 = sext i32 %41 to i64
  %43 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %40, i64 noundef %42) #4
  %44 = load ptr, ptr %43, align 8, !tbaa !5
  %45 = getelementptr inbounds %class.buffer, ptr %44, i32 0, i32 0
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef @.str.38, ptr noundef nonnull align 8 dereferenceable(32) %45)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %10, ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef @.str.25)
          to label %46 unwind label %89

46:                                               ; preds = %36
  %47 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %48 = load i32, ptr %3, align 4, !tbaa !44
  %49 = sext i32 %48 to i64
  %50 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %47, i64 noundef %49) #4
  %51 = load ptr, ptr %50, align 8, !tbaa !5
  %52 = getelementptr inbounds %class.buffer, ptr %51, i32 0, i32 0
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %52)
          to label %53 unwind label %93

53:                                               ; preds = %46
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %8, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef @.str.39)
          to label %54 unwind label %97

54:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #4
  %55 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %56 = load i32, ptr %3, align 4, !tbaa !44
  %57 = sext i32 %56 to i64
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %55, i64 noundef %57) #4
  %59 = load ptr, ptr %58, align 8, !tbaa !5
  invoke void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef nonnull align 8 dereferenceable(88) %59, i1 noundef zeroext false)
          to label %60 unwind label %101

60:                                               ; preds = %54
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #4
  %61 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %62 = load i32, ptr %3, align 4, !tbaa !44
  %63 = sext i32 %62 to i64
  %64 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %61, i64 noundef %63) #4
  %65 = load ptr, ptr %64, align 8, !tbaa !5
  invoke void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 8 dereferenceable(88) %65, i1 noundef zeroext false)
          to label %66 unwind label %105

66:                                               ; preds = %60
  %67 = call noundef i64 @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #4
  %68 = sub i64 %67, 2
  invoke void @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6substrEmm(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(32) %15, i64 noundef 1, i64 noundef %68)
          to label %69 unwind label %109

69:                                               ; preds = %66
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %7, ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %70 unwind label %113

70:                                               ; preds = %69
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %6, ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef @.str.40)
          to label %71 unwind label %117

71:                                               ; preds = %70
  %72 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 0
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %5, ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull align 8 dereferenceable(32) %72)
          to label %73 unwind label %121

73:                                               ; preds = %71
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %4, ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef @.str.7)
          to label %74 unwind label %125

74:                                               ; preds = %73
  %75 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %76 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %75, ptr noundef nonnull align 8 dereferenceable(32) %4)
          to label %77 unwind label %129

77:                                               ; preds = %74
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #4
  %78 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %79 = load i32, ptr %3, align 4, !tbaa !44
  %80 = sext i32 %79 to i64
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %78, i64 noundef %80) #4
  %82 = load ptr, ptr %81, align 8, !tbaa !5
  %83 = getelementptr inbounds %class.buffer, ptr %82, i32 0, i32 1
  %84 = load i32, ptr %83, align 8, !tbaa !45
  %85 = icmp eq i32 %84, 0
  br i1 %85, label %86, label %143

86:                                               ; preds = %77
  %87 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %88 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %87, ptr noundef @.str.41)
  br label %146

89:                                               ; preds = %36
  %90 = landingpad { ptr, i32 }
          cleanup
  %91 = extractvalue { ptr, i32 } %90, 0
  store ptr %91, ptr %12, align 8
  %92 = extractvalue { ptr, i32 } %90, 1
  store i32 %92, ptr %13, align 4
  br label %142

93:                                               ; preds = %46
  %94 = landingpad { ptr, i32 }
          cleanup
  %95 = extractvalue { ptr, i32 } %94, 0
  store ptr %95, ptr %12, align 8
  %96 = extractvalue { ptr, i32 } %94, 1
  store i32 %96, ptr %13, align 4
  br label %141

97:                                               ; preds = %53
  %98 = landingpad { ptr, i32 }
          cleanup
  %99 = extractvalue { ptr, i32 } %98, 0
  store ptr %99, ptr %12, align 8
  %100 = extractvalue { ptr, i32 } %98, 1
  store i32 %100, ptr %13, align 4
  br label %140

101:                                              ; preds = %54
  %102 = landingpad { ptr, i32 }
          cleanup
  %103 = extractvalue { ptr, i32 } %102, 0
  store ptr %103, ptr %12, align 8
  %104 = extractvalue { ptr, i32 } %102, 1
  store i32 %104, ptr %13, align 4
  br label %139

105:                                              ; preds = %60
  %106 = landingpad { ptr, i32 }
          cleanup
  %107 = extractvalue { ptr, i32 } %106, 0
  store ptr %107, ptr %12, align 8
  %108 = extractvalue { ptr, i32 } %106, 1
  store i32 %108, ptr %13, align 4
  br label %138

109:                                              ; preds = %66
  %110 = landingpad { ptr, i32 }
          cleanup
  %111 = extractvalue { ptr, i32 } %110, 0
  store ptr %111, ptr %12, align 8
  %112 = extractvalue { ptr, i32 } %110, 1
  store i32 %112, ptr %13, align 4
  br label %137

113:                                              ; preds = %69
  %114 = landingpad { ptr, i32 }
          cleanup
  %115 = extractvalue { ptr, i32 } %114, 0
  store ptr %115, ptr %12, align 8
  %116 = extractvalue { ptr, i32 } %114, 1
  store i32 %116, ptr %13, align 4
  br label %136

117:                                              ; preds = %70
  %118 = landingpad { ptr, i32 }
          cleanup
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %12, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %13, align 4
  br label %135

121:                                              ; preds = %71
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %12, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %13, align 4
  br label %134

125:                                              ; preds = %73
  %126 = landingpad { ptr, i32 }
          cleanup
  %127 = extractvalue { ptr, i32 } %126, 0
  store ptr %127, ptr %12, align 8
  %128 = extractvalue { ptr, i32 } %126, 1
  store i32 %128, ptr %13, align 4
  br label %133

129:                                              ; preds = %74
  %130 = landingpad { ptr, i32 }
          cleanup
  %131 = extractvalue { ptr, i32 } %130, 0
  store ptr %131, ptr %12, align 8
  %132 = extractvalue { ptr, i32 } %130, 1
  store i32 %132, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #4
  br label %133

133:                                              ; preds = %129, %125
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #4
  br label %134

134:                                              ; preds = %133, %121
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #4
  br label %135

135:                                              ; preds = %134, %117
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #4
  br label %136

136:                                              ; preds = %135, %113
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #4
  br label %137

137:                                              ; preds = %136, %109
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #4
  br label %138

138:                                              ; preds = %137, %105
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #4
  br label %139

139:                                              ; preds = %138, %101
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #4
  br label %140

140:                                              ; preds = %139, %97
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #4
  br label %141

141:                                              ; preds = %140, %93
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #4
  br label %142

142:                                              ; preds = %141, %89
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %8) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %7) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %5) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #4
  br label %310

143:                                              ; preds = %77
  %144 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %145 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %144, ptr noundef @.str.42)
  br label %146

146:                                              ; preds = %143, %86
  %147 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %148 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %147, ptr noundef @.str.31)
  %149 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %150 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 9
  call void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef %149, ptr noundef %150)
  br label %151

151:                                              ; preds = %146
  %152 = load i32, ptr %3, align 4, !tbaa !44
  %153 = add nsw i32 %152, 1
  store i32 %153, ptr %3, align 4, !tbaa !44
  br label %29, !llvm.loop !55

154:                                              ; preds = %35
  %155 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 8
  %156 = load i32, ptr %155, align 8, !tbaa !9
  %157 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %156, ptr noundef %157)
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  store i32 0, ptr %17, align 4, !tbaa !44
  br label %158

158:                                              ; preds = %306, %154
  %159 = load i32, ptr %17, align 4, !tbaa !44
  %160 = sext i32 %159 to i64
  %161 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %162 = call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %161) #4
  %163 = icmp ult i64 %160, %162
  br i1 %163, label %165, label %164

164:                                              ; preds = %158
  store i32 5, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  br label %309

165:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #4
  store i32 0, ptr %19, align 4, !tbaa !44
  br label %166

166:                                              ; preds = %301, %165
  %167 = load i32, ptr %19, align 4, !tbaa !44
  %168 = sext i32 %167 to i64
  %169 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %170 = load i32, ptr %17, align 4, !tbaa !44
  %171 = sext i32 %170 to i64
  %172 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %169, i64 noundef %171) #4
  %173 = load ptr, ptr %172, align 8, !tbaa !5
  %174 = getelementptr inbounds %class.buffer, ptr %173, i32 0, i32 3
  %175 = call noundef i64 @_ZNKSt6vectorIP20computation_abstractSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %174) #4
  %176 = icmp ult i64 %168, %175
  br i1 %176, label %178, label %177

177:                                              ; preds = %166
  store i32 8, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  br label %305

178:                                              ; preds = %166
  %179 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 8
  %180 = load i32, ptr %179, align 8, !tbaa !9
  %181 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %180, ptr noundef %181)
  call void @llvm.lifetime.start.p0(i64 32, ptr %20) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr %21) #4
  %182 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %183 = load i32, ptr %17, align 4, !tbaa !44
  %184 = sext i32 %183 to i64
  %185 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %182, i64 noundef %184) #4
  %186 = load ptr, ptr %185, align 8, !tbaa !5
  %187 = getelementptr inbounds %class.buffer, ptr %186, i32 0, i32 3
  %188 = load i32, ptr %19, align 4, !tbaa !44
  %189 = sext i32 %188 to i64
  %190 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %187, i64 noundef %189) #4
  %191 = load ptr, ptr %190, align 8, !tbaa !5
  %192 = getelementptr inbounds %class.computation_abstract, ptr %191, i32 0, i32 0
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %21, ptr noundef nonnull align 8 dereferenceable(32) %192, ptr noundef @.str.43)
  %193 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %194 = load i32, ptr %17, align 4, !tbaa !44
  %195 = sext i32 %194 to i64
  %196 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %193, i64 noundef %195) #4
  %197 = load ptr, ptr %196, align 8, !tbaa !5
  %198 = getelementptr inbounds %class.buffer, ptr %197, i32 0, i32 0
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %20, ptr noundef nonnull align 8 dereferenceable(32) %21, ptr noundef nonnull align 8 dereferenceable(32) %198)
          to label %199 unwind label %253

199:                                              ; preds = %178
  %200 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %201 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %200, ptr noundef nonnull align 8 dereferenceable(32) %20)
          to label %202 unwind label %257

202:                                              ; preds = %199
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #4
  %203 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %204 = load i32, ptr %17, align 4, !tbaa !44
  %205 = sext i32 %204 to i64
  %206 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %203, i64 noundef %205) #4
  %207 = load ptr, ptr %206, align 8, !tbaa !5
  %208 = getelementptr inbounds %class.buffer, ptr %207, i32 0, i32 2
  %209 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %208) #4
  %210 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %211 = load i32, ptr %17, align 4, !tbaa !44
  %212 = sext i32 %211 to i64
  %213 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %210, i64 noundef %212) #4
  %214 = load ptr, ptr %213, align 8, !tbaa !5
  %215 = getelementptr inbounds %class.buffer, ptr %214, i32 0, i32 3
  %216 = load i32, ptr %19, align 4, !tbaa !44
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %215, i64 noundef %217) #4
  %219 = load ptr, ptr %218, align 8, !tbaa !5
  %220 = getelementptr inbounds %class.computation_abstract, ptr %219, i32 0, i32 1
  %221 = call noundef i64 @_ZNKSt6vectorIP8variableSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %220) #4
  %222 = icmp ne i64 %209, %221
  br i1 %222, label %223, label %296

223:                                              ; preds = %202
  call void @llvm.lifetime.start.p0(i64 32, ptr %22) #4
  %224 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %225 = load i32, ptr %17, align 4, !tbaa !44
  %226 = sext i32 %225 to i64
  %227 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef %226) #4
  %228 = load ptr, ptr %227, align 8, !tbaa !5
  %229 = getelementptr inbounds %class.buffer, ptr %228, i32 0, i32 3
  %230 = load i32, ptr %19, align 4, !tbaa !44
  %231 = sext i32 %230 to i64
  %232 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %229, i64 noundef %231) #4
  %233 = load ptr, ptr %232, align 8, !tbaa !5
  %234 = getelementptr inbounds %class.computation_abstract, ptr %233, i32 0, i32 1
  %235 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP8variableSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %234, i64 noundef 0) #4
  %236 = load ptr, ptr %235, align 8, !tbaa !5
  %237 = getelementptr inbounds %class.variable, ptr %236, i32 0, i32 0
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %22, ptr noundef @.str.44, ptr noundef nonnull align 8 dereferenceable(32) %237)
  %238 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %239 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %238, ptr noundef nonnull align 8 dereferenceable(32) %22)
          to label %240 unwind label %262

240:                                              ; preds = %223
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #4
  store i32 1, ptr %23, align 4, !tbaa !44
  br label %241

241:                                              ; preds = %286, %240
  %242 = load i32, ptr %23, align 4, !tbaa !44
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %245 = load i32, ptr %17, align 4, !tbaa !44
  %246 = sext i32 %245 to i64
  %247 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %244, i64 noundef %246) #4
  %248 = load ptr, ptr %247, align 8, !tbaa !5
  %249 = getelementptr inbounds %class.buffer, ptr %248, i32 0, i32 2
  %250 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %249) #4
  %251 = icmp ult i64 %243, %250
  br i1 %251, label %266, label %252

252:                                              ; preds = %241
  store i32 11, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  br label %293

253:                                              ; preds = %178
  %254 = landingpad { ptr, i32 }
          cleanup
  %255 = extractvalue { ptr, i32 } %254, 0
  store ptr %255, ptr %12, align 8
  %256 = extractvalue { ptr, i32 } %254, 1
  store i32 %256, ptr %13, align 4
  br label %261

257:                                              ; preds = %199
  %258 = landingpad { ptr, i32 }
          cleanup
  %259 = extractvalue { ptr, i32 } %258, 0
  store ptr %259, ptr %12, align 8
  %260 = extractvalue { ptr, i32 } %258, 1
  store i32 %260, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #4
  br label %261

261:                                              ; preds = %257, %253
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #4
  br label %304

262:                                              ; preds = %223
  %263 = landingpad { ptr, i32 }
          cleanup
  %264 = extractvalue { ptr, i32 } %263, 0
  store ptr %264, ptr %12, align 8
  %265 = extractvalue { ptr, i32 } %263, 1
  store i32 %265, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #4
  br label %304

266:                                              ; preds = %241
  call void @llvm.lifetime.start.p0(i64 32, ptr %24) #4
  %267 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 7
  %268 = load i32, ptr %17, align 4, !tbaa !44
  %269 = sext i32 %268 to i64
  %270 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %267, i64 noundef %269) #4
  %271 = load ptr, ptr %270, align 8, !tbaa !5
  %272 = getelementptr inbounds %class.buffer, ptr %271, i32 0, i32 3
  %273 = load i32, ptr %19, align 4, !tbaa !44
  %274 = sext i32 %273 to i64
  %275 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %272, i64 noundef %274) #4
  %276 = load ptr, ptr %275, align 8, !tbaa !5
  %277 = getelementptr inbounds %class.computation_abstract, ptr %276, i32 0, i32 1
  %278 = load i32, ptr %23, align 4, !tbaa !44
  %279 = sext i32 %278 to i64
  %280 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP8variableSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %277, i64 noundef %279) #4
  %281 = load ptr, ptr %280, align 8, !tbaa !5
  %282 = getelementptr inbounds %class.variable, ptr %281, i32 0, i32 0
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %24, ptr noundef @.str.7, ptr noundef nonnull align 8 dereferenceable(32) %282)
  %283 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %284 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %283, ptr noundef nonnull align 8 dereferenceable(32) %24)
          to label %285 unwind label %289

285:                                              ; preds = %266
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #4
  br label %286

286:                                              ; preds = %285
  %287 = load i32, ptr %23, align 4, !tbaa !44
  %288 = add nsw i32 %287, 1
  store i32 %288, ptr %23, align 4, !tbaa !44
  br label %241, !llvm.loop !57

289:                                              ; preds = %266
  %290 = landingpad { ptr, i32 }
          cleanup
  %291 = extractvalue { ptr, i32 } %290, 0
  store ptr %291, ptr %12, align 8
  %292 = extractvalue { ptr, i32 } %290, 1
  store i32 %292, ptr %13, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #4
  br label %304

293:                                              ; preds = %252
  %294 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %295 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %294, ptr noundef @.str.10)
  br label %296

296:                                              ; preds = %293, %202
  %297 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %298 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 9
  call void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef %297, ptr noundef %298)
  %299 = getelementptr inbounds %class.tiramisu_code, ptr %25, i32 0, i32 1
  %300 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %299, ptr noundef @.str.31)
  br label %301

301:                                              ; preds = %296
  %302 = load i32, ptr %19, align 4, !tbaa !44
  %303 = add nsw i32 %302, 1
  store i32 %303, ptr %19, align 4, !tbaa !44
  br label %166, !llvm.loop !58

304:                                              ; preds = %289, %262, %261
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  br label %310

305:                                              ; preds = %177
  br label %306

306:                                              ; preds = %305
  %307 = load i32, ptr %17, align 4, !tbaa !44
  %308 = add nsw i32 %307, 1
  store i32 %308, ptr %17, align 4, !tbaa !44
  br label %158, !llvm.loop !59

309:                                              ; preds = %164
  ret void

310:                                              ; preds = %304, %142
  %311 = load ptr, ptr %12, align 8
  %312 = load i32, ptr %13, align 4
  %313 = insertvalue { ptr, i32 } poison, ptr %311, 0
  %314 = insertvalue { ptr, i32 } %313, i32 %312, 1
  resume { ptr, i32 } %314
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #2

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

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

; Function Attrs: mustprogress uwtable
declare void @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6substrEmm(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), i64 noundef, i64 noundef) #3 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress 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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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, !34, i64 216}
!10 = !{!"_ZTS13tiramisu_code", !11, i64 0, !11, i64 32, !11, i64 64, !14, i64 96, !18, i64 120, !22, i64 144, !26, i64 168, !30, i64 192, !34, i64 216, !35, i64 224}
!11 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !12, i64 0, !13, i64 8, !7, i64 16}
!12 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!13 = !{!"long", !7, i64 0}
!14 = !{!"_ZTSSt6vectorIP8constantSaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseIP8constantSaIS1_EE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIP8constantSaIS1_EE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIP8constantSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!18 = !{!"_ZTSSt6vectorIP8variableSaIS1_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseIP8variableSaIS1_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIP8variableSaIS1_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIP8variableSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!"_ZTSSt6vectorIP11computationSaIS1_EE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIP11computationSaIS1_EE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIP11computationSaIS1_EE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIP11computationSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!"_ZTSSt6vectorIP5inputSaIS1_EE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIP5inputSaIS1_EE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIP5inputSaIS1_EE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIP5inputSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!30 = !{!"_ZTSSt6vectorIP6bufferSaIS1_EE", !31, i64 0}
!31 = !{!"_ZTSSt12_Vector_baseIP6bufferSaIS1_EE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIP6bufferSaIS1_EE12_Vector_implE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIP6bufferSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!34 = !{!"int", !7, i64 0}
!35 = !{!"_ZTSSt14basic_ofstreamIcSt11char_traitsIcEE", !36, i64 0, !37, i64 8}
!36 = !{!"_ZTSSo"}
!37 = !{!"_ZTSSt13basic_filebufIcSt11char_traitsIcEE", !38, i64 0, !7, i64 64, !40, i64 104, !42, i64 120, !43, i64 124, !43, i64 132, !43, i64 140, !6, i64 152, !13, i64 160, !41, i64 168, !41, i64 169, !41, i64 170, !7, i64 171, !6, i64 176, !6, i64 184, !41, i64 192, !6, i64 200, !6, i64 208, !13, i64 216, !6, i64 224, !6, i64 232}
!38 = !{!"_ZTSSt15basic_streambufIcSt11char_traitsIcEE", !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !39, i64 56}
!39 = !{!"_ZTSSt6locale", !6, i64 0}
!40 = !{!"_ZTSSt12__basic_fileIcE", !6, i64 0, !41, i64 8}
!41 = !{!"bool", !7, i64 0}
!42 = !{!"_ZTSSt13_Ios_Openmode", !7, i64 0}
!43 = !{!"_ZTS11__mbstate_t", !34, i64 0, !7, i64 4}
!44 = !{!34, !34, i64 0}
!45 = !{!46, !34, i64 32}
!46 = !{!"_ZTS6buffer", !11, i64 0, !34, i64 32, !47, i64 40, !51, i64 64}
!47 = !{!"_ZTSSt6vectorIiSaIiEE", !48, i64 0}
!48 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !49, i64 0}
!49 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !50, i64 0}
!50 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!51 = !{!"_ZTSSt6vectorIP20computation_abstractSaIS1_EE", !52, i64 0}
!52 = !{!"_ZTSSt12_Vector_baseIP20computation_abstractSaIS1_EE", !53, i64 0}
!53 = !{!"_ZTSNSt12_Vector_baseIP20computation_abstractSaIS1_EE12_Vector_implE", !54, i64 0}
!54 = !{!"_ZTSNSt12_Vector_baseIP20computation_abstractSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!55 = distinct !{!55, !56}
!56 = !{!"llvm.loop.mustprogress"}
!57 = distinct !{!57, !56}
!58 = distinct !{!58, !56}
!59 = distinct !{!59, !56}


; 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::__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] }

@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.39 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [12 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [4 x i8], align 1

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(88), i1 noundef zeroext) local_unnamed_addr #3 align 2

; 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 #3 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef, ptr noundef) local_unnamed_addr #3

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN13tiramisu_code13write_buffersEv(ptr noundef nonnull align 8 dereferenceable(736) %0) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.std::__cxx11::basic_string", align 8
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::__cxx11::basic_string", align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %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 %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = getelementptr inbounds i8, ptr %0, i64 216
  %18 = load i32, ptr %17, align 8, !tbaa !5
  %19 = getelementptr inbounds i8, ptr %0, i64 32
  tail call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %18, ptr noundef nonnull %19)
  %20 = getelementptr inbounds i8, ptr %0, i64 192
  %21 = tail call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  %.not85 = icmp eq i64 %21, 0
  br i1 %.not85, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %1
  %22 = getelementptr inbounds i8, ptr %0, i64 224
  br label %26

._crit_edge:                                      ; preds = %49, %1
  %23 = load i32, ptr %17, align 8, !tbaa !5
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %23, ptr noundef nonnull %19)
  %24 = call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  %.not86 = icmp eq i64 %24, 0
  br i1 %.not86, label %._crit_edge84, label %.preheader.lr.ph

.preheader.lr.ph:                                 ; preds = %._crit_edge
  %25 = getelementptr inbounds i8, ptr %0, i64 224
  br label %.preheader

26:                                               ; preds = %.lr.ph, %49
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %49 ]
  %27 = load i32, ptr %17, align 8, !tbaa !5
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %27, ptr noundef nonnull %19)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %2) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %3) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %4) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #4
  %28 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv) #4
  %29 = load ptr, ptr %28, align 8, !tbaa !43
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull @.str.38, ptr noundef nonnull align 8 dereferenceable(32) %29)
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %8, ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull @.str.25)
          to label %30 unwind label %59

30:                                               ; preds = %26
  %31 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv) #4
  %32 = load ptr, ptr %31, align 8, !tbaa !43
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %7, ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull align 8 dereferenceable(32) %32)
          to label %33 unwind label %61

33:                                               ; preds = %30
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %6, ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.39)
          to label %34 unwind label %63

34:                                               ; preds = %33
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #4
  %35 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv) #4
  %36 = load ptr, ptr %35, align 8, !tbaa !43
  invoke void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef nonnull align 8 dereferenceable(88) %36, i1 noundef zeroext false)
          to label %37 unwind label %65

37:                                               ; preds = %34
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #4
  %38 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv) #4
  %39 = load ptr, ptr %38, align 8, !tbaa !43
  invoke void @_ZN6buffer20dimensions_to_stringB5cxx11Eb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull align 8 dereferenceable(88) %39, i1 noundef zeroext false)
          to label %40 unwind label %67

40:                                               ; preds = %37
  %41 = call noundef i64 @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %12) #4
  %42 = add i64 %41, -2
  invoke void @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6substrEmm(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %10, ptr noundef nonnull align 8 dereferenceable(32) %11, i64 noundef 1, i64 noundef %42)
          to label %43 unwind label %69

43:                                               ; preds = %40
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %5, ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull align 8 dereferenceable(32) %10)
          to label %44 unwind label %71

44:                                               ; preds = %43
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %4, ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull @.str.40)
          to label %45 unwind label %73

45:                                               ; preds = %44
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %3, ptr noundef nonnull align 8 dereferenceable(32) %4, ptr noundef nonnull align 8 dereferenceable(32) %0)
          to label %46 unwind label %75

46:                                               ; preds = %45
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %2, ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.7)
          to label %47 unwind label %77

47:                                               ; preds = %46
  %48 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %2)
          to label %49 unwind label %79

49:                                               ; preds = %47
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #4
  %50 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv) #4
  %51 = load ptr, ptr %50, align 8, !tbaa !43
  %52 = getelementptr inbounds i8, ptr %51, i64 32
  %53 = load i32, ptr %52, align 8, !tbaa !44
  %54 = icmp eq i32 %53, 0
  %.str.41..str.42 = select i1 %54, ptr @.str.41, ptr @.str.42
  %55 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull %.str.41..str.42)
  %56 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull @.str.31)
  call void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef nonnull %19, ptr noundef nonnull %22)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %57 = call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  %58 = icmp ugt i64 %57, %indvars.iv.next
  br i1 %58, label %26, label %._crit_edge, !llvm.loop !54

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

61:                                               ; preds = %30
  %62 = landingpad { ptr, i32 }
          cleanup
  br label %89

63:                                               ; preds = %33
  %64 = landingpad { ptr, i32 }
          cleanup
  br label %88

65:                                               ; preds = %34
  %66 = landingpad { ptr, i32 }
          cleanup
  br label %87

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

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

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

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

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

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

79:                                               ; preds = %47
  %80 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %2) #4
  br label %81

81:                                               ; preds = %79, %77
  %.pn52 = phi { ptr, i32 } [ %80, %79 ], [ %78, %77 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #4
  br label %82

82:                                               ; preds = %81, %75
  %.pn52.pn = phi { ptr, i32 } [ %.pn52, %81 ], [ %76, %75 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %4) #4
  br label %83

83:                                               ; preds = %82, %73
  %.pn52.pn.pn = phi { ptr, i32 } [ %.pn52.pn, %82 ], [ %74, %73 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #4
  br label %84

84:                                               ; preds = %83, %71
  %.pn52.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn, %83 ], [ %72, %71 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #4
  br label %85

85:                                               ; preds = %84, %69
  %.pn52.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn, %84 ], [ %70, %69 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #4
  br label %86

86:                                               ; preds = %85, %67
  %.pn52.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn, %85 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #4
  br label %87

87:                                               ; preds = %86, %65
  %.pn52.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn.pn, %86 ], [ %66, %65 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #4
  br label %88

88:                                               ; preds = %87, %63
  %.pn52.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn.pn.pn, %87 ], [ %64, %63 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #4
  br label %89

89:                                               ; preds = %88, %61
  %.pn52.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn.pn.pn.pn, %88 ], [ %62, %61 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #4
  br label %90

90:                                               ; preds = %89, %59
  %.pn52.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn.pn.pn.pn.pn, %89 ], [ %60, %59 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %4) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %3) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %2) #4
  br label %167

.preheader:                                       ; preds = %.preheader.lr.ph, %._crit_edge82
  %indvars.iv95 = phi i64 [ 0, %.preheader.lr.ph ], [ %indvars.iv.next96, %._crit_edge82 ]
  %91 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %92 = load ptr, ptr %91, align 8, !tbaa !43
  %93 = getelementptr inbounds i8, ptr %92, i64 64
  %94 = call noundef i64 @_ZNKSt6vectorIP20computation_abstractSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %93) #4
  %.not87 = icmp eq i64 %94, 0
  br i1 %.not87, label %._crit_edge82, label %.lr.ph81

._crit_edge84:                                    ; preds = %._crit_edge82, %._crit_edge
  ret void

._crit_edge82:                                    ; preds = %160, %.preheader
  %indvars.iv.next96 = add nuw nsw i64 %indvars.iv95, 1
  %95 = call noundef i64 @_ZNKSt6vectorIP6bufferSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  %96 = icmp ugt i64 %95, %indvars.iv.next96
  br i1 %96, label %.preheader, label %._crit_edge84, !llvm.loop !56

.lr.ph81:                                         ; preds = %.preheader, %160
  %indvars.iv92 = phi i64 [ %indvars.iv.next93, %160 ], [ 0, %.preheader ]
  %97 = load i32, ptr %17, align 8, !tbaa !5
  call void @_Z8new_lineiiPNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(i32 noundef 1, i32 noundef %97, ptr noundef nonnull %19)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #4
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #4
  %98 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %99 = load ptr, ptr %98, align 8, !tbaa !43
  %100 = getelementptr inbounds i8, ptr %99, i64 64
  %101 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %100, i64 noundef %indvars.iv92) #4
  %102 = load ptr, ptr %101, align 8, !tbaa !43
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(32) %102, ptr noundef nonnull @.str.43)
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %104 = load ptr, ptr %103, align 8, !tbaa !43
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull align 8 dereferenceable(32) %104)
          to label %105 unwind label %136

105:                                              ; preds = %.lr.ph81
  %106 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %13)
          to label %107 unwind label %138

107:                                              ; preds = %105
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #4
  %108 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %109 = load ptr, ptr %108, align 8, !tbaa !43
  %110 = getelementptr inbounds i8, ptr %109, i64 40
  %111 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %110) #4
  %112 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %113 = load ptr, ptr %112, align 8, !tbaa !43
  %114 = getelementptr inbounds i8, ptr %113, i64 64
  %115 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %114, i64 noundef %indvars.iv92) #4
  %116 = load ptr, ptr %115, align 8, !tbaa !43
  %117 = getelementptr inbounds i8, ptr %116, i64 32
  %118 = call noundef i64 @_ZNKSt6vectorIP8variableSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %117) #4
  %.not = icmp eq i64 %111, %118
  br i1 %.not, label %160, label %119

119:                                              ; preds = %107
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #4
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %121 = load ptr, ptr %120, align 8, !tbaa !43
  %122 = getelementptr inbounds i8, ptr %121, i64 64
  %123 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %122, i64 noundef %indvars.iv92) #4
  %124 = load ptr, ptr %123, align 8, !tbaa !43
  %125 = getelementptr inbounds i8, ptr %124, i64 32
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP8variableSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %125, i64 noundef 0) #4
  %127 = load ptr, ptr %126, align 8, !tbaa !43
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef nonnull @.str.44, ptr noundef nonnull align 8 dereferenceable(32) %127)
  %128 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %129 unwind label %141

129:                                              ; preds = %119
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #4
  %130 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %131 = load ptr, ptr %130, align 8, !tbaa !43
  %132 = getelementptr inbounds i8, ptr %131, i64 40
  %133 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %132) #4
  %134 = icmp ugt i64 %133, 1
  br i1 %134, label %.lr.ph78, label %._crit_edge79

._crit_edge79:                                    ; preds = %152, %129
  %135 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull @.str.10)
  br label %160

136:                                              ; preds = %.lr.ph81
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %140

138:                                              ; preds = %105
  %139 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #4
  br label %140

140:                                              ; preds = %138, %136
  %.pn = phi { ptr, i32 } [ %139, %138 ], [ %137, %136 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #4
  br label %167

141:                                              ; preds = %119
  %142 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #4
  br label %167

.lr.ph78:                                         ; preds = %129, %152
  %indvars.iv89 = phi i64 [ %indvars.iv.next90, %152 ], [ 1, %129 ]
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #4
  %143 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %144 = load ptr, ptr %143, align 8, !tbaa !43
  %145 = getelementptr inbounds i8, ptr %144, i64 64
  %146 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP20computation_abstractSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %145, i64 noundef %indvars.iv92) #4
  %147 = load ptr, ptr %146, align 8, !tbaa !43
  %148 = getelementptr inbounds i8, ptr %147, i64 32
  %149 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP8variableSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %148, i64 noundef %indvars.iv89) #4
  %150 = load ptr, ptr %149, align 8, !tbaa !43
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_RKS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull @.str.7, ptr noundef nonnull align 8 dereferenceable(32) %150)
  %151 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %152 unwind label %158

152:                                              ; preds = %.lr.ph78
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #4
  %indvars.iv.next90 = add nuw nsw i64 %indvars.iv89, 1
  %153 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %154 = load ptr, ptr %153, align 8, !tbaa !43
  %155 = getelementptr inbounds i8, ptr %154, i64 40
  %156 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %155) #4
  %157 = icmp ugt i64 %156, %indvars.iv.next90
  br i1 %157, label %.lr.ph78, label %._crit_edge79, !llvm.loop !57

158:                                              ; preds = %.lr.ph78
  %159 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #4
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #4
  br label %167

160:                                              ; preds = %._crit_edge79, %107
  call void @_Z17check_buffer_sizePNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPSo(ptr noundef nonnull %19, ptr noundef nonnull %25)
  %161 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEPKc(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull @.str.31)
  %indvars.iv.next93 = add nuw nsw i64 %indvars.iv92, 1
  %162 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIP6bufferSaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %20, i64 noundef %indvars.iv95) #4
  %163 = load ptr, ptr %162, align 8, !tbaa !43
  %164 = getelementptr inbounds i8, ptr %163, i64 64
  %165 = call noundef i64 @_ZNKSt6vectorIP20computation_abstractSaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %164) #4
  %166 = icmp ugt i64 %165, %indvars.iv.next93
  br i1 %166, label %.lr.ph81, label %._crit_edge82, !llvm.loop !58

167:                                              ; preds = %140, %141, %158, %90
  %.pn52.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn52.pn.pn.pn.pn.pn.pn.pn.pn.pn, %90 ], [ %159, %158 ], [ %142, %141 ], [ %.pn, %140 ]
  resume { ptr, i32 } %.pn52.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #2

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

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

; Function Attrs: mustprogress uwtable
declare void @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6substrEmm(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), i64 noundef, i64 noundef) local_unnamed_addr #3 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { inlinehint mustprogress 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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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, !33, i64 216}
!6 = !{!"_ZTS13tiramisu_code", !7, i64 0, !7, i64 32, !7, i64 64, !13, i64 96, !17, i64 120, !21, i64 144, !25, i64 168, !29, i64 192, !33, i64 216, !34, i64 224}
!7 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !8, i64 0, !12, i64 8, !10, i64 16}
!8 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !9, i64 0}
!9 = !{!"any pointer", !10, i64 0}
!10 = !{!"omnipotent char", !11, i64 0}
!11 = !{!"Simple C++ TBAA"}
!12 = !{!"long", !10, i64 0}
!13 = !{!"_ZTSSt6vectorIP8constantSaIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseIP8constantSaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIP8constantSaIS1_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseIP8constantSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!17 = !{!"_ZTSSt6vectorIP8variableSaIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIP8variableSaIS1_EE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIP8variableSaIS1_EE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIP8variableSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!21 = !{!"_ZTSSt6vectorIP11computationSaIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseIP11computationSaIS1_EE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIP11computationSaIS1_EE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIP11computationSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!25 = !{!"_ZTSSt6vectorIP5inputSaIS1_EE", !26, i64 0}
!26 = !{!"_ZTSSt12_Vector_baseIP5inputSaIS1_EE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIP5inputSaIS1_EE12_Vector_implE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIP5inputSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!29 = !{!"_ZTSSt6vectorIP6bufferSaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseIP6bufferSaIS1_EE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIP6bufferSaIS1_EE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIP6bufferSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!33 = !{!"int", !10, i64 0}
!34 = !{!"_ZTSSt14basic_ofstreamIcSt11char_traitsIcEE", !35, i64 0, !36, i64 8}
!35 = !{!"_ZTSSo"}
!36 = !{!"_ZTSSt13basic_filebufIcSt11char_traitsIcEE", !37, i64 0, !10, i64 64, !39, i64 104, !41, i64 120, !42, i64 124, !42, i64 132, !42, i64 140, !9, i64 152, !12, i64 160, !40, i64 168, !40, i64 169, !40, i64 170, !10, i64 171, !9, i64 176, !9, i64 184, !40, i64 192, !9, i64 200, !9, i64 208, !12, i64 216, !9, i64 224, !9, i64 232}
!37 = !{!"_ZTSSt15basic_streambufIcSt11char_traitsIcEE", !9, i64 8, !9, i64 16, !9, i64 24, !9, i64 32, !9, i64 40, !9, i64 48, !38, i64 56}
!38 = !{!"_ZTSSt6locale", !9, i64 0}
!39 = !{!"_ZTSSt12__basic_fileIcE", !9, i64 0, !40, i64 8}
!40 = !{!"bool", !10, i64 0}
!41 = !{!"_ZTSSt13_Ios_Openmode", !10, i64 0}
!42 = !{!"_ZTS11__mbstate_t", !33, i64 0, !10, i64 4}
!43 = !{!9, !9, i64 0}
!44 = !{!45, !33, i64 32}
!45 = !{!"_ZTS6buffer", !7, i64 0, !33, i64 32, !46, i64 40, !50, i64 64}
!46 = !{!"_ZTSSt6vectorIiSaIiEE", !47, i64 0}
!47 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !49, i64 0}
!49 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!50 = !{!"_ZTSSt6vectorIP20computation_abstractSaIS1_EE", !51, i64 0}
!51 = !{!"_ZTSSt12_Vector_baseIP20computation_abstractSaIS1_EE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIP20computation_abstractSaIS1_EE12_Vector_implE", !53, i64 0}
!53 = !{!"_ZTSNSt12_Vector_baseIP20computation_abstractSaIS1_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!54 = distinct !{!54, !55}
!55 = !{!"llvm.loop.mustprogress"}
!56 = distinct !{!56, !55}
!57 = distinct !{!57, !55}
!58 = distinct !{!58, !55}


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