diff options
| author | Chris Lattner <sabre@nondot.org> | 2007-06-15 05:58:24 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2007-06-15 05:58:24 +0000 |
| commit | 003b6200df4014ae54d30c938cb852da1bed5539 (patch) | |
| tree | ba0d5a4145922a23a2b11da2144ed56f0319b75b /lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | 546fdae3700029654dd12b448246be6cb024b7a3 (diff) | |
Implement two xforms:
1. ~(~X | Y) === (X & ~Y)
2. (A|B) & ~(A&B) -> A^B
This allows us to transform ~(~(a|b) | (a&b)) -> a^b.
This implements PR1510 for scalar values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37584 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolutionExpander.cpp')
0 files changed, 0 insertions, 0 deletions