1*865de57bSJonas Devlieghere; RUN: llc -march=sparc < %s | FileCheck %s --check-prefixes=CHECK,CHECK32
2*865de57bSJonas Devlieghere; RUN: llc -march=sparcv9 < %s | FileCheck %s --check-prefixes=CHECK,CHECK64
3667395f3SJames Y Knightdeclare void @stack_realign_helper(i32 %a, i32* %b)
4667395f3SJames Y Knight
5667395f3SJames Y Knight;; This is a function where we have a local variable of 64-byte
6667395f3SJames Y Knight;; alignment.  We want to see that the stack is aligned (the initial
72e64b8b7SJames Y Knight;; andn), that the local var is accessed via stack pointer (to %o1), and that
82e64b8b7SJames Y Knight;; the argument is accessed via frame pointer not stack pointer (to %o0).
9667395f3SJames Y Knight
10667395f3SJames Y Knight;; CHECK-LABEL: stack_realign:
11*865de57bSJonas Devlieghere;; CHECK32:      andn %sp, 63, %sp
12*865de57bSJonas Devlieghere;; CHECK32-NEXT: ld [%fp+92], %o0
13*865de57bSJonas Devlieghere;; CHECK64:      add %sp, 2047, %g1
14*865de57bSJonas Devlieghere;; CHECK64-NEXT: andn %g1, 63, %g1
15*865de57bSJonas Devlieghere;; CHECK64-NEXT: add %g1, -2047, %sp
16*865de57bSJonas Devlieghere;; CHECK64-NEXT: ld [%fp+2227], %o0
17667395f3SJames Y Knight;; CHECK-NEXT:   call stack_realign_helper
18*865de57bSJonas Devlieghere;; CHECK32-NEXT: add %sp, 128, %o1
19*865de57bSJonas Devlieghere;; CHECK64-NEXT: add %sp, 2239, %o1
20667395f3SJames Y Knight
21667395f3SJames Y Knightdefine void @stack_realign(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g) {
22667395f3SJames Y Knightentry:
23667395f3SJames Y Knight  %aligned = alloca i32, align 64
24667395f3SJames Y Knight  call void @stack_realign_helper(i32 %g, i32* %aligned)
25667395f3SJames Y Knight  ret void
26667395f3SJames Y Knight}
27