projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1981944) | patch
Canonicalization for @llvm.assume
authorHal Finkel <hfinkel@anl.gov>
Fri, 25 Jul 2014 21:45:17 +0000 (21:45 +0000)
committerHal Finkel <hfinkel@anl.gov>
Fri, 25 Jul 2014 21:45:17 +0000 (21:45 +0000)
commitf5867a79c5e908a5bcebb4d88b5be4ef4baacc2b
treeef9f96e09ad9dcd09430edae8fcc9a85f1f3530etree | snapshot
parent19819446eb29883725e579167243b30df4eb46c0commit | 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
llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp diff | blob | history
llvm/test/Transforms/InstCombine/assume.ll [new file with mode: 0644] blob
Domain: System / Toolchain;