| commit | 5cb8ab5b5af971ee589f2659529a5759378c76ad | [log] [tgz] |
|---|---|---|
| author | Hal Finkel <hfinkel@anl.gov> | Fri Jul 25 21:45:17 2014 +0000 |
| committer | Hal Finkel <hfinkel@anl.gov> | Fri Jul 25 21:45:17 2014 +0000 |
| tree | b24f2a27c94b556eefffd3a74452cd905adbb5d8 | |
| parent | a7f2c540fa1810cb8d6253c23dc77d99d3a2e4d0 [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) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213977 91177308-0d34-0410-b5e6-96231b3b80d8