|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| 2 | +; RUN: llc -ppc-asm-full-reg-names -verify-machineinstrs \ |
| 3 | +; RUN: -mtriple=powerpc64le-linux-gnu < %s | FileCheck \ |
| 4 | +; RUN: -check-prefix=CHECK-LE %s |
| 5 | + |
| 6 | +define void @foo(i32 %vla_size) #0 { |
| 7 | +; CHECK-LE-LABEL: foo: |
| 8 | +; CHECK-LE: # %bb.0: # %entry |
| 9 | +; CHECK-LE-NEXT: std r31, -8(r1) |
| 10 | +; CHECK-LE-NEXT: std r30, -16(r1) |
| 11 | +; CHECK-LE-NEXT: mr r30, r1 |
| 12 | +; CHECK-LE-NEXT: mr r12, r1 |
| 13 | +; CHECK-LE-NEXT: .cfi_def_cfa r12, 0 |
| 14 | +; CHECK-LE-NEXT: clrldi r0, r12, 53 |
| 15 | +; CHECK-LE-NEXT: stdux r12, r1, r0 |
| 16 | +; CHECK-LE-NEXT: stdu r12, -2048(r1) |
| 17 | +; CHECK-LE-NEXT: stdu r12, -4096(r1) |
| 18 | +; CHECK-LE-NEXT: .cfi_def_cfa_register r1 |
| 19 | +; CHECK-LE-NEXT: .cfi_def_cfa_register r30 |
| 20 | +; CHECK-LE-NEXT: .cfi_offset r31, -8 |
| 21 | +; CHECK-LE-NEXT: .cfi_offset r30, -16 |
| 22 | +; CHECK-LE-NEXT: clrldi r3, r3, 32 |
| 23 | +; CHECK-LE-NEXT: li r6, -4096 |
| 24 | +; CHECK-LE-NEXT: ld r4, 0(r1) |
| 25 | +; CHECK-LE-NEXT: mr r31, r1 |
| 26 | +; CHECK-LE-NEXT: addi r3, r3, 15 |
| 27 | +; CHECK-LE-NEXT: rldicl r3, r3, 60, 4 |
| 28 | +; CHECK-LE-NEXT: rldicl r3, r3, 4, 31 |
| 29 | +; CHECK-LE-NEXT: neg r5, r3 |
| 30 | +; CHECK-LE-NEXT: li r3, -2048 |
| 31 | +; CHECK-LE-NEXT: divd r7, r5, r6 |
| 32 | +; CHECK-LE-NEXT: and r3, r5, r3 |
| 33 | +; CHECK-LE-NEXT: add r3, r1, r3 |
| 34 | +; CHECK-LE-NEXT: mulld r6, r7, r6 |
| 35 | +; CHECK-LE-NEXT: sub r5, r5, r6 |
| 36 | +; CHECK-LE-NEXT: stdux r4, r1, r5 |
| 37 | +; CHECK-LE-NEXT: cmpd r1, r3 |
| 38 | +; CHECK-LE-NEXT: beq cr0, .LBB0_2 |
| 39 | +; CHECK-LE-NEXT: .LBB0_1: # %entry |
| 40 | +; CHECK-LE-NEXT: # |
| 41 | +; CHECK-LE-NEXT: stdu r4, -4096(r1) |
| 42 | +; CHECK-LE-NEXT: cmpd r1, r3 |
| 43 | +; CHECK-LE-NEXT: bne cr0, .LBB0_1 |
| 44 | +; CHECK-LE-NEXT: .LBB0_2: # %entry |
| 45 | +; CHECK-LE-NEXT: addi r3, r1, 2048 |
| 46 | +; CHECK-LE-NEXT: lbz r3, 0(r3) |
| 47 | +; CHECK-LE-NEXT: ld r1, 0(r1) |
| 48 | +; CHECK-LE-NEXT: ld r31, -8(r1) |
| 49 | +; CHECK-LE-NEXT: ld r30, -16(r1) |
| 50 | +; CHECK-LE-NEXT: blr |
| 51 | +entry: |
| 52 | + %0 = zext i32 %vla_size to i64 |
| 53 | + %vla = alloca i8, i64 %0, align 2048 |
| 54 | + %1 = load volatile i8, i8* %vla, align 2048 |
| 55 | + ret void |
| 56 | +} |
| 57 | + |
| 58 | +attributes #0 = { "probe-stack"="inline-asm" } |
0 commit comments