; LLVM IR from thalium/icebox :: third_party/virtualbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Library (NetLibIp6ToStr)

; 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.EFI_IPv6_ADDRESS = type { [16 x i8] }

@.str.36 = external hidden unnamed_addr constant [3 x i32], align 4

; 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

declare ptr @ZeroMem(ptr noundef, i64 noundef) #1

declare ptr @StrCpy(ptr noundef, ptr noundef) #1

declare i64 @UnicodeSPrint(ptr noundef, i64 noundef, ptr noundef, ...) #1

; Function Attrs: nounwind uwtable
define dso_local i64 @NetLibIp6ToStr(ptr noundef %0, ptr noundef %1, i64 noundef %2) #2 {
  %4 = alloca i64, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca [8 x i16], align 16
  %9 = alloca i64, align 8
  %10 = alloca i64, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i64, align 8
  %14 = alloca [40 x i16], align 16
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store i64 %2, ptr %7, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.start.p0(i64 80, ptr %14) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %17 = load ptr, ptr %5, align 8, !tbaa !5
  %18 = icmp eq ptr %17, null
  br i1 %18, label %25, label %19

19:                                               ; preds = %3
  %20 = load ptr, ptr %6, align 8, !tbaa !5
  %21 = icmp eq ptr %20, null
  br i1 %21, label %25, label %22

22:                                               ; preds = %19
  %23 = load i64, ptr %7, align 8, !tbaa !9
  %24 = icmp eq i64 %23, 0
  br i1 %24, label %25, label %26

25:                                               ; preds = %22, %19, %3
  store i64 -9223372036854775806, ptr %4, align 8
  store i32 1, ptr %16, align 4
  br label %182

26:                                               ; preds = %22
  %27 = getelementptr inbounds [8 x i16], ptr %8, i64 0, i64 0
  %28 = call ptr @ZeroMem(ptr noundef %27, i64 noundef 16)
  store i64 0, ptr %9, align 8, !tbaa !9
  br label %29

29:                                               ; preds = %52, %26
  %30 = load i64, ptr %9, align 8, !tbaa !9
  %31 = icmp ult i64 %30, 16
  br i1 %31, label %32, label %55

32:                                               ; preds = %29
  %33 = load ptr, ptr %5, align 8, !tbaa !5
  %34 = getelementptr inbounds %struct.EFI_IPv6_ADDRESS, ptr %33, i32 0, i32 0
  %35 = load i64, ptr %9, align 8, !tbaa !9
  %36 = getelementptr inbounds [16 x i8], ptr %34, i64 0, i64 %35
  %37 = load i8, ptr %36, align 1, !tbaa !11
  %38 = zext i8 %37 to i32
  %39 = load i64, ptr %9, align 8, !tbaa !9
  %40 = urem i64 %39, 2
  %41 = sub i64 1, %40
  %42 = shl i64 %41, 3
  %43 = trunc i64 %42 to i32
  %44 = shl i32 %38, %43
  %45 = load i64, ptr %9, align 8, !tbaa !9
  %46 = udiv i64 %45, 2
  %47 = getelementptr inbounds [8 x i16], ptr %8, i64 0, i64 %46
  %48 = load i16, ptr %47, align 2, !tbaa !12
  %49 = zext i16 %48 to i32
  %50 = or i32 %49, %44
  %51 = trunc i32 %50 to i16
  store i16 %51, ptr %47, align 2, !tbaa !12
  br label %52

52:                                               ; preds = %32
  %53 = load i64, ptr %9, align 8, !tbaa !9
  %54 = add i64 %53, 1
  store i64 %54, ptr %9, align 8, !tbaa !9
  br label %29, !llvm.loop !14

55:                                               ; preds = %29
  store i64 -1, ptr %12, align 8, !tbaa !9
  store i64 0, ptr %13, align 8, !tbaa !9
  store i64 -1, ptr %10, align 8, !tbaa !9
  store i64 0, ptr %11, align 8, !tbaa !9
  store i64 0, ptr %9, align 8, !tbaa !9
  br label %56

56:                                               ; preds = %93, %55
  %57 = load i64, ptr %9, align 8, !tbaa !9
  %58 = icmp ult i64 %57, 8
  br i1 %58, label %59, label %96

59:                                               ; preds = %56
  %60 = load i64, ptr %9, align 8, !tbaa !9
  %61 = getelementptr inbounds [8 x i16], ptr %8, i64 0, i64 %60
  %62 = load i16, ptr %61, align 2, !tbaa !12
  %63 = zext i16 %62 to i32
  %64 = icmp eq i32 %63, 0
  br i1 %64, label %65, label %74

65:                                               ; preds = %59
  %66 = load i64, ptr %12, align 8, !tbaa !9
  %67 = icmp eq i64 %66, -1
  br i1 %67, label %68, label %70

68:                                               ; preds = %65
  %69 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %69, ptr %12, align 8, !tbaa !9
  store i64 1, ptr %13, align 8, !tbaa !9
  br label %73

70:                                               ; preds = %65
  %71 = load i64, ptr %13, align 8, !tbaa !9
  %72 = add i64 %71, 1
  store i64 %72, ptr %13, align 8, !tbaa !9
  br label %73

