diff options
| author | Bjorn Pettersson <bjorn.a.pettersson@ericsson.com> | 2017-11-02 11:55:14 +0000 |
|---|---|---|
| committer | Bjorn Pettersson <bjorn.a.pettersson@ericsson.com> | 2017-11-02 11:55:14 +0000 |
| commit | e73b85d1abfe7363164c5a7e5f58c1ceaeeb62f9 (patch) | |
| tree | 13a4befded85a9a0c8ee9b8924db6e9947f50324 /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | 242052c6b4bb1090178e23e6d3ca8284474d17cd (diff) | |
| download | bcm5719-llvm-e73b85d1abfe7363164c5a7e5f58c1ceaeeb62f9.tar.gz bcm5719-llvm-e73b85d1abfe7363164c5a7e5f58c1ceaeeb62f9.zip | |
[SimplifyCFG] Discard speculated dbg intrinsics
Summary:
SpeculativelyExecuteBB can flatten the CFG by doing
speculative execution followed by a select instruction.
When the speculatively executed BB contained dbg intrinsics
the result could be a little bit weird, since those dbg
intrinsics were inserted before the select in the flattened
CFG. So when single stepping in the debugger, printing the
value of the variable referenced in the dbg intrinsic, it
could happen that it looked like the variable had values
that never actually were assigned to the variable.
This patch simply discards all dbg intrinsics that were found
in the speculatively executed BB.
Reviewers: aprantl, chandlerc, craig.topper
Reviewed By: aprantl
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D39494
llvm-svn: 317198
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions
