| Jonas Devlieghere | 865de57 | 2018-01-29 12:10:32 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=sparc < %s | FileCheck %s --check-prefixes=CHECK,CHECK32 |
| 2 | ; RUN: llc -march=sparcv9 < %s | FileCheck %s --check-prefixes=CHECK,CHECK64 |
| James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 3 | declare void @stack_realign_helper(i32 %a, i32* %b) |
| 4 | |
| James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 5 | ;; This is a function where we have a local variable of 64-byte |
| 6 | ;; 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] | 7 | ;; andn), that the local var is accessed via stack pointer (to %o1), and that |
| 8 | ;; 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] | 9 | |
| 10 | ;; CHECK-LABEL: stack_realign: |
| Jonas Devlieghere | 865de57 | 2018-01-29 12:10:32 +0000 | [diff] [blame] | 11 | ;; CHECK32: andn %sp, 63, %sp |
| 12 | ;; CHECK32-NEXT: ld [%fp+92], %o0 |
| 13 | ;; CHECK64: add %sp, 2047, %g1 |
| 14 | ;; CHECK64-NEXT: andn %g1, 63, %g1 |
| 15 | ;; CHECK64-NEXT: add %g1, -2047, %sp |
| 16 | ;; CHECK64-NEXT: ld [%fp+2227], %o0 |
| 17 | ;; CHECK-NEXT: call stack_realign_helper |
| 18 | ;; CHECK32-NEXT: add %sp, 128, %o1 |
| 19 | ;; CHECK64-NEXT: add %sp, 2239, %o1 |
| James Y Knight | 667395f | 2015-08-21 04:17:56 +0000 | [diff] [blame] | 20 | |
| 21 | define void @stack_realign(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g) { |
| 22 | entry: |
| 23 | %aligned = alloca i32, align 64 |
| 24 | call void @stack_realign_helper(i32 %g, i32* %aligned) |
| 25 | ret void |
| 26 | } |