|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
1 | 2 | ; RUN: llc %s -o - | FileCheck %s
|
2 | 3 |
|
3 | 4 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
4 | 5 | target triple = "x86_64-apple-macosx10.10.0"
|
5 | 6 |
|
6 | 7 | ; Check that vastart handling doesn't get between testb and je for the branch.
|
7 | 8 | define i32 @check_flag(i32 %flags, ...) nounwind {
|
| 9 | +; CHECK-LABEL: check_flag: |
| 10 | +; CHECK: ## %bb.0: ## %entry |
| 11 | +; CHECK-NEXT: pushq %rbx |
| 12 | +; CHECK-NEXT: subq $48, %rsp |
| 13 | +; CHECK-NEXT: movl %edi, %ebx |
| 14 | +; CHECK-NEXT: testb %al, %al |
| 15 | +; CHECK-NEXT: je LBB0_2 |
| 16 | +; CHECK-NEXT: ## %bb.1: ## %entry |
| 17 | +; CHECK-NEXT: movaps %xmm0, -{{[0-9]+}}(%rsp) |
| 18 | +; CHECK-NEXT: movaps %xmm1, -{{[0-9]+}}(%rsp) |
| 19 | +; CHECK-NEXT: movaps %xmm2, -{{[0-9]+}}(%rsp) |
| 20 | +; CHECK-NEXT: movaps %xmm3, -{{[0-9]+}}(%rsp) |
| 21 | +; CHECK-NEXT: movaps %xmm4, -{{[0-9]+}}(%rsp) |
| 22 | +; CHECK-NEXT: movaps %xmm5, (%rsp) |
| 23 | +; CHECK-NEXT: movaps %xmm6, {{[0-9]+}}(%rsp) |
| 24 | +; CHECK-NEXT: movaps %xmm7, {{[0-9]+}}(%rsp) |
| 25 | +; CHECK-NEXT: LBB0_2: ## %entry |
| 26 | +; CHECK-NEXT: movq %r9, -{{[0-9]+}}(%rsp) |
| 27 | +; CHECK-NEXT: movq %r8, -{{[0-9]+}}(%rsp) |
| 28 | +; CHECK-NEXT: movq %rcx, -{{[0-9]+}}(%rsp) |
| 29 | +; CHECK-NEXT: movq %rdx, -{{[0-9]+}}(%rsp) |
| 30 | +; CHECK-NEXT: movq %rsi, -{{[0-9]+}}(%rsp) |
| 31 | +; CHECK-NEXT: xorl %eax, %eax |
| 32 | +; CHECK-NEXT: testb $2, %bh |
| 33 | +; CHECK-NEXT: je LBB0_4 |
| 34 | +; CHECK-NEXT: ## %bb.3: ## %if.then |
| 35 | +; CHECK-NEXT: leaq -{{[0-9]+}}(%rsp), %rax |
| 36 | +; CHECK-NEXT: movq %rax, 16 |
| 37 | +; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rax |
| 38 | +; CHECK-NEXT: movq %rax, 8 |
| 39 | +; CHECK-NEXT: movl $48, 4 |
| 40 | +; CHECK-NEXT: movl $8, 0 |
| 41 | +; CHECK-NEXT: movl $1, %eax |
| 42 | +; CHECK-NEXT: LBB0_4: ## %if.end |
| 43 | +; CHECK-NEXT: addq $48, %rsp |
| 44 | +; CHECK-NEXT: popq %rbx |
| 45 | +; CHECK-NEXT: retq |
8 | 46 | entry:
|
9 |
| -; CHECK: {{^}} testb $2, %bh |
10 |
| -; CHECK-NOT: test |
11 |
| -; CHECK: {{^}} je |
12 | 47 | %and = and i32 %flags, 512
|
13 | 48 | %tobool = icmp eq i32 %and, 0
|
14 | 49 | br i1 %tobool, label %if.end, label %if.then
|
|
0 commit comments