1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 12:41:49 +01:00

[GVNHoist] Invalidate MemDep when an instruction is moved.

See also r279907.

Fixes https://llvm.org/bugs/show_bug.cgi?id=30991 .

Differential Revision: https://reviews.llvm.org/D27493

llvm-svn: 288968
This commit is contained in:
Eli Friedman 2016-12-07 19:55:59 +00:00
parent eb499fd2d5
commit 781ad0c5f8
2 changed files with 34 additions and 0 deletions

View File

@ -802,6 +802,7 @@ private:
// Move the instruction at the end of HoistPt.
Instruction *Last = HoistPt->getTerminator();
MD->removeInstruction(Repl);
Repl->moveBefore(Last);
DFSNumber[Repl] = DFSNumber[Last]++;

View File

@ -711,3 +711,36 @@ return: ; preds = %if.end, %if.then
; CHECK: %[[load:.*]] = load i32, i32* %y, align 1
; CHECK: %[[phi:.*]] = phi i32 [ %[[load]], %{{.*}} ], [ %[[load]], %{{.*}} ]
; CHECK: i32 %[[phi]]
declare i8 @pr30991_f() nounwind readonly
declare void @pr30991_f1(i8)
define i8 @pr30991(i8* %sp, i8* %word, i1 %b1, i1 %b2) {
entry:
br i1 %b1, label %a, label %b
a:
%r0 = load i8, i8* %word, align 1
%incdec.ptr = getelementptr i8, i8* %sp, i32 1
%rr0 = call i8 @pr30991_f() nounwind readonly
call void @pr30991_f1(i8 %r0)
ret i8 %rr0
b:
br i1 %b2, label %c, label %x
c:
%r1 = load i8, i8* %word, align 1
%incdec.ptr115 = getelementptr i8, i8* %sp, i32 1
%rr1 = call i8 @pr30991_f() nounwind readonly
call void @pr30991_f1(i8 %r1)
ret i8 %rr1
x:
%r2 = load i8, i8* %word, align 1
ret i8 %r2
}
; CHECK-LABEL: define i8 @pr30991
; CHECK: %r0 = load i8, i8* %word, align 1
; CHECK-NEXT: br i1 %b1, label %a, label %b