|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| 2 | +; RUN: llc -mtriple=x86_64 < %s | FileCheck %s |
| 3 | + |
| 4 | +; Check the prolog won't be sunk across the save of CSRs. |
| 5 | +define void @reduce(i32, i32, i32, i32, i32, i32, ...) nounwind { |
| 6 | +; CHECK-LABEL: reduce: |
| 7 | +; CHECK: # %bb.0: |
| 8 | +; CHECK-NEXT: testb %al, %al |
| 9 | +; CHECK-NEXT: je .LBB0_4 |
| 10 | +; CHECK-NEXT: # %bb.3: |
| 11 | +; CHECK-NEXT: movaps %xmm0, -{{[0-9]+}}(%rsp) |
| 12 | +; CHECK-NEXT: movaps %xmm1, -{{[0-9]+}}(%rsp) |
| 13 | +; CHECK-NEXT: movaps %xmm2, -{{[0-9]+}}(%rsp) |
| 14 | +; CHECK-NEXT: movaps %xmm3, -{{[0-9]+}}(%rsp) |
| 15 | +; CHECK-NEXT: movaps %xmm4, -{{[0-9]+}}(%rsp) |
| 16 | +; CHECK-NEXT: movaps %xmm5, (%rsp) |
| 17 | +; CHECK-NEXT: movaps %xmm6, {{[0-9]+}}(%rsp) |
| 18 | +; CHECK-NEXT: movaps %xmm7, {{[0-9]+}}(%rsp) |
| 19 | +; CHECK-NEXT: .LBB0_4: |
| 20 | +; CHECK-NEXT: xorl %eax, %eax |
| 21 | +; CHECK-NEXT: testb %al, %al |
| 22 | +; CHECK-NEXT: jne .LBB0_2 |
| 23 | +; CHECK-NEXT: # %bb.1: |
| 24 | +; CHECK-NEXT: subq $56, %rsp |
| 25 | +; CHECK-NEXT: leaq -{{[0-9]+}}(%rsp), %rax |
| 26 | +; CHECK-NEXT: movq %rax, 16 |
| 27 | +; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rax |
| 28 | +; CHECK-NEXT: movq %rax, 8 |
| 29 | +; CHECK-NEXT: movl $48, 4 |
| 30 | +; CHECK-NEXT: movl $48, 0 |
| 31 | +; CHECK-NEXT: addq $56, %rsp |
| 32 | +; CHECK-NEXT: .LBB0_2: |
| 33 | +; CHECK-NEXT: retq |
| 34 | + br i1 undef, label %8, label %7 |
| 35 | + |
| 36 | +7: ; preds = %6 |
| 37 | + call void @llvm.va_start(i8* null) |
| 38 | + br label %8 |
| 39 | + |
| 40 | +8: ; preds = %7, %6 |
| 41 | + ret void |
| 42 | +} |
| 43 | + |
| 44 | +declare void @llvm.va_start(i8*) |
| 45 | +declare void @llvm.va_end(i8*) |
0 commit comments