[PowerPC] fold a bug for rlwinm folding when with full mask.

Reviewed By: steven.zhang

Differential Revision: https://reviews.llvm.org/D81006
This commit is contained in:
Chen Zheng 2020-06-14 21:22:50 -04:00
parent 53c796b948
commit 163162a0a4
2 changed files with 15 additions and 2 deletions

View File

@ -3421,8 +3421,7 @@ bool PPCInstrInfo::simplifyToLI(MachineInstr &MI, MachineInstr &DefMI,
int64_t ME = MI.getOperand(4).getImm(); int64_t ME = MI.getOperand(4).getImm();
APInt InVal(32, SExtImm, true); APInt InVal(32, SExtImm, true);
InVal = InVal.rotl(SH); InVal = InVal.rotl(SH);
// Set the bits ( MB + 32 ) to ( ME + 32 ). APInt Mask = APInt::getBitsSetWithWrap(32, 32 - ME - 1, 32 - MB);
uint64_t Mask = ((1LLU << (32 - MB)) - 1) & ~((1LLU << (31 - ME)) - 1);
InVal &= Mask; InVal &= Mask;
// Can't replace negative values with an LI as that will sign-extend // Can't replace negative values with an LI as that will sign-extend
// and not clear the left bits. If we're setting the CR bit, we will use // and not clear the left bits. If we're setting the CR bit, we will use

View File

@ -168,3 +168,17 @@ body: |
; CHECK: %3:gprc = RLWINM %2, 19, 10, 20 ; CHECK: %3:gprc = RLWINM %2, 19, 10, 20
BLR8 implicit $lr8, implicit $rm BLR8 implicit $lr8, implicit $rm
... ...
---
name: testFoldRLWINMLIWrapMask
#CHECK: name: testFoldRLWINMLIWrapMask
tracksRegLiveness: true
body: |
bb.0.entry:
liveins: $x3
%0:gprc = COPY $x3
%1:gprc = LI 100
; CHECK: %2:gprc = LI 200
%2:gprc = RLWINM %1:gprc, 1, 3, 2
STW %2:gprc, %0:gprc, 100
BLR8 implicit $lr8, implicit $rm
...