undefined.ll   [plain text]

; 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
}