| Bill Wendling | 3c3ee1f | 2013-08-22 00:51:19 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s |
| 2 | |||||
| 3 | ; CHECK: --> ((-128 * %a) /u -128) | ||||
| Dan Gohman | b028593 | 2009-05-08 23:11:16 +0000 | [diff] [blame] | 4 | |
| 5 | ; Don't let ScalarEvolution fold this div away. | ||||
| 6 | |||||
| 7 | define i8 @foo(i8 %a) { | ||||
| 8 | %t0 = shl i8 %a, 7 | ||||
| 9 | %t1 = lshr i8 %t0, 7 | ||||
| 10 | ret i8 %t1 | ||||
| 11 | } | ||||