; LLVM IR from intel/cryptography-primitives :: sources/ippcp/crypto_mb/src/sm4/ccm (sm4_ccm_get_tag_mb16_api)

; 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._sm4_ccm_context_mb16 = type { [16 x i64], [16 x i64], [16 x i32], [16 x i32], [16 x <2 x i64>], [16 x <2 x i64>], [16 x <2 x i64>], [32 x [16 x i32]], i32 }

; Function Attrs: nounwind uwtable
define dso_local i64 @mbx_sm4_ccm_get_tag_mb16(ptr noundef %0, ptr noundef %1, ptr noundef %2) #0 {
  %4 = alloca i64, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i64, align 8
  %10 = alloca i16, align 2
  %11 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  store i64 0, ptr %9, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 2, ptr %10) #3
  store i16 -1, ptr %10, align 2, !tbaa !11
  %12 = load ptr, ptr %5, align 8, !tbaa !5
  %13 = icmp eq ptr null, %12
  br i1 %13, label %20, label %14

14:                                               ; preds = %3
  %15 = load ptr, ptr %6, align 8, !tbaa !5
  %16 = icmp eq ptr null, %15
  br i1 %16, label %20, label %17

17:                                               ; preds = %14
  %18 = load ptr, ptr %7, align 8, !tbaa !5
  %19 = icmp eq ptr null, %18
  br i1 %19, label %20, label %23

20:                                               ; preds = %17, %14, %3
  %21 = call i64 @MBX_SET_STS16_ALL(i64 noundef 2)
  store i64 %21, ptr %9, align 8, !tbaa !9
  %22 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %22, ptr %4, align 8
  store i32 1, ptr %11, align 4
  br label %115

23:                                               ; preds = %17
  %24 = load ptr, ptr %7, align 8, !tbaa !5
  %25 = getelementptr inbounds %struct._sm4_ccm_context_mb16, ptr %24, i32 0, i32 8
  %26 = load i32, ptr %25, align 16, !tbaa !13
  %27 = icmp ne i32 61601, %26
  br i1 %27, label %28, label %51

28:                                               ; preds = %23
  %29 = load ptr, ptr %7, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct._sm4_ccm_context_mb16, ptr %29, i32 0, i32 8
  %31 = load i32, ptr %30, align 16, !tbaa !13
  %32 = icmp ne i32 61602, %31
  br i1 %32, label %33, label %51

33:                                               ; preds = %28
  %34 = load ptr, ptr %7, align 8, !tbaa !5
  %35 = getelementptr inbounds %struct._sm4_ccm_context_mb16, ptr %34, i32 0, i32 8
  %36 = load i32, ptr %35, align 16, !tbaa !13
  %37 = icmp ne i32 61603, %36
  br i1 %37, label %38, label %51

38:                                               ; preds = %33
  %39 = load ptr, ptr %7, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct._sm4_ccm_context_mb16, ptr %39, i32 0, i32 8
  %41 = load i32, ptr %40, align 16, !tbaa !13
  %42 = icmp ne i32 61604, %41
  br i1 %42, label %43, label %51

43:                                               ; preds = %38
  %44 = load ptr, ptr %7, align 8, !tbaa !5
  %45 = getelementptr inbounds %struct._sm4_ccm_context_mb16, ptr %44, i32 0, i32 8
  %46 = load i32, ptr %45, align 16, !tbaa !13
  %47 = icmp ne i32 61605, %46
  br i1 %47, label %48, label %51

48:                                               ; preds = %43
  %49 = call i64 @MBX_SET_STS16_ALL(i64 noundef 1)
  store i64 %49, ptr %9, align 8, !tbaa !9
  %50 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %50, ptr %4, align 8
  store i32 1, ptr %11, align 4
  br label %115

51:                                               ; preds = %43, %38, %33, %28, %23
  store i32 0, ptr %8, align 4, !tbaa !16
  br label %52

52:                                               ; preds = %108, %51
  %53 = load i32, ptr %8, align 4, !tbaa !16
  %54 = icmp slt i32 %53, 16
  br i1 %54, label %55, label %111

55:                                               ; preds = %52
  %56 = load ptr, ptr %5, align 8, !tbaa !5
  %57 = load i32, ptr %8, align 4, !tbaa !16
  %58 = sext i32 %57 to i64
  %59 = getelementptr inbounds ptr, ptr %56, i64 %58
  %60 = load ptr, ptr %59, align 8, !tbaa !5
  %61 = icmp eq ptr %60, null
  br i1 %61, label %62, label %73

62:                                               ; preds = %55
  %63 = load i64, ptr %9, align 8, !tbaa !9
  %64 = load i32, ptr %8, align 4, !tbaa !16
  %65 = call i64 @MBX_SET_STS16(i64 noundef %63, i32 noundef %64, i64 noundef 2)
  store i64 %65, ptr %9, align 8, !tbaa !9
  %66 = load i32, ptr %8, align 4, !tbaa !16
  %67 = shl i32 1, %66
  %68 = xor i32 %67, -1
  %69 = load i16, ptr %10, align 2, !tbaa !11
  %70 = zext i16 %69 to i32
  %71 = and i32 %70, %68
  %72 = trunc i32 %71 to i16
  store i16 %72, ptr %10, align 2, !tbaa !11
  br label %107

73:                                               ; preds = %55
  %74 = load ptr, ptr %6, align 8, !tbaa !5
  %75 = load i32, ptr %8, align 4, !tbaa !16
  %76 = sext i32 %75 to i64
  %77 = getelementptr inbounds i32, ptr %74, i64 %76
  %78 = load i32, ptr %77, align 4, !tbaa !16
  %79 = icmp slt i32 %78, 4
  br i1 %79, label %95, label %80

80:                                               ; preds = %73
  %81 = load ptr, ptr %6, align 8, !tbaa !5
  %82 = load i32, ptr %8, align 4, !tbaa !16
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds i32, ptr %81, i64 %83
  %85 = load i32, ptr %84, align 4, !tbaa !16
  %86 = icmp sgt i32 %85, 16
  br i1 %86, label %95, label %87

87:                                               ; preds = %80
  %88 = load ptr, ptr %6, align 8, !tbaa !5
  %89 = load i32, ptr %8, align 4, !tbaa !16
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds i32, ptr %88, i64 %90
  %92 = load i32, ptr %91, align 4, !tbaa !16
  %93 = and i32 %92, 1
  %94 = icmp ne i32 %93, 0
  br i1 %94, label %95, label %106

95:                                               ; preds = %87, %80, %73
  %96 = load i64, ptr %9, align 8, !tbaa !9
  %97 = load i32, ptr %8, align 4, !tbaa !16
  %98 = call i64 @MBX_SET_STS16(i64 noundef %96, i32 noundef %97, i64 noundef 1)
  store i64 %98, ptr %9, align 8, !tbaa !9
  %99 = load i32, ptr %8, align 4, !tbaa !16
  %100 = shl i32 1, %99
  %101 = xor i32 %100, -1
  %102 = load i16, ptr %10, align 2, !tbaa !11
  %103 = zext i16 %102 to i32
  %104 = and i32 %103, %101
  %105 = trunc i32 %104 to i16
  store i16 %105, ptr %10, align 2, !tbaa !11
  br label %106

106:                                              ; preds = %95, %87
  br label %107

107:                                              ; preds = %106, %62
  br label %108

108:                                              ; preds = %107
  %109 = load i32, ptr %8, align 4, !tbaa !16
  %110 = add nsw i32 %109, 1
  store i32 %110, ptr %8, align 4, !tbaa !16
  br label %52, !llvm.loop !17

111:                                              ; preds = %52
  %112 = load i16, ptr %10, align 2, !tbaa !11
  %113 = call i64 @MBX_SET_STS16_ALL(i64 noundef 10)
  store i64 %113, ptr %9, align 8, !tbaa !9
  %114 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %114, ptr %4, align 8
  store i32 1, ptr %11, align 4
  br label %115

115:                                              ; preds = %111, %48, %20
  call void @llvm.lifetime.end.p0(i64 2, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  %116 = load i64, ptr %4, align 8
  ret i64 %116
}

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

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i64 @MBX_SET_STS16_ALL(i64 noundef) #2

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i64 @MBX_SET_STS16(i64 noundef, i32 noundef, i64 noundef) #2

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { alwaysinline 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 = !{!12, !12, i64 0}
!12 = !{!"short", !7, i64 0}
!13 = !{!14, !15, i64 3200}
!14 = !{!"_sm4_ccm_context_mb16", !7, i64 0, !7, i64 128, !7, i64 256, !7, i64 320, !7, i64 384, !7, i64 640, !7, i64 896, !7, i64 1152, !15, i64 3200}
!15 = !{!"int", !7, i64 0}
!16 = !{!15, !15, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}


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

; Function Attrs: nounwind uwtable
define dso_local i64 @mbx_sm4_ccm_get_tag_mb16(ptr noundef readonly %0, ptr noundef readonly %1, ptr noundef readonly %2) local_unnamed_addr #0 {
  %4 = icmp eq ptr %0, null
  %5 = icmp eq ptr %1, null
  %or.cond = or i1 %4, %5
  %6 = icmp eq ptr %2, null
  %or.cond3 = or i1 %or.cond, %6
  br i1 %or.cond3, label %.loopexit, label %7

7:                                                ; preds = %3
  %8 = getelementptr inbounds i8, ptr %2, i64 3200
  %9 = load i32, ptr %8, align 16, !tbaa !5
  %.off = add i32 %9, -61601
  %switch = icmp ult i32 %.off, 5
  br i1 %switch, label %.preheader, label %.loopexit

.preheader:                                       ; preds = %7
  %10 = load ptr, ptr %0, align 8, !tbaa !10
  %11 = icmp eq ptr %10, null
  br i1 %11, label %.sink.split, label %12

12:                                               ; preds = %.preheader
  %13 = load i32, ptr %1, align 4, !tbaa !12
  %14 = add i32 %13, -4
  %or.cond47 = icmp ult i32 %14, 13
  %15 = and i32 %13, 1
  %.not46 = icmp eq i32 %15, 0
  %or.cond48 = and i1 %or.cond47, %.not46
  br i1 %or.cond48, label %.preheader.1, label %.sink.split

.sink.split:                                      ; preds = %12, %.preheader
  %.sink52 = phi i64 [ 2, %.preheader ], [ 1, %12 ]
  %16 = tail call i64 @MBX_SET_STS16(i64 noundef 0, i32 noundef 0, i64 noundef %.sink52)
  br label %.preheader.1

.preheader.1:                                     ; preds = %.sink.split, %12
  %.134 = phi i64 [ 0, %12 ], [ %16, %.sink.split ]
  %17 = getelementptr inbounds i8, ptr %0, i64 8
  %18 = load ptr, ptr %17, align 8, !tbaa !10
  %19 = icmp eq ptr %18, null
  br i1 %19, label %.sink.split.1, label %20

20:                                               ; preds = %.preheader.1
  %21 = getelementptr inbounds i8, ptr %1, i64 4
  %22 = load i32, ptr %21, align 4, !tbaa !12
  %23 = add i32 %22, -4
  %or.cond47.1 = icmp ult i32 %23, 13
  %24 = and i32 %22, 1
  %.not46.1 = icmp eq i32 %24, 0
  %or.cond48.1 = and i1 %or.cond47.1, %.not46.1
  br i1 %or.cond48.1, label %.preheader.2, label %.sink.split.1

.sink.split.1:                                    ; preds = %20, %.preheader.1
  %.sink52.1 = phi i64 [ 2, %.preheader.1 ], [ 1, %20 ]
  %25 = tail call i64 @MBX_SET_STS16(i64 noundef %.134, i32 noundef 1, i64 noundef %.sink52.1)
  br label %.preheader.2

.preheader.2:                                     ; preds = %.sink.split.1, %20
  %.134.1 = phi i64 [ %.134, %20 ], [ %25, %.sink.split.1 ]
  %26 = getelementptr inbounds i8, ptr %0, i64 16
  %27 = load ptr, ptr %26, align 8, !tbaa !10
  %28 = icmp eq ptr %27, null
  br i1 %28, label %.sink.split.2, label %29

29:                                               ; preds = %.preheader.2
  %30 = getelementptr inbounds i8, ptr %1, i64 8
  %31 = load i32, ptr %30, align 4, !tbaa !12
  %32 = add i32 %31, -4
  %or.cond47.2 = icmp ult i32 %32, 13
  %33 = and i32 %31, 1
  %.not46.2 = icmp eq i32 %33, 0
  %or.cond48.2 = and i1 %or.cond47.2, %.not46.2
  br i1 %or.cond48.2, label %.preheader.3, label %.sink.split.2

.sink.split.2:                                    ; preds = %29, %.preheader.2
  %.sink52.2 = phi i64 [ 2, %.preheader.2 ], [ 1, %29 ]
  %34 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.1, i32 noundef 2, i64 noundef %.sink52.2)
  br label %.preheader.3

.preheader.3:                                     ; preds = %.sink.split.2, %29
  %.134.2 = phi i64 [ %.134.1, %29 ], [ %34, %.sink.split.2 ]
  %35 = getelementptr inbounds i8, ptr %0, i64 24
  %36 = load ptr, ptr %35, align 8, !tbaa !10
  %37 = icmp eq ptr %36, null
  br i1 %37, label %.sink.split.3, label %38

38:                                               ; preds = %.preheader.3
  %39 = getelementptr inbounds i8, ptr %1, i64 12
  %40 = load i32, ptr %39, align 4, !tbaa !12
  %41 = add i32 %40, -4
  %or.cond47.3 = icmp ult i32 %41, 13
  %42 = and i32 %40, 1
  %.not46.3 = icmp eq i32 %42, 0
  %or.cond48.3 = and i1 %or.cond47.3, %.not46.3
  br i1 %or.cond48.3, label %.preheader.4, label %.sink.split.3

.sink.split.3:                                    ; preds = %38, %.preheader.3
  %.sink52.3 = phi i64 [ 2, %.preheader.3 ], [ 1, %38 ]
  %43 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.2, i32 noundef 3, i64 noundef %.sink52.3)
  br label %.preheader.4

.preheader.4:                                     ; preds = %.sink.split.3, %38
  %.134.3 = phi i64 [ %.134.2, %38 ], [ %43, %.sink.split.3 ]
  %44 = getelementptr inbounds i8, ptr %0, i64 32
  %45 = load ptr, ptr %44, align 8, !tbaa !10
  %46 = icmp eq ptr %45, null
  br i1 %46, label %.sink.split.4, label %47

47:                                               ; preds = %.preheader.4
  %48 = getelementptr inbounds i8, ptr %1, i64 16
  %49 = load i32, ptr %48, align 4, !tbaa !12
  %50 = add i32 %49, -4
  %or.cond47.4 = icmp ult i32 %50, 13
  %51 = and i32 %49, 1
  %.not46.4 = icmp eq i32 %51, 0
  %or.cond48.4 = and i1 %or.cond47.4, %.not46.4
  br i1 %or.cond48.4, label %.preheader.5, label %.sink.split.4

.sink.split.4:                                    ; preds = %47, %.preheader.4
  %.sink52.4 = phi i64 [ 2, %.preheader.4 ], [ 1, %47 ]
  %52 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.3, i32 noundef 4, i64 noundef %.sink52.4)
  br label %.preheader.5

.preheader.5:                                     ; preds = %.sink.split.4, %47
  %.134.4 = phi i64 [ %.134.3, %47 ], [ %52, %.sink.split.4 ]
  %53 = getelementptr inbounds i8, ptr %0, i64 40
  %54 = load ptr, ptr %53, align 8, !tbaa !10
  %55 = icmp eq ptr %54, null
  br i1 %55, label %.sink.split.5, label %56

56:                                               ; preds = %.preheader.5
  %57 = getelementptr inbounds i8, ptr %1, i64 20
  %58 = load i32, ptr %57, align 4, !tbaa !12
  %59 = add i32 %58, -4
  %or.cond47.5 = icmp ult i32 %59, 13
  %60 = and i32 %58, 1
  %.not46.5 = icmp eq i32 %60, 0
  %or.cond48.5 = and i1 %or.cond47.5, %.not46.5
  br i1 %or.cond48.5, label %.preheader.6, label %.sink.split.5

.sink.split.5:                                    ; preds = %56, %.preheader.5
  %.sink52.5 = phi i64 [ 2, %.preheader.5 ], [ 1, %56 ]
  %61 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.4, i32 noundef 5, i64 noundef %.sink52.5)
  br label %.preheader.6

.preheader.6:                                     ; preds = %.sink.split.5, %56
  %.134.5 = phi i64 [ %.134.4, %56 ], [ %61, %.sink.split.5 ]
  %62 = getelementptr inbounds i8, ptr %0, i64 48
  %63 = load ptr, ptr %62, align 8, !tbaa !10
  %64 = icmp eq ptr %63, null
  br i1 %64, label %.sink.split.6, label %65

65:                                               ; preds = %.preheader.6
  %66 = getelementptr inbounds i8, ptr %1, i64 24
  %67 = load i32, ptr %66, align 4, !tbaa !12
  %68 = add i32 %67, -4
  %or.cond47.6 = icmp ult i32 %68, 13
  %69 = and i32 %67, 1
  %.not46.6 = icmp eq i32 %69, 0
  %or.cond48.6 = and i1 %or.cond47.6, %.not46.6
  br i1 %or.cond48.6, label %.preheader.7, label %.sink.split.6

.sink.split.6:                                    ; preds = %65, %.preheader.6
  %.sink52.6 = phi i64 [ 2, %.preheader.6 ], [ 1, %65 ]
  %70 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.5, i32 noundef 6, i64 noundef %.sink52.6)
  br label %.preheader.7

.preheader.7:                                     ; preds = %.sink.split.6, %65
  %.134.6 = phi i64 [ %.134.5, %65 ], [ %70, %.sink.split.6 ]
  %71 = getelementptr inbounds i8, ptr %0, i64 56
  %72 = load ptr, ptr %71, align 8, !tbaa !10
  %73 = icmp eq ptr %72, null
  br i1 %73, label %.sink.split.7, label %74

74:                                               ; preds = %.preheader.7
  %75 = getelementptr inbounds i8, ptr %1, i64 28
  %76 = load i32, ptr %75, align 4, !tbaa !12
  %77 = add i32 %76, -4
  %or.cond47.7 = icmp ult i32 %77, 13
  %78 = and i32 %76, 1
  %.not46.7 = icmp eq i32 %78, 0
  %or.cond48.7 = and i1 %or.cond47.7, %.not46.7
  br i1 %or.cond48.7, label %.preheader.8, label %.sink.split.7

.sink.split.7:                                    ; preds = %74, %.preheader.7
  %.sink52.7 = phi i64 [ 2, %.preheader.7 ], [ 1, %74 ]
  %79 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.6, i32 noundef 7, i64 noundef %.sink52.7)
  br label %.preheader.8

.preheader.8:                                     ; preds = %.sink.split.7, %74
  %.134.7 = phi i64 [ %.134.6, %74 ], [ %79, %.sink.split.7 ]
  %80 = getelementptr inbounds i8, ptr %0, i64 64
  %81 = load ptr, ptr %80, align 8, !tbaa !10
  %82 = icmp eq ptr %81, null
  br i1 %82, label %.sink.split.8, label %83

83:                                               ; preds = %.preheader.8
  %84 = getelementptr inbounds i8, ptr %1, i64 32
  %85 = load i32, ptr %84, align 4, !tbaa !12
  %86 = add i32 %85, -4
  %or.cond47.8 = icmp ult i32 %86, 13
  %87 = and i32 %85, 1
  %.not46.8 = icmp eq i32 %87, 0
  %or.cond48.8 = and i1 %or.cond47.8, %.not46.8
  br i1 %or.cond48.8, label %.preheader.9, label %.sink.split.8

.sink.split.8:                                    ; preds = %83, %.preheader.8
  %.sink52.8 = phi i64 [ 2, %.preheader.8 ], [ 1, %83 ]
  %88 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.7, i32 noundef 8, i64 noundef %.sink52.8)
  br label %.preheader.9

.preheader.9:                                     ; preds = %.sink.split.8, %83
  %.134.8 = phi i64 [ %.134.7, %83 ], [ %88, %.sink.split.8 ]
  %89 = getelementptr inbounds i8, ptr %0, i64 72
  %90 = load ptr, ptr %89, align 8, !tbaa !10
  %91 = icmp eq ptr %90, null
  br i1 %91, label %.sink.split.9, label %92

92:                                               ; preds = %.preheader.9
  %93 = getelementptr inbounds i8, ptr %1, i64 36
  %94 = load i32, ptr %93, align 4, !tbaa !12
  %95 = add i32 %94, -4
  %or.cond47.9 = icmp ult i32 %95, 13
  %96 = and i32 %94, 1
  %.not46.9 = icmp eq i32 %96, 0
  %or.cond48.9 = and i1 %or.cond47.9, %.not46.9
  br i1 %or.cond48.9, label %.preheader.10, label %.sink.split.9

.sink.split.9:                                    ; preds = %92, %.preheader.9
  %.sink52.9 = phi i64 [ 2, %.preheader.9 ], [ 1, %92 ]
  %97 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.8, i32 noundef 9, i64 noundef %.sink52.9)
  br label %.preheader.10

.preheader.10:                                    ; preds = %.sink.split.9, %92
  %.134.9 = phi i64 [ %.134.8, %92 ], [ %97, %.sink.split.9 ]
  %98 = getelementptr inbounds i8, ptr %0, i64 80
  %99 = load ptr, ptr %98, align 8, !tbaa !10
  %100 = icmp eq ptr %99, null
  br i1 %100, label %.sink.split.10, label %101

101:                                              ; preds = %.preheader.10
  %102 = getelementptr inbounds i8, ptr %1, i64 40
  %103 = load i32, ptr %102, align 4, !tbaa !12
  %104 = add i32 %103, -4
  %or.cond47.10 = icmp ult i32 %104, 13
  %105 = and i32 %103, 1
  %.not46.10 = icmp eq i32 %105, 0
  %or.cond48.10 = and i1 %or.cond47.10, %.not46.10
  br i1 %or.cond48.10, label %.preheader.11, label %.sink.split.10

.sink.split.10:                                   ; preds = %101, %.preheader.10
  %.sink52.10 = phi i64 [ 2, %.preheader.10 ], [ 1, %101 ]
  %106 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.9, i32 noundef 10, i64 noundef %.sink52.10)
  br label %.preheader.11

.preheader.11:                                    ; preds = %.sink.split.10, %101
  %.134.10 = phi i64 [ %.134.9, %101 ], [ %106, %.sink.split.10 ]
  %107 = getelementptr inbounds i8, ptr %0, i64 88
  %108 = load ptr, ptr %107, align 8, !tbaa !10
  %109 = icmp eq ptr %108, null
  br i1 %109, label %.sink.split.11, label %110

110:                                              ; preds = %.preheader.11
  %111 = getelementptr inbounds i8, ptr %1, i64 44
  %112 = load i32, ptr %111, align 4, !tbaa !12
  %113 = add i32 %112, -4
  %or.cond47.11 = icmp ult i32 %113, 13
  %114 = and i32 %112, 1
  %.not46.11 = icmp eq i32 %114, 0
  %or.cond48.11 = and i1 %or.cond47.11, %.not46.11
  br i1 %or.cond48.11, label %.preheader.12, label %.sink.split.11

.sink.split.11:                                   ; preds = %110, %.preheader.11
  %.sink52.11 = phi i64 [ 2, %.preheader.11 ], [ 1, %110 ]
  %115 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.10, i32 noundef 11, i64 noundef %.sink52.11)
  br label %.preheader.12

.preheader.12:                                    ; preds = %.sink.split.11, %110
  %.134.11 = phi i64 [ %.134.10, %110 ], [ %115, %.sink.split.11 ]
  %116 = getelementptr inbounds i8, ptr %0, i64 96
  %117 = load ptr, ptr %116, align 8, !tbaa !10
  %118 = icmp eq ptr %117, null
  br i1 %118, label %.sink.split.12, label %119

119:                                              ; preds = %.preheader.12
  %120 = getelementptr inbounds i8, ptr %1, i64 48
  %121 = load i32, ptr %120, align 4, !tbaa !12
  %122 = add i32 %121, -4
  %or.cond47.12 = icmp ult i32 %122, 13
  %123 = and i32 %121, 1
  %.not46.12 = icmp eq i32 %123, 0
  %or.cond48.12 = and i1 %or.cond47.12, %.not46.12
  br i1 %or.cond48.12, label %.preheader.13, label %.sink.split.12

.sink.split.12:                                   ; preds = %119, %.preheader.12
  %.sink52.12 = phi i64 [ 2, %.preheader.12 ], [ 1, %119 ]
  %124 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.11, i32 noundef 12, i64 noundef %.sink52.12)
  br label %.preheader.13

.preheader.13:                                    ; preds = %.sink.split.12, %119
  %.134.12 = phi i64 [ %.134.11, %119 ], [ %124, %.sink.split.12 ]
  %125 = getelementptr inbounds i8, ptr %0, i64 104
  %126 = load ptr, ptr %125, align 8, !tbaa !10
  %127 = icmp eq ptr %126, null
  br i1 %127, label %.sink.split.13, label %128

128:                                              ; preds = %.preheader.13
  %129 = getelementptr inbounds i8, ptr %1, i64 52
  %130 = load i32, ptr %129, align 4, !tbaa !12
  %131 = add i32 %130, -4
  %or.cond47.13 = icmp ult i32 %131, 13
  %132 = and i32 %130, 1
  %.not46.13 = icmp eq i32 %132, 0
  %or.cond48.13 = and i1 %or.cond47.13, %.not46.13
  br i1 %or.cond48.13, label %.preheader.14, label %.sink.split.13

.sink.split.13:                                   ; preds = %128, %.preheader.13
  %.sink52.13 = phi i64 [ 2, %.preheader.13 ], [ 1, %128 ]
  %133 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.12, i32 noundef 13, i64 noundef %.sink52.13)
  br label %.preheader.14

.preheader.14:                                    ; preds = %.sink.split.13, %128
  %.134.13 = phi i64 [ %.134.12, %128 ], [ %133, %.sink.split.13 ]
  %134 = getelementptr inbounds i8, ptr %0, i64 112
  %135 = load ptr, ptr %134, align 8, !tbaa !10
  %136 = icmp eq ptr %135, null
  br i1 %136, label %.sink.split.14, label %137

137:                                              ; preds = %.preheader.14
  %138 = getelementptr inbounds i8, ptr %1, i64 56
  %139 = load i32, ptr %138, align 4, !tbaa !12
  %140 = add i32 %139, -4
  %or.cond47.14 = icmp ult i32 %140, 13
  %141 = and i32 %139, 1
  %.not46.14 = icmp eq i32 %141, 0
  %or.cond48.14 = and i1 %or.cond47.14, %.not46.14
  br i1 %or.cond48.14, label %.preheader.15, label %.sink.split.14

.sink.split.14:                                   ; preds = %137, %.preheader.14
  %.sink52.14 = phi i64 [ 2, %.preheader.14 ], [ 1, %137 ]
  %142 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.13, i32 noundef 14, i64 noundef %.sink52.14)
  br label %.preheader.15

.preheader.15:                                    ; preds = %.sink.split.14, %137
  %.134.14 = phi i64 [ %.134.13, %137 ], [ %142, %.sink.split.14 ]
  %143 = getelementptr inbounds i8, ptr %0, i64 120
  %144 = load ptr, ptr %143, align 8, !tbaa !10
  %145 = icmp eq ptr %144, null
  br i1 %145, label %.sink.split.15, label %146

146:                                              ; preds = %.preheader.15
  %147 = getelementptr inbounds i8, ptr %1, i64 60
  %148 = load i32, ptr %147, align 4, !tbaa !12
  %149 = add i32 %148, -4
  %or.cond47.15 = icmp ult i32 %149, 13
  %150 = and i32 %148, 1
  %.not46.15 = icmp eq i32 %150, 0
  %or.cond48.15 = and i1 %or.cond47.15, %.not46.15
  br i1 %or.cond48.15, label %.loopexit, label %.sink.split.15

.sink.split.15:                                   ; preds = %146, %.preheader.15
  %.sink52.15 = phi i64 [ 2, %.preheader.15 ], [ 1, %146 ]
  %151 = tail call i64 @MBX_SET_STS16(i64 noundef %.134.14, i32 noundef 15, i64 noundef %.sink52.15)
  br label %.loopexit

.loopexit:                                        ; preds = %146, %.sink.split.15, %7, %3
  %.sink = phi i64 [ 2, %3 ], [ 1, %7 ], [ 10, %.sink.split.15 ], [ 10, %146 ]
  %152 = tail call i64 @MBX_SET_STS16_ALL(i64 noundef %.sink)
  ret i64 %152
}

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i64 @MBX_SET_STS16_ALL(i64 noundef) local_unnamed_addr #1

; Function Attrs: alwaysinline nounwind uwtable
declare hidden i64 @MBX_SET_STS16(i64 noundef, i32 noundef, i64 noundef) local_unnamed_addr #1

attributes #0 = { 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 #1 = { alwaysinline 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" }

!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 3200}
!6 = !{!"_sm4_ccm_context_mb16", !7, i64 0, !7, i64 128, !7, i64 256, !7, i64 320, !7, i64 384, !7, i64 640, !7, i64 896, !7, i64 1152, !9, i64 3200}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!"int", !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!9, !9, i64 0}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass