| Dan Gohman | 8a977e2 | 2010-01-26 19:25:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -scalar-evolution -analyze \ |
| Chandler Carruth | 4177e6f | 2012-07-02 12:47:22 +0000 | [diff] [blame] | 2 | ; RUN: | grep "\--> (zext i4 (-8 + (trunc i64 (8 \* %x) to i4)) to i64)" |
| Dan Gohman | 3034c10 | 2009-06-17 01:22:39 +0000 | [diff] [blame] | 3 | |
| Dan Gohman | 8205283 | 2009-06-18 00:00:20 +0000 | [diff] [blame] | 4 | ; ScalarEvolution shouldn't try to analyze %z into something like |
| Dan Gohman | 3034c10 | 2009-06-17 01:22:39 +0000 | [diff] [blame] | 5 | ; --> (zext i4 (-1 + (-1 * (trunc i64 (8 * %x) to i4))) to i64) |
| 6 | |
| 7 | define i64 @foo(i64 %x) { |
| 8 | %a = shl i64 %x, 3 |
| 9 | %t = and i64 %a, 8 |
| 10 | %z = xor i64 %t, 8 |
| 11 | ret i64 %z |
| 12 | } |