undefined.ll
618 Bytes
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
}