50153213c8
Only tests in llvm/test/Analysis. -analyze is legacy PM-specific. This only touches files with `-passes`. I looked through everything and made sure that everything had a new PM equivalent. Reviewed By: MaskRay Differential Revision: https://reviews.llvm.org/D109040
40 lines
646 B
LLVM
40 lines
646 B
LLVM
; RUN: opt -disable-output "-passes=print<scalar-evolution>" < %s 2>&1 | 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
|
|
}
|