James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=sparc < %s | FileCheck %s |
| 2 | declare void @stack_realign_helper(i32 %a, i32* %b) |
| 3 | |
James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 4 | ;; This is a function where we have a local variable of 64-byte |
| 5 | ;; alignment. We want to see that the stack is aligned (the initial |
James Y Knight | 2e64b8b | 2016-10-25 22:13:28 +0000 | [diff] [blame] | 6 | ;; andn), that the local var is accessed via stack pointer (to %o1), and that |
| 7 | ;; the argument is accessed via frame pointer not stack pointer (to %o0). |
James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 8 | |
| 9 | ;; CHECK-LABEL: stack_realign: |
| 10 | ;; CHECK: andn %sp, 63, %sp |
| 11 | ;; CHECK-NEXT: ld [%fp+92], %o0 |
| 12 | ;; CHECK-NEXT: call stack_realign_helper |
James Y Knight | 3602286 | 2015-08-26 17:57:51 +0000 | [diff] [blame] | 13 | ;; CHECK-NEXT: add %sp, 128, %o1 |
James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 14 | |
| 15 | define void @stack_realign(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g) { |
| 16 | entry: |
| 17 | %aligned = alloca i32, align 64 |
| 18 | call void @stack_realign_helper(i32 %g, i32* %aligned) |
| 19 | ret void |
| 20 | } |