; LLVM IR from erwincoumans/tiny-differentiable-simulator :: src/visualizer/opengl/tiny_opengl3_app.ll (ZN14TinyOpenGL3App19register_cube_shapeEfffif)

; 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::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl" }
%"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl" = type { %"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl_data" }
%"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.GfxVertexFormat1 = type { float, float, float, float, float, float, float, float, float }
%struct.TinyOpenGL3App = type { %struct.TinyCommonGraphicsApp.base, ptr, ptr, ptr }
%struct.TinyCommonGraphicsApp.base = type <{ ptr, ptr, ptr, ptr, ptr, i8, i8, i8, i8, float, float, float, float, i8, [3 x i8], [3 x float] }>

@_ZL22cube_vertices_textured = external hidden constant [216 x float], align 16
@_ZL12cube_indices = external hidden constant [36 x i32], align 16

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN14TinyOpenGL3App19register_cube_shapeEfffif(ptr noundef nonnull align 8 dereferenceable(104) %0, float noundef %1, float noundef %2, float noundef %3, i32 noundef %4, float noundef %5) unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca ptr, align 8
  %8 = alloca float, align 4
  %9 = alloca float, align 4
  %10 = alloca float, align 4
  %11 = alloca i32, align 4
  %12 = alloca float, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca %"class.std::vector.5", align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  store ptr %0, ptr %7, align 8, !tbaa !5
  store float %1, ptr %8, align 4, !tbaa !9
  store float %2, ptr %9, align 4, !tbaa !9
  store float %3, ptr %10, align 4, !tbaa !9
  store i32 %4, ptr %11, align 4, !tbaa !11
  store float %5, ptr %12, align 4, !tbaa !9
  %21 = load ptr, ptr %7, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 36, ptr %13, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  %22 = load i32, ptr %13, align 4, !tbaa !11
  %23 = sext i32 %22 to i64
  %24 = udiv i64 864, %23
  %25 = trunc i64 %24 to i32
  store i32 %25, ptr %14, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  store i32 36, ptr %15, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 24, ptr %16) #3
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #3
  %26 = load i32, ptr %14, align 4, !tbaa !11
  %27 = sext i32 %26 to i64
  invoke void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %27)
          to label %28 unwind label %34

28:                                               ; preds = %6
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  store i32 0, ptr %19, align 4, !tbaa !11
  br label %29

29:                                               ; preds = %138, %28
  %30 = load i32, ptr %19, align 4, !tbaa !11
  %31 = load i32, ptr %14, align 4, !tbaa !11
  %32 = icmp slt i32 %30, %31
  br i1 %32, label %38, label %33

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

34:                                               ; preds = %6
  %35 = landingpad { ptr, i32 }
          cleanup
  %36 = extractvalue { ptr, i32 } %35, 0
  store ptr %36, ptr %17, align 8
  %37 = extractvalue { ptr, i32 } %35, 1
  store i32 %37, ptr %18, align 4
  br label %159

38:                                               ; preds = %29
  %39 = load float, ptr %8, align 4, !tbaa !9
  %40 = load i32, ptr %19, align 4, !tbaa !11
  %41 = mul nsw i32 %40, 9
  %42 = sext i32 %41 to i64
  %43 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %42
  %44 = load float, ptr %43, align 4, !tbaa !9
  %45 = fmul float %39, %44
  %46 = load i32, ptr %19, align 4, !tbaa !11
  %47 = sext i32 %46 to i64
  %48 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %47) #3
  %49 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %48, i32 0, i32 0
  store float %45, ptr %49, align 4, !tbaa !13
  %50 = load float, ptr %9, align 4, !tbaa !9
  %51 = load i32, ptr %19, align 4, !tbaa !11
  %52 = mul nsw i32 %51, 9
  %53 = add nsw i32 %52, 1
  %54 = sext i32 %53 to i64
  %55 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %54
  %56 = load float, ptr %55, align 4, !tbaa !9
  %57 = fmul float %50, %56
  %58 = load i32, ptr %19, align 4, !tbaa !11
  %59 = sext i32 %58 to i64
  %60 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %59) #3
  %61 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %60, i32 0, i32 1
  store float %57, ptr %61, align 4, !tbaa !15
  %62 = load float, ptr %10, align 4, !tbaa !9
  %63 = load i32, ptr %19, align 4, !tbaa !11
  %64 = mul nsw i32 %63, 9
  %65 = add nsw i32 %64, 2
  %66 = sext i32 %65 to i64
  %67 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %66
  %68 = load float, ptr %67, align 4, !tbaa !9
  %69 = fmul float %62, %68
  %70 = load i32, ptr %19, align 4, !tbaa !11
  %71 = sext i32 %70 to i64
  %72 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %71) #3
  %73 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %72, i32 0, i32 2
  store float %69, ptr %73, align 4, !tbaa !16
  %74 = load i32, ptr %19, align 4, !tbaa !11
  %75 = mul nsw i32 %74, 9
  %76 = add nsw i32 %75, 3
  %77 = sext i32 %76 to i64
  %78 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %77
  %79 = load float, ptr %78, align 4, !tbaa !9
  %80 = load i32, ptr %19, align 4, !tbaa !11
  %81 = sext i32 %80 to i64
  %82 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %81) #3
  %83 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %82, i32 0, i32 3
  store float %79, ptr %83, align 4, !tbaa !17
  %84 = load i32, ptr %19, align 4, !tbaa !11
  %85 = mul nsw i32 %84, 9
  %86 = add nsw i32 %85, 4
  %87 = sext i32 %86 to i64
  %88 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %87
  %89 = load float, ptr %88, align 4, !tbaa !9
  %90 = load i32, ptr %19, align 4, !tbaa !11
  %91 = sext i32 %90 to i64
  %92 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %91) #3
  %93 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %92, i32 0, i32 4
  store float %89, ptr %93, align 4, !tbaa !18
  %94 = load i32, ptr %19, align 4, !tbaa !11
  %95 = mul nsw i32 %94, 9
  %96 = add nsw i32 %95, 5
  %97 = sext i32 %96 to i64
  %98 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %97
  %99 = load float, ptr %98, align 4, !tbaa !9
  %100 = load i32, ptr %19, align 4, !tbaa !11
  %101 = sext i32 %100 to i64
  %102 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %101) #3
  %103 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %102, i32 0, i32 5
  store float %99, ptr %103, align 4, !tbaa !19
  %104 = load i32, ptr %19, align 4, !tbaa !11
  %105 = mul nsw i32 %104, 9
  %106 = add nsw i32 %105, 6
  %107 = sext i32 %106 to i64
  %108 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %107
  %109 = load float, ptr %108, align 4, !tbaa !9
  %110 = load i32, ptr %19, align 4, !tbaa !11
  %111 = sext i32 %110 to i64
  %112 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %111) #3
  %113 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %112, i32 0, i32 6
  store float %109, ptr %113, align 4, !tbaa !20
  %114 = load i32, ptr %19, align 4, !tbaa !11
  %115 = mul nsw i32 %114, 9
  %116 = add nsw i32 %115, 7
  %117 = sext i32 %116 to i64
  %118 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %117
  %119 = load float, ptr %118, align 4, !tbaa !9
  %120 = load float, ptr %12, align 4, !tbaa !9
  %121 = fmul float %119, %120
  %122 = load i32, ptr %19, align 4, !tbaa !11
  %123 = sext i32 %122 to i64
  %124 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %123) #3
  %125 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %124, i32 0, i32 7
  store float %121, ptr %125, align 4, !tbaa !21
  %126 = load i32, ptr %19, align 4, !tbaa !11
  %127 = mul nsw i32 %126, 9
  %128 = add nsw i32 %127, 8
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %129
  %131 = load float, ptr %130, align 4, !tbaa !9
  %132 = load float, ptr %12, align 4, !tbaa !9
  %133 = fmul float %131, %132
  %134 = load i32, ptr %19, align 4, !tbaa !11
  %135 = sext i32 %134 to i64
  %136 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %135) #3
  %137 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %136, i32 0, i32 8
  store float %133, ptr %137, align 4, !tbaa !22
  br label %138

138:                                              ; preds = %38
  %139 = load i32, ptr %19, align 4, !tbaa !11
  %140 = add nsw i32 %139, 1
  store i32 %140, ptr %19, align 4, !tbaa !11
  br label %29, !llvm.loop !23

141:                                              ; preds = %33
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  %142 = getelementptr inbounds %struct.TinyOpenGL3App, ptr %21, i32 0, i32 3
  %143 = load ptr, ptr %142, align 8, !tbaa !25
  %144 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef 0) #3
  %145 = getelementptr inbounds %struct.GfxVertexFormat1, ptr %144, i32 0, i32 0
  %146 = load i32, ptr %14, align 4, !tbaa !11
  %147 = load i32, ptr %15, align 4, !tbaa !11
  %148 = load i32, ptr %11, align 4, !tbaa !11
  %149 = load ptr, ptr %143, align 8, !tbaa !29
  %150 = getelementptr inbounds ptr, ptr %149, i64 9
  %151 = load ptr, ptr %150, align 8
  %152 = invoke noundef i32 %151(ptr noundef nonnull align 8 dereferenceable(60) %143, ptr noundef %145, i32 noundef %146, ptr noundef @_ZL12cube_indices, i32 noundef %147, i32 noundef 1, i32 noundef %148)
          to label %153 unwind label %155

153:                                              ; preds = %141
  store i32 %152, ptr %20, align 4, !tbaa !11
  %154 = load i32, ptr %20, align 4, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  ret i32 %154

155:                                              ; preds = %141
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %17, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %18, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  br label %159

159:                                              ; preds = %155, %34
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %160

160:                                              ; preds = %159
  %161 = load ptr, ptr %17, align 8
  %162 = load i32, ptr %18, align 4
  %163 = insertvalue { ptr, i32 } poison, ptr %161, 0
  %164 = insertvalue { ptr, i32 } %163, i32 %162, 1
  resume { ptr, i32 } %164
}

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !10, i64 0}
!14 = !{!"_ZTS16GfxVertexFormat1", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !10, i64 20, !10, i64 24, !10, i64 28, !10, i64 32}
!15 = !{!14, !10, i64 4}
!16 = !{!14, !10, i64 8}
!17 = !{!14, !10, i64 12}
!18 = !{!14, !10, i64 16}
!19 = !{!14, !10, i64 20}
!20 = !{!14, !10, i64 24}
!21 = !{!14, !10, i64 28}
!22 = !{!14, !10, i64 32}
!23 = distinct !{!23, !24}
!24 = !{!"llvm.loop.mustprogress"}
!25 = !{!26, !6, i64 96}
!26 = !{!"_ZTS14TinyOpenGL3App", !27, i64 0, !6, i64 80, !6, i64 88, !6, i64 96}
!27 = !{!"_ZTS21TinyCommonGraphicsApp", !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !28, i64 40, !28, i64 41, !28, i64 42, !10, i64 44, !10, i64 48, !10, i64 52, !10, i64 56, !28, i64 60, !7, i64 64}
!28 = !{!"bool", !7, i64 0}
!29 = !{!30, !30, i64 0}
!30 = !{!"vtable pointer", !8, i64 0}


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

%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl" }
%"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl" = type { %"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl_data" }
%"struct.std::_Vector_base<GfxVertexFormat1, std::allocator<GfxVertexFormat1>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@_ZL22cube_vertices_textured = external hidden local_unnamed_addr constant [216 x float], align 16
@_ZL12cube_indices = external hidden constant [36 x i32], align 16

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN14TinyOpenGL3App19register_cube_shapeEfffif(ptr nocapture noundef nonnull readonly align 8 dereferenceable(104) %0, float noundef %1, float noundef %2, float noundef %3, i32 noundef %4, float noundef %5) unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca %"class.std::vector.5", align 8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #3
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #3
  invoke void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef 24)
          to label %.preheader unwind label %16

8:                                                ; preds = %.preheader
  %9 = getelementptr inbounds i8, ptr %0, i64 96
  %10 = load ptr, ptr %9, align 8, !tbaa !5
  %11 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef 0) #3
  %12 = load ptr, ptr %10, align 8, !tbaa !13
  %13 = getelementptr inbounds i8, ptr %12, i64 72
  %14 = load ptr, ptr %13, align 8
  %15 = invoke noundef i32 %14(ptr noundef nonnull align 8 dereferenceable(60) %10, ptr noundef nonnull %11, i32 noundef 24, ptr noundef nonnull @_ZL12cube_indices, i32 noundef 36, i32 noundef 1, i32 noundef %4)
          to label %67 unwind label %68

16:                                               ; preds = %6
  %17 = landingpad { ptr, i32 }
          cleanup
  br label %70

.preheader:                                       ; preds = %6, %.preheader
  %indvars.iv = phi i64 [ %indvars.iv.next, %.preheader ], [ 0, %6 ]
  %18 = mul nuw nsw i64 %indvars.iv, 9
  %19 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %18
  %20 = load float, ptr %19, align 4, !tbaa !15
  %21 = fmul float %20, %1
  %22 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  store float %21, ptr %22, align 4, !tbaa !16
  %23 = add nuw nsw i64 %18, 1
  %24 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %23
  %25 = load float, ptr %24, align 4, !tbaa !15
  %26 = fmul float %25, %2
  %27 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %28 = getelementptr inbounds i8, ptr %27, i64 4
  store float %26, ptr %28, align 4, !tbaa !18
  %29 = add nuw nsw i64 %18, 2
  %30 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %29
  %31 = load float, ptr %30, align 4, !tbaa !15
  %32 = fmul float %31, %3
  %33 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %34 = getelementptr inbounds i8, ptr %33, i64 8
  store float %32, ptr %34, align 4, !tbaa !19
  %35 = add nuw nsw i64 %18, 3
  %36 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %35
  %37 = load float, ptr %36, align 4, !tbaa !15
  %38 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %39 = getelementptr inbounds i8, ptr %38, i64 12
  store float %37, ptr %39, align 4, !tbaa !20
  %40 = add nuw nsw i64 %18, 4
  %41 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %40
  %42 = load float, ptr %41, align 4, !tbaa !15
  %43 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %44 = getelementptr inbounds i8, ptr %43, i64 16
  store float %42, ptr %44, align 4, !tbaa !21
  %45 = add nuw nsw i64 %18, 5
  %46 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %45
  %47 = load float, ptr %46, align 4, !tbaa !15
  %48 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %49 = getelementptr inbounds i8, ptr %48, i64 20
  store float %47, ptr %49, align 4, !tbaa !22
  %50 = add nuw nsw i64 %18, 6
  %51 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %50
  %52 = load float, ptr %51, align 4, !tbaa !15
  %53 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %54 = getelementptr inbounds i8, ptr %53, i64 24
  store float %52, ptr %54, align 4, !tbaa !23
  %55 = add nuw nsw i64 %18, 7
  %56 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %55
  %57 = load float, ptr %56, align 4, !tbaa !15
  %58 = fmul float %57, %5
  %59 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %60 = getelementptr inbounds i8, ptr %59, i64 28
  store float %58, ptr %60, align 4, !tbaa !24
  %61 = add nuw nsw i64 %18, 8
  %62 = getelementptr inbounds [216 x float], ptr @_ZL22cube_vertices_textured, i64 0, i64 %61
  %63 = load float, ptr %62, align 4, !tbaa !15
  %64 = fmul float %63, %5
  %65 = call noundef nonnull align 4 dereferenceable(36) ptr @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %7, i64 noundef %indvars.iv) #3
  %66 = getelementptr inbounds i8, ptr %65, i64 32
  store float %64, ptr %66, align 4, !tbaa !25
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 24
  br i1 %exitcond.not, label %8, label %.preheader, !llvm.loop !26

67:                                               ; preds = %8
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #3
  ret i32 %15

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

70:                                               ; preds = %68, %16
  %.pn = phi { ptr, i32 } [ %69, %68 ], [ %17, %16 ]
  call void @_ZNSt6vectorI16GfxVertexFormat1SaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %7) #3
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #3
  resume { ptr, i32 } %.pn
}

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

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

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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, !8, i64 96}
!6 = !{!"_ZTS14TinyOpenGL3App", !7, i64 0, !8, i64 80, !8, i64 88, !8, i64 96}
!7 = !{!"_ZTS21TinyCommonGraphicsApp", !8, i64 8, !8, i64 16, !8, i64 24, !8, i64 32, !11, i64 40, !11, i64 41, !11, i64 42, !12, i64 44, !12, i64 48, !12, i64 52, !12, i64 56, !11, i64 60, !9, i64 64}
!8 = !{!"any pointer", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"bool", !9, i64 0}
!12 = !{!"float", !9, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"vtable pointer", !10, i64 0}
!15 = !{!12, !12, i64 0}
!16 = !{!17, !12, i64 0}
!17 = !{!"_ZTS16GfxVertexFormat1", !12, i64 0, !12, i64 4, !12, i64 8, !12, i64 12, !12, i64 16, !12, i64 20, !12, i64 24, !12, i64 28, !12, i64 32}
!18 = !{!17, !12, i64 4}
!19 = !{!17, !12, i64 8}
!20 = !{!17, !12, i64 12}
!21 = !{!17, !12, i64 16}
!22 = !{!17, !12, i64 20}
!23 = !{!17, !12, i64 24}
!24 = !{!17, !12, i64 28}
!25 = !{!17, !12, i64 32}
!26 = distinct !{!26, !27}
!27 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass