; LLVM IR from BabitMF/bmf :: bmf_lite/src/algorithm/modules/operators/utils (SHA256)

; 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.std::array" = type { [64 x i32] }
%"class.bmf_lite::SHA256" = type { [64 x i8], i32, i64, [8 x i32] }

@_ZN8bmf_lite6SHA2561KE = external dso_local constant %"struct.std::array", 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: mustprogress nounwind uwtable
define dso_local void @_ZN8bmf_lite6SHA2569transformEv(ptr noundef nonnull align 8 dereferenceable(112) %0) #1 align 2 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca [64 x i32], align 16
  %11 = alloca [8 x i32], align 16
  %12 = alloca i8, align 1
  %13 = alloca i8, align 1
  %14 = alloca i8, align 1
  %15 = alloca i8, align 1
  %16 = alloca i8, align 1
  %17 = alloca i8, align 1
  store ptr %0, ptr %2, align 8, !tbaa !5
  %18 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.start.p0(i64 256, ptr %10) #2
  call void @llvm.lifetime.start.p0(i64 32, ptr %11) #2
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #2
  store i8 0, ptr %12, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #2
  store i8 0, ptr %13, align 1, !tbaa !9
  br label %19

19:                                               ; preds = %64, %1
  %20 = load i8, ptr %12, align 1, !tbaa !9
  %21 = zext i8 %20 to i32
  %22 = icmp slt i32 %21, 16
  br i1 %22, label %24, label %23

23:                                               ; preds = %19
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #2
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #2
  br label %71

24:                                               ; preds = %19
  %25 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 0
  %26 = load i8, ptr %13, align 1, !tbaa !9
  %27 = zext i8 %26 to i64
  %28 = getelementptr inbounds [64 x i8], ptr %25, i64 0, i64 %27
  %29 = load i8, ptr %28, align 1, !tbaa !9
  %30 = zext i8 %29 to i32
  %31 = shl i32 %30, 24
  %32 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 0
  %33 = load i8, ptr %13, align 1, !tbaa !9
  %34 = zext i8 %33 to i32
  %35 = add nsw i32 %34, 1
  %36 = sext i32 %35 to i64
  %37 = getelementptr inbounds [64 x i8], ptr %32, i64 0, i64 %36
  %38 = load i8, ptr %37, align 1, !tbaa !9
  %39 = zext i8 %38 to i32
  %40 = shl i32 %39, 16
  %41 = or i32 %31, %40
  %42 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 0
  %43 = load i8, ptr %13, align 1, !tbaa !9
  %44 = zext i8 %43 to i32
  %45 = add nsw i32 %44, 2
  %46 = sext i32 %45 to i64
  %47 = getelementptr inbounds [64 x i8], ptr %42, i64 0, i64 %46
  %48 = load i8, ptr %47, align 1, !tbaa !9
  %49 = zext i8 %48 to i32
  %50 = shl i32 %49, 8
  %51 = or i32 %41, %50
  %52 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 0
  %53 = load i8, ptr %13, align 1, !tbaa !9
  %54 = zext i8 %53 to i32
  %55 = add nsw i32 %54, 3
  %56 = sext i32 %55 to i64
  %57 = getelementptr inbounds [64 x i8], ptr %52, i64 0, i64 %56
  %58 = load i8, ptr %57, align 1, !tbaa !9
  %59 = zext i8 %58 to i32
  %60 = or i32 %51, %59
  %61 = load i8, ptr %12, align 1, !tbaa !9
  %62 = zext i8 %61 to i64
  %63 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %62
  store i32 %60, ptr %63, align 4, !tbaa !10
  br label %64

64:                                               ; preds = %24
  %65 = load i8, ptr %12, align 1, !tbaa !9
  %66 = add i8 %65, 1
  store i8 %66, ptr %12, align 1, !tbaa !9
  %67 = load i8, ptr %13, align 1, !tbaa !9
  %68 = zext i8 %67 to i32
  %69 = add nsw i32 %68, 4
  %70 = trunc i32 %69 to i8
  store i8 %70, ptr %13, align 1, !tbaa !9
  br label %19, !llvm.loop !12

71:                                               ; preds = %23
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #2
  store i8 16, ptr %14, align 1, !tbaa !9
  br label %72

72:                                               ; preds = %110, %71
  %73 = load i8, ptr %14, align 1, !tbaa !9
  %74 = zext i8 %73 to i32
  %75 = icmp slt i32 %74, 64
  br i1 %75, label %77, label %76

76:                                               ; preds = %72
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #2
  br label %113

77:                                               ; preds = %72
  %78 = load i8, ptr %14, align 1, !tbaa !9
  %79 = zext i8 %78 to i32
  %80 = sub nsw i32 %79, 2
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %81
  %83 = load i32, ptr %82, align 4, !tbaa !10
  %84 = call noundef i32 @_ZN8bmf_lite6SHA2564sig1Ej(i32 noundef %83)
  %85 = load i8, ptr %14, align 1, !tbaa !9
  %86 = zext i8 %85 to i32
  %87 = sub nsw i32 %86, 7
  %88 = sext i32 %87 to i64
  %89 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %88
  %90 = load i32, ptr %89, align 4, !tbaa !10
  %91 = add i32 %84, %90
  %92 = load i8, ptr %14, align 1, !tbaa !9
  %93 = zext i8 %92 to i32
  %94 = sub nsw i32 %93, 15
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %95
  %97 = load i32, ptr %96, align 4, !tbaa !10
  %98 = call noundef i32 @_ZN8bmf_lite6SHA2564sig0Ej(i32 noundef %97)
  %99 = add i32 %91, %98
  %100 = load i8, ptr %14, align 1, !tbaa !9
  %101 = zext i8 %100 to i32
  %102 = sub nsw i32 %101, 16
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %103
  %105 = load i32, ptr %104, align 4, !tbaa !10
  %106 = add i32 %99, %105
  %107 = load i8, ptr %14, align 1, !tbaa !9
  %108 = zext i8 %107 to i64
  %109 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %108
  store i32 %106, ptr %109, align 4, !tbaa !10
  br label %110

110:                                              ; preds = %77
  %111 = load i8, ptr %14, align 1, !tbaa !9
  %112 = add i8 %111, 1
  store i8 %112, ptr %14, align 1, !tbaa !9
  br label %72, !llvm.loop !14

113:                                              ; preds = %76
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #2
  store i8 0, ptr %15, align 1, !tbaa !9
  br label %114

114:                                              ; preds = %128, %113
  %115 = load i8, ptr %15, align 1, !tbaa !9
  %116 = zext i8 %115 to i32
  %117 = icmp slt i32 %116, 8
  br i1 %117, label %119, label %118

118:                                              ; preds = %114
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #2
  br label %131

119:                                              ; preds = %114
  %120 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 3
  %121 = load i8, ptr %15, align 1, !tbaa !9
  %122 = zext i8 %121 to i64
  %123 = getelementptr inbounds [8 x i32], ptr %120, i64 0, i64 %122
  %124 = load i32, ptr %123, align 4, !tbaa !10
  %125 = load i8, ptr %15, align 1, !tbaa !9
  %126 = zext i8 %125 to i64
  %127 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 %126
  store i32 %124, ptr %127, align 4, !tbaa !10
  br label %128

128:                                              ; preds = %119
  %129 = load i8, ptr %15, align 1, !tbaa !9
  %130 = add i8 %129, 1
  store i8 %130, ptr %15, align 1, !tbaa !9
  br label %114, !llvm.loop !15

131:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #2
  store i8 0, ptr %16, align 1, !tbaa !9
  br label %132

132:                                              ; preds = %221, %131
  %133 = load i8, ptr %16, align 1, !tbaa !9
  %134 = zext i8 %133 to i32
  %135 = icmp slt i32 %134, 64
  br i1 %135, label %137, label %136

136:                                              ; preds = %132
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #2
  br label %224

137:                                              ; preds = %132
  %138 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  %139 = load i32, ptr %138, align 16, !tbaa !10
  %140 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 1
  %141 = load i32, ptr %140, align 4, !tbaa !10
  %142 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 2
  %143 = load i32, ptr %142, align 8, !tbaa !10
  %144 = call noundef i32 @_ZN8bmf_lite6SHA2568majorityEjjj(i32 noundef %139, i32 noundef %141, i32 noundef %143)
  store i32 %144, ptr %3, align 4, !tbaa !10
  %145 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  %146 = load i32, ptr %145, align 16, !tbaa !10
  %147 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %146, i32 noundef 2)
  %148 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  %149 = load i32, ptr %148, align 16, !tbaa !10
  %150 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %149, i32 noundef 13)
  %151 = xor i32 %147, %150
  %152 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  %153 = load i32, ptr %152, align 16, !tbaa !10
  %154 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %153, i32 noundef 22)
  %155 = xor i32 %151, %154
  store i32 %155, ptr %4, align 4, !tbaa !10
  %156 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  %157 = load i32, ptr %156, align 16, !tbaa !10
  %158 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 5
  %159 = load i32, ptr %158, align 4, !tbaa !10
  %160 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 6
  %161 = load i32, ptr %160, align 8, !tbaa !10
  %162 = call noundef i32 @_ZN8bmf_lite6SHA2566chooseEjjj(i32 noundef %157, i32 noundef %159, i32 noundef %161)
  store i32 %162, ptr %5, align 4, !tbaa !10
  %163 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  %164 = load i32, ptr %163, align 16, !tbaa !10
  %165 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %164, i32 noundef 6)
  %166 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  %167 = load i32, ptr %166, align 16, !tbaa !10
  %168 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %167, i32 noundef 11)
  %169 = xor i32 %165, %168
  %170 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  %171 = load i32, ptr %170, align 16, !tbaa !10
  %172 = call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %171, i32 noundef 25)
  %173 = xor i32 %169, %172
  store i32 %173, ptr %6, align 4, !tbaa !10
  %174 = load i8, ptr %16, align 1, !tbaa !9
  %175 = zext i8 %174 to i64
  %176 = getelementptr inbounds [64 x i32], ptr %10, i64 0, i64 %175
  %177 = load i32, ptr %176, align 4, !tbaa !10
  %178 = load i8, ptr %16, align 1, !tbaa !9
  %179 = zext i8 %178 to i64
  %180 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt5arrayIjLm64EEixEm(ptr noundef nonnull align 4 dereferenceable(256) @_ZN8bmf_lite6SHA2561KE, i64 noundef %179) #2
  %181 = load i32, ptr %180, align 4, !tbaa !10
  %182 = add i32 %177, %181
  %183 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 7
  %184 = load i32, ptr %183, align 4, !tbaa !10
  %185 = add i32 %182, %184
  %186 = load i32, ptr %5, align 4, !tbaa !10
  %187 = add i32 %185, %186
  %188 = load i32, ptr %6, align 4, !tbaa !10
  %189 = add i32 %187, %188
  store i32 %189, ptr %7, align 4, !tbaa !10
  %190 = load i32, ptr %4, align 4, !tbaa !10
  %191 = load i32, ptr %3, align 4, !tbaa !10
  %192 = add i32 %190, %191
  %193 = load i32, ptr %7, align 4, !tbaa !10
  %194 = add i32 %192, %193
  store i32 %194, ptr %8, align 4, !tbaa !10
  %195 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 3
  %196 = load i32, ptr %195, align 4, !tbaa !10
  %197 = load i32, ptr %7, align 4, !tbaa !10
  %198 = add i32 %196, %197
  store i32 %198, ptr %9, align 4, !tbaa !10
  %199 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 6
  %200 = load i32, ptr %199, align 8, !tbaa !10
  %201 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 7
  store i32 %200, ptr %201, align 4, !tbaa !10
  %202 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 5
  %203 = load i32, ptr %202, align 4, !tbaa !10
  %204 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 6
  store i32 %203, ptr %204, align 8, !tbaa !10
  %205 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  %206 = load i32, ptr %205, align 16, !tbaa !10
  %207 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 5
  store i32 %206, ptr %207, align 4, !tbaa !10
  %208 = load i32, ptr %9, align 4, !tbaa !10
  %209 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 4
  store i32 %208, ptr %209, align 16, !tbaa !10
  %210 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 2
  %211 = load i32, ptr %210, align 8, !tbaa !10
  %212 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 3
  store i32 %211, ptr %212, align 4, !tbaa !10
  %213 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 1
  %214 = load i32, ptr %213, align 4, !tbaa !10
  %215 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 2
  store i32 %214, ptr %215, align 8, !tbaa !10
  %216 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  %217 = load i32, ptr %216, align 16, !tbaa !10
  %218 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 1
  store i32 %217, ptr %218, align 4, !tbaa !10
  %219 = load i32, ptr %8, align 4, !tbaa !10
  %220 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 0
  store i32 %219, ptr %220, align 16, !tbaa !10
  br label %221

221:                                              ; preds = %137
  %222 = load i8, ptr %16, align 1, !tbaa !9
  %223 = add i8 %222, 1
  store i8 %223, ptr %16, align 1, !tbaa !9
  br label %132, !llvm.loop !16

224:                                              ; preds = %136
  call void @llvm.lifetime.start.p0(i64 1, ptr %17) #2
  store i8 0, ptr %17, align 1, !tbaa !9
  br label %225

225:                                              ; preds = %241, %224
  %226 = load i8, ptr %17, align 1, !tbaa !9
  %227 = zext i8 %226 to i32
  %228 = icmp slt i32 %227, 8
  br i1 %228, label %230, label %229

229:                                              ; preds = %225
  call void @llvm.lifetime.end.p0(i64 1, ptr %17) #2
  br label %244

230:                                              ; preds = %225
  %231 = load i8, ptr %17, align 1, !tbaa !9
  %232 = zext i8 %231 to i64
  %233 = getelementptr inbounds [8 x i32], ptr %11, i64 0, i64 %232
  %234 = load i32, ptr %233, align 4, !tbaa !10
  %235 = getelementptr inbounds %"class.bmf_lite::SHA256", ptr %18, i32 0, i32 3
  %236 = load i8, ptr %17, align 1, !tbaa !9
  %237 = zext i8 %236 to i64
  %238 = getelementptr inbounds [8 x i32], ptr %235, i64 0, i64 %237
  %239 = load i32, ptr %238, align 4, !tbaa !10
  %240 = add i32 %239, %234
  store i32 %240, ptr %238, align 4, !tbaa !10
  br label %241

241:                                              ; preds = %230
  %242 = load i8, ptr %17, align 1, !tbaa !9
  %243 = add i8 %242, 1
  store i8 %243, ptr %17, align 1, !tbaa !9
  br label %225, !llvm.loop !17

244:                                              ; preds = %229
  call void @llvm.lifetime.end.p0(i64 32, ptr %11) #2
  call void @llvm.lifetime.end.p0(i64 256, ptr %10) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #2
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #2
  ret void
}

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef, i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2566chooseEjjj(i32 noundef, i32 noundef, i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2568majorityEjjj(i32 noundef, i32 noundef, i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564sig0Ej(i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564sig1Ej(i32 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt5arrayIjLm64EEixEm(ptr noundef nonnull align 4 dereferenceable(256), i64 noundef) #1 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !13}
!15 = distinct !{!15, !13}
!16 = distinct !{!16, !13}
!17 = distinct !{!17, !13}


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

%"struct.std::array" = type { [64 x i32] }

@_ZN8bmf_lite6SHA2561KE = external dso_local constant %"struct.std::array", 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 nounwind uwtable
define dso_local void @_ZN8bmf_lite6SHA2569transformEv(ptr nocapture noundef nonnull align 8 dereferenceable(112) %0) local_unnamed_addr #1 align 2 {
.preheader43.preheader:
  %1 = alloca [64 x i32], align 16
  call void @llvm.lifetime.start.p0(i64 256, ptr nonnull %1) #2
  %2 = load i8, ptr %0, align 8, !tbaa !5
  %3 = zext i8 %2 to i32
  %4 = shl nuw i32 %3, 24
  %5 = getelementptr inbounds i8, ptr %0, i64 1
  %6 = load i8, ptr %5, align 1, !tbaa !5
  %7 = zext i8 %6 to i32
  %8 = shl nuw nsw i32 %7, 16
  %9 = or disjoint i32 %8, %4
  %10 = getelementptr inbounds i8, ptr %0, i64 2
  %11 = load i8, ptr %10, align 2, !tbaa !5
  %12 = zext i8 %11 to i32
  %13 = shl nuw nsw i32 %12, 8
  %14 = or disjoint i32 %9, %13
  %15 = getelementptr inbounds i8, ptr %0, i64 3
  %16 = load i8, ptr %15, align 1, !tbaa !5
  %17 = zext i8 %16 to i32
  %18 = or disjoint i32 %14, %17
  store i32 %18, ptr %1, align 16, !tbaa !8
  %19 = getelementptr inbounds i8, ptr %0, i64 4
  %20 = load i8, ptr %19, align 4, !tbaa !5
  %21 = zext i8 %20 to i32
  %22 = shl nuw i32 %21, 24
  %23 = getelementptr inbounds i8, ptr %0, i64 5
  %24 = load i8, ptr %23, align 1, !tbaa !5
  %25 = zext i8 %24 to i32
  %26 = shl nuw nsw i32 %25, 16
  %27 = or disjoint i32 %26, %22
  %28 = getelementptr inbounds i8, ptr %0, i64 6
  %29 = load i8, ptr %28, align 2, !tbaa !5
  %30 = zext i8 %29 to i32
  %31 = shl nuw nsw i32 %30, 8
  %32 = or disjoint i32 %27, %31
  %33 = getelementptr inbounds i8, ptr %0, i64 7
  %34 = load i8, ptr %33, align 1, !tbaa !5
  %35 = zext i8 %34 to i32
  %36 = or disjoint i32 %32, %35
  %37 = getelementptr inbounds i8, ptr %1, i64 4
  store i32 %36, ptr %37, align 4, !tbaa !8
  %38 = getelementptr inbounds i8, ptr %0, i64 8
  %39 = load i8, ptr %38, align 8, !tbaa !5
  %40 = zext i8 %39 to i32
  %41 = shl nuw i32 %40, 24
  %42 = getelementptr inbounds i8, ptr %0, i64 9
  %43 = load i8, ptr %42, align 1, !tbaa !5
  %44 = zext i8 %43 to i32
  %45 = shl nuw nsw i32 %44, 16
  %46 = or disjoint i32 %45, %41
  %47 = getelementptr inbounds i8, ptr %0, i64 10
  %48 = load i8, ptr %47, align 2, !tbaa !5
  %49 = zext i8 %48 to i32
  %50 = shl nuw nsw i32 %49, 8
  %51 = or disjoint i32 %46, %50
  %52 = getelementptr inbounds i8, ptr %0, i64 11
  %53 = load i8, ptr %52, align 1, !tbaa !5
  %54 = zext i8 %53 to i32
  %55 = or disjoint i32 %51, %54
  %56 = getelementptr inbounds i8, ptr %1, i64 8
  store i32 %55, ptr %56, align 8, !tbaa !8
  %57 = getelementptr inbounds i8, ptr %0, i64 12
  %58 = load i8, ptr %57, align 4, !tbaa !5
  %59 = zext i8 %58 to i32
  %60 = shl nuw i32 %59, 24
  %61 = getelementptr inbounds i8, ptr %0, i64 13
  %62 = load i8, ptr %61, align 1, !tbaa !5
  %63 = zext i8 %62 to i32
  %64 = shl nuw nsw i32 %63, 16
  %65 = or disjoint i32 %64, %60
  %66 = getelementptr inbounds i8, ptr %0, i64 14
  %67 = load i8, ptr %66, align 2, !tbaa !5
  %68 = zext i8 %67 to i32
  %69 = shl nuw nsw i32 %68, 8
  %70 = or disjoint i32 %65, %69
  %71 = getelementptr inbounds i8, ptr %0, i64 15
  %72 = load i8, ptr %71, align 1, !tbaa !5
  %73 = zext i8 %72 to i32
  %74 = or disjoint i32 %70, %73
  %75 = getelementptr inbounds i8, ptr %1, i64 12
  store i32 %74, ptr %75, align 4, !tbaa !8
  %76 = getelementptr inbounds i8, ptr %0, i64 16
  %77 = load i8, ptr %76, align 8, !tbaa !5
  %78 = zext i8 %77 to i32
  %79 = shl nuw i32 %78, 24
  %80 = getelementptr inbounds i8, ptr %0, i64 17
  %81 = load i8, ptr %80, align 1, !tbaa !5
  %82 = zext i8 %81 to i32
  %83 = shl nuw nsw i32 %82, 16
  %84 = or disjoint i32 %83, %79
  %85 = getelementptr inbounds i8, ptr %0, i64 18
  %86 = load i8, ptr %85, align 2, !tbaa !5
  %87 = zext i8 %86 to i32
  %88 = shl nuw nsw i32 %87, 8
  %89 = or disjoint i32 %84, %88
  %90 = getelementptr inbounds i8, ptr %0, i64 19
  %91 = load i8, ptr %90, align 1, !tbaa !5
  %92 = zext i8 %91 to i32
  %93 = or disjoint i32 %89, %92
  %94 = getelementptr inbounds i8, ptr %1, i64 16
  store i32 %93, ptr %94, align 16, !tbaa !8
  %95 = getelementptr inbounds i8, ptr %0, i64 20
  %96 = load i8, ptr %95, align 4, !tbaa !5
  %97 = zext i8 %96 to i32
  %98 = shl nuw i32 %97, 24
  %99 = getelementptr inbounds i8, ptr %0, i64 21
  %100 = load i8, ptr %99, align 1, !tbaa !5
  %101 = zext i8 %100 to i32
  %102 = shl nuw nsw i32 %101, 16
  %103 = or disjoint i32 %102, %98
  %104 = getelementptr inbounds i8, ptr %0, i64 22
  %105 = load i8, ptr %104, align 2, !tbaa !5
  %106 = zext i8 %105 to i32
  %107 = shl nuw nsw i32 %106, 8
  %108 = or disjoint i32 %103, %107
  %109 = getelementptr inbounds i8, ptr %0, i64 23
  %110 = load i8, ptr %109, align 1, !tbaa !5
  %111 = zext i8 %110 to i32
  %112 = or disjoint i32 %108, %111
  %113 = getelementptr inbounds i8, ptr %1, i64 20
  store i32 %112, ptr %113, align 4, !tbaa !8
  %114 = getelementptr inbounds i8, ptr %0, i64 24
  %115 = load i8, ptr %114, align 8, !tbaa !5
  %116 = zext i8 %115 to i32
  %117 = shl nuw i32 %116, 24
  %118 = getelementptr inbounds i8, ptr %0, i64 25
  %119 = load i8, ptr %118, align 1, !tbaa !5
  %120 = zext i8 %119 to i32
  %121 = shl nuw nsw i32 %120, 16
  %122 = or disjoint i32 %121, %117
  %123 = getelementptr inbounds i8, ptr %0, i64 26
  %124 = load i8, ptr %123, align 2, !tbaa !5
  %125 = zext i8 %124 to i32
  %126 = shl nuw nsw i32 %125, 8
  %127 = or disjoint i32 %122, %126
  %128 = getelementptr inbounds i8, ptr %0, i64 27
  %129 = load i8, ptr %128, align 1, !tbaa !5
  %130 = zext i8 %129 to i32
  %131 = or disjoint i32 %127, %130
  %132 = getelementptr inbounds i8, ptr %1, i64 24
  store i32 %131, ptr %132, align 8, !tbaa !8
  %133 = getelementptr inbounds i8, ptr %0, i64 28
  %134 = load i8, ptr %133, align 4, !tbaa !5
  %135 = zext i8 %134 to i32
  %136 = shl nuw i32 %135, 24
  %137 = getelementptr inbounds i8, ptr %0, i64 29
  %138 = load i8, ptr %137, align 1, !tbaa !5
  %139 = zext i8 %138 to i32
  %140 = shl nuw nsw i32 %139, 16
  %141 = or disjoint i32 %140, %136
  %142 = getelementptr inbounds i8, ptr %0, i64 30
  %143 = load i8, ptr %142, align 2, !tbaa !5
  %144 = zext i8 %143 to i32
  %145 = shl nuw nsw i32 %144, 8
  %146 = or disjoint i32 %141, %145
  %147 = getelementptr inbounds i8, ptr %0, i64 31
  %148 = load i8, ptr %147, align 1, !tbaa !5
  %149 = zext i8 %148 to i32
  %150 = or disjoint i32 %146, %149
  %151 = getelementptr inbounds i8, ptr %1, i64 28
  store i32 %150, ptr %151, align 4, !tbaa !8
  %152 = getelementptr inbounds i8, ptr %0, i64 32
  %153 = load i8, ptr %152, align 8, !tbaa !5
  %154 = zext i8 %153 to i32
  %155 = shl nuw i32 %154, 24
  %156 = getelementptr inbounds i8, ptr %0, i64 33
  %157 = load i8, ptr %156, align 1, !tbaa !5
  %158 = zext i8 %157 to i32
  %159 = shl nuw nsw i32 %158, 16
  %160 = or disjoint i32 %159, %155
  %161 = getelementptr inbounds i8, ptr %0, i64 34
  %162 = load i8, ptr %161, align 2, !tbaa !5
  %163 = zext i8 %162 to i32
  %164 = shl nuw nsw i32 %163, 8
  %165 = or disjoint i32 %160, %164
  %166 = getelementptr inbounds i8, ptr %0, i64 35
  %167 = load i8, ptr %166, align 1, !tbaa !5
  %168 = zext i8 %167 to i32
  %169 = or disjoint i32 %165, %168
  %170 = getelementptr inbounds i8, ptr %1, i64 32
  store i32 %169, ptr %170, align 16, !tbaa !8
  %171 = getelementptr inbounds i8, ptr %0, i64 36
  %172 = load i8, ptr %171, align 4, !tbaa !5
  %173 = zext i8 %172 to i32
  %174 = shl nuw i32 %173, 24
  %175 = getelementptr inbounds i8, ptr %0, i64 37
  %176 = load i8, ptr %175, align 1, !tbaa !5
  %177 = zext i8 %176 to i32
  %178 = shl nuw nsw i32 %177, 16
  %179 = or disjoint i32 %178, %174
  %180 = getelementptr inbounds i8, ptr %0, i64 38
  %181 = load i8, ptr %180, align 2, !tbaa !5
  %182 = zext i8 %181 to i32
  %183 = shl nuw nsw i32 %182, 8
  %184 = or disjoint i32 %179, %183
  %185 = getelementptr inbounds i8, ptr %0, i64 39
  %186 = load i8, ptr %185, align 1, !tbaa !5
  %187 = zext i8 %186 to i32
  %188 = or disjoint i32 %184, %187
  %189 = getelementptr inbounds i8, ptr %1, i64 36
  store i32 %188, ptr %189, align 4, !tbaa !8
  %190 = getelementptr inbounds i8, ptr %0, i64 40
  %191 = load i8, ptr %190, align 8, !tbaa !5
  %192 = zext i8 %191 to i32
  %193 = shl nuw i32 %192, 24
  %194 = getelementptr inbounds i8, ptr %0, i64 41
  %195 = load i8, ptr %194, align 1, !tbaa !5
  %196 = zext i8 %195 to i32
  %197 = shl nuw nsw i32 %196, 16
  %198 = or disjoint i32 %197, %193
  %199 = getelementptr inbounds i8, ptr %0, i64 42
  %200 = load i8, ptr %199, align 2, !tbaa !5
  %201 = zext i8 %200 to i32
  %202 = shl nuw nsw i32 %201, 8
  %203 = or disjoint i32 %198, %202
  %204 = getelementptr inbounds i8, ptr %0, i64 43
  %205 = load i8, ptr %204, align 1, !tbaa !5
  %206 = zext i8 %205 to i32
  %207 = or disjoint i32 %203, %206
  %208 = getelementptr inbounds i8, ptr %1, i64 40
  store i32 %207, ptr %208, align 8, !tbaa !8
  %209 = getelementptr inbounds i8, ptr %0, i64 44
  %210 = load i8, ptr %209, align 4, !tbaa !5
  %211 = zext i8 %210 to i32
  %212 = shl nuw i32 %211, 24
  %213 = getelementptr inbounds i8, ptr %0, i64 45
  %214 = load i8, ptr %213, align 1, !tbaa !5
  %215 = zext i8 %214 to i32
  %216 = shl nuw nsw i32 %215, 16
  %217 = or disjoint i32 %216, %212
  %218 = getelementptr inbounds i8, ptr %0, i64 46
  %219 = load i8, ptr %218, align 2, !tbaa !5
  %220 = zext i8 %219 to i32
  %221 = shl nuw nsw i32 %220, 8
  %222 = or disjoint i32 %217, %221
  %223 = getelementptr inbounds i8, ptr %0, i64 47
  %224 = load i8, ptr %223, align 1, !tbaa !5
  %225 = zext i8 %224 to i32
  %226 = or disjoint i32 %222, %225
  %227 = getelementptr inbounds i8, ptr %1, i64 44
  store i32 %226, ptr %227, align 4, !tbaa !8
  %228 = getelementptr inbounds i8, ptr %0, i64 48
  %229 = load i8, ptr %228, align 8, !tbaa !5
  %230 = zext i8 %229 to i32
  %231 = shl nuw i32 %230, 24
  %232 = getelementptr inbounds i8, ptr %0, i64 49
  %233 = load i8, ptr %232, align 1, !tbaa !5
  %234 = zext i8 %233 to i32
  %235 = shl nuw nsw i32 %234, 16
  %236 = or disjoint i32 %235, %231
  %237 = getelementptr inbounds i8, ptr %0, i64 50
  %238 = load i8, ptr %237, align 2, !tbaa !5
  %239 = zext i8 %238 to i32
  %240 = shl nuw nsw i32 %239, 8
  %241 = or disjoint i32 %236, %240
  %242 = getelementptr inbounds i8, ptr %0, i64 51
  %243 = load i8, ptr %242, align 1, !tbaa !5
  %244 = zext i8 %243 to i32
  %245 = or disjoint i32 %241, %244
  %246 = getelementptr inbounds i8, ptr %1, i64 48
  store i32 %245, ptr %246, align 16, !tbaa !8
  %247 = getelementptr inbounds i8, ptr %0, i64 52
  %248 = load i8, ptr %247, align 4, !tbaa !5
  %249 = zext i8 %248 to i32
  %250 = shl nuw i32 %249, 24
  %251 = getelementptr inbounds i8, ptr %0, i64 53
  %252 = load i8, ptr %251, align 1, !tbaa !5
  %253 = zext i8 %252 to i32
  %254 = shl nuw nsw i32 %253, 16
  %255 = or disjoint i32 %254, %250
  %256 = getelementptr inbounds i8, ptr %0, i64 54
  %257 = load i8, ptr %256, align 2, !tbaa !5
  %258 = zext i8 %257 to i32
  %259 = shl nuw nsw i32 %258, 8
  %260 = or disjoint i32 %255, %259
  %261 = getelementptr inbounds i8, ptr %0, i64 55
  %262 = load i8, ptr %261, align 1, !tbaa !5
  %263 = zext i8 %262 to i32
  %264 = or disjoint i32 %260, %263
  %265 = getelementptr inbounds i8, ptr %1, i64 52
  store i32 %264, ptr %265, align 4, !tbaa !8
  %266 = getelementptr inbounds i8, ptr %0, i64 56
  %267 = load i8, ptr %266, align 8, !tbaa !5
  %268 = zext i8 %267 to i32
  %269 = shl nuw i32 %268, 24
  %270 = getelementptr inbounds i8, ptr %0, i64 57
  %271 = load i8, ptr %270, align 1, !tbaa !5
  %272 = zext i8 %271 to i32
  %273 = shl nuw nsw i32 %272, 16
  %274 = or disjoint i32 %273, %269
  %275 = getelementptr inbounds i8, ptr %0, i64 58
  %276 = load i8, ptr %275, align 2, !tbaa !5
  %277 = zext i8 %276 to i32
  %278 = shl nuw nsw i32 %277, 8
  %279 = or disjoint i32 %274, %278
  %280 = getelementptr inbounds i8, ptr %0, i64 59
  %281 = load i8, ptr %280, align 1, !tbaa !5
  %282 = zext i8 %281 to i32
  %283 = or disjoint i32 %279, %282
  %284 = getelementptr inbounds i8, ptr %1, i64 56
  store i32 %283, ptr %284, align 8, !tbaa !8
  %285 = getelementptr inbounds i8, ptr %0, i64 60
  %286 = load i8, ptr %285, align 4, !tbaa !5
  %287 = zext i8 %286 to i32
  %288 = shl nuw i32 %287, 24
  %289 = getelementptr inbounds i8, ptr %0, i64 61
  %290 = load i8, ptr %289, align 1, !tbaa !5
  %291 = zext i8 %290 to i32
  %292 = shl nuw nsw i32 %291, 16
  %293 = or disjoint i32 %292, %288
  %294 = getelementptr inbounds i8, ptr %0, i64 62
  %295 = load i8, ptr %294, align 2, !tbaa !5
  %296 = zext i8 %295 to i32
  %297 = shl nuw nsw i32 %296, 8
  %298 = or disjoint i32 %293, %297
  %299 = getelementptr inbounds i8, ptr %0, i64 63
  %300 = load i8, ptr %299, align 1, !tbaa !5
  %301 = zext i8 %300 to i32
  %302 = or disjoint i32 %298, %301
  %303 = getelementptr inbounds i8, ptr %1, i64 60
  store i32 %302, ptr %303, align 4, !tbaa !8
  br label %.preheader43

.preheader42:                                     ; preds = %.preheader43
  %304 = getelementptr inbounds i8, ptr %0, i64 80
  %.sroa.0.0.copyload = load i32, ptr %304, align 8, !tbaa !8
  %.sroa.6.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 84
  %.sroa.6.0.copyload = load i32, ptr %.sroa.6.0..sroa_idx, align 4, !tbaa !8
  %.sroa.9.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 88
  %.sroa.9.0.copyload = load i32, ptr %.sroa.9.0..sroa_idx, align 8, !tbaa !8
  %.sroa.12.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 92
  %.sroa.12.0.copyload = load i32, ptr %.sroa.12.0..sroa_idx, align 4, !tbaa !8
  %.sroa.15.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 96
  %.sroa.15.0.copyload = load i32, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !8
  %.sroa.18.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 100
  %.sroa.18.0.copyload = load i32, ptr %.sroa.18.0..sroa_idx, align 4, !tbaa !8
  %.sroa.21.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 104
  %.sroa.21.0.copyload = load i32, ptr %.sroa.21.0..sroa_idx, align 8, !tbaa !8
  %.sroa.24.0..sroa_idx = getelementptr inbounds i8, ptr %0, i64 108
  %.sroa.24.0.copyload = load i32, ptr %.sroa.24.0..sroa_idx, align 4, !tbaa !8
  br label %339

.preheader43:                                     ; preds = %.preheader43.preheader, %.preheader43
  %indvars.iv = phi i64 [ 16, %.preheader43.preheader ], [ %indvars.iv.next, %.preheader43 ]
  %305 = shl i64 %indvars.iv, 32
  %sext = add i64 %305, -8589934592
  %306 = ashr exact i64 %sext, 32
  %307 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %306
  %308 = load i32, ptr %307, align 4, !tbaa !8
  %309 = tail call noundef i32 @_ZN8bmf_lite6SHA2564sig1Ej(i32 noundef %308)
  %310 = shl i64 %indvars.iv, 32
  %sext89 = add i64 %310, -30064771072
  %311 = ashr exact i64 %sext89, 32
  %312 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %311
  %313 = load i32, ptr %312, align 4, !tbaa !8
  %314 = add i32 %313, %309
  %315 = shl i64 %indvars.iv, 32
  %sext90 = add i64 %315, -64424509440
  %316 = ashr exact i64 %sext90, 32
  %317 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %316
  %318 = load i32, ptr %317, align 4, !tbaa !8
  %319 = tail call noundef i32 @_ZN8bmf_lite6SHA2564sig0Ej(i32 noundef %318)
  %320 = add i32 %314, %319
  %321 = shl i64 %indvars.iv, 32
  %sext91 = add i64 %321, -68719476736
  %322 = ashr exact i64 %sext91, 32
  %323 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %322
  %324 = load i32, ptr %323, align 4, !tbaa !8
  %325 = add i32 %320, %324
  %326 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %indvars.iv
  store i32 %325, ptr %326, align 4, !tbaa !8
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 64
  br i1 %exitcond.not, label %.preheader42, label %.preheader43, !llvm.loop !10

.preheader:                                       ; preds = %339
  %327 = load <4 x i32>, ptr %304, align 8, !tbaa !8
  %328 = insertelement <4 x i32> poison, i32 %369, i64 0
  %329 = insertelement <4 x i32> %328, i32 %345, i64 1
  %330 = insertelement <4 x i32> %329, i32 %346, i64 2
  %331 = insertelement <4 x i32> %330, i32 %347, i64 3
  %332 = add <4 x i32> %327, %331
  store <4 x i32> %332, ptr %304, align 8, !tbaa !8
  %333 = load <4 x i32>, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !8
  %334 = insertelement <4 x i32> poison, i32 %370, i64 0
  %335 = insertelement <4 x i32> %334, i32 %344, i64 1
  %336 = insertelement <4 x i32> %335, i32 %343, i64 2
  %337 = insertelement <4 x i32> %336, i32 %342, i64 3
  %338 = add <4 x i32> %333, %337
  store <4 x i32> %338, ptr %.sroa.15.0..sroa_idx, align 8, !tbaa !8
  call void @llvm.lifetime.end.p0(i64 256, ptr nonnull %1) #2
  ret void

339:                                              ; preds = %.preheader42, %339
  %indvars.iv80 = phi i64 [ 0, %.preheader42 ], [ %indvars.iv.next81, %339 ]
  %340 = phi i32 [ %.sroa.12.0.copyload, %.preheader42 ], [ %347, %339 ]
  %341 = phi i32 [ %.sroa.24.0.copyload, %.preheader42 ], [ %342, %339 ]
  %342 = phi i32 [ %.sroa.21.0.copyload, %.preheader42 ], [ %343, %339 ]
  %343 = phi i32 [ %.sroa.18.0.copyload, %.preheader42 ], [ %344, %339 ]
  %344 = phi i32 [ %.sroa.15.0.copyload, %.preheader42 ], [ %370, %339 ]
  %345 = phi i32 [ %.sroa.0.0.copyload, %.preheader42 ], [ %369, %339 ]
  %346 = phi i32 [ %.sroa.6.0.copyload, %.preheader42 ], [ %345, %339 ]
  %347 = phi i32 [ %.sroa.9.0.copyload, %.preheader42 ], [ %346, %339 ]
  %348 = tail call noundef i32 @_ZN8bmf_lite6SHA2568majorityEjjj(i32 noundef %345, i32 noundef %346, i32 noundef %347)
  %349 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %345, i32 noundef 2)
  %350 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %345, i32 noundef 13)
  %351 = xor i32 %350, %349
  %352 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %345, i32 noundef 22)
  %353 = xor i32 %351, %352
  %354 = tail call noundef i32 @_ZN8bmf_lite6SHA2566chooseEjjj(i32 noundef %344, i32 noundef %343, i32 noundef %342)
  %355 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %344, i32 noundef 6)
  %356 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %344, i32 noundef 11)
  %357 = xor i32 %356, %355
  %358 = tail call noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef %344, i32 noundef 25)
  %359 = xor i32 %357, %358
  %360 = getelementptr inbounds [64 x i32], ptr %1, i64 0, i64 %indvars.iv80
  %361 = load i32, ptr %360, align 4, !tbaa !8
  %362 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt5arrayIjLm64EEixEm(ptr noundef nonnull align 4 dereferenceable(256) @_ZN8bmf_lite6SHA2561KE, i64 noundef %indvars.iv80) #2
  %363 = load i32, ptr %362, align 4, !tbaa !8
  %364 = add i32 %361, %354
  %365 = add i32 %364, %359
  %366 = add i32 %365, %363
  %367 = add i32 %366, %341
  %368 = add i32 %353, %348
  %369 = add i32 %368, %367
  %370 = add i32 %367, %340
  %indvars.iv.next81 = add nuw nsw i64 %indvars.iv80, 1
  %exitcond83.not = icmp eq i64 %indvars.iv.next81, 64
  br i1 %exitcond83.not, label %.preheader, label %339, !llvm.loop !12
}

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564rotrEjj(i32 noundef, i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2566chooseEjjj(i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2568majorityEjjj(i32 noundef, i32 noundef, i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564sig0Ej(i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZN8bmf_lite6SHA2564sig1Ej(i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt5arrayIjLm64EEixEm(ptr noundef nonnull align 4 dereferenceable(256), i64 noundef) local_unnamed_addr #1 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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++ TBAA"}
!8 = !{!9, !9, i64 0}
!9 = !{!"int", !6, i64 0}
!10 = distinct !{!10, !11}
!11 = !{!"llvm.loop.mustprogress"}
!12 = distinct !{!12, !11}


; Effective O3 passes: EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,LCSSAPass,LICMPass,LoopIdiomRecognizePass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass