; LLVM IR from square/subzero :: core/trezor-crypto/ed25519-donna (modm-donna-32bit)

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

@modm_m = external hidden constant [9 x i32], align 16

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

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

; Function Attrs: nounwind uwtable
define dso_local i32 @is_reduced256_modm(ptr noundef %0) #1 {
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca i32, align 4
  store ptr %0, ptr %2, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #2
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #2
  store i32 0, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #2
  store i32 0, ptr %5, align 4, !tbaa !9
  store i32 8, ptr %3, align 4, !tbaa !9
  br label %6

6:                                                ; preds = %38, %1
  %7 = load i32, ptr %3, align 4, !tbaa !9
  %8 = icmp sge i32 %7, 0
  br i1 %8, label %9, label %41

9:                                                ; preds = %6
  %10 = load i32, ptr %4, align 4, !tbaa !9
  %11 = shl i32 %10, 1
  %12 = load ptr, ptr %2, align 8, !tbaa !5
  %13 = load i32, ptr %3, align 4, !tbaa !9
  %14 = sext i32 %13 to i64
  %15 = getelementptr inbounds i32, ptr %12, i64 %14
  %16 = load i32, ptr %15, align 4, !tbaa !9
  %17 = load i32, ptr %3, align 4, !tbaa !9
  %18 = sext i32 %17 to i64
  %19 = getelementptr inbounds [9 x i32], ptr @modm_m, i64 0, i64 %18
  %20 = load i32, ptr %19, align 4, !tbaa !9
  %21 = icmp ult i32 %16, %20
  %22 = zext i1 %21 to i32
  %23 = or i32 %11, %22
  store i32 %23, ptr %4, align 4, !tbaa !9
  %24 = load i32, ptr %5, align 4, !tbaa !9
  %25 = shl i32 %24, 1
  %26 = load ptr, ptr %2, align 8, !tbaa !5
  %27 = load i32, ptr %3, align 4, !tbaa !9
  %28 = sext i32 %27 to i64
  %29 = getelementptr inbounds i32, ptr %26, i64 %28
  %30 = load i32, ptr %29, align 4, !tbaa !9
  %31 = load i32, ptr %3, align 4, !tbaa !9
  %32 = sext i32 %31 to i64
  %33 = getelementptr inbounds [9 x i32], ptr @modm_m, i64 0, i64 %32
  %34 = load i32, ptr %33, align 4, !tbaa !9
  %35 = icmp ugt i32 %30, %34
  %36 = zext i1 %35 to i32
  %37 = or i32 %25, %36
  store i32 %37, ptr %5, align 4, !tbaa !9
  br label %38

38:                                               ; preds = %9
  %39 = load i32, ptr %3, align 4, !tbaa !9
  %40 = add nsw i32 %39, -1
  store i32 %40, ptr %3, align 4, !tbaa !9
  br label %6, !llvm.loop !11

41:                                               ; preds = %6
  %42 = load i32, ptr %4, align 4, !tbaa !9
  %43 = load i32, ptr %5, align 4, !tbaa !9
  %44 = icmp ugt i32 %42, %43
  %45 = zext i1 %44 to i32
  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 i32 %45
}

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

!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 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"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"

@modm_m = external hidden local_unnamed_addr constant [9 x i32], align 16

; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) uwtable
define dso_local range(i32 0, 2) i32 @is_reduced256_modm(ptr nocapture noundef readonly %0) local_unnamed_addr #0 {
  %2 = getelementptr inbounds i8, ptr %0, i64 32
  %3 = load i32, ptr %2, align 4, !tbaa !5
  %4 = load i32, ptr getelementptr inbounds (i8, ptr @modm_m, i64 32), align 16, !tbaa !5
  %5 = icmp ult i32 %3, %4
  %6 = icmp ugt i32 %3, %4
  %7 = select i1 %5, i32 2, i32 0
  %8 = select i1 %6, i32 2, i32 0
  %9 = load <8 x i32>, ptr %0, align 4, !tbaa !5
  %10 = load <8 x i32>, ptr @modm_m, align 16, !tbaa !5
  %11 = shufflevector <8 x i32> %9, <8 x i32> %10, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  %12 = shufflevector <8 x i32> %10, <8 x i32> %9, <16 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  %13 = icmp ugt <16 x i32> %11, %12
  %14 = extractelement <16 x i1> %13, i64 15
  %15 = zext i1 %14 to i32
  %16 = or disjoint i32 %7, %15
  %17 = extractelement <16 x i1> %13, i64 7
  %18 = zext i1 %17 to i32
  %19 = or disjoint i32 %8, %18
  %20 = shl nuw nsw i32 %16, 2
  %21 = extractelement <16 x i1> %13, i64 14
  %22 = select i1 %21, i32 2, i32 0
  %23 = or disjoint i32 %20, %22
  %24 = extractelement <16 x i1> %13, i64 13
  %25 = zext i1 %24 to i32
  %26 = or disjoint i32 %23, %25
  %27 = shl nuw nsw i32 %19, 2
  %28 = extractelement <16 x i1> %13, i64 6
  %29 = select i1 %28, i32 2, i32 0
  %30 = or disjoint i32 %27, %29
  %31 = extractelement <16 x i1> %13, i64 5
  %32 = zext i1 %31 to i32
  %33 = or disjoint i32 %30, %32
  %34 = shl nuw nsw i32 %26, 2
  %35 = extractelement <16 x i1> %13, i64 12
  %36 = select i1 %35, i32 2, i32 0
  %37 = or disjoint i32 %34, %36
  %38 = extractelement <16 x i1> %13, i64 11
  %39 = zext i1 %38 to i32
  %40 = or disjoint i32 %37, %39
  %41 = shl nuw nsw i32 %33, 2
  %42 = extractelement <16 x i1> %13, i64 4
  %43 = select i1 %42, i32 2, i32 0
  %44 = or disjoint i32 %41, %43
  %45 = extractelement <16 x i1> %13, i64 3
  %46 = zext i1 %45 to i32
  %47 = or disjoint i32 %44, %46
  %48 = shl nuw nsw i32 %40, 2
  %49 = extractelement <16 x i1> %13, i64 10
  %50 = select i1 %49, i32 2, i32 0
  %51 = or disjoint i32 %48, %50
  %52 = extractelement <16 x i1> %13, i64 9
  %53 = zext i1 %52 to i32
  %54 = or disjoint i32 %51, %53
  %55 = shl nuw nsw i32 %47, 2
  %56 = extractelement <16 x i1> %13, i64 2
  %57 = select i1 %56, i32 2, i32 0
  %58 = or disjoint i32 %55, %57
  %59 = extractelement <16 x i1> %13, i64 1
  %60 = zext i1 %59 to i32
  %61 = or disjoint i32 %58, %60
  %62 = shl nuw nsw i32 %54, 1
  %63 = extractelement <16 x i1> %13, i64 8
  %64 = zext i1 %63 to i32
  %65 = or disjoint i32 %62, %64
  %66 = shl nuw nsw i32 %61, 1
  %67 = extractelement <16 x i1> %13, i64 0
  %68 = zext i1 %67 to i32
  %69 = or disjoint i32 %66, %68
  %70 = icmp ugt i32 %65, %69
  %71 = zext i1 %70 to i32
  ret i32 %71
}

attributes #0 = { mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read) 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, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LCSSAPass,LoopRotatePass,PostOrderFunctionAttrsPass,ReassociatePass,SCCPPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass