[LoopAccesses] Properly print whether memchecks are needed
[oota-llvm.git] / test / Analysis / ScalarEvolution / div-overflow.ll
1 ; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
2
3 ; CHECK: -->  ((-128 * %a) /u -128)
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 }