forked from OSchip/llvm-project
[NFC][PowerPC] Add a new case to test phi-node-elimination pass
This commit is contained in:
Kang Zhang
parent
2768edfff1
commit
af3abbf7bd
|
|
@ -0,0 +1,295 @@
|
|||
# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 %s -o - \
|
||||
# RUN: -run-pass=livevars,phi-node-elimination | FileCheck %s
|
||||
|
||||
--- |
|
||||
define void @phi_eliminate(i32 %0, i32 %1, i8* %2) {
|
||||
%scevgep3 = getelementptr i8, i8* %2, i64 undef
|
||||
call void @llvm.set.loop.iterations.i64(i64 undef)
|
||||
br label %4
|
||||
|
||||
4: ; preds = %4, %3
|
||||
%5 = phi i32 [ %8, %4 ], [ %0, %3 ]
|
||||
%6 = phi i8* [ %scevgep3, %3 ], [ %7, %4 ]
|
||||
%7 = getelementptr i8, i8* %6, i64 -1
|
||||
%8 = sdiv i32 %5, %1
|
||||
%9 = mul nsw i32 %8, %1
|
||||
%10 = sub nsw i32 %5, %9
|
||||
%11 = icmp ult i32 %10, 10
|
||||
%12 = trunc i32 %10 to i8
|
||||
%13 = select i1 %11, i8 48, i8 55
|
||||
%14 = add i8 %13, %12
|
||||
store i8 %14, i8* %7, align 1
|
||||
%15 = call i1 @llvm.loop.decrement.i64(i64 1)
|
||||
br i1 %15, label %4, label %16
|
||||
|
||||
16: ; preds = %4
|
||||
ret void
|
||||
}
|
||||
|
||||
declare void @llvm.set.loop.iterations.i64(i64)
|
||||
|
||||
declare i1 @llvm.loop.decrement.i64(i64)
|
||||
|
||||
declare void @llvm.stackprotector(i8*, i8**)
|
||||
...
|
||||
---
|
||||
name: phi_eliminate
|
||||
alignment: 16
|
||||
exposesReturnsTwice: false
|
||||
legalized: false
|
||||
regBankSelected: false
|
||||
selected: false
|
||||
failedISel: false
|
||||
tracksRegLiveness: true
|
||||
hasWinCFI: false
|
||||
registers:
|
||||
- { id: 0, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 1, class: gprc, preferred-register: '' }
|
||||
- { id: 2, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 3, class: g8rc, preferred-register: '' }
|
||||
- { id: 4, class: gprc, preferred-register: '' }
|
||||
- { id: 5, class: g8rc, preferred-register: '' }
|
||||
- { id: 6, class: g8rc, preferred-register: '' }
|
||||
- { id: 7, class: g8rc, preferred-register: '' }
|
||||
- { id: 8, class: gprc, preferred-register: '' }
|
||||
- { id: 9, class: gprc, preferred-register: '' }
|
||||
- { id: 10, class: g8rc, preferred-register: '' }
|
||||
- { id: 11, class: gprc, preferred-register: '' }
|
||||
- { id: 12, class: gprc, preferred-register: '' }
|
||||
- { id: 13, class: crrc, preferred-register: '' }
|
||||
- { id: 14, class: gprc_and_gprc_nor0, preferred-register: '' }
|
||||
- { id: 15, class: gprc_and_gprc_nor0, preferred-register: '' }
|
||||
- { id: 16, class: gprc, preferred-register: '' }
|
||||
- { id: 17, class: gprc, preferred-register: '' }
|
||||
- { id: 18, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 19, class: gprc, preferred-register: '' }
|
||||
- { id: 20, class: gprc, preferred-register: '' }
|
||||
- { id: 21, class: gprc, preferred-register: '' }
|
||||
- { id: 22, class: crrc, preferred-register: '' }
|
||||
- { id: 23, class: gprc, preferred-register: '' }
|
||||
- { id: 24, class: gprc, preferred-register: '' }
|
||||
- { id: 25, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 26, class: gprc, preferred-register: '' }
|
||||
- { id: 27, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 28, class: gprc, preferred-register: '' }
|
||||
- { id: 29, class: gprc, preferred-register: '' }
|
||||
- { id: 30, class: gprc, preferred-register: '' }
|
||||
- { id: 31, class: crrc, preferred-register: '' }
|
||||
- { id: 32, class: gprc, preferred-register: '' }
|
||||
- { id: 33, class: gprc, preferred-register: '' }
|
||||
- { id: 34, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 35, class: gprc, preferred-register: '' }
|
||||
- { id: 36, class: gprc, preferred-register: '' }
|
||||
- { id: 37, class: gprc, preferred-register: '' }
|
||||
- { id: 38, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 39, class: g8rc, preferred-register: '' }
|
||||
- { id: 40, class: gprc, preferred-register: '' }
|
||||
- { id: 41, class: gprc, preferred-register: '' }
|
||||
- { id: 42, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 43, class: gprc, preferred-register: '' }
|
||||
- { id: 44, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 45, class: gprc, preferred-register: '' }
|
||||
- { id: 46, class: gprc, preferred-register: '' }
|
||||
- { id: 47, class: crrc, preferred-register: '' }
|
||||
- { id: 48, class: gprc, preferred-register: '' }
|
||||
- { id: 49, class: gprc, preferred-register: '' }
|
||||
- { id: 50, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 51, class: g8rc, preferred-register: '' }
|
||||
- { id: 52, class: gprc, preferred-register: '' }
|
||||
- { id: 53, class: gprc, preferred-register: '' }
|
||||
- { id: 54, class: g8rc_and_g8rc_nox0, preferred-register: '' }
|
||||
- { id: 55, class: gprc, preferred-register: '' }
|
||||
- { id: 56, class: gprc, preferred-register: '' }
|
||||
liveins:
|
||||
- { reg: '$x3', virtual-reg: '%5' }
|
||||
- { reg: '$x4', virtual-reg: '%6' }
|
||||
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: |
|
||||
; CHECK-LABEL: name: phi_eliminate
|
||||
; CHECK: bb.0 (%ir-block.3):
|
||||
; CHECK: successors: %bb.1(0x80000000)
|
||||
; CHECK: liveins: $x3, $x4
|
||||
; CHECK: %6:g8rc = COPY killed $x4
|
||||
; CHECK: %5:g8rc = COPY killed $x3
|
||||
; CHECK: %9:gprc = COPY killed %6.sub_32
|
||||
; CHECK: %8:gprc = COPY killed %5.sub_32
|
||||
; CHECK: MTCTR8loop undef %10:g8rc, implicit-def dead $ctr8
|
||||
; CHECK: %14:gprc_and_gprc_nor0 = LI 55
|
||||
; CHECK: %15:gprc_and_gprc_nor0 = LI 48
|
||||
|
||||
; CHECK: bb.1 (%ir-block.4):
|
||||
; CHECK: successors: %bb.2(0x40000000), %bb.7(0x40000000)
|
||||
; CHECK: %19:gprc = DIVW %8, %9
|
||||
; CHECK: BDNZ8 %bb.2, implicit-def $ctr8, implicit $ctr8
|
||||
|
||||
; CHECK: bb.7:
|
||||
; CHECK: successors: %bb.5(0x80000000)
|
||||
; CHECK: %61:gprc = COPY killed %8
|
||||
; CHECK: %62:g8rc_and_g8rc_nox0 = IMPLICIT_DEF
|
||||
; CHECK: %63:gprc = COPY killed %19
|
||||
; CHECK: B %bb.5
|
||||
|
||||
; CHECK: bb.2 (%ir-block.4):
|
||||
; CHECK: successors: %bb.3(0x40000000), %bb.4(0x40000000)
|
||||
; CHECK: %20:gprc = nsw MULLW %19, %9
|
||||
; CHECK: %21:gprc = SUBF killed %20, killed %8
|
||||
; CHECK: %22:crrc = CMPLWI %21, 10
|
||||
; CHECK: %23:gprc = ISEL %15, %14, killed %22.sub_lt
|
||||
; CHECK: %24:gprc = ADD4 killed %23, killed %21
|
||||
; CHECK: %25:g8rc_and_g8rc_nox0 = STBU killed %24, -1, undef %0:g8rc_and_g8rc_nox0 :: (store 1 into %ir.7)
|
||||
; CHECK: %26:gprc = DIVW %19, %9
|
||||
; CHECK: %57:gprc = COPY killed %26
|
||||
; CHECK: %58:gprc = COPY %19
|
||||
; CHECK: %59:g8rc_and_g8rc_nox0 = COPY killed %25
|
||||
; CHECK: %60:gprc = COPY killed %19
|
||||
; CHECK: BDZ8 %bb.4, implicit-def $ctr8, implicit $ctr8
|
||||
; CHECK: B %bb.3
|
||||
|
||||
; CHECK: bb.3 (%ir-block.4):
|
||||
; CHECK: successors: %bb.3(0x7c000000), %bb.4(0x04000000)
|
||||
; CHECK: %38:g8rc_and_g8rc_nox0 = COPY killed %59
|
||||
; CHECK: %37:gprc = COPY killed %57
|
||||
; CHECK: %36:gprc = COPY killed %58
|
||||
; CHECK: %35:gprc = COPY %57
|
||||
; CHECK: %27:g8rc_and_g8rc_nox0 = COPY killed %38
|
||||
; CHECK: %56:gprc = COPY %35
|
||||
; CHECK: %28:gprc = DIVW %56, %9
|
||||
; CHECK: %29:gprc = nsw MULLW killed %37, %9
|
||||
; CHECK: %30:gprc = SUBF killed %29, killed %36
|
||||
; CHECK: %31:crrc = CMPLWI %30, 10
|
||||
; CHECK: %32:gprc = ISEL %15, %14, killed %31.sub_lt
|
||||
; CHECK: %33:gprc = ADD4 killed %32, killed %30
|
||||
; CHECK: %34:g8rc_and_g8rc_nox0 = STBU killed %33, -1, killed %27 :: (store unknown-size into %ir.7, align 1)
|
||||
; CHECK: %57:gprc = COPY killed %28
|
||||
; CHECK: %58:gprc = COPY killed %35
|
||||
; CHECK: %59:g8rc_and_g8rc_nox0 = COPY killed %34
|
||||
; CHECK: %60:gprc = COPY killed %56
|
||||
; CHECK: BDNZ8 %bb.3, implicit-def $ctr8, implicit $ctr8
|
||||
; CHECK: B %bb.4
|
||||
|
||||
; CHECK: bb.4:
|
||||
; CHECK: successors: %bb.5(0x80000000)
|
||||
; CHECK: %44:g8rc_and_g8rc_nox0 = COPY killed %59
|
||||
; CHECK: %43:gprc = COPY killed %57
|
||||
; CHECK: %41:gprc = COPY killed %60
|
||||
; CHECK: %39:g8rc = COPY killed %44
|
||||
; CHECK: %61:gprc = COPY killed %41
|
||||
; CHECK: %62:g8rc_and_g8rc_nox0 = COPY killed %39
|
||||
; CHECK: %63:gprc = COPY killed %43
|
||||
|
||||
; CHECK: bb.5:
|
||||
; CHECK: successors: %bb.6(0x80000000)
|
||||
; CHECK: %55:gprc = COPY killed %63
|
||||
; CHECK: %54:g8rc_and_g8rc_nox0 = COPY killed %62
|
||||
; CHECK: %53:gprc = COPY killed %61
|
||||
; CHECK: %45:gprc = nsw MULLW killed %55, killed %9
|
||||
; CHECK: %46:gprc = SUBF killed %45, killed %53
|
||||
; CHECK: %47:crrc = CMPLWI %46, 10
|
||||
; CHECK: %48:gprc = ISEL killed %15, killed %14, killed %47.sub_lt
|
||||
; CHECK: %49:gprc = ADD4 killed %48, killed %46
|
||||
; CHECK: dead %50:g8rc_and_g8rc_nox0 = STBU killed %49, -1, killed %54 :: (store unknown-size into %ir.7, align 1)
|
||||
; CHECK: B %bb.6
|
||||
|
||||
; CHECK: bb.6 (%ir-block.16):
|
||||
; CHECK: BLR8 implicit $lr8, implicit $rm
|
||||
|
||||
bb.0 (%ir-block.3):
|
||||
successors: %bb.1(0x80000000)
|
||||
liveins: $x3, $x4
|
||||
|
||||
%6:g8rc = COPY killed $x4
|
||||
%5:g8rc = COPY killed $x3
|
||||
%9:gprc = COPY killed %6.sub_32
|
||||
%8:gprc = COPY killed %5.sub_32
|
||||
MTCTR8loop undef %10:g8rc, implicit-def dead $ctr8
|
||||
%14:gprc_and_gprc_nor0 = LI 55
|
||||
%15:gprc_and_gprc_nor0 = LI 48
|
||||
|
||||
bb.1 (%ir-block.4):
|
||||
successors: %bb.2(0x40000000), %bb.5(0x40000000)
|
||||
|
||||
%19:gprc = DIVW %8, %9
|
||||
BDZ8 %bb.5, implicit-def $ctr8, implicit $ctr8
|
||||
B %bb.2
|
||||
|
||||
bb.2 (%ir-block.4):
|
||||
successors: %bb.3(0x40000000), %bb.4(0x40000000)
|
||||
|
||||
%20:gprc = nsw MULLW %19, %9
|
||||
%21:gprc = SUBF killed %20, killed %8
|
||||
%22:crrc = CMPLWI %21, 10
|
||||
%23:gprc = ISEL %15, %14, killed %22.sub_lt
|
||||
%24:gprc = ADD4 killed %23, killed %21
|
||||
%25:g8rc_and_g8rc_nox0 = STBU killed %24, -1, undef %0:g8rc_and_g8rc_nox0 :: (store 1 into %ir.7)
|
||||
%26:gprc = DIVW %19, %9
|
||||
BDZ8 %bb.4, implicit-def $ctr8, implicit $ctr8
|
||||
B %bb.3
|
||||
|
||||
bb.3 (%ir-block.4):
|
||||
successors: %bb.3(0x7c000000), %bb.4(0x04000000)
|
||||
|
||||
%35:gprc = PHI %26, %bb.2, %28, %bb.3
|
||||
%36:gprc = PHI %19, %bb.2, %35, %bb.3
|
||||
%37:gprc = PHI %26, %bb.2, %28, %bb.3
|
||||
%38:g8rc_and_g8rc_nox0 = PHI %25, %bb.2, %34, %bb.3
|
||||
%27:g8rc_and_g8rc_nox0 = COPY killed %38
|
||||
%56:gprc = COPY %35
|
||||
%28:gprc = DIVW %56, %9
|
||||
%29:gprc = nsw MULLW killed %37, %9
|
||||
%30:gprc = SUBF killed %29, killed %36
|
||||
%31:crrc = CMPLWI %30, 10
|
||||
%32:gprc = ISEL %15, %14, killed %31.sub_lt
|
||||
%33:gprc = ADD4 killed %32, killed %30
|
||||
%34:g8rc_and_g8rc_nox0 = STBU killed %33, -1, killed %27 :: (store unknown-size into %ir.7, align 1)
|
||||
BDNZ8 %bb.3, implicit-def $ctr8, implicit $ctr8
|
||||
B %bb.4
|
||||
|
||||
bb.4:
|
||||
successors: %bb.5(0x80000000)
|
||||
|
||||
%41:gprc = PHI %19, %bb.2, %56, %bb.3
|
||||
%43:gprc = PHI %26, %bb.2, %28, %bb.3
|
||||
%44:g8rc_and_g8rc_nox0 = PHI %25, %bb.2, %34, %bb.3
|
||||
%39:g8rc = COPY killed %44
|
||||
|
||||
bb.5:
|
||||
successors: %bb.6(0x80000000)
|
||||
|
||||
%53:gprc = PHI %8, %bb.1, %41, %bb.4
|
||||
%54:g8rc_and_g8rc_nox0 = PHI undef %0:g8rc_and_g8rc_nox0, %bb.1, %39, %bb.4
|
||||
%55:gprc = PHI %19, %bb.1, %43, %bb.4
|
||||
%45:gprc = nsw MULLW killed %55, killed %9
|
||||
%46:gprc = SUBF killed %45, killed %53
|
||||
%47:crrc = CMPLWI %46, 10
|
||||
%48:gprc = ISEL killed %15, killed %14, killed %47.sub_lt
|
||||
%49:gprc = ADD4 killed %48, killed %46
|
||||
dead %50:g8rc_and_g8rc_nox0 = STBU killed %49, -1, killed %54 :: (store unknown-size into %ir.7, align 1)
|
||||
B %bb.6
|
||||
|
||||
bb.6 (%ir-block.16):
|
||||
BLR8 implicit $lr8, implicit $rm
|
||||
|
||||
...
|
||||
Loading…
Reference in New Issue