Mercurial > hg > CbC > CbC_llvm

annotate test/Transforms/InstCombine/exact.ll @ 120:1172e4bd9c6f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update 4.0.0
author mir3636
date Fri, 25 Nov 2016 19:14:25 +0900
parents 95c75e76d11b
children 803732b1fca8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 ; RUN: opt < %s -instcombine -S | FileCheck %s
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
4 define i32 @sdiv1(i32 %x) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 ; CHECK-LABEL: @sdiv1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
6 ; CHECK-NEXT: [[Y:%.*]] = sdiv i32 %x, 8
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
7 ; CHECK-NEXT: ret i32 [[Y]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
8 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 %y = sdiv i32 %x, 8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 ret i32 %y
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
13 define i32 @sdiv2(i32 %x) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 ; CHECK-LABEL: @sdiv2(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
15 ; CHECK-NEXT: [[Y:%.*]] = ashr exact i32 %x, 3
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
16 ; CHECK-NEXT: ret i32 [[Y]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
17 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 %y = sdiv exact i32 %x, 8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 ret i32 %y
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
22 define <2 x i32> @sdiv2_vec(<2 x i32> %x) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
23 ; CHECK-LABEL: @sdiv2_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
24 ; CHECK-NEXT: [[Y:%.*]] = ashr exact <2 x i32> %x, <i32 7, i32 7>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
25 ; CHECK-NEXT: ret <2 x i32> [[Y]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
26 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
27 %y = sdiv exact <2 x i32> %x, <i32 128, i32 128>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
28 ret <2 x i32> %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
29 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
30
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
31 define i32 @sdiv3(i32 %x) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 ; CHECK-LABEL: @sdiv3(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
33 ; CHECK-NEXT: [[Y:%.*]] = srem i32 %x, 3
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
34 ; CHECK-NEXT: [[Z:%.*]] = sub i32 %x, [[Y]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
35 ; CHECK-NEXT: ret i32 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
36 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 %y = sdiv i32 %x, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 %z = mul i32 %y, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
42 define i32 @sdiv4(i32 %x) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 ; CHECK-LABEL: @sdiv4(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
44 ; CHECK-NEXT: ret i32 %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
45 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 %y = sdiv exact i32 %x, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 %z = mul i32 %y, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 define i32 @sdiv5(i32 %x) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
52 ; CHECK-LABEL: @sdiv5(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
53 ; CHECK-NEXT: [[Y:%.*]] = srem i32 %x, 3
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
54 ; CHECK-NEXT: [[Z:%.*]] = sub i32 [[Y]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
55 ; CHECK-NEXT: ret i32 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
56 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 %y = sdiv i32 %x, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 %z = mul i32 %y, -3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
62 define i32 @sdiv6(i32 %x) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 ; CHECK-LABEL: @sdiv6(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
64 ; CHECK-NEXT: [[Z:%.*]] = sub i32 0, %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
65 ; CHECK-NEXT: ret i32 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
66 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 %y = sdiv exact i32 %x, 3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 %z = mul i32 %y, -3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
72 define i32 @udiv1(i32 %x, i32 %w) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 ; CHECK-LABEL: @udiv1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
74 ; CHECK-NEXT: ret i32 %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
75 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 %y = udiv exact i32 %x, %w
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 %z = mul i32 %y, %w
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
81 define i32 @udiv2(i32 %x, i32 %w) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 ; CHECK-LABEL: @udiv2(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
83 ; CHECK-NEXT: [[Z:%.*]] = lshr exact i32 %x, %w
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
84 ; CHECK-NEXT: ret i32 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
85 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 %y = shl i32 1, %w
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 %z = udiv exact i32 %x, %y
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 ret i32 %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
91 define i64 @ashr1(i64 %X) nounwind {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 ; CHECK-LABEL: @ashr1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
93 ; CHECK-NEXT: [[A:%.*]] = shl i64 %X, 8
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
94 ; CHECK-NEXT: [[B:%.*]] = ashr exact i64 [[A]], 2
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
95 ; CHECK-NEXT: ret i64 [[B]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
96 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 %A = shl i64 %X, 8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 %B = ashr i64 %A, 2 ; X/4
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 ret i64 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 ; PR9120
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
103 define i1 @ashr_icmp1(i64 %X) nounwind {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 ; CHECK-LABEL: @ashr_icmp1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
105 ; CHECK-NEXT: [[B:%.*]] = icmp eq i64 %X, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
106 ; CHECK-NEXT: ret i1 [[B]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
107 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 %A = ashr exact i64 %X, 2 ; X/4
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 %B = icmp eq i64 %A, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
113 define i1 @ashr_icmp2(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 ; CHECK-LABEL: @ashr_icmp2(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
115 ; CHECK-NEXT: [[Z:%.*]] = icmp slt i64 %X, 16
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
116 ; CHECK-NEXT: ret i1 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
117 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
118 %Y = ashr exact i64 %X, 2 ; x / 4
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
119 %Z = icmp slt i64 %Y, 4 ; x < 16
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
120 ret i1 %Z
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
121 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
122
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
123 define <2 x i1> @ashr_icmp2_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
124 ; CHECK-LABEL: @ashr_icmp2_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
125 ; CHECK-NEXT: [[Z:%.*]] = icmp slt <2 x i64> %X, <i64 16, i64 16>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
126 ; CHECK-NEXT: ret <2 x i1> [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
127 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
128 %Y = ashr exact <2 x i64> %X, <i64 2, i64 2>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
129 %Z = icmp slt <2 x i64> %Y, <i64 4, i64 4>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
130 ret <2 x i1> %Z
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
132
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 ; PR9998
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 ; Make sure we don't transform the ashr here into an sdiv
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
135 define i1 @pr9998(i32 %V) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 ; CHECK-LABEL: @pr9998(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
137 ; CHECK-NEXT: [[W_MASK:%.*]] = and i32 %V, 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
138 ; CHECK-NEXT: [[Z:%.*]] = icmp ne i32 [[W_MASK]], 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
139 ; CHECK-NEXT: ret i1 [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
140 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 %W = shl i32 %V, 31
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 %X = ashr exact i32 %W, 31
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 %Y = sext i32 %X to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 %Z = icmp ugt i64 %Y, 7297771788697658747
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 ret i1 %Z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
148 ; FIXME: Vectors should fold the same way.
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
149 define <2 x i1> @pr9998vec(<2 x i32> %V) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
150 ; CHECK-LABEL: @pr9998vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
151 ; CHECK-NEXT: [[W:%.*]] = shl <2 x i32> %V, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
152 ; CHECK-NEXT: [[X:%.*]] = ashr exact <2 x i32> [[W]], <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
153 ; CHECK-NEXT: [[Y:%.*]] = sext <2 x i32> [[X]] to <2 x i64>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
154 ; CHECK-NEXT: [[Z:%.*]] = icmp ugt <2 x i64> [[Y]], <i64 7297771788697658747, i64 7297771788697658747>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
155 ; CHECK-NEXT: ret <2 x i1> [[Z]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
156 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
157 %W = shl <2 x i32> %V, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
158 %X = ashr exact <2 x i32> %W, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
159 %Y = sext <2 x i32> %X to <2 x i64>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
160 %Z = icmp ugt <2 x i64> %Y, <i64 7297771788697658747, i64 7297771788697658747>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
161 ret <2 x i1> %Z
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
162 }
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
164 define i1 @udiv_icmp1(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 ; CHECK-LABEL: @udiv_icmp1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
166 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ne i64 %X, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
167 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
168 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 %A = udiv exact i64 %X, 5 ; X/5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 %B = icmp ne i64 %A, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
174 define <2 x i1> @udiv_icmp1_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
175 ; CHECK-LABEL: @udiv_icmp1_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
176 ; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <2 x i64> %X, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
177 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
178 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
179 %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
180 %B = icmp ne <2 x i64> %A, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
181 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
182 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
183
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
184 define i1 @udiv_icmp2(i64 %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
185 ; CHECK-LABEL: @udiv_icmp2(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
186 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
187 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
188 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
189 %A = udiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
190 %B = icmp eq i64 %A, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
191 ret i1 %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
192 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
193
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
194 define <2 x i1> @udiv_icmp2_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
195 ; CHECK-LABEL: @udiv_icmp2_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
196 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
197 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
198 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
199 %A = udiv exact <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
200 %B = icmp eq <2 x i64> %A, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
201 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
202 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
203
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
204 define i1 @sdiv_icmp1(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 ; CHECK-LABEL: @sdiv_icmp1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
206 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
207 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
208 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 %A = sdiv exact i64 %X, 5 ; X/5 == 0 --> x == 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 %B = icmp eq i64 %A, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
213
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
214 define <2 x i1> @sdiv_icmp1_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
215 ; CHECK-LABEL: @sdiv_icmp1_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
216 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
217 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
218 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
219 %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
220 %B = icmp eq <2 x i64> %A, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
221 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
222 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
223
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
224 define i1 @sdiv_icmp2(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 ; CHECK-LABEL: @sdiv_icmp2(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
226 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, 5
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
227 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
228 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 %A = sdiv exact i64 %X, 5 ; X/5 == 1 --> x == 5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
230 %B = icmp eq i64 %A, 1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
233
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
234 define <2 x i1> @sdiv_icmp2_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
235 ; CHECK-LABEL: @sdiv_icmp2_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
236 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
237 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
238 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
239 %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
240 %B = icmp eq <2 x i64> %A, <i64 1, i64 1>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
241 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
242 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
243
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
244 define i1 @sdiv_icmp3(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 ; CHECK-LABEL: @sdiv_icmp3(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
246 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, -5
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
247 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
248 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 %A = sdiv exact i64 %X, 5 ; X/5 == -1 --> x == -5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 %B = icmp eq i64 %A, -1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
253
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
254 define <2 x i1> @sdiv_icmp3_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
255 ; CHECK-LABEL: @sdiv_icmp3_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
256 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, <i64 -5, i64 -5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
257 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
258 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
259 %A = sdiv exact <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
260 %B = icmp eq <2 x i64> %A, <i64 -1, i64 -1>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
261 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
262 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
263
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
264 define i1 @sdiv_icmp4(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 ; CHECK-LABEL: @sdiv_icmp4(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
266 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
267 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
268 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 %A = sdiv exact i64 %X, -5 ; X/-5 == 0 --> x == 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 %B = icmp eq i64 %A, 0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
271 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
273
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
274 define <2 x i1> @sdiv_icmp4_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
275 ; CHECK-LABEL: @sdiv_icmp4_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
276 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
277 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
278 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
279 %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
280 %B = icmp eq <2 x i64> %A, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
281 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
282 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
283
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
284 define i1 @sdiv_icmp5(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
285 ; CHECK-LABEL: @sdiv_icmp5(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
286 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, -5
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
287 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
288 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
289 %A = sdiv exact i64 %X, -5 ; X/-5 == 1 --> x == -5
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
290 %B = icmp eq i64 %A, 1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
291 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
293
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
294 define <2 x i1> @sdiv_icmp5_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
295 ; CHECK-LABEL: @sdiv_icmp5_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
296 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, <i64 -5, i64 -5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
297 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
298 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
299 %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
300 %B = icmp eq <2 x i64> %A, <i64 1, i64 1>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
301 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
302 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
303
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
304 define i1 @sdiv_icmp6(i64 %X) {
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 ; CHECK-LABEL: @sdiv_icmp6(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
306 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i64 %X, 5
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
307 ; CHECK-NEXT: ret i1 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
308 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
309 %A = sdiv exact i64 %X, -5 ; X/-5 == -1 --> x == 5
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 %B = icmp eq i64 %A, -1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 ret i1 %B
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
313
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
314 define <2 x i1> @sdiv_icmp6_vec(<2 x i64> %X) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
315 ; CHECK-LABEL: @sdiv_icmp6_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
316 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i64> %X, <i64 5, i64 5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
317 ; CHECK-NEXT: ret <2 x i1> [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
318 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
319 %A = sdiv exact <2 x i64> %X, <i64 -5, i64 -5>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
320 %B = icmp eq <2 x i64> %A, <i64 -1, i64 -1>
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
321 ret <2 x i1> %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
322 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 0
diff changeset
323