220 lines
6.8 KiB
Plaintext
220 lines
6.8 KiB
Plaintext
|
# RUN: llc -mtriple powerpc64le-unknown-linux-gnu %s -o - 2>&1 \
|
||
|
|
# RUN: -run-pass=livevars,phi-node-elimination -verify-machineinstrs | \
|
||
|
|
# RUN: FileCheck %s
|
||
|
|
|
||
|
|
--- |
|
||
|
|
define float @testfloatslt(float %c1, float %c2, float %c3, float %c4, float %a1, float %a2) {
|
||
|
|
entry:
|
||
|
|
%cmp1 = fcmp oeq float %c3, %c4
|
||
|
|
%cmp3tmp = fcmp oeq float %c1, %c2
|
||
|
|
%cmp3 = icmp slt i1 %cmp3tmp, %cmp1
|
||
|
|
%cond = select i1 %cmp3, float %a1, float %a2
|
||
|
|
ret float %cond
|
||
|
|
}
|
||
|
|
|
||
|
|
define signext i32 @select-i1-vs-i1(i8** nocapture dereferenceable(8) %p) #0 {
|
||
|
|
entry:
|
||
|
|
%.pre = load i8*, i8** %p, align 8
|
||
|
|
br label %loop
|
||
|
|
|
||
|
|
loop: ; preds = %loop, %if.then3, %entry
|
||
|
|
%0 = phi i8* [ %.pre, %entry ], [ %incdec.ptr4, %if.then3 ], [ %incdec.ptr, %loop ]
|
||
|
|
%1 = load i8, i8* %0, align 1
|
||
|
|
%tobool = icmp eq i8 %1, 0
|
||
|
|
%incdec.ptr = getelementptr inbounds i8, i8* %0, i64 1
|
||
|
|
store i8* %incdec.ptr, i8** %p, align 8
|
||
|
|
%2 = load i8, i8* %incdec.ptr, align 1
|
||
|
|
%tobool2 = icmp ne i8 %2, 0
|
||
|
|
%or.cond = and i1 %tobool, %tobool2
|
||
|
|
br i1 %or.cond, label %if.then3, label %loop
|
||
|
|
|
||
|
|
if.then3: ; preds = %loop
|
||
|
|
%incdec.ptr4 = getelementptr inbounds i8, i8* %0, i64 2
|
||
|
|
store i8* %incdec.ptr4, i8** %p, align 8
|
||
|
|
br label %loop
|
||
|
|
}
|
||
|
|
|
||
|
|
...
|
||
|
|
---
|
||
|
|
name: testfloatslt
|
||
|
|
tracksRegLiveness: true
|
||
|
|
registers:
|
||
|
|
- { id: 0, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 1, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 2, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 3, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 4, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 5, class: f4rc, preferred-register: '' }
|
||
|
|
- { id: 6, class: crrc, preferred-register: '' }
|
||
|
|
- { id: 7, class: crbitrc, preferred-register: '' }
|
||
|
|
- { id: 8, class: crrc, preferred-register: '' }
|
||
|
|
- { id: 9, class: crbitrc, preferred-register: '' }
|
||
|
|
- { id: 10, class: crbitrc, preferred-register: '' }
|
||
|
|
- { id: 11, class: f4rc, preferred-register: '' }
|
||
|
|
liveins:
|
||
|
|
- { reg: '$f1', virtual-reg: '%0' }
|
||
|
|
- { reg: '$f2', virtual-reg: '%1' }
|
||
|
|
- { reg: '$f3', virtual-reg: '%2' }
|
||
|
|
- { reg: '$f4', virtual-reg: '%3' }
|
||
|
|
- { reg: '$f5', virtual-reg: '%4' }
|
||
|
|
- { reg: '$f6', virtual-reg: '%5' }
|
||
|
|
body: |
|
||
|
|
bb.0.entry:
|
||
|
|
successors: %bb.2(0x20000000), %bb.1(0x60000000)
|
||
|
|
liveins: $f1, $f2, $f3, $f4, $f5, $f6
|
||
|
|
|
||
|
|
%5:f4rc = COPY killed $f6
|
||
|
|
%4:f4rc = COPY killed $f5
|
||
|
|
%3:f4rc = COPY killed $f4
|
||
|
|
%2:f4rc = COPY killed $f3
|
||
|
|
%1:f4rc = COPY killed $f2
|
||
|
|
%0:f4rc = COPY killed $f1
|
||
|
|
%6:crrc = FCMPUS killed %2, killed %3
|
||
|
|
%7:crbitrc = COPY killed %6.sub_eq
|
||
|
|
BC killed %7, %bb.2
|
||
|
|
B %bb.1
|
||
|
|
|
||
|
|
bb.1.entry:
|
||
|
|
successors: %bb.2(0x2aaaaaab), %bb.3(0x55555555)
|
||
|
|
|
||
|
|
%8:crrc = FCMPUS killed %0, killed %1
|
||
|
|
%9:crbitrc = COPY killed %8.sub_eq
|
||
|
|
BC killed %9, %bb.3
|
||
|
|
|
||
|
|
bb.2.entry:
|
||
|
|
successors: %bb.3(0x80000000)
|
||
|
|
|
||
|
|
|
||
|
|
bb.3.entry:
|
||
|
|
%11:f4rc = PHI %5, %bb.2, %4, %bb.1
|
||
|
|
$f1 = COPY killed %11
|
||
|
|
BLR8 implicit $lr8, implicit $rm, implicit killed $f1
|
||
|
|
|
||
|
|
...
|
||
|
|
---
|
||
|
|
name: select-i1-vs-i1
|
||
|
|
alignment: 16
|
||
|
|
exposesReturnsTwice: false
|
||
|
|
legalized: false
|
||
|
|
regBankSelected: false
|
||
|
|
selected: false
|
||
|
|
failedISel: false
|
||
|
|
tracksRegLiveness: true
|
||
|
|
hasWinCFI: false
|
||
|
|
registers:
|
||
|
|
- { id: 0, class: g8rc, preferred-register: '' }
|
||
|
|
- { id: 1, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||
|
|
- { id: 2, class: g8rc, preferred-register: '' }
|
||
|
|
- { id: 3, class: g8rc, preferred-register: '' }
|
||
|
|
- { id: 4, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||
|
|
- { id: 5, class: gprc, preferred-register: '' }
|
||
|
|
- { id: 6, class: crrc, preferred-register: '' }
|
||
|
|
- { id: 7, class: crbitrc, preferred-register: '' }
|
||
|
|
- { id: 8, class: gprc, preferred-register: '' }
|
||
|
|
- { id: 9, class: crrc, preferred-register: '' }
|
||
|
|
- { id: 10, class: crbitrc, preferred-register: '' }
|
||
|
|
- { id: 11, class: crbitrc, preferred-register: '' }
|
||
|
|
liveins:
|
||
|
|
- { reg: '$x3', virtual-reg: '%4' }
|
||
|
|
frameInfo:
|
||
|
|
isFrameAddressTaken: false
|
||
|
|
isReturnAddressTaken: false
|
||
|
|
hasStackMap: false
|
||
|
|
hasPatchPoint: false
|
||
|
|
stackSize: 0
|
||
|
|
offsetAdjustment: 0
|
||
|
|
maxAlignment: 1
|
||
|
|
adjustsStack: false
|
||
|
|
hasCalls: false
|
||
|
|
stackProtector: ''
|
||
|
|
maxCallFrameSize: 4294967295
|
||
|
|
cvBytesOfCalleeSavedRegisters: 0
|
||
|
|
hasOpaqueSPAdjustment: false
|
||
|
|
hasVAStart: false
|
||
|
|
hasMustTailInVarArgFunc: false
|
||
|
|
localFrameSize: 0
|
||
|
|
savePoint: ''
|
||
|
|
restorePoint: ''
|
||
|
|
fixedStack: []
|
||
|
|
stack: []
|
||
|
|
callSites: []
|
||
|
|
constants: []
|
||
|
|
machineFunctionInfo: {}
|
||
|
|
body: |
|
||
|
|
bb.0.entry:
|
||
|
|
successors: %bb.1(0x80000000)
|
||
|
|
liveins: $x3
|
||
|
|
|
||
|
|
%4:g8rc_and_g8rc_nox0 = COPY killed $x3
|
||
|
|
%0:g8rc = LD 0, %4 :: (dereferenceable load 8 from %ir.p)
|
||
|
|
|
||
|
|
bb.1.loop:
|
||
|
|
successors: %bb.1(0x20000000), %bb.2(0x60000000)
|
||
|
|
|
||
|
|
%1:g8rc_and_g8rc_nox0 = PHI %0, %bb.0, %2, %bb.1, %3, %bb.3, %2, %bb.2
|
||
|
|
%5:gprc = LBZ 0, %1 :: (load 1 from %ir.0)
|
||
|
|
%6:crrc = CMPWI killed %5, 0
|
||
|
|
%7:crbitrc = COPY killed %6.sub_eq
|
||
|
|
%2:g8rc = nuw ADDI8 %1, 1
|
||
|
|
STD %2, 0, %4 :: (store 8 into %ir.p)
|
||
|
|
%8:gprc = LBZ 1, %1 :: (load 1 from %ir.incdec.ptr)
|
||
|
|
BCn killed %7, %bb.1
|
||
|
|
B %bb.2
|
||
|
|
|
||
|
|
bb.2.loop:
|
||
|
|
successors: %bb.3(0x55555555), %bb.1(0x2aaaaaab)
|
||
|
|
|
||
|
|
%9:crrc = CMPWI killed %8, 0
|
||
|
|
%10:crbitrc = COPY killed %9.sub_eq
|
||
|
|
BC killed %10, %bb.1
|
||
|
|
B %bb.3
|
||
|
|
|
||
|
|
bb.3.if.then3:
|
||
|
|
successors: %bb.1(0x80000000)
|
||
|
|
|
||
|
|
%3:g8rc = nuw ADDI8 killed %1, 2
|
||
|
|
STD %3, 0, %4 :: (store 8 into %ir.p)
|
||
|
|
B %bb.1
|
||
|
|
|
||
|
|
; CHECK-LABEL: name: testfloatslt
|
||
|
|
; CHECK: bb.0.entry:
|
||
|
|
; CHECK: successors: %bb.1(0x80000000)
|
||
|
|
; CHECK: liveins: $x3
|
||
|
|
|
||
|
|
; CHECK: %4:g8rc_and_g8rc_nox0 = COPY killed $x3
|
||
|
|
; CHECK: %0:g8rc = LD 0, %4 :: (dereferenceable load 8 from %ir.p)
|
||
|
|
; CHECK: %12:g8rc_and_g8rc_nox0 = COPY killed %0
|
||
|
|
|
||
|
|
; CHECK: bb.1.loop:
|
||
|
|
; CHECK: successors: %bb.1(0x20000000), %bb.2(0x60000000)
|
||
|
|
|
||
|
|
; CHECK: %1:g8rc_and_g8rc_nox0 = COPY killed %12
|
||
|
|
; CHECK: %5:gprc = LBZ 0, %1 :: (load 1 from %ir.0)
|
||
|
|
; CHECK: %6:crrc = CMPWI killed %5, 0
|
||
|
|
; CEHCK: %7:crbitrc = COPY killed %6.sub_eq
|
||
|
|
; CHECK: %2:g8rc = nuw ADDI8 %1, 1
|
||
|
|
; CHECK: STD %2, 0, %4 :: (store 8 into %ir.p)
|
||
|
|
; CHECK: %8:gprc = LBZ 1, %1 :: (load 1 from %ir.incdec.ptr)
|
||
|
|
; CHECK: %12:g8rc_and_g8rc_nox0 = COPY %2
|
||
|
|
; CHECK: BCn killed %7, %bb.1
|
||
|
|
; CHECK: B %bb.2
|
||
|
|
|
||
|
|
; CHECK: bb.2.loop:
|
||
|
|
; CHECK: successors: %bb.3(0x55555555), %bb.1(0x2aaaaaab)
|
||
|
|
|
||
|
|
; CHECK: %9:crrc = CMPWI killed %8, 0
|
||
|
|
; CHECK: %10:crbitrc = COPY killed %9.sub_eq
|
||
|
|
; CHECK: %12:g8rc_and_g8rc_nox0 = COPY killed %2
|
||
|
|
; CHECK: BC killed %10, %bb.1
|
||
|
|
; CHECK: B %bb.3
|
||
|
|
|
||
|
|
; CHECK: bb.3.if.then3:
|
||
|
|
; CHECK: successors: %bb.1(0x80000000)
|
||
|
|
|
||
|
|
; CHECK: %3:g8rc = nuw ADDI8 killed %1, 2
|
||
|
|
; CHECK: STD %3, 0, %4 :: (store 8 into %ir.p)
|
||
|
|
; CHECK: %12:g8rc_and_g8rc_nox0 = COPY killed %3
|
||
|
|
; CHECK: B %bb.1
|
||
|
|
|
||
|
|
...
|