1 | ; RUN: opt -lint -disable-output %s 2>&1 | FileCheck %s |
---|
2 | |
---|
3 | define <2 x i32> @use_vector_sdiv(<2 x i32> %a) nounwind { |
---|
4 | %b = sdiv <2 x i32> %a, <i32 5, i32 8> |
---|
5 | ret <2 x i32> %b |
---|
6 | } |
---|
7 | |
---|
8 | define <2 x i32> @use_vector_srem(<2 x i32> %a) nounwind { |
---|
9 | %b = srem <2 x i32> %a, <i32 5, i32 8> |
---|
10 | ret <2 x i32> %b |
---|
11 | } |
---|
12 | |
---|
13 | define <2 x i32> @use_vector_udiv(<2 x i32> %a) nounwind { |
---|
14 | %b = udiv <2 x i32> %a, <i32 5, i32 8> |
---|
15 | ret <2 x i32> %b |
---|
16 | } |
---|
17 | |
---|
18 | define <2 x i32> @use_vector_urem(<2 x i32> %a) nounwind { |
---|
19 | %b = urem <2 x i32> %a, <i32 5, i32 8> |
---|
20 | ret <2 x i32> %b |
---|
21 | } |
---|
22 | |
---|
23 | define i32 @use_sdiv_by_zero(i32 %a) nounwind { |
---|
24 | ; CHECK: Undefined behavior: Division by zero |
---|
25 | ; CHECK-NEXT: %b = sdiv i32 %a, 0 |
---|
26 | %b = sdiv i32 %a, 0 |
---|
27 | ret i32 %b |
---|
28 | } |
---|
29 | |
---|
30 | define i32 @use_sdiv_by_zeroinitializer(i32 %a) nounwind { |
---|
31 | ; CHECK: Undefined behavior: Division by zero |
---|
32 | ; CHECK-NEXT: %b = sdiv i32 %a, 0 |
---|
33 | %b = sdiv i32 %a, zeroinitializer |
---|
34 | ret i32 %b |
---|
35 | } |
---|
36 | |
---|
37 | define <2 x i32> @use_vector_sdiv_by_zero_x(<2 x i32> %a) nounwind { |
---|
38 | ; CHECK: Undefined behavior: Division by zero |
---|
39 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, <i32 0, i32 5> |
---|
40 | %b = sdiv <2 x i32> %a, <i32 0, i32 5> |
---|
41 | ret <2 x i32> %b |
---|
42 | } |
---|
43 | |
---|
44 | define <2 x i32> @use_vector_sdiv_by_zero_y(<2 x i32> %a) nounwind { |
---|
45 | ; CHECK: Undefined behavior: Division by zero |
---|
46 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, <i32 4, i32 0> |
---|
47 | %b = sdiv <2 x i32> %a, <i32 4, i32 0> |
---|
48 | ret <2 x i32> %b |
---|
49 | } |
---|
50 | |
---|
51 | define <2 x i32> @use_vector_sdiv_by_zero_xy(<2 x i32> %a) nounwind { |
---|
52 | ; CHECK: Undefined behavior: Division by zero |
---|
53 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, zeroinitializer |
---|
54 | %b = sdiv <2 x i32> %a, <i32 0, i32 0> |
---|
55 | ret <2 x i32> %b |
---|
56 | } |
---|
57 | |
---|
58 | define <2 x i32> @use_vector_sdiv_by_undef_x(<2 x i32> %a) nounwind { |
---|
59 | ; CHECK: Undefined behavior: Division by zero |
---|
60 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, <i32 undef, i32 5> |
---|
61 | %b = sdiv <2 x i32> %a, <i32 undef, i32 5> |
---|
62 | ret <2 x i32> %b |
---|
63 | } |
---|
64 | |
---|
65 | define <2 x i32> @use_vector_sdiv_by_undef_y(<2 x i32> %a) nounwind { |
---|
66 | ; CHECK: Undefined behavior: Division by zero |
---|
67 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, <i32 5, i32 undef> |
---|
68 | %b = sdiv <2 x i32> %a, <i32 5, i32 undef> |
---|
69 | ret <2 x i32> %b |
---|
70 | } |
---|
71 | |
---|
72 | define <2 x i32> @use_vector_sdiv_by_undef_xy(<2 x i32> %a) nounwind { |
---|
73 | ; CHECK: Undefined behavior: Division by zero |
---|
74 | ; CHECK-NEXT: %b = sdiv <2 x i32> %a, undef |
---|
75 | %b = sdiv <2 x i32> %a, <i32 undef, i32 undef> |
---|
76 | ret <2 x i32> %b |
---|
77 | } |
---|
78 | |
---|