mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-22 18:54:02 +01:00
[test] preformat test with update_llc_test_checks.py NFC
Summary:
Prior to landing D76961, preprocess via:
$ llvm/utils/update_llc_test_checks.py \
llvm/test/CodeGen/X86/callbr-asm-outputs.ll
Reviewers: void, MaskRay
Reviewed By: void, MaskRay
Subscribers: MaskRay, llvm-commits, srhines
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D77356
This commit is contained in:
Nick Desaulniers
parent
40fb959a78
commit
2c9dae12e1
@ -1,18 +1,20 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
||||
; RUN: llc -mtriple=i686-- -verify-machineinstrs < %s | FileCheck %s
|
||||
|
||||
; A test for asm-goto output
|
||||
|
||||
; CHECK-LABEL: test1:
|
||||
; CHECK: movl 4(%esp), %eax
|
||||
; CHECK-NEXT: addl $4, %eax
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: jmp .Ltmp0
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB0_1:
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-LABEL: .Ltmp0: # Address of block that was removed by CodeGen
|
||||
define i32 @test1(i32 %x) {
|
||||
; CHECK-LABEL: test1:
|
||||
; CHECK: # %bb.0: # %entry
|
||||
; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax
|
||||
; CHECK-NEXT: addl $4, %eax
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: jmp .Ltmp0
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB0_1: # %normal
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-NEXT: .Ltmp0: # Address of block that was removed by CodeGen
|
||||
entry:
|
||||
%add = add nsw i32 %x, 4
|
||||
%ret = callbr i32 asm "xorl $1, $0; jmp ${2:l}", "=r,r,X,~{dirflag},~{fpsr},~{flags}"(i32 %add, i8* blockaddress(@test1, %abnormal))
|
||||
@ -25,28 +27,45 @@ abnormal:
|
||||
ret i32 1
|
||||
}
|
||||
|
||||
; CHECK-LABEL: test2:
|
||||
; CHECK: # %bb.1: # %if.then
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %esi, %esi
|
||||
; CHECK-NEXT: testl %edi, %esi
|
||||
; CHECK-NEXT: jne .Ltmp1
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB1_2:
|
||||
; CHECK-NEXT: jmp .LBB1_4
|
||||
; CHECK-NEXT: .LBB1_3: # %if.else
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %esi, %edi
|
||||
; CHECK-NEXT: testl %esi, %edi
|
||||
; CHECK-NEXT: jne .Ltmp2
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB1_4:
|
||||
; CHECK-NEXT: movl %esi, %eax
|
||||
; CHECK-NEXT: addl %edi, %eax
|
||||
; CHECK-NEXT: .Ltmp2:
|
||||
; CHECK-NEXT: # %bb.5: # %return
|
||||
; CHECK-LABEL: .Ltmp1: # Address of block that was removed by CodeGen
|
||||
define i32 @test2(i32 %out1, i32 %out2) {
|
||||
; CHECK-LABEL: test2:
|
||||
; CHECK: # %bb.0: # %entry
|
||||
; CHECK-NEXT: pushl %edi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: pushl %esi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 12
|
||||
; CHECK-NEXT: .cfi_offset %esi, -12
|
||||
; CHECK-NEXT: .cfi_offset %edi, -8
|
||||
; CHECK-NEXT: movl {{[0-9]+}}(%esp), %edi
|
||||
; CHECK-NEXT: movl {{[0-9]+}}(%esp), %esi
|
||||
; CHECK-NEXT: movl $-1, %eax
|
||||
; CHECK-NEXT: cmpl %edi, %esi
|
||||
; CHECK-NEXT: jge .LBB1_3
|
||||
; CHECK-NEXT: # %bb.1: # %if.then
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %esi, %esi
|
||||
; CHECK-NEXT: testl %edi, %esi
|
||||
; CHECK-NEXT: jne .Ltmp1
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB1_2:
|
||||
; CHECK-NEXT: jmp .LBB1_4
|
||||
; CHECK-NEXT: .LBB1_3: # %if.else
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %esi, %edi
|
||||
; CHECK-NEXT: testl %esi, %edi
|
||||
; CHECK-NEXT: jne .Ltmp2
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB1_4:
|
||||
; CHECK-NEXT: movl %esi, %eax
|
||||
; CHECK-NEXT: addl %edi, %eax
|
||||
; CHECK-NEXT: .Ltmp2: # Block address taken
|
||||
; CHECK-NEXT: # %bb.5: # %return
|
||||
; CHECK-NEXT: popl %esi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: popl %edi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 4
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-NEXT: .Ltmp1: # Address of block that was removed by CodeGen
|
||||
entry:
|
||||
%cmp = icmp slt i32 %out1, %out2
|
||||
br i1 %cmp, label %if.then, label %if.else
|
||||
@ -74,25 +93,39 @@ return: ; preds = %if.then, %if.else,
|
||||
ret i32 %retval.0
|
||||
}
|
||||
|
||||
; CHECK-LABEL: test3:
|
||||
; CHECK: # %bb.1: # %true
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: .short %esi
|
||||
; CHECK-NEXT: .short %edi
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB2_2:
|
||||
; CHECK-NEXT: movl %edi, %eax
|
||||
; CHECK-NEXT: jmp .LBB2_5
|
||||
; CHECK-NEXT: .LBB2_3: # %false
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: .short %eax
|
||||
; CHECK-NEXT: .short %edx
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB2_4:
|
||||
; CHECK-NEXT: movl %edx, %eax
|
||||
; CHECK-NEXT: .LBB2_5: # %asm.fallthrough
|
||||
; CHECK-LABEL: .Ltmp3: # Address of block that was removed by CodeGen
|
||||
define i32 @test3(i1 %cmp) {
|
||||
; CHECK-LABEL: test3:
|
||||
; CHECK: # %bb.0: # %entry
|
||||
; CHECK-NEXT: pushl %edi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: pushl %esi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 12
|
||||
; CHECK-NEXT: .cfi_offset %esi, -12
|
||||
; CHECK-NEXT: .cfi_offset %edi, -8
|
||||
; CHECK-NEXT: testb $1, {{[0-9]+}}(%esp)
|
||||
; CHECK-NEXT: je .LBB2_3
|
||||
; CHECK-NEXT: # %bb.1: # %true
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: .short %esi
|
||||
; CHECK-NEXT: .short %edi
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB2_2:
|
||||
; CHECK-NEXT: movl %edi, %eax
|
||||
; CHECK-NEXT: jmp .LBB2_5
|
||||
; CHECK-NEXT: .LBB2_3: # %false
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: .short %eax
|
||||
; CHECK-NEXT: .short %edx
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB2_4:
|
||||
; CHECK-NEXT: movl %edx, %eax
|
||||
; CHECK-NEXT: .LBB2_5: # %asm.fallthrough
|
||||
; CHECK-NEXT: popl %esi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 8
|
||||
; CHECK-NEXT: popl %edi
|
||||
; CHECK-NEXT: .cfi_def_cfa_offset 4
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-NEXT: .Ltmp3: # Address of block that was removed by CodeGen
|
||||
entry:
|
||||
br i1 %cmp, label %true, label %false
|
||||
|
||||
@ -112,29 +145,29 @@ indirect:
|
||||
}
|
||||
|
||||
; Test 4 - asm-goto with output constraints.
|
||||
define i32 @test4(i32 %out1, i32 %out2) {
|
||||
; CHECK-LABEL: test4:
|
||||
; CHECK: # %bb.0: # %entry
|
||||
; CHECK-NEXT: movl $-1, %eax
|
||||
; CHECK-NEXT: movl 4(%esp), %ecx
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %ecx, %ecx
|
||||
; CHECK-NEXT: testl %edx, %ecx
|
||||
; CHECK-NEXT: jne .Ltmp4
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB3_1:
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %ecx, %edx
|
||||
; CHECK-NEXT: testl %ecx, %edx
|
||||
; CHECK-NEXT: jne .Ltmp5
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB3_2:
|
||||
; CHECK-NEXT: addl %edx, %ecx
|
||||
; CHECK-NEXT: movl %ecx, %eax
|
||||
; CHECK-NEXT: .Ltmp5:
|
||||
; CHECK-NEXT: movl $-1, %eax
|
||||
; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %ecx, %ecx
|
||||
; CHECK-NEXT: testl %edx, %ecx
|
||||
; CHECK-NEXT: jne .Ltmp4
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB3_1: # %asm.fallthrough
|
||||
; CHECK-NEXT: #APP
|
||||
; CHECK-NEXT: testl %ecx, %edx
|
||||
; CHECK-NEXT: testl %ecx, %edx
|
||||
; CHECK-NEXT: jne .Ltmp5
|
||||
; CHECK-NEXT: #NO_APP
|
||||
; CHECK-NEXT: .LBB3_2: # %asm.fallthrough2
|
||||
; CHECK-NEXT: addl %edx, %ecx
|
||||
; CHECK-NEXT: movl %ecx, %eax
|
||||
; CHECK-NEXT: .Ltmp5: # Block address taken
|
||||
; CHECK-NEXT: # %bb.3: # %return
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-LABEL: .Ltmp4: # Address of block that was removed by CodeGen
|
||||
define i32 @test4(i32 %out1, i32 %out2) {
|
||||
; CHECK-NEXT: retl
|
||||
; CHECK-NEXT: .Ltmp4: # Address of block that was removed by CodeGen
|
||||
entry:
|
||||
%0 = callbr { i32, i32 } asm sideeffect "testl $0, $0; testl $1, $2; jne ${3:l}", "=r,=r,r,X,X,~{dirflag},~{fpsr},~{flags}"(i32 %out1, i8* blockaddress(@test4, %label_true), i8* blockaddress(@test4, %return))
|
||||
to label %asm.fallthrough [label %label_true, label %return]
|
||||
|
||||
Loading…
Reference in New Issue
Block a user