1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
|
; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s
; ScalarEvolution shouldn't attempt to interpret expressions which have
; undefined results.
define void @foo(i64 %x) {
%a = udiv i64 %x, 0
; CHECK: --> (%x /u 0)
%B = shl i64 %x, 64
; CHECK: --> %B
%b = ashr i64 %B, 64
; CHECK: --> %b
%c = lshr i64 %x, 64
; CHECK: --> %c
%d = shl i64 %x, 64
; CHECK: --> %d
%E = shl i64 %x, -1
; CHECK: --> %E
%e = ashr i64 %E, -1
; CHECK: --> %e
%f = lshr i64 %x, -1
; CHECK: --> %f
%g = shl i64 %x, -1
; CHECK: --> %g
%h = bitcast i64 undef to i64
; CHECK: --> undef
ret void
}
|