; LLVM IR from tleonhardt/practical_cryptography_engineering :: mbedtls (x509_csr)

; 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.mbedtls_x509_csr = type { %struct.mbedtls_asn1_buf, %struct.mbedtls_asn1_buf, i32, %struct.mbedtls_asn1_buf, %struct.mbedtls_asn1_named_data, %struct.mbedtls_pk_context, %struct.mbedtls_asn1_buf, %struct.mbedtls_asn1_buf, i32, i32, ptr }
%struct.mbedtls_asn1_named_data = type { %struct.mbedtls_asn1_buf, %struct.mbedtls_asn1_buf, ptr, i8 }
%struct.mbedtls_pk_context = type { ptr, ptr }
%struct.mbedtls_asn1_buf = type { i32, i64, ptr }

@.str.2 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [19 x i8], align 1

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @mbedtls_x509_csr_info(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3) #1 {
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i64, align 8
  %12 = alloca ptr, align 8
  %13 = alloca [14 x i8], align 1
  %14 = alloca i32, align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store i64 %1, ptr %7, align 8, !tbaa !9
  store ptr %2, ptr %8, align 8, !tbaa !5
  store ptr %3, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.start.p0(i64 14, ptr %13) #4
  %15 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %15, ptr %12, align 8, !tbaa !5
  %16 = load i64, ptr %7, align 8, !tbaa !9
  store i64 %16, ptr %11, align 8, !tbaa !9
  %17 = load ptr, ptr %12, align 8, !tbaa !5
  %18 = load i64, ptr %11, align 8, !tbaa !9
  %19 = load ptr, ptr %8, align 8, !tbaa !5
  %20 = load ptr, ptr %9, align 8, !tbaa !5
  %21 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %20, i32 0, i32 2
  %22 = load i32, ptr %21, align 8, !tbaa !11
  %23 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %17, i64 noundef %18, ptr noundef @.str.2, ptr noundef %19, i32 noundef %22) #4
  store i32 %23, ptr %10, align 4, !tbaa !17
  br label %24

24:                                               ; preds = %4
  %25 = load i32, ptr %10, align 4, !tbaa !17
  %26 = icmp slt i32 %25, 0
  br i1 %26, label %32, label %27

27:                                               ; preds = %24
  %28 = load i32, ptr %10, align 4, !tbaa !17
  %29 = sext i32 %28 to i64
  %30 = load i64, ptr %11, align 8, !tbaa !9
  %31 = icmp uge i64 %29, %30
  br i1 %31, label %32, label %33

32:                                               ; preds = %27, %24
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

33:                                               ; preds = %27
  %34 = load i32, ptr %10, align 4, !tbaa !17
  %35 = sext i32 %34 to i64
  %36 = load i64, ptr %11, align 8, !tbaa !9
  %37 = sub i64 %36, %35
  store i64 %37, ptr %11, align 8, !tbaa !9
  %38 = load i32, ptr %10, align 4, !tbaa !17
  %39 = sext i32 %38 to i64
  %40 = load ptr, ptr %12, align 8, !tbaa !5
  %41 = getelementptr inbounds i8, ptr %40, i64 %39
  store ptr %41, ptr %12, align 8, !tbaa !5
  br label %42

42:                                               ; preds = %33
  br label %43

43:                                               ; preds = %42
  %44 = load ptr, ptr %12, align 8, !tbaa !5
  %45 = load i64, ptr %11, align 8, !tbaa !9
  %46 = load ptr, ptr %8, align 8, !tbaa !5
  %47 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %44, i64 noundef %45, ptr noundef @.str.3, ptr noundef %46) #4
  store i32 %47, ptr %10, align 4, !tbaa !17
  br label %48

48:                                               ; preds = %43
  %49 = load i32, ptr %10, align 4, !tbaa !17
  %50 = icmp slt i32 %49, 0
  br i1 %50, label %56, label %51

51:                                               ; preds = %48
  %52 = load i32, ptr %10, align 4, !tbaa !17
  %53 = sext i32 %52 to i64
  %54 = load i64, ptr %11, align 8, !tbaa !9
  %55 = icmp uge i64 %53, %54
  br i1 %55, label %56, label %57

56:                                               ; preds = %51, %48
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

57:                                               ; preds = %51
  %58 = load i32, ptr %10, align 4, !tbaa !17
  %59 = sext i32 %58 to i64
  %60 = load i64, ptr %11, align 8, !tbaa !9
  %61 = sub i64 %60, %59
  store i64 %61, ptr %11, align 8, !tbaa !9
  %62 = load i32, ptr %10, align 4, !tbaa !17
  %63 = sext i32 %62 to i64
  %64 = load ptr, ptr %12, align 8, !tbaa !5
  %65 = getelementptr inbounds i8, ptr %64, i64 %63
  store ptr %65, ptr %12, align 8, !tbaa !5
  br label %66

66:                                               ; preds = %57
  br label %67

67:                                               ; preds = %66
  %68 = load ptr, ptr %12, align 8, !tbaa !5
  %69 = load i64, ptr %11, align 8, !tbaa !9
  %70 = load ptr, ptr %9, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %70, i32 0, i32 4
  %72 = call i32 @mbedtls_x509_dn_gets(ptr noundef %68, i64 noundef %69, ptr noundef %71)
  store i32 %72, ptr %10, align 4, !tbaa !17
  br label %73

73:                                               ; preds = %67
  %74 = load i32, ptr %10, align 4, !tbaa !17
  %75 = icmp slt i32 %74, 0
  br i1 %75, label %81, label %76

76:                                               ; preds = %73
  %77 = load i32, ptr %10, align 4, !tbaa !17
  %78 = sext i32 %77 to i64
  %79 = load i64, ptr %11, align 8, !tbaa !9
  %80 = icmp uge i64 %78, %79
  br i1 %80, label %81, label %82

81:                                               ; preds = %76, %73
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

82:                                               ; preds = %76
  %83 = load i32, ptr %10, align 4, !tbaa !17
  %84 = sext i32 %83 to i64
  %85 = load i64, ptr %11, align 8, !tbaa !9
  %86 = sub i64 %85, %84
  store i64 %86, ptr %11, align 8, !tbaa !9
  %87 = load i32, ptr %10, align 4, !tbaa !17
  %88 = sext i32 %87 to i64
  %89 = load ptr, ptr %12, align 8, !tbaa !5
  %90 = getelementptr inbounds i8, ptr %89, i64 %88
  store ptr %90, ptr %12, align 8, !tbaa !5
  br label %91

91:                                               ; preds = %82
  br label %92

92:                                               ; preds = %91
  %93 = load ptr, ptr %12, align 8, !tbaa !5
  %94 = load i64, ptr %11, align 8, !tbaa !9
  %95 = load ptr, ptr %8, align 8, !tbaa !5
  %96 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %93, i64 noundef %94, ptr noundef @.str.4, ptr noundef %95) #4
  store i32 %96, ptr %10, align 4, !tbaa !17
  br label %97

97:                                               ; preds = %92
  %98 = load i32, ptr %10, align 4, !tbaa !17
  %99 = icmp slt i32 %98, 0
  br i1 %99, label %105, label %100

100:                                              ; preds = %97
  %101 = load i32, ptr %10, align 4, !tbaa !17
  %102 = sext i32 %101 to i64
  %103 = load i64, ptr %11, align 8, !tbaa !9
  %104 = icmp uge i64 %102, %103
  br i1 %104, label %105, label %106

105:                                              ; preds = %100, %97
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

106:                                              ; preds = %100
  %107 = load i32, ptr %10, align 4, !tbaa !17
  %108 = sext i32 %107 to i64
  %109 = load i64, ptr %11, align 8, !tbaa !9
  %110 = sub i64 %109, %108
  store i64 %110, ptr %11, align 8, !tbaa !9
  %111 = load i32, ptr %10, align 4, !tbaa !17
  %112 = sext i32 %111 to i64
  %113 = load ptr, ptr %12, align 8, !tbaa !5
  %114 = getelementptr inbounds i8, ptr %113, i64 %112
  store ptr %114, ptr %12, align 8, !tbaa !5
  br label %115

115:                                              ; preds = %106
  br label %116

116:                                              ; preds = %115
  %117 = load ptr, ptr %12, align 8, !tbaa !5
  %118 = load i64, ptr %11, align 8, !tbaa !9
  %119 = load ptr, ptr %9, align 8, !tbaa !5
  %120 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %119, i32 0, i32 6
  %121 = load ptr, ptr %9, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %121, i32 0, i32 9
  %123 = load i32, ptr %122, align 4, !tbaa !18
  %124 = load ptr, ptr %9, align 8, !tbaa !5
  %125 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %124, i32 0, i32 8
  %126 = load i32, ptr %125, align 8, !tbaa !19
  %127 = load ptr, ptr %9, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %127, i32 0, i32 10
  %129 = load ptr, ptr %128, align 8, !tbaa !20
  %130 = call i32 @mbedtls_x509_sig_alg_gets(ptr noundef %117, i64 noundef %118, ptr noundef %120, i32 noundef %123, i32 noundef %126, ptr noundef %129)
  store i32 %130, ptr %10, align 4, !tbaa !17
  br label %131

131:                                              ; preds = %116
  %132 = load i32, ptr %10, align 4, !tbaa !17
  %133 = icmp slt i32 %132, 0
  br i1 %133, label %139, label %134

134:                                              ; preds = %131
  %135 = load i32, ptr %10, align 4, !tbaa !17
  %136 = sext i32 %135 to i64
  %137 = load i64, ptr %11, align 8, !tbaa !9
  %138 = icmp uge i64 %136, %137
  br i1 %138, label %139, label %140

139:                                              ; preds = %134, %131
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

140:                                              ; preds = %134
  %141 = load i32, ptr %10, align 4, !tbaa !17
  %142 = sext i32 %141 to i64
  %143 = load i64, ptr %11, align 8, !tbaa !9
  %144 = sub i64 %143, %142
  store i64 %144, ptr %11, align 8, !tbaa !9
  %145 = load i32, ptr %10, align 4, !tbaa !17
  %146 = sext i32 %145 to i64
  %147 = load ptr, ptr %12, align 8, !tbaa !5
  %148 = getelementptr inbounds i8, ptr %147, i64 %146
  store ptr %148, ptr %12, align 8, !tbaa !5
  br label %149

149:                                              ; preds = %140
  br label %150

150:                                              ; preds = %149
  %151 = getelementptr inbounds [14 x i8], ptr %13, i64 0, i64 0
  %152 = load ptr, ptr %9, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %152, i32 0, i32 5
  %154 = call ptr @mbedtls_pk_get_name(ptr noundef %153)
  %155 = call i32 @mbedtls_x509_key_size_helper(ptr noundef %151, i64 noundef 14, ptr noundef %154)
  store i32 %155, ptr %10, align 4, !tbaa !17
  %156 = icmp ne i32 %155, 0
  br i1 %156, label %157, label %159

157:                                              ; preds = %150
  %158 = load i32, ptr %10, align 4, !tbaa !17
  store i32 %158, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

159:                                              ; preds = %150
  %160 = load ptr, ptr %12, align 8, !tbaa !5
  %161 = load i64, ptr %11, align 8, !tbaa !9
  %162 = load ptr, ptr %8, align 8, !tbaa !5
  %163 = getelementptr inbounds [14 x i8], ptr %13, i64 0, i64 0
  %164 = load ptr, ptr %9, align 8, !tbaa !5
  %165 = getelementptr inbounds %struct.mbedtls_x509_csr, ptr %164, i32 0, i32 5
  %166 = call i64 @mbedtls_pk_get_bitlen(ptr noundef %165)
  %167 = trunc i64 %166 to i32
  %168 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %160, i64 noundef %161, ptr noundef @.str.5, ptr noundef %162, ptr noundef %163, i32 noundef %167) #4
  store i32 %168, ptr %10, align 4, !tbaa !17
  br label %169

169:                                              ; preds = %159
  %170 = load i32, ptr %10, align 4, !tbaa !17
  %171 = icmp slt i32 %170, 0
  br i1 %171, label %177, label %172

172:                                              ; preds = %169
  %173 = load i32, ptr %10, align 4, !tbaa !17
  %174 = sext i32 %173 to i64
  %175 = load i64, ptr %11, align 8, !tbaa !9
  %176 = icmp uge i64 %174, %175
  br i1 %176, label %177, label %178

177:                                              ; preds = %172, %169
  store i32 -10624, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

178:                                              ; preds = %172
  %179 = load i32, ptr %10, align 4, !tbaa !17
  %180 = sext i32 %179 to i64
  %181 = load i64, ptr %11, align 8, !tbaa !9
  %182 = sub i64 %181, %180
  store i64 %182, ptr %11, align 8, !tbaa !9
  %183 = load i32, ptr %10, align 4, !tbaa !17
  %184 = sext i32 %183 to i64
  %185 = load ptr, ptr %12, align 8, !tbaa !5
  %186 = getelementptr inbounds i8, ptr %185, i64 %184
  store ptr %186, ptr %12, align 8, !tbaa !5
  br label %187

187:                                              ; preds = %178
  br label %188

188:                                              ; preds = %187
  %189 = load i64, ptr %7, align 8, !tbaa !9
  %190 = load i64, ptr %11, align 8, !tbaa !9
  %191 = sub i64 %189, %190
  %192 = trunc i64 %191 to i32
  store i32 %192, ptr %5, align 4
  store i32 1, ptr %14, align 4
  br label %193

193:                                              ; preds = %188, %177, %157, %139, %105, %81, %56, %32
  call void @llvm.lifetime.end.p0(i64 14, ptr %13) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #4
  %194 = load i32, ptr %5, align 4
  ret i32 %194
}

; Function Attrs: nounwind
declare i32 @snprintf(ptr noundef, i64 noundef, ptr noundef, ...) #2

declare i32 @mbedtls_x509_dn_gets(ptr noundef, i64 noundef, ptr noundef) #3

declare i32 @mbedtls_x509_sig_alg_gets(ptr noundef, i64 noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) #3

declare i32 @mbedtls_x509_key_size_helper(ptr noundef, i64 noundef, ptr noundef) #3

declare ptr @mbedtls_pk_get_name(ptr noundef) #3

declare i64 @mbedtls_pk_get_bitlen(ptr noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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", !7, i64 0}
!11 = !{!12, !14, i64 48}
!12 = !{!"mbedtls_x509_csr", !13, i64 0, !13, i64 24, !14, i64 48, !13, i64 56, !15, i64 80, !16, i64 144, !13, i64 160, !13, i64 184, !14, i64 208, !14, i64 212, !6, i64 216}
!13 = !{!"mbedtls_asn1_buf", !14, i64 0, !10, i64 8, !6, i64 16}
!14 = !{!"int", !7, i64 0}
!15 = !{!"mbedtls_asn1_named_data", !13, i64 0, !13, i64 24, !6, i64 48, !7, i64 56}
!16 = !{!"", !6, i64 0, !6, i64 8}
!17 = !{!14, !14, i64 0}
!18 = !{!12, !14, i64 212}
!19 = !{!12, !14, i64 208}
!20 = !{!12, !6, i64 216}


; 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.2 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [19 x i8], align 1

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @mbedtls_x509_csr_info(ptr noundef %0, i64 noundef %1, ptr noundef %2, ptr noundef %3) local_unnamed_addr #1 {
  %5 = alloca [14 x i8], align 1
  call void @llvm.lifetime.start.p0(i64 14, ptr nonnull %5) #4
  %6 = getelementptr inbounds i8, ptr %3, i64 48
  %7 = load i32, ptr %6, align 8, !tbaa !5
  %8 = tail call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %0, i64 noundef %1, ptr noundef nonnull @.str.2, ptr noundef %2, i32 noundef %7) #4
  %9 = icmp slt i32 %8, 0
  br i1 %9, label %63, label %10

10:                                               ; preds = %4
  %11 = zext nneg i32 %8 to i64
  %.not = icmp ult i64 %11, %1
  br i1 %.not, label %12, label %63

12:                                               ; preds = %10
  %13 = sub i64 %1, %11
  %14 = getelementptr inbounds i8, ptr %0, i64 %11
  %15 = tail call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %14, i64 noundef %13, ptr noundef nonnull @.str.3, ptr noundef %2) #4
  %16 = icmp slt i32 %15, 0
  br i1 %16, label %63, label %17

17:                                               ; preds = %12
  %18 = zext nneg i32 %15 to i64
  %.not90 = icmp ugt i64 %13, %18
  br i1 %.not90, label %19, label %63

19:                                               ; preds = %17
  %20 = sub i64 %13, %18
  %21 = getelementptr inbounds i8, ptr %14, i64 %18
  %22 = getelementptr inbounds i8, ptr %3, i64 80
  %23 = tail call i32 @mbedtls_x509_dn_gets(ptr noundef %21, i64 noundef %20, ptr noundef nonnull %22) #4
  %24 = icmp slt i32 %23, 0
  br i1 %24, label %63, label %25

25:                                               ; preds = %19
  %26 = zext nneg i32 %23 to i64
  %.not91 = icmp ugt i64 %20, %26
  br i1 %.not91, label %27, label %63

27:                                               ; preds = %25
  %28 = sub i64 %20, %26
  %29 = getelementptr inbounds i8, ptr %21, i64 %26
  %30 = tail call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %29, i64 noundef %28, ptr noundef nonnull @.str.4, ptr noundef %2) #4
  %31 = icmp slt i32 %30, 0
  br i1 %31, label %63, label %32

32:                                               ; preds = %27
  %33 = zext nneg i32 %30 to i64
  %.not92 = icmp ugt i64 %28, %33
  br i1 %.not92, label %34, label %63

34:                                               ; preds = %32
  %35 = sub i64 %28, %33
  %36 = getelementptr inbounds i8, ptr %29, i64 %33
  %37 = getelementptr inbounds i8, ptr %3, i64 160
  %38 = getelementptr inbounds i8, ptr %3, i64 212
  %39 = load i32, ptr %38, align 4, !tbaa !15
  %40 = getelementptr inbounds i8, ptr %3, i64 208
  %41 = load i32, ptr %40, align 8, !tbaa !16
  %42 = getelementptr inbounds i8, ptr %3, i64 216
  %43 = load ptr, ptr %42, align 8, !tbaa !17
  %44 = tail call i32 @mbedtls_x509_sig_alg_gets(ptr noundef %36, i64 noundef %35, ptr noundef nonnull %37, i32 noundef %39, i32 noundef %41, ptr noundef %43) #4
  %45 = icmp slt i32 %44, 0
  br i1 %45, label %63, label %46

46:                                               ; preds = %34
  %47 = zext nneg i32 %44 to i64
  %.not93 = icmp ugt i64 %35, %47
  br i1 %.not93, label %48, label %63

48:                                               ; preds = %46
  %49 = sub i64 %35, %47
  %50 = getelementptr inbounds i8, ptr %3, i64 144
  %51 = tail call ptr @mbedtls_pk_get_name(ptr noundef nonnull %50) #4
  %52 = call i32 @mbedtls_x509_key_size_helper(ptr noundef nonnull %5, i64 noundef 14, ptr noundef %51) #4
  %.not94 = icmp eq i32 %52, 0
  br i1 %.not94, label %53, label %63

53:                                               ; preds = %48
  %54 = getelementptr inbounds i8, ptr %36, i64 %47
  %55 = call i64 @mbedtls_pk_get_bitlen(ptr noundef nonnull %50) #4
  %56 = trunc i64 %55 to i32
  %57 = call i32 (ptr, i64, ptr, ...) @snprintf(ptr noundef %54, i64 noundef %49, ptr noundef nonnull @.str.5, ptr noundef %2, ptr noundef nonnull %5, i32 noundef %56) #4
  %58 = icmp sgt i32 %57, -1
  %59 = zext nneg i32 %57 to i64
  %.not95 = icmp ugt i64 %49, %59
  %or.cond = select i1 %58, i1 %.not95, i1 false
  br i1 %or.cond, label %60, label %63

60:                                               ; preds = %53
  %.neg = sub i64 %1, %49
  %61 = trunc i64 %.neg to i32
  %62 = add i32 %57, %61
  br label %63

63:                                               ; preds = %53, %48, %34, %46, %27, %32, %19, %25, %12, %17, %4, %10, %60
  %.0 = phi i32 [ %62, %60 ], [ -10624, %10 ], [ -10624, %4 ], [ -10624, %17 ], [ -10624, %12 ], [ -10624, %25 ], [ -10624, %19 ], [ -10624, %32 ], [ -10624, %27 ], [ -10624, %46 ], [ -10624, %34 ], [ %52, %48 ], [ -10624, %53 ]
  call void @llvm.lifetime.end.p0(i64 14, ptr nonnull %5) #4
  ret i32 %.0
}

; Function Attrs: nofree nounwind
declare noundef i32 @snprintf(ptr noalias nocapture noundef writeonly, i64 noundef, ptr nocapture noundef readonly, ...) local_unnamed_addr #2

declare i32 @mbedtls_x509_dn_gets(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #3

declare i32 @mbedtls_x509_sig_alg_gets(ptr noundef, i64 noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

declare i32 @mbedtls_x509_key_size_helper(ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #3

declare ptr @mbedtls_pk_get_name(ptr noundef) local_unnamed_addr #3

declare i64 @mbedtls_pk_get_bitlen(ptr noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { 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 48}
!6 = !{!"mbedtls_x509_csr", !7, i64 0, !7, i64 24, !8, i64 48, !7, i64 56, !13, i64 80, !14, i64 144, !7, i64 160, !7, i64 184, !8, i64 208, !8, i64 212, !12, i64 216}
!7 = !{!"mbedtls_asn1_buf", !8, i64 0, !11, i64 8, !12, i64 16}
!8 = !{!"int", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C/C++ TBAA"}
!11 = !{!"long", !9, i64 0}
!12 = !{!"any pointer", !9, i64 0}
!13 = !{!"mbedtls_asn1_named_data", !7, i64 0, !7, i64 24, !12, i64 48, !9, i64 56}
!14 = !{!"", !12, i64 0, !12, i64 8}
!15 = !{!6, !8, i64 212}
!16 = !{!6, !8, i64 208}
!17 = !{!6, !12, i64 216}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass