diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-06-14 20:23:16 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-06-14 20:23:16 +0000 |
| commit | d7e8206b58c0a5a6427fa75df734e71692eb31a4 (patch) | |
| tree | 98888ebf864dd4a70ce30414f3716d64e42d86db /llvm/lib/IR/Function.cpp | |
| parent | f8b91f8336e6850e0e7107414d61ff99baff57bd (diff) | |
| download | bcm5719-llvm-d7e8206b58c0a5a6427fa75df734e71692eb31a4.tar.gz bcm5719-llvm-d7e8206b58c0a5a6427fa75df734e71692eb31a4.zip | |
[ValueTracking] Calls to @llvm.assume always return
This change teaches llvm::isGuaranteedToTransferExecutionToSuccessor
that calls to @llvm.assume always terminate. Most other relevant
intrinsics should be covered by the "CS.onlyReadsMemory() ||
CS.onlyAccessesArgMemory()" bit but we were missing @llvm.assumes
because we state that it clobbers memory.
Added an LICM test case, but this change is not specific to LICM.
llvm-svn: 272703
Diffstat (limited to 'llvm/lib/IR/Function.cpp')
0 files changed, 0 insertions, 0 deletions
