diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2014-07-25 21:45:17 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2014-07-25 21:45:17 +0000 |
| commit | f5867a79c5e908a5bcebb4d88b5be4ef4baacc2b (patch) | |
| tree | ef9f96e09ad9dcd09430edae8fcc9a85f1f3530e /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 19819446eb29883725e579167243b30df4eb46c0 (diff) | |
Canonicalization for @llvm.assume
Adds simple logical canonicalization of assumption intrinsics to instcombine,
currently:
- invariant(a && b) -> invariant(a); invariant(b)
- invariant(!(a || b)) -> invariant(!a); invariant(!b)
llvm-svn: 213977
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions