4d629f9744
In review of bbde6b, I had originally proposed that we support the legacy text format. As review evolved, it bacame clear this had been a bad idea (too much complexity), but in order to let that patch finally move forward, I approved the change with the variant. This change undoes the variant, and updates all the tests to just use the array form.
298 lines
11 KiB
YAML
298 lines
11 KiB
YAML
# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 %s -o - \
|
|
# RUN: -run-pass=livevars,phi-node-elimination | FileCheck %s
|
|
# RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr9 %s -o - \
|
|
# RUN: --passes='require<live-vars>,phi-node-elimination' | FileCheck %s
|
|
|
|
--- |
|
|
define void @phi_eliminate(i32 %0, i32 %1, ptr %2) {
|
|
%scevgep3 = getelementptr i8, ptr %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 ptr [ %scevgep3, %3 ], [ %7, %4 ]
|
|
%7 = getelementptr i8, ptr %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, ptr %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(ptr, ptr)
|
|
...
|
|
---
|
|
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 (s8) 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 %57
|
|
; CHECK: %36:gprc = COPY killed %58
|
|
; CHECK: %35:gprc = COPY killed %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 (s8) 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
|
|
|
|
...
|