; LLVM IR from square/subzero :: core/external-crypto/modes (gcm)

; 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.gcm_ctx = type { [256 x [4 x i32]], [4 x i32], [4 x i32], [4 x i32], [4 x i32], [4 x i32], [1 x %struct.aes_crypt_ctx], i32, i32, i32, i32 }
%struct.aes_crypt_ctx = type { [60 x i32], %union.aes_inf, [12 x i8] }
%union.aes_inf = type { i32 }

declare i32 @aes_encrypt(ptr noundef, ptr noundef, ptr noundef) #0

; Function Attrs: nounwind uwtable
declare dso_local void @gf_mul_hh(ptr noundef, ptr noundef) #1

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

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #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) #3

; Function Attrs: nounwind uwtable
define dso_local i32 @gcm_compute_tag(ptr noundef %0, i64 noundef %1, ptr noundef %2) #1 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i64, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca [4 x i32], align 16
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store i64 %1, ptr %6, align 8, !tbaa !9
  store ptr %2, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #4
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #4
  %13 = load ptr, ptr %7, align 8, !tbaa !5
  %14 = getelementptr inbounds %struct.gcm_ctx, ptr %13, i32 0, i32 10
  %15 = load i32, ptr %14, align 4, !tbaa !11
  %16 = load ptr, ptr %7, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct.gcm_ctx, ptr %16, i32 0, i32 9
  %18 = load i32, ptr %17, align 8, !tbaa !14
  %19 = icmp ne i32 %15, %18
  br i1 %19, label %20, label %26

20:                                               ; preds = %3
  %21 = load ptr, ptr %7, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct.gcm_ctx, ptr %21, i32 0, i32 9
  %23 = load i32, ptr %22, align 8, !tbaa !14
  %24 = icmp ugt i32 %23, 0
  br i1 %24, label %25, label %26

25:                                               ; preds = %20
  store i32 -1, ptr %4, align 4
  store i32 1, ptr %11, align 4
  br label %203

26:                                               ; preds = %20, %3
  %27 = load ptr, ptr %7, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.gcm_ctx, ptr %27, i32 0, i32 3
  %29 = getelementptr inbounds [4 x i32], ptr %28, i64 0, i64 0
  %30 = load ptr, ptr %7, align 8, !tbaa !5
  call void @gf_mul_hh(ptr noundef %29, ptr noundef %30)
  %31 = load ptr, ptr %7, align 8, !tbaa !5
  %32 = getelementptr inbounds %struct.gcm_ctx, ptr %31, i32 0, i32 4
  %33 = getelementptr inbounds [4 x i32], ptr %32, i64 0, i64 0
  %34 = load ptr, ptr %7, align 8, !tbaa !5
  call void @gf_mul_hh(ptr noundef %33, ptr noundef %34)
  %35 = load ptr, ptr %7, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct.gcm_ctx, ptr %35, i32 0, i32 8
  %37 = load i32, ptr %36, align 4, !tbaa !15
  %38 = icmp ne i32 %37, 0
  br i1 %38, label %39, label %72

39:                                               ; preds = %26
  %40 = load ptr, ptr %7, align 8, !tbaa !5
  %41 = getelementptr inbounds %struct.gcm_ctx, ptr %40, i32 0, i32 10
  %42 = load i32, ptr %41, align 4, !tbaa !11
  %43 = add i32 %42, 16
  %44 = sub i32 %43, 1
  %45 = udiv i32 %44, 16
  store i32 %45, ptr %9, align 4, !tbaa !16
  %46 = load i32, ptr %9, align 4, !tbaa !16
  %47 = icmp ne i32 %46, 0
  br i1 %47, label %48, label %71

48:                                               ; preds = %39
  %49 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 0
  %50 = load ptr, ptr %7, align 8, !tbaa !5
  %51 = getelementptr inbounds %struct.gcm_ctx, ptr %50, i32 0, i32 5
  %52 = getelementptr inbounds [4 x i32], ptr %51, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %49, ptr align 16 %52, i64 16, i1 false)
  br label %53

53:                                               ; preds = %67, %48
  %54 = load i32, ptr %9, align 4, !tbaa !16
  %55 = and i32 %54, 1
  %56 = icmp ne i32 %55, 0
  br i1 %56, label %57, label %62

57:                                               ; preds = %53
  %58 = load ptr, ptr %7, align 8, !tbaa !5
  %59 = getelementptr inbounds %struct.gcm_ctx, ptr %58, i32 0, i32 3
  %60 = getelementptr inbounds [4 x i32], ptr %59, i64 0, i64 0
  %61 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 0
  call void @gf_mul(ptr noundef %60, ptr noundef %61)
  br label %62

62:                                               ; preds = %57, %53
  %63 = load i32, ptr %9, align 4, !tbaa !16
  %64 = lshr i32 %63, 1
  store i32 %64, ptr %9, align 4, !tbaa !16
  %65 = icmp ne i32 %64, 0
  br i1 %65, label %67, label %66

66:                                               ; preds = %62
  br label %70

67:                                               ; preds = %62
  %68 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 0
  %69 = getelementptr inbounds [4 x i32], ptr %10, i64 0, i64 0
  call void @gf_mul(ptr noundef %68, ptr noundef %69)
  br label %53

70:                                               ; preds = %66
  br label %71

71:                                               ; preds = %70, %39
  br label %72

72:                                               ; preds = %71, %26
  store i32 16, ptr %8, align 4, !tbaa !16
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  %73 = load ptr, ptr %7, align 8, !tbaa !5
  %74 = getelementptr inbounds %struct.gcm_ctx, ptr %73, i32 0, i32 10
  %75 = load i32, ptr %74, align 4, !tbaa !11
  %76 = shl i32 %75, 3
  store i32 %76, ptr %12, align 4, !tbaa !16
  br label %77

77:                                               ; preds = %133, %72
  %78 = load i32, ptr %8, align 4, !tbaa !16
  %79 = add i32 %78, -1
  store i32 %79, ptr %8, align 4, !tbaa !16
  %80 = icmp ugt i32 %78, 0
  br i1 %80, label %81, label %134

81:                                               ; preds = %77
  %82 = load ptr, ptr %7, align 8, !tbaa !5
  %83 = getelementptr inbounds %struct.gcm_ctx, ptr %82, i32 0, i32 4
  %84 = getelementptr inbounds [4 x i32], ptr %83, i64 0, i64 0
  %85 = load i32, ptr %8, align 4, !tbaa !16
  %86 = zext i32 %85 to i64
  %87 = getelementptr inbounds i8, ptr %84, i64 %86
  %88 = load i8, ptr %87, align 1, !tbaa !17
  %89 = zext i8 %88 to i32
  %90 = load i32, ptr %12, align 4, !tbaa !16
  %91 = trunc i32 %90 to i8
  %92 = zext i8 %91 to i32
  %93 = xor i32 %89, %92
  %94 = load ptr, ptr %7, align 8, !tbaa !5
  %95 = getelementptr inbounds %struct.gcm_ctx, ptr %94, i32 0, i32 3
  %96 = getelementptr inbounds [4 x i32], ptr %95, i64 0, i64 0
  %97 = load i32, ptr %8, align 4, !tbaa !16
  %98 = zext i32 %97 to i64
  %99 = getelementptr inbounds i8, ptr %96, i64 %98
  %100 = load i8, ptr %99, align 1, !tbaa !17
  %101 = zext i8 %100 to i32
  %102 = xor i32 %101, %93
  %103 = trunc i32 %102 to i8
  store i8 %103, ptr %99, align 1, !tbaa !17
  %104 = load i32, ptr %8, align 4, !tbaa !16
  %105 = and i32 %104, 3
  %106 = icmp ne i32 %105, 0
  br i1 %106, label %107, label %110

107:                                              ; preds = %81
  %108 = load i32, ptr %12, align 4, !tbaa !16
  %109 = lshr i32 %108, 8
  store i32 %109, ptr %12, align 4, !tbaa !16
  br label %133

110:                                              ; preds = %81
  %111 = load i32, ptr %8, align 4, !tbaa !16
  %112 = icmp eq i32 %111, 4
  br i1 %112, label %113, label %118

113:                                              ; preds = %110
  %114 = load ptr, ptr %7, align 8, !tbaa !5
  %115 = getelementptr inbounds %struct.gcm_ctx, ptr %114, i32 0, i32 10
  %116 = load i32, ptr %115, align 4, !tbaa !11
  %117 = lshr i32 %116, 29
  store i32 %117, ptr %12, align 4, !tbaa !16
  br label %132

118:                                              ; preds = %110
  %119 = load i32, ptr %8, align 4, !tbaa !16
  %120 = icmp eq i32 %119, 8
  br i1 %120, label %121, label %126

121:                                              ; preds = %118
  %122 = load ptr, ptr %7, align 8, !tbaa !5
  %123 = getelementptr inbounds %struct.gcm_ctx, ptr %122, i32 0, i32 8
  %124 = load i32, ptr %123, align 4, !tbaa !15
  %125 = shl i32 %124, 3
  store i32 %125, ptr %12, align 4, !tbaa !16
  br label %131

126:                                              ; preds = %118
  %127 = load ptr, ptr %7, align 8, !tbaa !5
  %128 = getelementptr inbounds %struct.gcm_ctx, ptr %127, i32 0, i32 8
  %129 = load i32, ptr %128, align 4, !tbaa !15
  %130 = lshr i32 %129, 29
  store i32 %130, ptr %12, align 4, !tbaa !16
  br label %131

131:                                              ; preds = %126, %121
  br label %132

132:                                              ; preds = %131, %113
  br label %133

133:                                              ; preds = %132, %107
  br label %77, !llvm.loop !18

134:                                              ; preds = %77
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  %135 = load ptr, ptr %7, align 8, !tbaa !5
  %136 = getelementptr inbounds %struct.gcm_ctx, ptr %135, i32 0, i32 3
  %137 = getelementptr inbounds [4 x i32], ptr %136, i64 0, i64 0
  %138 = load ptr, ptr %7, align 8, !tbaa !5
  call void @gf_mul_hh(ptr noundef %137, ptr noundef %138)
  %139 = load ptr, ptr %7, align 8, !tbaa !5
  %140 = getelementptr inbounds %struct.gcm_ctx, ptr %139, i32 0, i32 2
  %141 = getelementptr inbounds [4 x i32], ptr %140, i64 0, i64 0
  %142 = load ptr, ptr %7, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct.gcm_ctx, ptr %142, i32 0, i32 1
  %144 = getelementptr inbounds [4 x i32], ptr %143, i64 0, i64 0
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %141, ptr align 16 %144, i64 16, i1 false)
  %145 = load ptr, ptr %7, align 8, !tbaa !5
  %146 = getelementptr inbounds %struct.gcm_ctx, ptr %145, i32 0, i32 7
  %147 = load i32, ptr %146, align 16, !tbaa !20
  %148 = load ptr, ptr %7, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct.gcm_ctx, ptr %148, i32 0, i32 2
  %150 = getelementptr inbounds [4 x i32], ptr %149, i64 0, i64 0
  %151 = getelementptr inbounds i8, ptr %150, i64 12
  store i32 %147, ptr %151, align 4, !tbaa !16
  %152 = load ptr, ptr %7, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct.gcm_ctx, ptr %152, i32 0, i32 2
  %154 = getelementptr inbounds [4 x i32], ptr %153, i64 0, i64 0
  %155 = load ptr, ptr %7, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct.gcm_ctx, ptr %155, i32 0, i32 2
  %157 = getelementptr inbounds [4 x i32], ptr %156, i64 0, i64 0
  %158 = load ptr, ptr %7, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct.gcm_ctx, ptr %158, i32 0, i32 6
  %160 = getelementptr inbounds [1 x %struct.aes_crypt_ctx], ptr %159, i64 0, i64 0
  %161 = call i32 @aes_encrypt(ptr noundef %154, ptr noundef %157, ptr noundef %160)
  store i32 0, ptr %8, align 4, !tbaa !16
  br label %162

162:                                              ; preds = %190, %134
  %163 = load i32, ptr %8, align 4, !tbaa !16
  %164 = load i64, ptr %6, align 8, !tbaa !9
  %165 = trunc i64 %164 to i32
  %166 = icmp ult i32 %163, %165
  br i1 %166, label %167, label %193

167:                                              ; preds = %162
  %168 = load ptr, ptr %7, align 8, !tbaa !5
  %169 = getelementptr inbounds %struct.gcm_ctx, ptr %168, i32 0, i32 3
  %170 = getelementptr inbounds [4 x i32], ptr %169, i64 0, i64 0
  %171 = load i32, ptr %8, align 4, !tbaa !16
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds i8, ptr %170, i64 %172
  %174 = load i8, ptr %173, align 1, !tbaa !17
  %175 = zext i8 %174 to i32
  %176 = load ptr, ptr %7, align 8, !tbaa !5
  %177 = getelementptr inbounds %struct.gcm_ctx, ptr %176, i32 0, i32 2
  %178 = getelementptr inbounds [4 x i32], ptr %177, i64 0, i64 0
  %179 = load i32, ptr %8, align 4, !tbaa !16
  %180 = zext i32 %179 to i64
  %181 = getelementptr inbounds i8, ptr %178, i64 %180
  %182 = load i8, ptr %181, align 1, !tbaa !17
  %183 = zext i8 %182 to i32
  %184 = xor i32 %175, %183
  %185 = trunc i32 %184 to i8
  %186 = load ptr, ptr %5, align 8, !tbaa !5
  %187 = load i32, ptr %8, align 4, !tbaa !16
  %188 = zext i32 %187 to i64
  %189 = getelementptr inbounds i8, ptr %186, i64 %188
  store i8 %185, ptr %189, align 1, !tbaa !17
  br label %190

190:                                              ; preds = %167
  %191 = load i32, ptr %8, align 4, !tbaa !16
  %192 = add i32 %191, 1
  store i32 %192, ptr %8, align 4, !tbaa !16
  br label %162, !llvm.loop !21

193:                                              ; preds = %162
  %194 = load ptr, ptr %7, align 8, !tbaa !5
  %195 = getelementptr inbounds %struct.gcm_ctx, ptr %194, i32 0, i32 9
  %196 = load i32, ptr %195, align 8, !tbaa !14
  %197 = load ptr, ptr %7, align 8, !tbaa !5
  %198 = getelementptr inbounds %struct.gcm_ctx, ptr %197, i32 0, i32 10
  %199 = load i32, ptr %198, align 4, !tbaa !11
  %200 = icmp eq i32 %196, %199
  %201 = zext i1 %200 to i64
  %202 = select i1 %200, i32 0, i32 1
  store i32 %202, ptr %4, align 4
  store i32 1, ptr %11, align 4
  br label %203

203:                                              ; preds = %193, %25
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #4
  %204 = load i32, ptr %4, align 4
  ret i32 %204
}

declare void @gf_mul(ptr noundef, ptr noundef) #0

attributes #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 #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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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, !13, i64 4444}
!12 = !{!"", !7, i64 0, !7, i64 4096, !7, i64 4112, !7, i64 4128, !7, i64 4144, !7, i64 4160, !7, i64 4176, !13, i64 4432, !13, i64 4436, !13, i64 4440, !13, i64 4444}
!13 = !{!"int", !7, i64 0}
!14 = !{!12, !13, i64 4440}
!15 = !{!12, !13, i64 4436}
!16 = !{!13, !13, i64 0}
!17 = !{!7, !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!12, !13, i64 4432}
!21 = distinct !{!21, !19}


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

declare i32 @aes_encrypt(ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: nounwind uwtable
declare dso_local void @gf_mul_hh(ptr noundef, ptr noundef) local_unnamed_addr #1

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

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

; Function Attrs: mustprogress 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) #3

; Function Attrs: nounwind uwtable
define dso_local range(i32 -1, 2) i32 @gcm_compute_tag(ptr nocapture noundef writeonly %0, i64 noundef %1, ptr noundef %2) local_unnamed_addr #1 {
  %4 = alloca [4 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #4
  %5 = getelementptr inbounds i8, ptr %2, i64 4444
  %6 = load i32, ptr %5, align 4, !tbaa !5
  %7 = getelementptr inbounds i8, ptr %2, i64 4440
  %8 = load i32, ptr %7, align 8, !tbaa !10
  %.not = icmp eq i32 %6, %8
  %.not56 = icmp eq i32 %8, 0
  %or.cond = or i1 %.not, %.not56
  br i1 %or.cond, label %9, label %111

9:                                                ; preds = %3
  %10 = getelementptr inbounds i8, ptr %2, i64 4128
  tail call void @gf_mul_hh(ptr noundef nonnull %10, ptr noundef nonnull %2)
  %11 = getelementptr inbounds i8, ptr %2, i64 4144
  tail call void @gf_mul_hh(ptr noundef nonnull %11, ptr noundef nonnull %2)
  %12 = getelementptr inbounds i8, ptr %2, i64 4436
  %13 = load i32, ptr %12, align 4, !tbaa !11
  %.not57 = icmp eq i32 %13, 0
  %.pre71 = load i32, ptr %5, align 4, !tbaa !5
  br i1 %.not57, label %.loopexit, label %14

14:                                               ; preds = %9
  %15 = add i32 %.pre71, 15
  %.not58 = icmp ult i32 %15, 16
  br i1 %.not58, label %.loopexit, label %16

16:                                               ; preds = %14
  %17 = lshr i32 %15, 4
  %18 = getelementptr inbounds i8, ptr %2, i64 4160
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %4, ptr noundef nonnull align 16 dereferenceable(16) %18, i64 16, i1 false)
  br label %19

19:                                               ; preds = %23, %16
  %.048 = phi i32 [ %17, %16 ], [ %24, %23 ]
  %20 = and i32 %.048, 1
  %.not59 = icmp eq i32 %20, 0
  br i1 %.not59, label %22, label %21

21:                                               ; preds = %19
  call void @gf_mul(ptr noundef nonnull %10, ptr noundef nonnull %4) #4
  br label %22

22:                                               ; preds = %21, %19
  %.not60 = icmp ult i32 %.048, 2
  br i1 %.not60, label %.loopexit.loopexit, label %23

23:                                               ; preds = %22
  %24 = lshr i32 %.048, 1
  call void @gf_mul(ptr noundef nonnull %4, ptr noundef nonnull %4) #4
  br label %19

.loopexit.loopexit:                               ; preds = %22
  %.pre = load i32, ptr %5, align 4, !tbaa !5
  br label %.loopexit

.loopexit:                                        ; preds = %.loopexit.loopexit, %14, %9
  %25 = phi i32 [ %.pre, %.loopexit.loopexit ], [ %.pre71, %14 ], [ %.pre71, %9 ]
  %26 = shl i32 %25, 3
  br label %27

27:                                               ; preds = %.loopexit, %49
  %indvars.iv = phi i64 [ 15, %.loopexit ], [ %indvars.iv.next, %49 ]
  %.064 = phi i32 [ %26, %.loopexit ], [ %.1, %49 ]
  %.04963 = phi i32 [ 16, %.loopexit ], [ %35, %49 ]
  %28 = getelementptr inbounds i8, ptr %11, i64 %indvars.iv
  %29 = load i8, ptr %28, align 1, !tbaa !12
  %30 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv
  %31 = load i8, ptr %30, align 1, !tbaa !12
  %32 = trunc i32 %.064 to i8
  %33 = xor i8 %29, %32
  %34 = xor i8 %33, %31
  store i8 %34, ptr %30, align 1, !tbaa !12
  %35 = trunc nuw nsw i64 %indvars.iv to i32
  %36 = and i32 %35, 3
  %.not62 = icmp eq i32 %36, 0
  br i1 %.not62, label %39, label %37

37:                                               ; preds = %27
  %38 = lshr i32 %.064, 8
  br label %49

39:                                               ; preds = %27
  switch i32 %.04963, label %46 [
    i32 5, label %40
    i32 9, label %43
  ]

40:                                               ; preds = %39
  %41 = load i32, ptr %5, align 4, !tbaa !5
  %42 = lshr i32 %41, 29
  br label %49

43:                                               ; preds = %39
  %44 = load i32, ptr %12, align 4, !tbaa !11
  %45 = shl i32 %44, 3
  br label %49

46:                                               ; preds = %39
  %47 = load i32, ptr %12, align 4, !tbaa !11
  %48 = lshr i32 %47, 29
  br label %49

49:                                               ; preds = %40, %46, %43, %37
  %.1 = phi i32 [ %38, %37 ], [ %42, %40 ], [ %45, %43 ], [ %48, %46 ]
  %indvars.iv.next = add nsw i64 %indvars.iv, -1
  %.not61 = icmp eq i64 %indvars.iv, 0
  br i1 %.not61, label %50, label %27, !llvm.loop !13

50:                                               ; preds = %49
  call void @gf_mul_hh(ptr noundef nonnull %10, ptr noundef nonnull %2)
  %51 = getelementptr inbounds i8, ptr %2, i64 4112
  %52 = getelementptr inbounds i8, ptr %2, i64 4096
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) %51, ptr noundef nonnull align 16 dereferenceable(16) %52, i64 16, i1 false)
  %53 = getelementptr inbounds i8, ptr %2, i64 4432
  %54 = load i32, ptr %53, align 16, !tbaa !15
  %55 = getelementptr inbounds i8, ptr %2, i64 4124
  store i32 %54, ptr %55, align 4, !tbaa !16
  %56 = getelementptr inbounds i8, ptr %2, i64 4176
  %57 = call i32 @aes_encrypt(ptr noundef nonnull %51, ptr noundef nonnull %51, ptr noundef nonnull %56) #4
  %58 = and i64 %1, 4294967295
  %.not66 = icmp eq i64 %58, 0
  br i1 %.not66, label %._crit_edge, label %iter.check

iter.check:                                       ; preds = %50
  %wide.trip.count = and i64 %1, 4294967295
  %min.iters.check = icmp ult i64 %wide.trip.count, 8
  br i1 %min.iters.check, label %.lr.ph.preheader, label %vector.memcheck

vector.memcheck:                                  ; preds = %iter.check
  %scevgep = getelementptr i8, ptr %0, i64 %wide.trip.count
  %59 = getelementptr i8, ptr %2, i64 %wide.trip.count
  %scevgep72 = getelementptr i8, ptr %59, i64 4128
  %bound0 = icmp ugt ptr %scevgep72, %0
  %bound1 = icmp ult ptr %51, %scevgep
  %found.conflict = and i1 %bound0, %bound1
  br i1 %found.conflict, label %.lr.ph.preheader, label %vector.main.loop.iter.check

vector.main.loop.iter.check:                      ; preds = %vector.memcheck
  %min.iters.check73 = icmp ult i64 %wide.trip.count, 32
  br i1 %min.iters.check73, label %vec.epilog.ph, label %vector.ph

vector.ph:                                        ; preds = %vector.main.loop.iter.check
  %n.mod.vf = and i64 %1, 31
  %n.vec = sub nsw i64 %wide.trip.count, %n.mod.vf
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %60 = getelementptr inbounds i8, ptr %10, i64 %index
  %61 = getelementptr inbounds i8, ptr %60, i64 16
  %wide.load = load <16 x i8>, ptr %60, align 1, !tbaa !12, !alias.scope !17
  %wide.load74 = load <16 x i8>, ptr %61, align 1, !tbaa !12, !alias.scope !17
  %62 = getelementptr inbounds i8, ptr %51, i64 %index
  %63 = getelementptr inbounds i8, ptr %62, i64 16
  %wide.load75 = load <16 x i8>, ptr %62, align 1, !tbaa !12, !alias.scope !17
  %wide.load76 = load <16 x i8>, ptr %63, align 1, !tbaa !12, !alias.scope !17
  %64 = xor <16 x i8> %wide.load75, %wide.load
  %65 = xor <16 x i8> %wide.load76, %wide.load74
  %66 = getelementptr inbounds i8, ptr %0, i64 %index
  %67 = getelementptr inbounds i8, ptr %66, i64 16
  store <16 x i8> %64, ptr %66, align 1, !tbaa !12, !alias.scope !20, !noalias !17
  store <16 x i8> %65, ptr %67, align 1, !tbaa !12, !alias.scope !20, !noalias !17
  %index.next = add nuw i64 %index, 32
  %68 = icmp eq i64 %index.next, %n.vec
  br i1 %68, label %middle.block, label %vector.body, !llvm.loop !22

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %n.mod.vf, 0
  br i1 %cmp.n, label %._crit_edge, label %vec.epilog.iter.check

vec.epilog.iter.check:                            ; preds = %middle.block
  %min.epilog.iters.check = icmp ult i64 %n.mod.vf, 8
  br i1 %min.epilog.iters.check, label %.lr.ph.preheader, label %vec.epilog.ph

vec.epilog.ph:                                    ; preds = %vector.main.loop.iter.check, %vec.epilog.iter.check
  %vec.epilog.resume.val = phi i64 [ %n.vec, %vec.epilog.iter.check ], [ 0, %vector.main.loop.iter.check ]
  %n.mod.vf77 = and i64 %1, 7
  %n.vec78 = sub nsw i64 %wide.trip.count, %n.mod.vf77
  br label %vec.epilog.vector.body

vec.epilog.vector.body:                           ; preds = %vec.epilog.vector.body, %vec.epilog.ph
  %index79 = phi i64 [ %vec.epilog.resume.val, %vec.epilog.ph ], [ %index.next82, %vec.epilog.vector.body ]
  %69 = getelementptr inbounds i8, ptr %10, i64 %index79
  %wide.load80 = load <8 x i8>, ptr %69, align 1, !tbaa !12, !alias.scope !25
  %70 = getelementptr inbounds i8, ptr %51, i64 %index79
  %wide.load81 = load <8 x i8>, ptr %70, align 1, !tbaa !12, !alias.scope !25
  %71 = xor <8 x i8> %wide.load81, %wide.load80
  %72 = getelementptr inbounds i8, ptr %0, i64 %index79
  store <8 x i8> %71, ptr %72, align 1, !tbaa !12, !alias.scope !28, !noalias !25
  %index.next82 = add nuw i64 %index79, 8
  %73 = icmp eq i64 %index.next82, %n.vec78
  br i1 %73, label %vec.epilog.middle.block, label %vec.epilog.vector.body, !llvm.loop !30

vec.epilog.middle.block:                          ; preds = %vec.epilog.vector.body
  %cmp.n83 = icmp eq i64 %n.mod.vf77, 0
  br i1 %cmp.n83, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %vec.epilog.middle.block, %vector.memcheck, %iter.check, %vec.epilog.iter.check
  %indvars.iv68.ph = phi i64 [ 0, %iter.check ], [ 0, %vector.memcheck ], [ %n.vec, %vec.epilog.iter.check ], [ %n.vec78, %vec.epilog.middle.block ]
  %74 = sub i64 %1, %indvars.iv68.ph
  %xtraiter = and i64 %74, 3
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol

.lr.ph.prol:                                      ; preds = %.lr.ph.preheader, %.lr.ph.prol
  %indvars.iv68.prol = phi i64 [ %indvars.iv.next69.prol, %.lr.ph.prol ], [ %indvars.iv68.ph, %.lr.ph.preheader ]
  %prol.iter = phi i64 [ %prol.iter.next, %.lr.ph.prol ], [ 0, %.lr.ph.preheader ]
  %75 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv68.prol
  %76 = load i8, ptr %75, align 1, !tbaa !12
  %77 = getelementptr inbounds i8, ptr %51, i64 %indvars.iv68.prol
  %78 = load i8, ptr %77, align 1, !tbaa !12
  %79 = xor i8 %78, %76
  %80 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv68.prol
  store i8 %79, ptr %80, align 1, !tbaa !12
  %indvars.iv.next69.prol = add nuw nsw i64 %indvars.iv68.prol, 1
  %prol.iter.next = add i64 %prol.iter, 1
  %prol.iter.cmp.not = icmp eq i64 %prol.iter.next, %xtraiter
  br i1 %prol.iter.cmp.not, label %.lr.ph.prol.loopexit, label %.lr.ph.prol, !llvm.loop !31

.lr.ph.prol.loopexit:                             ; preds = %.lr.ph.prol, %.lr.ph.preheader
  %indvars.iv68.unr = phi i64 [ %indvars.iv68.ph, %.lr.ph.preheader ], [ %indvars.iv.next69.prol, %.lr.ph.prol ]
  %81 = sub nsw i64 %indvars.iv68.ph, %wide.trip.count
  %82 = icmp ugt i64 %81, -4
  br i1 %82, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.prol.loopexit, %.lr.ph
  %indvars.iv68 = phi i64 [ %indvars.iv.next69.3, %.lr.ph ], [ %indvars.iv68.unr, %.lr.ph.prol.loopexit ]
  %83 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv68
  %84 = load i8, ptr %83, align 1, !tbaa !12
  %85 = getelementptr inbounds i8, ptr %51, i64 %indvars.iv68
  %86 = load i8, ptr %85, align 1, !tbaa !12
  %87 = xor i8 %86, %84
  %88 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv68
  store i8 %87, ptr %88, align 1, !tbaa !12
  %indvars.iv.next69 = add nuw nsw i64 %indvars.iv68, 1
  %89 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv.next69
  %90 = load i8, ptr %89, align 1, !tbaa !12
  %91 = getelementptr inbounds i8, ptr %51, i64 %indvars.iv.next69
  %92 = load i8, ptr %91, align 1, !tbaa !12
  %93 = xor i8 %92, %90
  %94 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv.next69
  store i8 %93, ptr %94, align 1, !tbaa !12
  %indvars.iv.next69.1 = add nuw nsw i64 %indvars.iv68, 2
  %95 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv.next69.1
  %96 = load i8, ptr %95, align 1, !tbaa !12
  %97 = getelementptr inbounds i8, ptr %51, i64 %indvars.iv.next69.1
  %98 = load i8, ptr %97, align 1, !tbaa !12
  %99 = xor i8 %98, %96
  %100 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv.next69.1
  store i8 %99, ptr %100, align 1, !tbaa !12
  %indvars.iv.next69.2 = add nuw nsw i64 %indvars.iv68, 3
  %101 = getelementptr inbounds i8, ptr %10, i64 %indvars.iv.next69.2
  %102 = load i8, ptr %101, align 1, !tbaa !12
  %103 = getelementptr inbounds i8, ptr %51, i64 %indvars.iv.next69.2
  %104 = load i8, ptr %103, align 1, !tbaa !12
  %105 = xor i8 %104, %102
  %106 = getelementptr inbounds i8, ptr %0, i64 %indvars.iv.next69.2
  store i8 %105, ptr %106, align 1, !tbaa !12
  %indvars.iv.next69.3 = add nuw nsw i64 %indvars.iv68, 4
  %exitcond.not.3 = icmp eq i64 %indvars.iv.next69.3, %wide.trip.count
  br i1 %exitcond.not.3, label %._crit_edge, label %.lr.ph, !llvm.loop !33

._crit_edge:                                      ; preds = %.lr.ph.prol.loopexit, %.lr.ph, %middle.block, %vec.epilog.middle.block, %50
  %107 = load i32, ptr %7, align 8, !tbaa !10
  %108 = load i32, ptr %5, align 4, !tbaa !5
  %109 = icmp ne i32 %107, %108
  %110 = zext i1 %109 to i32
  br label %111

111:                                              ; preds = %3, %._crit_edge
  %.051 = phi i32 [ %110, %._crit_edge ], [ -1, %3 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #4
  ret i32 %.051
}

declare void @gf_mul(ptr noundef, ptr noundef) local_unnamed_addr #0

attributes #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 #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 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
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, !9, i64 4444}
!6 = !{!"", !7, i64 0, !7, i64 4096, !7, i64 4112, !7, i64 4128, !7, i64 4144, !7, i64 4160, !7, i64 4176, !9, i64 4432, !9, i64 4436, !9, i64 4440, !9, i64 4444}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!6, !9, i64 4440}
!11 = !{!6, !9, i64 4436}
!12 = !{!7, !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!6, !9, i64 4432}
!16 = !{!9, !9, i64 0}
!17 = !{!18}
!18 = distinct !{!18, !19}
!19 = distinct !{!19, !"LVerDomain"}
!20 = !{!21}
!21 = distinct !{!21, !19}
!22 = distinct !{!22, !14, !23, !24}
!23 = !{!"llvm.loop.isvectorized", i32 1}
!24 = !{!"llvm.loop.unroll.runtime.disable"}
!25 = !{!26}
!26 = distinct !{!26, !27}
!27 = distinct !{!27, !"LVerDomain"}
!28 = !{!29}
!29 = distinct !{!29, !27}
!30 = distinct !{!30, !14, !23, !24}
!31 = distinct !{!31, !32}
!32 = !{!"llvm.loop.unroll.disable"}
!33 = distinct !{!33, !14, !23}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass