147 lines
4.1 KiB
YAML
147 lines
4.1 KiB
YAML
# RUN: llc -mtriple powerpc64le-unknown-linux-gnu -run-pass=ppc-early-ret -o \
|
|
# RUN: - %s -verify-machineinstrs | FileCheck %s
|
|
|
|
---
|
|
name: testBLR
|
|
body: |
|
|
bb.0.entry:
|
|
successors: %bb.1(0x40000000), %bb.2(0x40000000)
|
|
liveins: $r3, $r4
|
|
|
|
renamable $cr0 = CMPWI renamable $r3, 0
|
|
BC killed renamable $cr0gt, %bb.1
|
|
B %bb.2
|
|
|
|
bb.1.entry:
|
|
successors: %bb.2(0x80000000)
|
|
liveins: $r4
|
|
|
|
renamable $r3 = ADDI killed renamable $r4, 0
|
|
|
|
bb.2.entry:
|
|
liveins: $r3, $r4, $cr0eq, $cr0lt, $cr0un, $cr0, $cr0gt, $r3, $r3, $r4, $r3, $cr0gt
|
|
|
|
BLR implicit $lr, implicit $rm, implicit killed $r3
|
|
|
|
; CHECK-LABEL: name: testBLR
|
|
; CHECK: bb.0.entry:
|
|
; CHECK: renamable $cr0 = CMPWI renamable $r3, 0
|
|
; CHECK: BC killed renamable $cr0gt, %bb.1
|
|
; CHECK: BLR implicit $lr, implicit $rm, implicit killed $r3
|
|
; CHECK: bb.1.entry:
|
|
; CHECK: renamable $r3 = ADDI killed renamable $r4, 0
|
|
; CHECK: BLR implicit $lr, implicit $rm, implicit killed $r3
|
|
...
|
|
|
|
|
|
---
|
|
name: testBCLRn
|
|
body: |
|
|
bb.0.entry:
|
|
successors: %bb.3(0x20000000), %bb.1(0x60000000)
|
|
liveins: $f1, $f2, $f3, $f4, $v2, $v3
|
|
|
|
renamable $cr0 = FCMPUS killed renamable $f3, killed renamable $f4
|
|
BCn killed renamable $cr0eq, %bb.3
|
|
|
|
bb.1.entry:
|
|
successors: %bb.2(0x80000000)
|
|
liveins: $f1, $f2, $v2, $v3
|
|
|
|
renamable $cr0 = FCMPUS killed renamable $f1, killed renamable $f2
|
|
BCLR killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
|
|
bb.2:
|
|
successors: %bb.3(0x80000000)
|
|
liveins: $v3
|
|
|
|
$v2 = VOR killed $v3, $v3
|
|
|
|
bb.3:
|
|
liveins: $v2
|
|
|
|
BLR implicit $lr, implicit $rm, implicit killed $v2
|
|
|
|
; CHECK-LABEL: name: testBCLRn
|
|
; CHECK: bb.0.entry:
|
|
; CHECK: renamable $cr0 = FCMPUS killed renamable $f3, killed renamable $f4
|
|
; CHECK: BCLRn killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
; CHECK: bb.1.entry:
|
|
; CHECK: renamable $cr0 = FCMPUS killed renamable $f1, killed renamable $f2
|
|
; CHECK: BCLR killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
; CHECK: bb.2:
|
|
; CHECK: $v2 = VOR killed $v3, $v3
|
|
; CHECK: BLR implicit $lr, implicit $rm, implicit killed $v2
|
|
...
|
|
|
|
|
|
---
|
|
name: testBCLR
|
|
body: |
|
|
bb.0.entry:
|
|
successors: %bb.3(0x20000000), %bb.1(0x60000000)
|
|
liveins: $f1, $f2, $f3, $f4, $v2, $v3
|
|
|
|
renamable $cr0 = FCMPUS killed renamable $f3, killed renamable $f4
|
|
BC killed renamable $cr0eq, %bb.3
|
|
|
|
bb.1.entry:
|
|
successors: %bb.2(0x80000000)
|
|
liveins: $f1, $f2, $v2, $v3
|
|
|
|
renamable $cr0 = FCMPUS killed renamable $f1, killed renamable $f2
|
|
BCLRn killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
|
|
bb.2:
|
|
successors: %bb.3(0x80000000)
|
|
liveins: $v3
|
|
|
|
$v2 = VOR killed $v3, $v3
|
|
|
|
bb.3:
|
|
liveins: $v2
|
|
|
|
BLR implicit $lr, implicit $rm, implicit killed $v2
|
|
|
|
; CHECK-LABEL: name: testBCLR
|
|
; CHECK: bb.0.entry:
|
|
; CHECK: renamable $cr0 = FCMPUS killed renamable $f3, killed renamable $f4
|
|
; CHECK: BCLR killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
; CHECK: bb.1.entry:
|
|
; CHECK: renamable $cr0 = FCMPUS killed renamable $f1, killed renamable $f2
|
|
; CHECK: BCLRn killed renamable $cr0eq, implicit $lr, implicit $rm, implicit killed $v2
|
|
; CHECK: bb.2:
|
|
; CHECK: $v2 = VOR killed $v3, $v3
|
|
; CHECK: BLR implicit $lr, implicit $rm, implicit killed $v2
|
|
...
|
|
|
|
|
|
---
|
|
name: testBCCLR
|
|
body: |
|
|
bb.0.entry:
|
|
successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
|
|
renamable $r4 = LI 0
|
|
renamable $cr0 = CMPLWI killed renamable $r4, 0
|
|
BCC 68, renamable $cr0, %bb.2
|
|
|
|
bb.1:
|
|
successors: %bb.2(0x40000000)
|
|
liveins: $cr0
|
|
|
|
BCC 68, killed renamable $cr0, %bb.2
|
|
|
|
bb.2:
|
|
BLR implicit $lr, implicit $rm
|
|
|
|
; CHECK-LABEL: name: testBCCLR
|
|
; CHECK: bb.0.entry:
|
|
; CHECK: renamable $r4 = LI 0
|
|
; CHECK: renamable $cr0 = CMPLWI killed renamable $r4, 0
|
|
; CHECK: BCCLR 68, renamable $cr0, implicit $lr, implicit $rm
|
|
; CHECK: bb.1:
|
|
; CHECK: BCCLR 68, killed renamable $cr0, implicit $lr, implicit $rm
|
|
; CHECK: BLR implicit $lr, implicit $rm
|
|
...
|