Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[LoopRotate + MemorySSA] Keep an <instruction-cloned instruction> map.
Summary: The map kept in loop rotate is used for instruction remapping, in order to simplify the clones of instructions. Thus, if an instruction can be simplified, its simplified value is placed in the map, even when the clone is added to the IR. MemorySSA in contrast needs to know about that clone, so it can add an access for it. To resolve this: keep a different map for MemorySSA. Reviewers: george.burgess.iv Subscribers: jlebar, Prazek, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63680 llvm-svn: 365672
- Loading branch information
Showing
2 changed files
with
34 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
; RUN: opt -loop-rotate -enable-mssa-loop-dependency %s -S | FileCheck %s | ||
; REQUIRES: asserts | ||
|
||
; Check that loop rotate keeps proper mapping between cloned instructions, | ||
; otherwise, MemorySSA will assert. | ||
|
||
; CHECK-LABEL: @f | ||
define void @f() { | ||
entry: | ||
br label %for.body16 | ||
|
||
for.cond.cleanup15: ; preds = %for.body16 | ||
ret void | ||
|
||
for.body16: ; preds = %for.body16.for.body16_crit_edge, %entry | ||
%call.i = tail call float @expf(float 0.000000e+00) #1 | ||
%0 = load float*, float** undef, align 8 | ||
br i1 undef, label %for.cond.cleanup15, label %for.body16.for.body16_crit_edge | ||
|
||
for.body16.for.body16_crit_edge: ; preds = %for.body16 | ||
%.pre = load float, float* undef, align 8 | ||
br label %for.body16 | ||
} | ||
|
||
declare float @expf(float) | ||
|