; LLVM IR from rweather/lightweight-crypto :: src/combined (ascon-hash)

; 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.anon = type { [40 x i8], i8, i8 }

; Function Attrs: nounwind uwtable
define dso_local void @ascon_hash_finalize(ptr noundef %0, ptr noundef %1) #0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #3
  %27 = load ptr, ptr %3, align 8, !tbaa !5
  %28 = getelementptr inbounds %struct.anon, ptr %27, i32 0, i32 0
  %29 = load ptr, ptr %3, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct.anon, ptr %29, i32 0, i32 1
  %31 = load i8, ptr %30, align 8, !tbaa !9
  %32 = zext i8 %31 to i64
  %33 = getelementptr inbounds [40 x i8], ptr %28, i64 0, i64 %32
  %34 = load i8, ptr %33, align 1, !tbaa !9
  %35 = zext i8 %34 to i32
  %36 = xor i32 %35, 128
  %37 = trunc i32 %36 to i8
  store i8 %37, ptr %33, align 1, !tbaa !9
  %38 = load ptr, ptr %3, align 8, !tbaa !5
  %39 = getelementptr inbounds %struct.anon, ptr %38, i32 0, i32 0
  %40 = getelementptr inbounds [40 x i8], ptr %39, i64 0, i64 0
  call void @ascon_to_sliced(ptr noundef %40)
  store i32 0, ptr %5, align 4, !tbaa !10
  br label %41

41:                                               ; preds = %250, %2
  %42 = load i32, ptr %5, align 4, !tbaa !10
  %43 = icmp ult i32 %42, 32
  br i1 %43, label %44, label %253

44:                                               ; preds = %41
  %45 = load ptr, ptr %3, align 8, !tbaa !5
  %46 = getelementptr inbounds %struct.anon, ptr %45, i32 0, i32 0
  %47 = getelementptr inbounds [40 x i8], ptr %46, i64 0, i64 0
  call void @ascon_permute_sliced(ptr noundef %47, i8 noundef zeroext 0)
  br label %48

48:                                               ; preds = %44
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  %49 = load ptr, ptr %3, align 8, !tbaa !5
  %50 = getelementptr inbounds %struct.anon, ptr %49, i32 0, i32 0
  %51 = getelementptr inbounds [40 x i8], ptr %50, i64 0, i64 0
  store ptr %51, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #3
  %52 = load ptr, ptr %6, align 8, !tbaa !5
  %53 = getelementptr inbounds [10 x i32], ptr %52, i64 0, i64 0
  %54 = load i32, ptr %53, align 8, !tbaa !9
  %55 = lshr i32 %54, 16
  %56 = load ptr, ptr %6, align 8, !tbaa !5
  %57 = getelementptr inbounds [10 x i32], ptr %56, i64 0, i64 1
  %58 = load i32, ptr %57, align 4, !tbaa !9
  %59 = and i32 %58, -65536
  %60 = or i32 %55, %59
  store i32 %60, ptr %7, align 4, !tbaa !10
  %61 = load ptr, ptr %6, align 8, !tbaa !5
  %62 = getelementptr inbounds [10 x i32], ptr %61, i64 0, i64 0
  %63 = load i32, ptr %62, align 8, !tbaa !9
  %64 = and i32 %63, 65535
  %65 = load ptr, ptr %6, align 8, !tbaa !5
  %66 = getelementptr inbounds [10 x i32], ptr %65, i64 0, i64 1
  %67 = load i32, ptr %66, align 4, !tbaa !9
  %68 = shl i32 %67, 16
  %69 = or i32 %64, %68
  store i32 %69, ptr %8, align 4, !tbaa !10
  br label %70

70:                                               ; preds = %48
  br label %71

71:                                               ; preds = %70
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #3
  %72 = load i32, ptr %7, align 4, !tbaa !10
  store i32 %72, ptr %9, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #3
  %73 = load i32, ptr %9, align 4, !tbaa !10
  %74 = lshr i32 %73, 15
  %75 = load i32, ptr %9, align 4, !tbaa !10
  %76 = xor i32 %74, %75
  %77 = and i32 %76, 43690
  store i32 %77, ptr %10, align 4, !tbaa !10
  %78 = load i32, ptr %9, align 4, !tbaa !10
  %79 = load i32, ptr %10, align 4, !tbaa !10
  %80 = xor i32 %78, %79
  %81 = load i32, ptr %10, align 4, !tbaa !10
  %82 = shl i32 %81, 15
  %83 = xor i32 %80, %82
  store i32 %83, ptr %7, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #3
  br label %84

84:                                               ; preds = %71
  br label %85

85:                                               ; preds = %84
  br label %86

86:                                               ; preds = %85
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #3
  %87 = load i32, ptr %7, align 4, !tbaa !10
  store i32 %87, ptr %11, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #3
  %88 = load i32, ptr %11, align 4, !tbaa !10
  %89 = lshr i32 %88, 14
  %90 = load i32, ptr %11, align 4, !tbaa !10
  %91 = xor i32 %89, %90
  %92 = and i32 %91, 52428
  store i32 %92, ptr %12, align 4, !tbaa !10
  %93 = load i32, ptr %11, align 4, !tbaa !10
  %94 = load i32, ptr %12, align 4, !tbaa !10
  %95 = xor i32 %93, %94
  %96 = load i32, ptr %12, align 4, !tbaa !10
  %97 = shl i32 %96, 14
  %98 = xor i32 %95, %97
  store i32 %98, ptr %7, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #3
  br label %99

99:                                               ; preds = %86
  br label %100

100:                                              ; preds = %99
  br label %101

101:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  %102 = load i32, ptr %7, align 4, !tbaa !10
  store i32 %102, ptr %13, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #3
  %103 = load i32, ptr %13, align 4, !tbaa !10
  %104 = lshr i32 %103, 12
  %105 = load i32, ptr %13, align 4, !tbaa !10
  %106 = xor i32 %104, %105
  %107 = and i32 %106, 61680
  store i32 %107, ptr %14, align 4, !tbaa !10
  %108 = load i32, ptr %13, align 4, !tbaa !10
  %109 = load i32, ptr %14, align 4, !tbaa !10
  %110 = xor i32 %108, %109
  %111 = load i32, ptr %14, align 4, !tbaa !10
  %112 = shl i32 %111, 12
  %113 = xor i32 %110, %112
  store i32 %113, ptr %7, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %114

114:                                              ; preds = %101
  br label %115

115:                                              ; preds = %114
  br label %116

116:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #3
  %117 = load i32, ptr %7, align 4, !tbaa !10
  store i32 %117, ptr %15, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #3
  %118 = load i32, ptr %15, align 4, !tbaa !10
  %119 = lshr i32 %118, 8
  %120 = load i32, ptr %15, align 4, !tbaa !10
  %121 = xor i32 %119, %120
  %122 = and i32 %121, 65280
  store i32 %122, ptr %16, align 4, !tbaa !10
  %123 = load i32, ptr %15, align 4, !tbaa !10
  %124 = load i32, ptr %16, align 4, !tbaa !10
  %125 = xor i32 %123, %124
  %126 = load i32, ptr %16, align 4, !tbaa !10
  %127 = shl i32 %126, 8
  %128 = xor i32 %125, %127
  store i32 %128, ptr %7, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #3
  br label %129

129:                                              ; preds = %116
  br label %130

130:                                              ; preds = %129
  br label %131

131:                                              ; preds = %130
  br label %132

132:                                              ; preds = %131
  br label %133

133:                                              ; preds = %132
  br label %134

134:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #3
  %135 = load i32, ptr %8, align 4, !tbaa !10
  store i32 %135, ptr %17, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #3
  %136 = load i32, ptr %17, align 4, !tbaa !10
  %137 = lshr i32 %136, 15
  %138 = load i32, ptr %17, align 4, !tbaa !10
  %139 = xor i32 %137, %138
  %140 = and i32 %139, 43690
  store i32 %140, ptr %18, align 4, !tbaa !10
  %141 = load i32, ptr %17, align 4, !tbaa !10
  %142 = load i32, ptr %18, align 4, !tbaa !10
  %143 = xor i32 %141, %142
  %144 = load i32, ptr %18, align 4, !tbaa !10
  %145 = shl i32 %144, 15
  %146 = xor i32 %143, %145
  store i32 %146, ptr %8, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #3
  br label %147

147:                                              ; preds = %134
  br label %148

148:                                              ; preds = %147
  br label %149

149:                                              ; preds = %148
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #3
  %150 = load i32, ptr %8, align 4, !tbaa !10
  store i32 %150, ptr %19, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #3
  %151 = load i32, ptr %19, align 4, !tbaa !10
  %152 = lshr i32 %151, 14
  %153 = load i32, ptr %19, align 4, !tbaa !10
  %154 = xor i32 %152, %153
  %155 = and i32 %154, 52428
  store i32 %155, ptr %20, align 4, !tbaa !10
  %156 = load i32, ptr %19, align 4, !tbaa !10
  %157 = load i32, ptr %20, align 4, !tbaa !10
  %158 = xor i32 %156, %157
  %159 = load i32, ptr %20, align 4, !tbaa !10
  %160 = shl i32 %159, 14
  %161 = xor i32 %158, %160
  store i32 %161, ptr %8, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #3
  br label %162

162:                                              ; preds = %149
  br label %163

163:                                              ; preds = %162
  br label %164

164:                                              ; preds = %163
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #3
  %165 = load i32, ptr %8, align 4, !tbaa !10
  store i32 %165, ptr %21, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  %166 = load i32, ptr %21, align 4, !tbaa !10
  %167 = lshr i32 %166, 12
  %168 = load i32, ptr %21, align 4, !tbaa !10
  %169 = xor i32 %167, %168
  %170 = and i32 %169, 61680
  store i32 %170, ptr %22, align 4, !tbaa !10
  %171 = load i32, ptr %21, align 4, !tbaa !10
  %172 = load i32, ptr %22, align 4, !tbaa !10
  %173 = xor i32 %171, %172
  %174 = load i32, ptr %22, align 4, !tbaa !10
  %175 = shl i32 %174, 12
  %176 = xor i32 %173, %175
  store i32 %176, ptr %8, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #3
  br label %177

177:                                              ; preds = %164
  br label %178

178:                                              ; preds = %177
  br label %179

179:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #3
  %180 = load i32, ptr %8, align 4, !tbaa !10
  store i32 %180, ptr %23, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #3
  %181 = load i32, ptr %23, align 4, !tbaa !10
  %182 = lshr i32 %181, 8
  %183 = load i32, ptr %23, align 4, !tbaa !10
  %184 = xor i32 %182, %183
  %185 = and i32 %184, 65280
  store i32 %185, ptr %24, align 4, !tbaa !10
  %186 = load i32, ptr %23, align 4, !tbaa !10
  %187 = load i32, ptr %24, align 4, !tbaa !10
  %188 = xor i32 %186, %187
  %189 = load i32, ptr %24, align 4, !tbaa !10
  %190 = shl i32 %189, 8
  %191 = xor i32 %188, %190
  store i32 %191, ptr %8, align 4, !tbaa !10
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #3
  br label %192

192:                                              ; preds = %179
  br label %193

193:                                              ; preds = %192
  br label %194

194:                                              ; preds = %193
  br label %195

195:                                              ; preds = %194
  br label %196

196:                                              ; preds = %195
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #3
  %197 = load i32, ptr %7, align 4, !tbaa !10
  store i32 %197, ptr %25, align 4, !tbaa !10
  %198 = load i32, ptr %25, align 4, !tbaa !10
  %199 = lshr i32 %198, 24
  %200 = trunc i32 %199 to i8
  %201 = load ptr, ptr %4, align 8, !tbaa !5
  %202 = getelementptr inbounds i8, ptr %201, i64 0
  store i8 %200, ptr %202, align 1, !tbaa !9
  %203 = load i32, ptr %25, align 4, !tbaa !10
  %204 = lshr i32 %203, 16
  %205 = trunc i32 %204 to i8
  %206 = load ptr, ptr %4, align 8, !tbaa !5
  %207 = getelementptr inbounds i8, ptr %206, i64 1
  store i8 %205, ptr %207, align 1, !tbaa !9
  %208 = load i32, ptr %25, align 4, !tbaa !10
  %209 = lshr i32 %208, 8
  %210 = trunc i32 %209 to i8
  %211 = load ptr, ptr %4, align 8, !tbaa !5
  %212 = getelementptr inbounds i8, ptr %211, i64 2
  store i8 %210, ptr %212, align 1, !tbaa !9
  %213 = load i32, ptr %25, align 4, !tbaa !10
  %214 = trunc i32 %213 to i8
  %215 = load ptr, ptr %4, align 8, !tbaa !5
  %216 = getelementptr inbounds i8, ptr %215, i64 3
  store i8 %214, ptr %216, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #3
  br label %217

217:                                              ; preds = %196
  br label %218

218:                                              ; preds = %217
  br label %219

219:                                              ; preds = %218
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #3
  %220 = load i32, ptr %8, align 4, !tbaa !10
  store i32 %220, ptr %26, align 4, !tbaa !10
  %221 = load i32, ptr %26, align 4, !tbaa !10
  %222 = lshr i32 %221, 24
  %223 = trunc i32 %222 to i8
  %224 = load ptr, ptr %4, align 8, !tbaa !5
  %225 = getelementptr inbounds i8, ptr %224, i64 4
  %226 = getelementptr inbounds i8, ptr %225, i64 0
  store i8 %223, ptr %226, align 1, !tbaa !9
  %227 = load i32, ptr %26, align 4, !tbaa !10
  %228 = lshr i32 %227, 16
  %229 = trunc i32 %228 to i8
  %230 = load ptr, ptr %4, align 8, !tbaa !5
  %231 = getelementptr inbounds i8, ptr %230, i64 4
  %232 = getelementptr inbounds i8, ptr %231, i64 1
  store i8 %229, ptr %232, align 1, !tbaa !9
  %233 = load i32, ptr %26, align 4, !tbaa !10
  %234 = lshr i32 %233, 8
  %235 = trunc i32 %234 to i8
  %236 = load ptr, ptr %4, align 8, !tbaa !5
  %237 = getelementptr inbounds i8, ptr %236, i64 4
  %238 = getelementptr inbounds i8, ptr %237, i64 2
  store i8 %235, ptr %238, align 1, !tbaa !9
  %239 = load i32, ptr %26, align 4, !tbaa !10
  %240 = trunc i32 %239 to i8
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = getelementptr inbounds i8, ptr %241, i64 4
  %243 = getelementptr inbounds i8, ptr %242, i64 3
  store i8 %240, ptr %243, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #3
  br label %244

244:                                              ; preds = %219
  br label %245

245:                                              ; preds = %244
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  br label %246

246:                                              ; preds = %245
  br label %247

247:                                              ; preds = %246
  %248 = load ptr, ptr %4, align 8, !tbaa !5
  %249 = getelementptr inbounds i8, ptr %248, i64 8
  store ptr %249, ptr %4, align 8, !tbaa !5
  br label %250

250:                                              ; preds = %247
  %251 = load i32, ptr %5, align 4, !tbaa !10
  %252 = add i32 %251, 8
  store i32 %252, ptr %5, align 4, !tbaa !10
  br label %41, !llvm.loop !12

253:                                              ; preds = %41
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #3
  ret void
}

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

declare void @ascon_to_sliced(ptr noundef) #2

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

declare void @ascon_permute_sliced(ptr noundef, i8 noundef zeroext) #2

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

declare void @ascon_to_sliced(ptr noundef) local_unnamed_addr #1

declare void @ascon_permute_sliced(ptr noundef, i8 noundef zeroext) 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 = { "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/C++ TBAA"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,LICMPass,LoopRotatePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass