[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / preferred-alignment.ll
blobb39a5e8703d74f8f6cae92a677ad73cbc9d3f4fa
1 ; RUN: llc -mtriple=aarch64 -O0 -fast-isel < %s | FileCheck %s
3 ; Function Attrs: nounwind
4 define i32 @foo() #0 {
5 entry:
6   %c = alloca i8, align 1
7 ; CHECK:        add     x0, sp, #12
8   %s = alloca i16, align 2
9 ; CHECK-NEXT:   add     x1, sp, #8
10   %i = alloca i32, align 4
11 ; CHECK-NEXT:   add     x2, sp, #4
12   %call = call i32 @bar(i8* %c, i16* %s, i32* %i)
13   %0 = load i8, i8* %c, align 1
14   %conv = zext i8 %0 to i32
15   %add = add nsw i32 %call, %conv
16   %1 = load i16, i16* %s, align 2
17   %conv1 = sext i16 %1 to i32
18   %add2 = add nsw i32 %add, %conv1
19   %2 = load i32, i32* %i, align 4
20   %add3 = add nsw i32 %add2, %2
21   ret i32 %add3
24 declare i32 @bar(i8*, i16*, i32*) #1
26 attributes #0 = { nounwind "no-frame-pointer-elim"="false" }
27 attributes #1 = { "no-frame-pointer-elim"="false" }