[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / AArch64 / arm64-alloca-frame-pointer-offset.ll
blob0267acdda658b725a4a17e30cfe5b60f1962f73d
1 ; RUN: llc -mtriple=arm64-eabi -mcpu=cyclone < %s | FileCheck %s
3 ; CHECK: foo
4 ; CHECK-DAG: str w[[REG0:[0-9]+]], [x29, #24]
5 ; CHECK-DAG: str w[[REG0]], [x29, #28]
6 define i32 @foo(i32 %a) nounwind {
7   %retval = alloca i32, align 4
8   %a.addr = alloca i32, align 4
9   %arr = alloca [32 x i32], align 4
10   %i = alloca i32, align 4
11   %arr2 = alloca [32 x i32], align 4
12   %j = alloca i32, align 4
13   store i32 %a, i32* %a.addr, align 4
14   %tmp = load i32, i32* %a.addr, align 4
15   %tmp1 = zext i32 %tmp to i64
16   %v = mul i64 4, %tmp1
17   %vla = alloca i8, i64 %v, align 4
18   %tmp2 = bitcast i8* %vla to i32*
19   %tmp3 = load i32, i32* %a.addr, align 4
20   store i32 %tmp3, i32* %i, align 4
21   %tmp4 = load i32, i32* %a.addr, align 4
22   store i32 %tmp4, i32* %j, align 4
23   %tmp5 = load i32, i32* %j, align 4
24   store i32 %tmp5, i32* %retval
25   %x = load i32, i32* %retval
26   ret i32 %x