73:                                               ; preds = %70, %68
  br label %92

74:                                               ; preds = %59
  %75 = load i64, ptr %12, align 8, !tbaa !9
  %76 = icmp ne i64 %75, -1
  br i1 %76, label %77, label %91

77:                                               ; preds = %74
  %78 = load i64, ptr %13, align 8, !tbaa !9
  %79 = icmp ugt i64 %78, 2
  br i1 %79, label %80, label %90

80:                                               ; preds = %77
  %81 = load i64, ptr %10, align 8, !tbaa !9
  %82 = icmp eq i64 %81, -1
  br i1 %82, label %87, label %83

83:                                               ; preds = %80
  %84 = load i64, ptr %13, align 8, !tbaa !9
  %85 = load i64, ptr %11, align 8, !tbaa !9
  %86 = icmp ugt i64 %84, %85
  br i1 %86, label %87, label %90

87:                                               ; preds = %83, %80
  %88 = load i64, ptr %12, align 8, !tbaa !9
  store i64 %88, ptr %10, align 8, !tbaa !9
  %89 = load i64, ptr %13, align 8, !tbaa !9
  store i64 %89, ptr %11, align 8, !tbaa !9
  br label %90

90:                                               ; preds = %87, %83, %77
  store i64 -1, ptr %12, align 8, !tbaa !9
  store i64 0, ptr %13, align 8, !tbaa !9
  br label %91

91:                                               ; preds = %90, %74
  br label %92

92:                                               ; preds = %91, %73
  br label %93

93:                                               ; preds = %92
  %94 = load i64, ptr %9, align 8, !tbaa !9
  %95 = add i64 %94, 1
  store i64 %95, ptr %9, align 8, !tbaa !9
  br label %56, !llvm.loop !16

96:                                               ; preds = %56
  %97 = load i64, ptr %12, align 8, !tbaa !9
  %98 = icmp ne i64 %97, -1
  br i1 %98, label %99, label %113

99:                                               ; preds = %96
  %100 = load i64, ptr %13, align 8, !tbaa !9
  %101 = icmp ugt i64 %100, 2
  br i1 %101, label %102, label %113

102:                                              ; preds = %99
  %103 = load i64, ptr %10, align 8, !tbaa !9
  %104 = icmp eq i64 %103, -1
  br i1 %104, label %109, label %105

105:                                              ; preds = %102
  %106 = load i64, ptr %11, align 8, !tbaa !9
  %107 = load i64, ptr %13, align 8, !tbaa !9
  %108 = icmp ult i64 %106, %107
  br i1 %108, label %109, label %112

109:                                              ; preds = %105, %102
  %110 = load i64, ptr %12, align 8, !tbaa !9
  store i64 %110, ptr %10, align 8, !tbaa !9
  %111 = load i64, ptr %13, align 8, !tbaa !9
  store i64 %111, ptr %11, align 8, !tbaa !9
  br label %112

112:                                              ; preds = %109, %105
  br label %113

113:                                              ; preds = %112, %99, %96
  %114 = getelementptr inbounds [40 x i16], ptr %14, i64 0, i64 0
  store ptr %114, ptr %15, align 8, !tbaa !5
  store i64 0, ptr %9, align 8, !tbaa !9
  br label %115

115:                                              ; preds = %154, %113
  %116 = load i64, ptr %9, align 8, !tbaa !9
  %117 = icmp ult i64 %116, 8
  br i1 %117, label %118, label %157

118:                                              ; preds = %115
  %119 = load i64, ptr %10, align 8, !tbaa !9
  %120 = icmp ne i64 %119, -1
  br i1 %120, label %121, label %139

121:                                              ; preds = %118
  %122 = load i64, ptr %9, align 8, !tbaa !9
  %123 = load i64, ptr %10, align 8, !tbaa !9
  %124 = icmp uge i64 %122, %123
  br i1 %124, label %125, label %139

125:                                              ; preds = %121
  %126 = load i64, ptr %9, align 8, !tbaa !9
  %127 = load i64, ptr %10, align 8, !tbaa !9
  %128 = load i64, ptr %11, align 8, !tbaa !9
  %129 = add i64 %127, %128
  %130 = icmp ult i64 %126, %129
  br i1 %130, label %131, label %139

131:                                              ; preds = %125
  %132 = load i64, ptr %9, align 8, !tbaa !9
  %133 = load i64, ptr %10, align 8, !tbaa !9
  %134 = icmp eq i64 %132, %133
  br i1 %134, label %135, label %138

135:                                              ; preds = %131
  %136 = load ptr, ptr %15, align 8, !tbaa !5
  %137 = getelementptr inbounds i16, ptr %136, i32 1
  store ptr %137, ptr %15, align 8, !tbaa !5
  store i16 58, ptr %136, align 2, !tbaa !12
  br label %138

138:                                              ; preds = %135, %131
  br label %154

139:                                              ; preds = %125, %121, %118
  %140 = load i64, ptr %9, align 8, !tbaa !9
  %141 = icmp ne i64 %140, 0
  br i1 %141, label %142, label %145

142:                                              ; preds = %139
  %143 = load ptr, ptr %15, align 8, !tbaa !5
  %144 = getelementptr inbounds i16, ptr %143, i32 1
  store ptr %144, ptr %15, align 8, !tbaa !5
  store i16 58, ptr %143, align 2, !tbaa !12
  br label %145

145:                                              ; preds = %142, %139
  %146 = load ptr, ptr %15, align 8, !tbaa !5
  %147 = load i64, ptr %9, align 8, !tbaa !9
  %148 = getelementptr inbounds [8 x i16], ptr %8, i64 0, i64 %147
  %149 = load i16, ptr %148, align 2, !tbaa !12
  %150 = zext i16 %149 to i32
  %151 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef %146, i64 noundef 10, ptr noundef @.str.36, i32 noundef %150)
  %152 = load ptr, ptr %15, align 8, !tbaa !5
  %153 = getelementptr inbounds i16, ptr %152, i64 %151
  store ptr %153, ptr %15, align 8, !tbaa !5
  br label %154

154:                                              ; preds = %145, %138
  %155 = load i64, ptr %9, align 8, !tbaa !9
  %156 = add i64 %155, 1
  store i64 %156, ptr %9, align 8, !tbaa !9
  br label %115, !llvm.loop !17

157:                                              ; preds = %115
  %158 = load i64, ptr %10, align 8, !tbaa !9
  %159 = icmp ne i64 %158, -1
  br i1 %159, label %160, label %168

160:                                              ; preds = %157
  %161 = load i64, ptr %10, align 8, !tbaa !9
  %162 = load i64, ptr %11, align 8, !tbaa !9
  %163 = add i64 %161, %162
  %164 = icmp eq i64 %163, 8
  br i1 %164, label %165, label %168

165:                                              ; preds = %160
  %166 = load ptr, ptr %15, align 8, !tbaa !5
  %167 = getelementptr inbounds i16, ptr %166, i32 1
  store ptr %167, ptr %15, align 8, !tbaa !5
  store i16 58, ptr %166, align 2, !tbaa !12
  br label %168

168:                                              ; preds = %165, %160, %157
  %169 = load ptr, ptr %15, align 8, !tbaa !5
  store i16 0, ptr %169, align 2, !tbaa !12
  %170 = load ptr, ptr %15, align 8, !tbaa !5
  %171 = ptrtoint ptr %170 to i64
  %172 = getelementptr inbounds [40 x i16], ptr %14, i64 0, i64 0
  %173 = ptrtoint ptr %172 to i64
  %174 = sub i64 %171, %173
  %175 = load i64, ptr %7, align 8, !tbaa !9
  %176 = icmp ugt i64 %174, %175
  br i1 %176, label %177, label %178

177:                                              ; preds = %168
  store i64 -9223372036854775803, ptr %4, align 8
  store i32 1, ptr %16, align 4
  br label %182

178:                                              ; preds = %168
  %179 = load ptr, ptr %6, align 8, !tbaa !5
  %180 = getelementptr inbounds [40 x i16], ptr %14, i64 0, i64 0
  %181 = call ptr @StrCpy(ptr noundef %179, ptr noundef %180)
  store i64 0, ptr %4, align 8
  store i32 1, ptr %16, align 4
  br label %182

182:                                              ; preds = %178, %177, %25
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  call void @llvm.lifetime.end.p0(i64 80, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #3
  %183 = load i64, ptr %4, align 8
  ret i64 %183
}

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 = { 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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long long", !7, i64 0}
!11 = !{!7, !7, i64 0}
!12 = !{!13, !13, i64 0}
!13 = !{!"short", !7, i64 0}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}


; 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"

@.str.36 = external hidden unnamed_addr constant [3 x i32], align 4

; 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

declare ptr @ZeroMem(ptr noundef, i64 noundef) local_unnamed_addr #1

declare ptr @StrCpy(ptr noundef, ptr noundef) local_unnamed_addr #1

declare i64 @UnicodeSPrint(ptr noundef, i64 noundef, ptr noundef, ...) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
define dso_local range(i64 -9223372036854775806, 1) i64 @NetLibIp6ToStr(ptr noundef readonly %0, ptr noundef %1, i64 noundef %2) local_unnamed_addr #2 {
  %4 = alloca [8 x i16], align 16
  %5 = alloca [40 x i16], align 16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #3
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %5) #3
  %6 = icmp eq ptr %0, null
  %7 = icmp eq ptr %1, null
  %or.cond = or i1 %6, %7
  %8 = icmp eq i64 %2, 0
  %or.cond3 = or i1 %or.cond, %8
  br i1 %or.cond3, label %244, label %.preheader.preheader

.preheader.preheader:                             ; preds = %3
  %9 = call ptr @ZeroMem(ptr noundef nonnull %4, i64 noundef 16) #3
  %10 = load i8, ptr %0, align 1, !tbaa !5
  %11 = zext i8 %10 to i16
  %12 = shl nuw i16 %11, 8
  %13 = load i16, ptr %4, align 16, !tbaa !8
  %14 = or i16 %12, %13
  %15 = getelementptr inbounds i8, ptr %0, i64 1
  %16 = load i8, ptr %15, align 1, !tbaa !5
  %17 = zext i8 %16 to i16
  %18 = or i16 %14, %17
  store i16 %18, ptr %4, align 16, !tbaa !8
  %19 = getelementptr inbounds i8, ptr %0, i64 2
  %20 = load i8, ptr %19, align 1, !tbaa !5
  %21 = zext i8 %20 to i16
  %22 = shl nuw i16 %21, 8
  %23 = getelementptr inbounds i8, ptr %4, i64 2
  %24 = load i16, ptr %23, align 2, !tbaa !8
  %25 = or i16 %22, %24
  %26 = getelementptr inbounds i8, ptr %0, i64 3
  %27 = load i8, ptr %26, align 1, !tbaa !5
  %28 = zext i8 %27 to i16
  %29 = or i16 %25, %28
  store i16 %29, ptr %23, align 2, !tbaa !8
  %30 = getelementptr inbounds i8, ptr %0, i64 4
  %31 = load i8, ptr %30, align 1, !tbaa !5
  %32 = zext i8 %31 to i16
  %33 = shl nuw i16 %32, 8
  %34 = getelementptr inbounds i8, ptr %4, i64 4
  %35 = load i16, ptr %34, align 4, !tbaa !8
  %36 = or i16 %33, %35
  %37 = getelementptr inbounds i8, ptr %0, i64 5
  %38 = load i8, ptr %37, align 1, !tbaa !5
  %39 = zext i8 %38 to i16
  %40 = or i16 %36, %39
  store i16 %40, ptr %34, align 4, !tbaa !8
  %41 = getelementptr inbounds i8, ptr %0, i64 6
  %42 = load i8, ptr %41, align 1, !tbaa !5
  %43 = zext i8 %42 to i16
  %44 = shl nuw i16 %43, 8
  %45 = getelementptr inbounds i8, ptr %4, i64 6
  %46 = load i16, ptr %45, align 2, !tbaa !8
  %47 = or i16 %44, %46
  %48 = getelementptr inbounds i8, ptr %0, i64 7
  %49 = load i8, ptr %48, align 1, !tbaa !5
  %50 = zext i8 %49 to i16
  %51 = or i16 %47, %50
  store i16 %51, ptr %45, align 2, !tbaa !8
  %52 = getelementptr inbounds i8, ptr %0, i64 8
  %53 = load i8, ptr %52, align 1, !tbaa !5
  %54 = zext i8 %53 to i16
  %55 = shl nuw i16 %54, 8
  %56 = getelementptr inbounds i8, ptr %4, i64 8
  %57 = load i16, ptr %56, align 8, !tbaa !8
  %58 = or i16 %55, %57
  %59 = getelementptr inbounds i8, ptr %0, i64 9
  %60 = load i8, ptr %59, align 1, !tbaa !5
  %61 = zext i8 %60 to i16
  %62 = or i16 %58, %61
  store i16 %62, ptr %56, align 8, !tbaa !8
  %63 = getelementptr inbounds i8, ptr %0, i64 10
  %64 = load i8, ptr %63, align 1, !tbaa !5
  %65 = zext i8 %64 to i16
  %66 = shl nuw i16 %65, 8
  %67 = getelementptr inbounds i8, ptr %4, i64 10
  %68 = load i16, ptr %67, align 2, !tbaa !8
  %69 = or i16 %66, %68
  %70 = getelementptr inbounds i8, ptr %0, i64 11
  %71 = load i8, ptr %70, align 1, !tbaa !5
  %72 = zext i8 %71 to i16
  %73 = or i16 %69, %72
  store i16 %73, ptr %67, align 2, !tbaa !8
  %74 = getelementptr inbounds i8, ptr %0, i64 12
  %75 = load i8, ptr %74, align 1, !tbaa !5
  %76 = zext i8 %75 to i16
  %77 = shl nuw i16 %76, 8
  %78 = getelementptr inbounds i8, ptr %4, i64 12
  %79 = load i16, ptr %78, align 4, !tbaa !8
  %80 = or i16 %77, %79
  %81 = getelementptr inbounds i8, ptr %0, i64 13
  %82 = load i8, ptr %81, align 1, !tbaa !5
  %83 = zext i8 %82 to i16
  %84 = or i16 %80, %83
  store i16 %84, ptr %78, align 4, !tbaa !8
  %85 = getelementptr inbounds i8, ptr %0, i64 14
  %86 = load i8, ptr %85, align 1, !tbaa !5
  %87 = zext i8 %86 to i16
  %88 = shl nuw i16 %87, 8
  %89 = getelementptr inbounds i8, ptr %4, i64 14
  %90 = load i16, ptr %89, align 2, !tbaa !8
  %91 = or i16 %88, %90
  %92 = getelementptr inbounds i8, ptr %0, i64 15
  %93 = load i8, ptr %92, align 1, !tbaa !5
  %94 = zext i8 %93 to i16
  %95 = or i16 %91, %94
  store i16 %95, ptr %89, align 2, !tbaa !8
  %.not108.not = icmp ne i16 %18, 0
  %.not158 = icmp eq i16 %29, 0
  %.153 = zext i1 %.not108.not to i64
  %.not159 = icmp eq i16 %40, 0
  %96 = select i1 %.not108.not, i64 2, i64 3
  %spec.select.2 = select i1 %.not158, i64 %.153, i64 2
  %spec.select88.2 = select i1 %.not158, i64 %96, i64 1
  %.159.2 = select i1 %.not159, i64 %spec.select88.2, i64 0
  %97 = icmp eq i16 %51, 0
  br i1 %97, label %101, label %98

98:                                               ; preds = %.preheader.preheader
  br i1 %.not159, label %99, label %.preheader.4

99:                                               ; preds = %98
  %100 = icmp eq i64 %.159.2, 3
  %spec.select154 = select i1 %100, i64 %spec.select.2, i64 -1
  %spec.select155 = select i1 %100, i64 3, i64 0
  br label %.preheader.4

101:                                              ; preds = %.preheader.preheader
  %102 = add nuw nsw i64 %spec.select88.2, 1
  %spec.select.3 = select i1 %.not159, i64 %spec.select.2, i64 3
  %spec.select88.3 = select i1 %.not159, i64 %102, i64 1
  br label %.preheader.4

.preheader.4:                                     ; preds = %99, %101, %98
  %.268.3 = phi i64 [ -1, %98 ], [ -1, %101 ], [ %spec.select154, %99 ]
  %.264.3 = phi i64 [ 0, %98 ], [ 0, %101 ], [ %spec.select155, %99 ]
  %.161.3 = phi i64 [ -1, %98 ], [ %spec.select.3, %101 ], [ -1, %99 ]
  %.159.3 = phi i64 [ %.159.2, %98 ], [ %spec.select88.3, %101 ], [ 0, %99 ]
  %103 = icmp eq i16 %62, 0
  %104 = icmp eq i64 %.161.3, -1
  br i1 %103, label %111, label %105

105:                                              ; preds = %.preheader.4
  br i1 %104, label %.preheader.5, label %106

106:                                              ; preds = %105
  %107 = icmp ugt i64 %.159.3, 2
  br i1 %107, label %108, label %.preheader.5

108:                                              ; preds = %106
  %109 = icmp eq i64 %.268.3, -1
  %110 = icmp ugt i64 %.159.3, %.264.3
  %or.cond81.4 = select i1 %109, i1 true, i1 %110
  %spec.select89.4 = select i1 %or.cond81.4, i64 %.161.3, i64 %.268.3
  %spec.select90.4 = select i1 %or.cond81.4, i64 %.159.3, i64 %.264.3
  br label %.preheader.5

111:                                              ; preds = %.preheader.4
  %112 = add nuw nsw i64 %.159.3, 1
  %spec.select.4 = select i1 %104, i64 4, i64 %.161.3
  %spec.select88.4 = select i1 %104, i64 1, i64 %112
  br label %.preheader.5

.preheader.5:                                     ; preds = %111, %108, %106, %105
  %.268.4 = phi i64 [ %.268.3, %105 ], [ %.268.3, %106 ], [ %.268.3, %111 ], [ %spec.select89.4, %108 ]
  %.264.4 = phi i64 [ %.264.3, %105 ], [ %.264.3, %106 ], [ %.264.3, %111 ], [ %spec.select90.4, %108 ]
  %.161.4 = phi i64 [ -1, %105 ], [ -1, %106 ], [ %spec.select.4, %111 ], [ -1, %108 ]
  %.159.4 = phi i64 [ %.159.3, %105 ], [ 0, %106 ], [ %spec.select88.4, %111 ], [ 0, %108 ]
  %113 = icmp eq i16 %73, 0
  %114 = icmp eq i64 %.161.4, -1
  br i1 %113, label %121, label %115

115:                                              ; preds = %.preheader.5
  br i1 %114, label %.preheader.6, label %116

116:                                              ; preds = %115
  %117 = icmp ugt i64 %.159.4, 2
  br i1 %117, label %118, label %.preheader.6

118:                                              ; preds = %116
  %119 = icmp eq i64 %.268.4, -1
  %120 = icmp ugt i64 %.159.4, %.264.4
  %or.cond81.5 = select i1 %119, i1 true, i1 %120
  %spec.select89.5 = select i1 %or.cond81.5, i64 %.161.4, i64 %.268.4
  %spec.select90.5 = select i1 %or.cond81.5, i64 %.159.4, i64 %.264.4
  br label %.preheader.6

121:                                              ; preds = %.preheader.5
  %122 = add nuw nsw i64 %.159.4, 1
  %spec.select.5 = select i1 %114, i64 5, i64 %.161.4
  %spec.select88.5 = select i1 %114, i64 1, i64 %122
  br label %.preheader.6

.preheader.6:                                     ; preds = %121, %118, %116, %115
  %.268.5 = phi i64 [ %.268.4, %115 ], [ %.268.4, %116 ], [ %.268.4, %121 ], [ %spec.select89.5, %118 ]
  %.264.5 = phi i64 [ %.264.4, %115 ], [ %.264.4, %116 ], [ %.264.4, %121 ], [ %spec.select90.5, %118 ]
  %.161.5 = phi i64 [ -1, %115 ], [ -1, %116 ], [ %spec.select.5, %121 ], [ -1, %118 ]
  %.159.5 = phi i64 [ %.159.4, %115 ], [ 0, %116 ], [ %spec.select88.5, %121 ], [ 0, %118 ]
  %123 = icmp eq i16 %84, 0
  %124 = icmp eq i64 %.161.5, -1
  br i1 %123, label %131, label %125

125:                                              ; preds = %.preheader.6
  br i1 %124, label %.preheader.7, label %126

126:                                              ; preds = %125
  %127 = icmp ugt i64 %.159.5, 2
  br i1 %127, label %128, label %.preheader.7

128:                                              ; preds = %126
  %129 = icmp eq i64 %.268.5, -1
  %130 = icmp ugt i64 %.159.5, %.264.5
  %or.cond81.6 = select i1 %129, i1 true, i1 %130
  %spec.select89.6 = select i1 %or.cond81.6, i64 %.161.5, i64 %.268.5
  %spec.select90.6 = select i1 %or.cond81.6, i64 %.159.5, i64 %.264.5
  br label %.preheader.7

131:                                              ; preds = %.preheader.6
  %132 = add nuw nsw i64 %.159.5, 1
  %spec.select.6 = select i1 %124, i64 6, i64 %.161.5
  %spec.select88.6 = select i1 %124, i64 1, i64 %132
  br label %.preheader.7

.preheader.7:                                     ; preds = %131, %128, %126, %125
  %.268.6 = phi i64 [ %.268.5, %125 ], [ %.268.5, %126 ], [ %.268.5, %131 ], [ %spec.select89.6, %128 ]
  %.264.6 = phi i64 [ %.264.5, %125 ], [ %.264.5, %126 ], [ %.264.5, %131 ], [ %spec.select90.6, %128 ]
  %.161.6 = phi i64 [ -1, %125 ], [ -1, %126 ], [ %spec.select.6, %131 ], [ -1, %128 ]
  %.159.6 = phi i64 [ %.159.5, %125 ], [ 0, %126 ], [ %spec.select88.6, %131 ], [ 0, %128 ]
  %133 = icmp eq i16 %95, 0
  %134 = icmp ne i64 %.161.6, -1
  br i1 %133, label %140, label %135

135:                                              ; preds = %.preheader.7
  %136 = icmp ugt i64 %.159.6, 2
  %or.cond157 = select i1 %134, i1 %136, i1 false
  br i1 %or.cond157, label %137, label %.thread115

137:                                              ; preds = %135
  %138 = icmp eq i64 %.268.6, -1
  %139 = icmp ugt i64 %.159.6, %.264.6
  %or.cond81.7 = select i1 %138, i1 true, i1 %139
  %spec.select89.7 = select i1 %or.cond81.7, i64 %.161.6, i64 %.268.6
  %spec.select90.7 = select i1 %or.cond81.7, i64 %.159.6, i64 %.264.6
  br label %.thread115

140:                                              ; preds = %.preheader.7
  %141 = add nuw nsw i64 %.159.6, 1
  %spec.select88.7 = select i1 %134, i64 %141, i64 1
  %142 = icmp ugt i64 %spec.select88.7, 2
  br i1 %142, label %143, label %.thread115

143:                                              ; preds = %140
  %spec.select.7 = select i1 %134, i64 %.161.6, i64 7
  %144 = icmp eq i64 %.268.6, -1
  %145 = icmp ult i64 %.264.6, %spec.select88.7
  %or.cond82 = select i1 %144, i1 true, i1 %145
  %spec.select91 = select i1 %or.cond82, i64 %spec.select.7, i64 %.268.6
  %spec.select92 = select i1 %or.cond82, i64 %spec.select88.7, i64 %.264.6
  br label %.thread115

.thread115:                                       ; preds = %137, %135, %143, %140
  %.369 = phi i64 [ %.268.6, %140 ], [ %spec.select91, %143 ], [ %spec.select89.7, %137 ], [ %.268.6, %135 ]
  %.365 = phi i64 [ %.264.6, %140 ], [ %spec.select92, %143 ], [ %spec.select90.7, %137 ], [ %.264.6, %135 ]
  %146 = add nsw i64 %.365, %.369
  %.not78 = icmp eq i64 %.369, 0
  %147 = icmp ne i64 %146, 0
  %or.cond85 = select i1 %.not78, i1 %147, i1 false
  br i1 %or.cond85, label %.thread121, label %148

148:                                              ; preds = %.thread115
  %149 = zext i16 %18 to i32
  %150 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %5, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %149) #3
  %151 = getelementptr inbounds i16, ptr %5, i64 %150
  %.not78.1 = icmp ult i64 %.369, 2
  %152 = icmp ugt i64 %146, 1
  %or.cond85.1 = select i1 %.not78.1, i1 %152, i1 false
  br i1 %or.cond85.1, label %161, label %155

.thread121:                                       ; preds = %.thread115
  %153 = getelementptr inbounds i8, ptr %5, i64 2
  store i16 58, ptr %5, align 16, !tbaa !8
  %154 = icmp ugt i64 %146, 1
  br i1 %154, label %.thread127, label %155

155:                                              ; preds = %.thread121, %148
  %.2125 = phi ptr [ %153, %.thread121 ], [ %151, %148 ]
  store i16 58, ptr %.2125, align 2, !tbaa !8
  %156 = getelementptr inbounds i8, ptr %.2125, i64 2
  %157 = load i16, ptr %23, align 2, !tbaa !8
  %158 = zext i16 %157 to i32
  %159 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %156, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %158) #3
  %160 = getelementptr inbounds i16, ptr %156, i64 %159
  br label %.thread127

161:                                              ; preds = %148
  %162 = icmp eq i64 %.369, 1
  br i1 %162, label %163, label %.thread127

163:                                              ; preds = %161
  %164 = getelementptr inbounds i8, ptr %151, i64 2
  store i16 58, ptr %151, align 2, !tbaa !8
  br label %.thread127

.thread127:                                       ; preds = %.thread121, %163, %161, %155
  %.2.1 = phi ptr [ %164, %163 ], [ %151, %161 ], [ %160, %155 ], [ %153, %.thread121 ]
  %.not78.2 = icmp ult i64 %.369, 3
  %165 = icmp ugt i64 %146, 2
  %or.cond85.2 = select i1 %.not78.2, i1 %165, i1 false
  br i1 %or.cond85.2, label %172, label %166

166:                                              ; preds = %.thread127
  store i16 58, ptr %.2.1, align 2, !tbaa !8
  %167 = getelementptr inbounds i8, ptr %.2.1, i64 2
  %168 = load i16, ptr %34, align 4, !tbaa !8
  %169 = zext i16 %168 to i32
  %170 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %167, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %169) #3
  %171 = getelementptr inbounds i16, ptr %167, i64 %170
  br label %174

172:                                              ; preds = %.thread127
  %173 = icmp eq i64 %.369, 2
  br i1 %173, label %.thread129, label %174

174:                                              ; preds = %172, %166
  %.2.2 = phi ptr [ %.2.1, %172 ], [ %171, %166 ]
  %.not78.3 = icmp ult i64 %.369, 4
  %175 = icmp ugt i64 %146, 3
  %or.cond85.3 = select i1 %.not78.3, i1 %175, i1 false
  br i1 %or.cond85.3, label %184, label %178

.thread129:                                       ; preds = %172
  %176 = getelementptr inbounds i8, ptr %.2.1, i64 2
  store i16 58, ptr %.2.1, align 2, !tbaa !8
  %177 = icmp ugt i64 %146, 3
  br i1 %177, label %.thread135, label %178

178:                                              ; preds = %.thread129, %174
  %.2.2133 = phi ptr [ %176, %.thread129 ], [ %.2.2, %174 ]
  store i16 58, ptr %.2.2133, align 2, !tbaa !8
  %179 = getelementptr inbounds i8, ptr %.2.2133, i64 2
  %180 = load i16, ptr %45, align 2, !tbaa !8
  %181 = zext i16 %180 to i32
  %182 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %179, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %181) #3
  %183 = getelementptr inbounds i16, ptr %179, i64 %182
  br label %.thread135

184:                                              ; preds = %174
  %185 = icmp eq i64 %.369, 3
  br i1 %185, label %186, label %.thread135

186:                                              ; preds = %184
  %187 = getelementptr inbounds i8, ptr %.2.2, i64 2
  store i16 58, ptr %.2.2, align 2, !tbaa !8
  br label %.thread135

.thread135:                                       ; preds = %.thread129, %186, %184, %178
  %.2.3 = phi ptr [ %187, %186 ], [ %.2.2, %184 ], [ %183, %178 ], [ %176, %.thread129 ]
  %.not78.4 = icmp ult i64 %.369, 5
  %188 = icmp ugt i64 %146, 4
  %or.cond85.4 = select i1 %.not78.4, i1 %188, i1 false
  br i1 %or.cond85.4, label %195, label %189

189:                                              ; preds = %.thread135
  store i16 58, ptr %.2.3, align 2, !tbaa !8
  %190 = getelementptr inbounds i8, ptr %.2.3, i64 2
  %191 = load i16, ptr %56, align 8, !tbaa !8
  %192 = zext i16 %191 to i32
  %193 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %190, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %192) #3
  %194 = getelementptr inbounds i16, ptr %190, i64 %193
  br label %197

195:                                              ; preds = %.thread135
  %196 = icmp eq i64 %.369, 4
  br i1 %196, label %.thread137, label %197

197:                                              ; preds = %195, %189
  %.2.4 = phi ptr [ %.2.3, %195 ], [ %194, %189 ]
  %.not78.5 = icmp ult i64 %.369, 6
  %198 = icmp ugt i64 %146, 5
  %or.cond85.5 = select i1 %.not78.5, i1 %198, i1 false
  br i1 %or.cond85.5, label %207, label %201

.thread137:                                       ; preds = %195
  %199 = getelementptr inbounds i8, ptr %.2.3, i64 2
  store i16 58, ptr %.2.3, align 2, !tbaa !8
  %200 = icmp ugt i64 %146, 5
  br i1 %200, label %.thread143, label %201

201:                                              ; preds = %.thread137, %197
  %.2.4141 = phi ptr [ %199, %.thread137 ], [ %.2.4, %197 ]
  store i16 58, ptr %.2.4141, align 2, !tbaa !8
  %202 = getelementptr inbounds i8, ptr %.2.4141, i64 2
  %203 = load i16, ptr %67, align 2, !tbaa !8
  %204 = zext i16 %203 to i32
  %205 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %202, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %204) #3
  %206 = getelementptr inbounds i16, ptr %202, i64 %205
  br label %.thread143

207:                                              ; preds = %197
  %208 = icmp eq i64 %.369, 5
  br i1 %208, label %209, label %.thread143

209:                                              ; preds = %207
  %210 = getelementptr inbounds i8, ptr %.2.4, i64 2
  store i16 58, ptr %.2.4, align 2, !tbaa !8
  br label %.thread143

.thread143:                                       ; preds = %.thread137, %209, %207, %201
  %.2.5 = phi ptr [ %210, %209 ], [ %.2.4, %207 ], [ %206, %201 ], [ %199, %.thread137 ]
  %.not78.6 = icmp ult i64 %.369, 7
  %211 = icmp ugt i64 %146, 6
  %or.cond85.6 = select i1 %.not78.6, i1 %211, i1 false
  br i1 %or.cond85.6, label %218, label %212

212:                                              ; preds = %.thread143
  store i16 58, ptr %.2.5, align 2, !tbaa !8
  %213 = getelementptr inbounds i8, ptr %.2.5, i64 2
  %214 = load i16, ptr %78, align 4, !tbaa !8
  %215 = zext i16 %214 to i32
  %216 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %213, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %215) #3
  %217 = getelementptr inbounds i16, ptr %213, i64 %216
  br label %220

218:                                              ; preds = %.thread143
  %219 = icmp eq i64 %.369, 6
  br i1 %219, label %.thread145, label %220

220:                                              ; preds = %218, %212
  %.2.6 = phi ptr [ %.2.5, %218 ], [ %217, %212 ]
  %.not78.7 = icmp ult i64 %.369, 8
  %221 = icmp ugt i64 %146, 7
  %or.cond85.7 = select i1 %.not78.7, i1 %221, i1 false
  br i1 %or.cond85.7, label %230, label %224

.thread145:                                       ; preds = %218
  %222 = getelementptr inbounds i8, ptr %.2.5, i64 2
  store i16 58, ptr %.2.5, align 2, !tbaa !8
  %223 = icmp ugt i64 %146, 7
  br i1 %223, label %.thread151, label %224

224:                                              ; preds = %.thread145, %220
  %.2.6149 = phi ptr [ %222, %.thread145 ], [ %.2.6, %220 ]
  store i16 58, ptr %.2.6149, align 2, !tbaa !8
  %225 = getelementptr inbounds i8, ptr %.2.6149, i64 2
  %226 = load i16, ptr %89, align 2, !tbaa !8
  %227 = zext i16 %226 to i32
  %228 = call i64 (ptr, i64, ptr, ...) @UnicodeSPrint(ptr noundef nonnull %225, i64 noundef 10, ptr noundef nonnull @.str.36, i32 noundef %227) #3
  %229 = getelementptr inbounds i16, ptr %225, i64 %228
  br label %.thread151

230:                                              ; preds = %220
  %231 = icmp eq i64 %.369, 7
  br i1 %231, label %232, label %.thread151

232:                                              ; preds = %230
  %233 = getelementptr inbounds i8, ptr %.2.6, i64 2
  store i16 58, ptr %.2.6, align 2, !tbaa !8
  br label %.thread151

.thread151:                                       ; preds = %.thread145, %232, %230, %224
  %.2.7 = phi ptr [ %233, %232 ], [ %.2.6, %230 ], [ %229, %224 ], [ %222, %.thread145 ]
  %.not = icmp ne i64 %.369, -1
  %234 = icmp eq i64 %146, 8
  %or.cond87 = select i1 %.not, i1 %234, i1 false
  br i1 %or.cond87, label %235, label %237

235:                                              ; preds = %.thread151
  %236 = getelementptr inbounds i8, ptr %.2.7, i64 2
  store i16 58, ptr %.2.7, align 2, !tbaa !8
  br label %237

237:                                              ; preds = %235, %.thread151
  %.3 = phi ptr [ %236, %235 ], [ %.2.7, %.thread151 ]
  store i16 0, ptr %.3, align 2, !tbaa !8
  %238 = ptrtoint ptr %.3 to i64
  %239 = ptrtoint ptr %5 to i64
  %240 = sub i64 %238, %239
  %241 = icmp ugt i64 %240, %2
  br i1 %241, label %244, label %242

242:                                              ; preds = %237
  %243 = call ptr @StrCpy(ptr noundef nonnull %1, ptr noundef nonnull %5) #3
  br label %244

244:                                              ; preds = %237, %3, %242
  %.073 = phi i64 [ 0, %242 ], [ -9223372036854775806, %3 ], [ -9223372036854775803, %237 ]
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %5) #3
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #3
  ret i64 %.073
}

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 = { 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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"short", !6, i64 0}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,DSEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass