; LLVM IR from indjev99/Evolving-Snakes :: sources/draw.ll (Z9drawSnakeR5snakeb)

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

%struct.point = type { i32, i32 }
%struct.snake = type { %"class.std::__cxx11::basic_string", i32, double, double, double, double, double, i32, i32, i32, i8, i8, %"class.std::vector", ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<block, std::allocator<block>>::_Vector_impl" }
%"struct.std::_Vector_base<block, std::allocator<block>>::_Vector_impl" = type { %"struct.std::_Vector_base<block, std::allocator<block>>::_Vector_impl_data" }
%"struct.std::_Vector_base<block, std::allocator<block>>::_Vector_impl_data" = type { ptr, ptr, ptr }

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

declare void @glVertex2f(float noundef, float noundef) #1

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

declare void @glColor3f(float noundef, float noundef, float noundef) #1

declare void @glBegin(i32 noundef) #1

declare void @glEnd() #1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z9drawSnakeR5snakeb(ptr noundef nonnull align 8 dereferenceable(128) %0, i1 noundef zeroext %1) #2 {
  %3 = alloca ptr, align 8
  %4 = alloca i8, align 1
  %5 = alloca %struct.point, align 4
  %6 = alloca double, align 8
  %7 = alloca double, align 8
  %8 = alloca double, align 8
  %9 = alloca double, align 8
  %10 = alloca double, align 8
  %11 = alloca double, align 8
  %12 = alloca double, align 8
  %13 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  %14 = zext i1 %1 to i8
  store i8 %14, ptr %4, align 1, !tbaa !9
  %15 = load ptr, ptr %3, align 8, !tbaa !5
  %16 = getelementptr inbounds %struct.snake, ptr %15, i32 0, i32 12
  %17 = call noundef zeroext i1 @_ZNKSt6vectorI5blockSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %16) #5
  br i1 %17, label %18, label %19

18:                                               ; preds = %2
  br label %169

19:                                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #5
  call void @_ZN5pointC1Ev(ptr noundef nonnull align 4 dereferenceable(8) %5)
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  %20 = load ptr, ptr %3, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct.snake, ptr %20, i32 0, i32 4
  %22 = load double, ptr %21, align 8, !tbaa !11
  store double %22, ptr %10, align 8, !tbaa !22
  %23 = load ptr, ptr %3, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct.snake, ptr %23, i32 0, i32 5
  %25 = load double, ptr %24, align 8, !tbaa !23
  store double %25, ptr %11, align 8, !tbaa !22
  %26 = load ptr, ptr %3, align 8, !tbaa !5
  %27 = getelementptr inbounds %struct.snake, ptr %26, i32 0, i32 6
  %28 = load double, ptr %27, align 8, !tbaa !24
  store double %28, ptr %12, align 8, !tbaa !22
  %29 = load i8, ptr %4, align 1, !tbaa !9, !range !25, !noundef !26
  %30 = trunc i8 %29 to i1
  br i1 %30, label %31, label %59

31:                                               ; preds = %19
  %32 = load double, ptr %10, align 8, !tbaa !22
  %33 = fcmp ogt double %32, 5.000000e-01
  br i1 %33, label %34, label %37

34:                                               ; preds = %31
  %35 = load double, ptr %10, align 8, !tbaa !22
  %36 = fsub double %35, 5.000000e-01
  store double %36, ptr %10, align 8, !tbaa !22
  br label %40

37:                                               ; preds = %31
  %38 = load double, ptr %10, align 8, !tbaa !22
  %39 = fadd double %38, 5.000000e-01
  store double %39, ptr %10, align 8, !tbaa !22
  br label %40

40:                                               ; preds = %37, %34
  %41 = load double, ptr %11, align 8, !tbaa !22
  %42 = fcmp ogt double %41, 5.000000e-01
  br i1 %42, label %43, label %46

43:                                               ; preds = %40
  %44 = load double, ptr %11, align 8, !tbaa !22
  %45 = fsub double %44, 5.000000e-01
  store double %45, ptr %11, align 8, !tbaa !22
  br label %49

46:                                               ; preds = %40
  %47 = load double, ptr %11, align 8, !tbaa !22
  %48 = fadd double %47, 5.000000e-01
  store double %48, ptr %11, align 8, !tbaa !22
  br label %49

49:                                               ; preds = %46, %43
  %50 = load double, ptr %12, align 8, !tbaa !22
  %51 = fcmp ogt double %50, 5.000000e-01
  br i1 %51, label %52, label %55

52:                                               ; preds = %49
  %53 = load double, ptr %12, align 8, !tbaa !22
  %54 = fsub double %53, 5.000000e-01
  store double %54, ptr %12, align 8, !tbaa !22
  br label %58

55:                                               ; preds = %49
  %56 = load double, ptr %12, align 8, !tbaa !22
  %57 = fadd double %56, 5.000000e-01
  store double %57, ptr %12, align 8, !tbaa !22
  br label %58

58:                                               ; preds = %55, %52
  br label %59

59:                                               ; preds = %58, %19
  %60 = load ptr, ptr %3, align 8, !tbaa !5
  %61 = getelementptr inbounds %struct.snake, ptr %60, i32 0, i32 7
  %62 = load i32, ptr %61, align 8, !tbaa !27
  %63 = icmp ne i32 %62, 0
  br i1 %63, label %74, label %64

64:                                               ; preds = %59
  %65 = load double, ptr %10, align 8, !tbaa !22
  %66 = fmul double %65, 7.500000e-01
  %67 = fptrunc double %66 to float
  %68 = load double, ptr %11, align 8, !tbaa !22
  %69 = fmul double %68, 7.500000e-01
  %70 = fptrunc double %69 to float
  %71 = load double, ptr %12, align 8, !tbaa !22
  %72 = fmul double %71, 7.500000e-01
  %73 = fptrunc double %72 to float
  call void @glColor3f(float noundef %67, float noundef %70, float noundef %73)
  br label %81

74:                                               ; preds = %59
  %75 = load double, ptr %10, align 8, !tbaa !22
  %76 = fptrunc double %75 to float
  %77 = load double, ptr %11, align 8, !tbaa !22
  %78 = fptrunc double %77 to float
  %79 = load double, ptr %12, align 8, !tbaa !22
  %80 = fptrunc double %79 to float
  call void @glColor3f(float noundef %76, float noundef %78, float noundef %80)
  br label %81

81:                                               ; preds = %74, %64
  call void @glBegin(i32 noundef 7)
  %82 = load ptr, ptr %3, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.snake, ptr %82, i32 0, i32 12
  %84 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNSt6vectorI5blockSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %83, i64 noundef 0) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %5, ptr align 4 %84, i64 8, i1 false), !tbaa.struct !28
  %85 = getelementptr inbounds %struct.point, ptr %5, i32 0, i32 0
  %86 = load i32, ptr %85, align 4, !tbaa !30
  %87 = sitofp i32 %86 to double
  store double %87, ptr %6, align 8, !tbaa !22
  %88 = getelementptr inbounds %struct.point, ptr %5, i32 0, i32 1
  %89 = load i32, ptr %88, align 4, !tbaa !32
  %90 = sitofp i32 %89 to double
  store double %90, ptr %7, align 8, !tbaa !22
  %91 = load double, ptr %6, align 8, !tbaa !22
  %92 = fdiv double %91, 7.000000e+01
  store double %92, ptr %6, align 8, !tbaa !22
  %93 = load double, ptr %7, align 8, !tbaa !22
  %94 = fdiv double %93, 7.000000e+01
  store double %94, ptr %7, align 8, !tbaa !22
  %95 = load double, ptr %6, align 8, !tbaa !22
  %96 = fadd double %95, 0x3F8D41D41D41D41D
  store double %96, ptr %8, align 8, !tbaa !22
  %97 = load double, ptr %7, align 8, !tbaa !22
  %98 = fadd double %97, 0x3F8D41D41D41D41D
  store double %98, ptr %9, align 8, !tbaa !22
  %99 = load double, ptr %6, align 8, !tbaa !22
  %100 = fptrunc double %99 to float
  %101 = load double, ptr %7, align 8, !tbaa !22
  %102 = fptrunc double %101 to float
  call void @glVertex2f(float noundef %100, float noundef %102)
  %103 = load double, ptr %8, align 8, !tbaa !22
  %104 = fptrunc double %103 to float
  %105 = load double, ptr %7, align 8, !tbaa !22
  %106 = fptrunc double %105 to float
  call void @glVertex2f(float noundef %104, float noundef %106)
  %107 = load double, ptr %8, align 8, !tbaa !22
  %108 = fptrunc double %107 to float
  %109 = load double, ptr %9, align 8, !tbaa !22
  %110 = fptrunc double %109 to float
  call void @glVertex2f(float noundef %108, float noundef %110)
  %111 = load double, ptr %6, align 8, !tbaa !22
  %112 = fptrunc double %111 to float
  %113 = load double, ptr %9, align 8, !tbaa !22
  %114 = fptrunc double %113 to float
  call void @glVertex2f(float noundef %112, float noundef %114)
  call void @glEnd()
  %115 = load double, ptr %10, align 8, !tbaa !22
  %116 = fptrunc double %115 to float
  %117 = load double, ptr %11, align 8, !tbaa !22
  %118 = fptrunc double %117 to float
  %119 = load double, ptr %12, align 8, !tbaa !22
  %120 = fptrunc double %119 to float
  call void @glColor3f(float noundef %116, float noundef %118, float noundef %120)
  call void @glBegin(i32 noundef 7)
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  store i32 1, ptr %13, align 4, !tbaa !29
  br label %121

121:                                              ; preds = %165, %81
  %122 = load i32, ptr %13, align 4, !tbaa !29
  %123 = sext i32 %122 to i64
  %124 = load ptr, ptr %3, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.snake, ptr %124, i32 0, i32 12
  %126 = call noundef i64 @_ZNKSt6vectorI5blockSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %125) #5
  %127 = icmp ult i64 %123, %126
  br i1 %127, label %129, label %128

128:                                              ; preds = %121
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  br label %168

129:                                              ; preds = %121
  %130 = load ptr, ptr %3, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct.snake, ptr %130, i32 0, i32 12
  %132 = load i32, ptr %13, align 4, !tbaa !29
  %133 = sext i32 %132 to i64
  %134 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNSt6vectorI5blockSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %131, i64 noundef %133) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %5, ptr align 4 %134, i64 8, i1 false), !tbaa.struct !28
  %135 = getelementptr inbounds %struct.point, ptr %5, i32 0, i32 0
  %136 = load i32, ptr %135, align 4, !tbaa !30
  %137 = sitofp i32 %136 to double
  store double %137, ptr %6, align 8, !tbaa !22
  %138 = getelementptr inbounds %struct.point, ptr %5, i32 0, i32 1
  %139 = load i32, ptr %138, align 4, !tbaa !32
  %140 = sitofp i32 %139 to double
  store double %140, ptr %7, align 8, !tbaa !22
  %141 = load double, ptr %6, align 8, !tbaa !22
  %142 = fdiv double %141, 7.000000e+01
  store double %142, ptr %6, align 8, !tbaa !22
  %143 = load double, ptr %7, align 8, !tbaa !22
  %144 = fdiv double %143, 7.000000e+01
  store double %144, ptr %7, align 8, !tbaa !22
  %145 = load double, ptr %6, align 8, !tbaa !22
  %146 = fadd double %145, 0x3F8D41D41D41D41D
  store double %146, ptr %8, align 8, !tbaa !22
  %147 = load double, ptr %7, align 8, !tbaa !22
  %148 = fadd double %147, 0x3F8D41D41D41D41D
  store double %148, ptr %9, align 8, !tbaa !22
  %149 = load double, ptr %6, align 8, !tbaa !22
  %150 = fptrunc double %149 to float
  %151 = load double, ptr %7, align 8, !tbaa !22
  %152 = fptrunc double %151 to float
  call void @glVertex2f(float noundef %150, float noundef %152)
  %153 = load double, ptr %8, align 8, !tbaa !22
  %154 = fptrunc double %153 to float
  %155 = load double, ptr %7, align 8, !tbaa !22
  %156 = fptrunc double %155 to float
  call void @glVertex2f(float noundef %154, float noundef %156)
  %157 = load double, ptr %8, align 8, !tbaa !22
  %158 = fptrunc double %157 to float
  %159 = load double, ptr %9, align 8, !tbaa !22
  %160 = fptrunc double %159 to float
  call void @glVertex2f(float noundef %158, float noundef %160)
  %161 = load double, ptr %6, align 8, !tbaa !22
  %162 = fptrunc double %161 to float
  %163 = load double, ptr %9, align 8, !tbaa !22
  %164 = fptrunc double %163 to float
  call void @glVertex2f(float noundef %162, float noundef %164)
  br label %165

165:                                              ; preds = %129
  %166 = load i32, ptr %13, align 4, !tbaa !29
  %167 = add nsw i32 %166, 1
  store i32 %167, ptr %13, align 4, !tbaa !29
  br label %121, !llvm.loop !33

168:                                              ; preds = %128
  call void @glEnd()
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #5
  br label %169

169:                                              ; preds = %168, %18
  ret void
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt6vectorI5blockSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

declare void @_ZN5pointC1Ev(ptr noundef nonnull align 4 dereferenceable(8)) unnamed_addr #1

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!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 = !{!"bool", !7, i64 0}
!11 = !{!12, !17, i64 56}
!12 = !{!"_ZTS5snake", !13, i64 0, !16, i64 32, !17, i64 40, !17, i64 48, !17, i64 56, !17, i64 64, !17, i64 72, !16, i64 80, !16, i64 84, !16, i64 88, !10, i64 92, !10, i64 93, !18, i64 96, !6, i64 120}
!13 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !14, i64 0, !15, i64 8, !7, i64 16}
!14 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!15 = !{!"long", !7, i64 0}
!16 = !{!"int", !7, i64 0}
!17 = !{!"double", !7, i64 0}
!18 = !{!"_ZTSSt6vectorI5blockSaIS0_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseI5blockSaIS0_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseI5blockSaIS0_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseI5blockSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!17, !17, i64 0}
!23 = !{!12, !17, i64 64}
!24 = !{!12, !17, i64 72}
!25 = !{i8 0, i8 2}
!26 = !{}
!27 = !{!12, !16, i64 80}
!28 = !{i64 0, i64 4, !29, i64 4, i64 4, !29}
!29 = !{!16, !16, i64 0}
!30 = !{!31, !16, i64 0}
!31 = !{!"_ZTS5point", !16, i64 0, !16, i64 4}
!32 = !{!31, !16, i64 4}
!33 = distinct !{!33, !34}
!34 = !{!"llvm.loop.mustprogress"}


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

%struct.point = type { i32, i32 }

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

declare void @glVertex2f(float noundef, float noundef) local_unnamed_addr #1

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

declare void @glColor3f(float noundef, float noundef, float noundef) local_unnamed_addr #1

declare void @glBegin(i32 noundef) local_unnamed_addr #1

declare void @glEnd() local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z9drawSnakeR5snakeb(ptr noundef nonnull align 8 dereferenceable(128) %0, i1 noundef zeroext %1) local_unnamed_addr #2 {
  %3 = alloca %struct.point, align 8
  %4 = getelementptr inbounds i8, ptr %0, i64 96
  %5 = tail call noundef zeroext i1 @_ZNKSt6vectorI5blockSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #4
  br i1 %5, label %77, label %6

6:                                                ; preds = %2
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #4
  call void @_ZN5pointC1Ev(ptr noundef nonnull align 4 dereferenceable(8) %3)
  %7 = getelementptr inbounds i8, ptr %0, i64 56
  %8 = load <2 x double>, ptr %7, align 8, !tbaa !5
  %9 = getelementptr inbounds i8, ptr %0, i64 72
  %10 = load double, ptr %9, align 8, !tbaa !9
  br i1 %1, label %11, label %20

11:                                               ; preds = %6
  %12 = fcmp ogt <2 x double> %8, <double 5.000000e-01, double 5.000000e-01>
  %13 = select <2 x i1> %12, <2 x double> <double -5.000000e-01, double -5.000000e-01>, <2 x double> <double 5.000000e-01, double 5.000000e-01>
  %14 = fadd <2 x double> %8, %13
  %15 = fcmp ogt double %10, 5.000000e-01
  br i1 %15, label %16, label %18

16:                                               ; preds = %11
  %17 = fadd double %10, -5.000000e-01
  br label %20

18:                                               ; preds = %11
  %19 = fadd double %10, 5.000000e-01
  br label %20

20:                                               ; preds = %16, %18, %6
  %.053 = phi double [ %17, %16 ], [ %19, %18 ], [ %10, %6 ]
  %21 = phi <2 x double> [ %14, %16 ], [ %14, %18 ], [ %8, %6 ]
  %22 = getelementptr inbounds i8, ptr %0, i64 80
  %23 = load i32, ptr %22, align 8, !tbaa !21
  %.not = icmp eq i32 %23, 0
  br i1 %.not, label %24, label %34

24:                                               ; preds = %20
  %25 = extractelement <2 x double> %21, i64 0
  %26 = fmul double %25, 7.500000e-01
  %27 = fptrunc double %26 to float
  %28 = extractelement <2 x double> %21, i64 1
  %29 = fmul double %28, 7.500000e-01
  %30 = fptrunc double %29 to float
  %31 = fmul double %.053, 7.500000e-01
  %32 = fptrunc double %31 to float
  call void @glColor3f(float noundef %27, float noundef %30, float noundef %32)
  %33 = fptrunc <2 x double> %21 to <2 x float>
  %.pre68 = fptrunc double %.053 to float
  br label %39

34:                                               ; preds = %20
  %35 = fptrunc <2 x double> %21 to <2 x float>
  %36 = fptrunc double %.053 to float
  %37 = extractelement <2 x float> %35, i64 0
  %38 = extractelement <2 x float> %35, i64 1
  call void @glColor3f(float noundef %37, float noundef %38, float noundef %36)
  br label %39

39:                                               ; preds = %34, %24
  %.pre-phi69 = phi float [ %36, %34 ], [ %.pre68, %24 ]
  %40 = phi <2 x float> [ %35, %34 ], [ %33, %24 ]
  call void @glBegin(i32 noundef 7)
  %41 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNSt6vectorI5blockSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef 0) #4
  %42 = load i64, ptr %41, align 4
  store i64 %42, ptr %3, align 8
  %43 = trunc i64 %42 to i32
  %44 = sitofp i32 %43 to double
  %45 = lshr i64 %42, 32
  %46 = trunc nuw i64 %45 to i32
  %47 = sitofp i32 %46 to double
  %48 = fdiv double %44, 7.000000e+01
  %49 = fdiv double %47, 7.000000e+01
  %50 = fadd double %48, 0x3F8D41D41D41D41D
  %51 = fadd double %49, 0x3F8D41D41D41D41D
  %52 = fptrunc double %48 to float
  %53 = fptrunc double %49 to float
  call void @glVertex2f(float noundef %52, float noundef %53)
  %54 = fptrunc double %50 to float
  call void @glVertex2f(float noundef %54, float noundef %53)
  %55 = fptrunc double %51 to float
  call void @glVertex2f(float noundef %54, float noundef %55)
  call void @glVertex2f(float noundef %52, float noundef %55)
  call void @glEnd()
  %56 = extractelement <2 x float> %40, i64 0
  %57 = extractelement <2 x float> %40, i64 1
  call void @glColor3f(float noundef %56, float noundef %57, float noundef %.pre-phi69)
  call void @glBegin(i32 noundef 7)
  %58 = call noundef i64 @_ZNKSt6vectorI5blockSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #4
  %59 = icmp ugt i64 %58, 1
  br i1 %59, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %39
  call void @glEnd()
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #4
  br label %77

.lr.ph:                                           ; preds = %39, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 1, %39 ]
  %60 = call noundef nonnull align 4 dereferenceable(12) ptr @_ZNSt6vectorI5blockSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %indvars.iv) #4
  %61 = load i64, ptr %60, align 4
  store i64 %61, ptr %3, align 8
  %62 = trunc i64 %61 to i32
  %63 = sitofp i32 %62 to double
  %64 = lshr i64 %61, 32
  %65 = trunc nuw i64 %64 to i32
  %66 = sitofp i32 %65 to double
  %67 = fdiv double %63, 7.000000e+01
  %68 = fdiv double %66, 7.000000e+01
  %69 = fadd double %67, 0x3F8D41D41D41D41D
  %70 = fadd double %68, 0x3F8D41D41D41D41D
  %71 = fptrunc double %67 to float
  %72 = fptrunc double %68 to float
  call void @glVertex2f(float noundef %71, float noundef %72)
  %73 = fptrunc double %69 to float
  call void @glVertex2f(float noundef %73, float noundef %72)
  %74 = fptrunc double %70 to float
  call void @glVertex2f(float noundef %73, float noundef %74)
  call void @glVertex2f(float noundef %71, float noundef %74)
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %75 = call noundef i64 @_ZNKSt6vectorI5blockSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %4) #4
  %76 = icmp ugt i64 %75, %indvars.iv.next
  br i1 %76, label %.lr.ph, label %._crit_edge, !llvm.loop !22

77:                                               ; preds = %2, %._crit_edge
  ret void
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt6vectorI5blockSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

declare void @_ZN5pointC1Ev(ptr noundef nonnull align 4 dereferenceable(8)) unnamed_addr #1

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 72}
!10 = !{!"_ZTS5snake", !11, i64 0, !15, i64 32, !6, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !6, i64 72, !15, i64 80, !15, i64 84, !15, i64 88, !16, i64 92, !16, i64 93, !17, i64 96, !13, i64 120}
!11 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !12, i64 0, !14, i64 8, !7, i64 16}
!12 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !13, i64 0}
!13 = !{!"any pointer", !7, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!"int", !7, i64 0}
!16 = !{!"bool", !7, i64 0}
!17 = !{!"_ZTSSt6vectorI5blockSaIS0_EE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseI5blockSaIS0_EE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseI5blockSaIS0_EE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseI5blockSaIS0_EE17_Vector_impl_dataE", !13, i64 0, !13, i64 8, !13, i64 16}
!21 = !{!10, !15, i64 80}
!22 = distinct !{!22, !23}
!23 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass