| commit | 003b6200df4014ae54d30c938cb852da1bed5539 | [log] [tgz] |
|---|---|---|
| author | Chris Lattner <sabre@nondot.org> | Fri Jun 15 05:58:24 2007 +0000 |
| committer | Chris Lattner <sabre@nondot.org> | Fri Jun 15 05:58:24 2007 +0000 |
| tree | ba0d5a4145922a23a2b11da2144ed56f0319b75b | |
| 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