| Dan Gohman | e49ae43 | 2009-06-17 01:22:39 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -scalar-evolution -disable-output -analyze | grep {\\--> %z} |
| 2 | |||||
| 3 | ; ScalarEvolution shouldn't try to analyze %s into something like | ||||
| 4 | ; --> (zext i4 (-1 + (-1 * (trunc i64 (8 * %x) to i4))) to i64) | ||||
| 5 | |||||
| 6 | define i64 @foo(i64 %x) { | ||||
| 7 | %a = shl i64 %x, 3 | ||||
| 8 | %t = and i64 %a, 8 | ||||
| 9 | %z = xor i64 %t, 8 | ||||
| 10 | ret i64 %z | ||||
| 11 | } | ||||