diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2014-09-07 21:37:59 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2014-09-07 21:37:59 +0000 |
| commit | cebf0cc210edeb839894b0e93da1c5787bd5b68b (patch) | |
| tree | d628ca552117052f0b77bb3fcbbc1cdc7e7298af /llvm/lib/Transforms/IPO/BarrierNoopPass.cpp | |
| parent | 3b484f8e27eb821003f4e87d310f197975cf9296 (diff) | |
| download | bcm5719-llvm-cebf0cc210edeb839894b0e93da1c5787bd5b68b.tar.gz bcm5719-llvm-cebf0cc210edeb839894b0e93da1c5787bd5b68b.zip | |
Make use @llvm.assume for loop guards in ScalarEvolution
This adds a basic (but important) use of @llvm.assume calls in ScalarEvolution.
When SE is attempting to validate a condition guarding a loop (such as whether
or not the loop count can be zero), this check should also include dominating
assumptions.
llvm-svn: 217348
Diffstat (limited to 'llvm/lib/Transforms/IPO/BarrierNoopPass.cpp')
0 files changed, 0 insertions, 0 deletions
