RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 19:12:56 +02:00
Code Issues Projects Releases Wiki Activity

[InstCombine] Fix call guard difference with dbg

Browse Source 
Patch by Chris Ye!

Differential Revision: https://reviews.llvm.org/D68004
This commit is contained in:
Davide Italiano 2019-11-22 13:02:18 -08:00
parent 055646cac9
commit a7bfad4fdc
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Transforms/InstCombine/InstCombineCalls.cpp
View File

@ -4060,12 +4060,12 @@ Instruction *InstCombiner::visitCallInst(CallInst &CI) {
// Is this guard followed by another guard? We scan forward over a small // Is this guard followed by another guard? We scan forward over a small
// fixed window of instructions to handle common cases with conditions // fixed window of instructions to handle common cases with conditions
// computed between guards. // computed between guards.
Instruction *NextInst = II->getNextNode(); Instruction *NextInst = II->getNextNonDebugInstruction();
for (unsigned i = 0; i < GuardWideningWindow; i++) { for (unsigned i = 0; i < GuardWideningWindow; i++) {
// Note: Using context-free form to avoid compile time blow up // Note: Using context-free form to avoid compile time blow up
if (!isSafeToSpeculativelyExecute(NextInst)) if (!isSafeToSpeculativelyExecute(NextInst))
break; break;
NextInst = NextInst->getNextNode(); NextInst = NextInst->getNextNonDebugInstruction();
} }
Value *NextCond = nullptr; Value *NextCond = nullptr;
if (match(NextInst, if (match(NextInst,
@ -4077,10 +4077,10 @@ Instruction *InstCombiner::visitCallInst(CallInst &CI) {
return eraseInstFromFunction(*NextInst); return eraseInstFromFunction(*NextInst);
// Otherwise canonicalize guard(a); guard(b) -> guard(a & b). // Otherwise canonicalize guard(a); guard(b) -> guard(a & b).
Instruction* MoveI = II->getNextNode(); Instruction *MoveI = II->getNextNonDebugInstruction();
while (MoveI != NextInst) { while (MoveI != NextInst) {
auto *Temp = MoveI; auto *Temp = MoveI;
MoveI = MoveI->getNextNode(); MoveI = MoveI->getNextNonDebugInstruction();
Temp->moveBefore(II); Temp->moveBefore(II);
} }
II->setArgOperand(0, Builder.CreateAnd(CurrCond, NextCond)); II->setArgOperand(0, Builder.CreateAnd(CurrCond, NextCond));

1
test/Transforms/InstCombine/call-guard.ll
View File

@ -1,4 +1,5 @@
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -instcombine -S | FileCheck %s
; RUN: opt < %s -instcombine -S -debugify-each | FileCheck %s
declare void @llvm.experimental.guard(i1, ...) declare void @llvm.experimental.guard(i1, ...)