35 lines
1.0 KiB
YAML
35 lines
1.0 KiB
YAML
# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -run-pass=if-converter %s -o - | FileCheck %s
|
|
---
|
|
name: foo
|
|
body: |
|
|
bb.0:
|
|
liveins: $x0, $x3
|
|
successors: %bb.1(0x40000000), %bb.2(0x40000000)
|
|
|
|
dead renamable $x3 = ANDI8_rec killed renamable $x3, 1, implicit-def dead $cr0, implicit-def $cr0gt
|
|
$cr2lt = CROR $cr0gt, $cr0gt
|
|
BCn killed renamable $cr2lt, %bb.2
|
|
B %bb.1
|
|
|
|
bb.1:
|
|
renamable $x3 = LIS8 4096
|
|
MTLR8 $x0, implicit-def $lr8
|
|
BLR8 implicit $lr8, implicit $rm, implicit $x3
|
|
|
|
bb.2:
|
|
renamable $x3 = LIS8 4096
|
|
MTLR8 $x0, implicit-def $lr8
|
|
BLR8 implicit $lr8, implicit $rm, implicit $x3
|
|
...
|
|
|
|
# Diamond testcase with equivalent branches terminating in returns.
|
|
|
|
# CHECK: body: |
|
|
# CHECK: bb.0:
|
|
# CHECK: dead renamable $x3 = ANDI8_rec killed renamable $x3, 1, implicit-def dead $cr0, implicit-def $cr0gt
|
|
# CHECK: $cr2lt = CROR $cr0gt, $cr0gt
|
|
# CHECK: renamable $x3 = LIS8 4096
|
|
# CHECK: MTLR8 $x0, implicit-def $lr8
|
|
# CHECK: BLR8 implicit $lr8, implicit $rm, implicit $x3
|
|
|