test/Analysis/ScalarEvolution/div-overflow.ll


1
2
3
4
5
6
7
8
9
10

; RUN: opt < %s -scalar-evolution -analyze \
; RUN:  | grep "\-->  ((-128 \* %a) /u -128)"

; Don't let ScalarEvolution fold this div away.

define i8 @foo(i8 %a) {
        %t0 = shl i8 %a, 7
        %t1 = lshr i8 %t0, 7
        ret i8 %t1
}