diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-08-11 22:32:02 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-08-11 22:32:02 +0000 |
| commit | ab07f00c64e109b3e313357f7c226d05659993a6 (patch) | |
| tree | 50b83e3d9e18c0cb8ec4f0d1494d7a66ba3f7e94 /llvm/lib/CodeGen/MachineSink.cpp | |
| parent | 155bbb77133d7315714ca611042565eaa74128f7 (diff) | |
| download | llvm-ab07f00c64e109b3e313357f7c226d05659993a6.zip llvm-ab07f00c64e109b3e313357f7c226d05659993a6.tar.gz llvm-ab07f00c64e109b3e313357f7c226d05659993a6.tar.bz2 | |
InstCombine: Combine (add (and %a, %b) (or %a, %b)) to (add %a, %b)
What follows bellow is a correctness proof of the transform using CVC3.
$ < t.cvc
A, B : BITVECTOR(32);
QUERY BVPLUS(32, A & B, A | B) = BVPLUS(32, A, B);
$ cvc3 < t.cvc
Valid.
llvm-svn: 215400
Diffstat (limited to 'llvm/lib/CodeGen/MachineSink.cpp')
0 files changed, 0 insertions, 0 deletions