Mercurial > hg > CbC > CbC_llvm

annotate test/Transforms/InstCombine/sub.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 afa8332a0e37
children 803732b1fca8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
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 target datalayout = "e-p:64:64:64-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 ; Optimize subtracts.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 ;
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ; RUN: opt < %s -instcombine -S | FileCheck %s
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 define i32 @test1(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 ; CHECK-LABEL: @test1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
10 ; CHECK-NEXT: ret i32 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
11 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
12 %B = sub i32 %A, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
13 ret i32 %B
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 define i32 @test2(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 ; CHECK-LABEL: @test2(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
18 ; CHECK-NEXT: ret i32 %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
19 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
20 %B = sub i32 %A, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
21 ret i32 %B
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 define i32 @test3(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 ; CHECK-LABEL: @test3(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
26 ; CHECK-NEXT: ret i32 %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
27 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
28 %B = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
29 %C = sub i32 0, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
30 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 define i32 @test4(i32 %A, i32 %x) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 ; CHECK-LABEL: @test4(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
35 ; CHECK-NEXT: [[C:%.*]] = add i32 %x, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
36 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
37 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
38 %B = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
39 %C = sub i32 %x, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
40 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 define i32 @test5(i32 %A, i32 %B, i32 %C) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 ; CHECK-LABEL: @test5(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
45 ; CHECK-NEXT: [[D1:%.*]] = sub i32 %C, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
46 ; CHECK-NEXT: [[E:%.*]] = add i32 [[D1]], %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
47 ; CHECK-NEXT: ret i32 [[E]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
48 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
49 %D = sub i32 %B, %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
50 %E = sub i32 %A, %D
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
51 ret i32 %E
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 define i32 @test6(i32 %A, i32 %B) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 ; CHECK-LABEL: @test6(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
56 ; CHECK-NEXT: [[B_NOT:%.*]] = xor i32 %B, -1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
57 ; CHECK-NEXT: [[D:%.*]] = and i32 %A, [[B_NOT]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
58 ; CHECK-NEXT: ret i32 [[D]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
59 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
60 %C = and i32 %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
61 %D = sub i32 %A, %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
62 ret i32 %D
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 define i32 @test7(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 ; CHECK-LABEL: @test7(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
67 ; CHECK-NEXT: [[B:%.*]] = xor i32 %A, -1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
68 ; CHECK-NEXT: ret i32 [[B]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
69 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
70 %B = sub i32 -1, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
71 ret i32 %B
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 define i32 @test8(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 ; CHECK-LABEL: @test8(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
76 ; CHECK-NEXT: [[C:%.*]] = shl i32 %A, 3
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
77 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
78 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
79 %B = mul i32 9, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
80 %C = sub i32 %B, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
81 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 define i32 @test9(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 ; CHECK-LABEL: @test9(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
86 ; CHECK-NEXT: [[C:%.*]] = mul i32 %A, -2
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
87 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
88 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
89 %B = mul i32 3, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
90 %C = sub i32 %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
91 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 define i32 @test10(i32 %A, i32 %B) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 ; CHECK-LABEL: @test10(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
96 ; CHECK-NEXT: [[E:%.*]] = mul i32 %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
97 ; CHECK-NEXT: ret i32 [[E]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
98 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
99 %C = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
100 %D = sub i32 0, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
101 %E = mul i32 %C, %D
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
102 ret i32 %E
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 define i32 @test10a(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 ; CHECK-LABEL: @test10a(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
107 ; CHECK-NEXT: [[E:%.*]] = mul i32 %A, -7
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
108 ; CHECK-NEXT: ret i32 [[E]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
109 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
110 %C = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
111 %E = mul i32 %C, 7
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
112 ret i32 %E
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 define i1 @test11(i8 %A, i8 %B) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 ; CHECK-LABEL: @test11(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
117 ; CHECK-NEXT: [[D:%.*]] = icmp ne i8 %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
118 ; CHECK-NEXT: ret i1 [[D]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
119 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
120 %C = sub i8 %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
121 %D = icmp ne i8 %C, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
122 ret i1 %D
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
123 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
124
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
125 define <2 x i1> @test11vec(<2 x i8> %A, <2 x i8> %B) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
126 ; CHECK-LABEL: @test11vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
127 ; CHECK-NEXT: [[D:%.*]] = icmp ne <2 x i8> %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
128 ; CHECK-NEXT: ret <2 x i1> [[D]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
129 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
130 %C = sub <2 x i8> %A, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
131 %D = icmp ne <2 x i8> %C, zeroinitializer
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
132 ret <2 x i1> %D
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 define i32 @test12(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 ; CHECK-LABEL: @test12(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
137 ; CHECK-NEXT: [[C:%.*]] = lshr i32 %A, 31
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
138 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
139 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
140 %B = ashr i32 %A, 31
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
141 %C = sub i32 0, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
142 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 define i32 @test13(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 ; CHECK-LABEL: @test13(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
147 ; CHECK-NEXT: [[C:%.*]] = ashr i32 %A, 31
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
148 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
149 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
150 %B = lshr i32 %A, 31
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
151 %C = sub i32 0, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
152 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
155 define <2 x i32> @test12vec(<2 x i32> %A) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
156 ; CHECK-LABEL: @test12vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
157 ; CHECK-NEXT: [[C:%.*]] = lshr <2 x i32> %A, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
158 ; CHECK-NEXT: ret <2 x i32> [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
159 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
160 %B = ashr <2 x i32> %A, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
161 %C = sub <2 x i32> zeroinitializer, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
162 ret <2 x i32> %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
163 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
164
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
165 define <2 x i32> @test13vec(<2 x i32> %A) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
166 ; CHECK-LABEL: @test13vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
167 ; CHECK-NEXT: [[C:%.*]] = ashr <2 x i32> %A, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
168 ; CHECK-NEXT: ret <2 x i32> [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
169 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
170 %B = lshr <2 x i32> %A, <i32 31, i32 31>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
171 %C = sub <2 x i32> zeroinitializer, %B
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
172 ret <2 x i32> %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
174
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 define i32 @test15(i32 %A, i32 %B) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 ; CHECK-LABEL: @test15(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
177 ; CHECK-NEXT: [[C:%.*]] = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
178 ; CHECK-NEXT: [[D:%.*]] = srem i32 %B, [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
179 ; CHECK-NEXT: ret i32 [[D]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
180 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
181 %C = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
182 %D = srem i32 %B, %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
183 ret i32 %D
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
185
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 define i32 @test16(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 ; CHECK-LABEL: @test16(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
188 ; CHECK-NEXT: [[Y:%.*]] = sdiv i32 %A, -1123
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
189 ; CHECK-NEXT: ret i32 [[Y]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
190 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
191 %X = sdiv i32 %A, 1123
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
192 %Y = sub i32 0, %X
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
193 ret i32 %Y
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
195
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 ; Can't fold subtract here because negation it might oveflow.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 ; PR3142
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 define i32 @test17(i32 %A) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 ; CHECK-LABEL: @test17(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
200 ; CHECK-NEXT: [[B:%.*]] = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
201 ; CHECK-NEXT: [[C:%.*]] = sdiv i32 [[B]], 1234
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
202 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
203 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
204 %B = sub i32 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
205 %C = sdiv i32 %B, 1234
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
206 ret i32 %C
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
208
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 define i64 @test18(i64 %Y) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 ; CHECK-LABEL: @test18(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
211 ; CHECK-NEXT: ret i64 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
212 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
213 %tmp.4 = shl i64 %Y, 2
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
214 %tmp.12 = shl i64 %Y, 2
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
215 %tmp.8 = sub i64 %tmp.4, %tmp.12
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
216 ret i64 %tmp.8
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
218
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 define i32 @test19(i32 %X, i32 %Y) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 ; CHECK-LABEL: @test19(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
221 ; CHECK-NEXT: ret i32 %X
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
222 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
223 %Z = sub i32 %X, %Y
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
224 %Q = add i32 %Z, %Y
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
225 ret i32 %Q
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
227
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 define i1 @test20(i32 %g, i32 %h) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 ; CHECK-LABEL: @test20(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
230 ; CHECK-NEXT: [[TMP_4:%.*]] = icmp ne i32 %h, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
231 ; CHECK-NEXT: ret i1 [[TMP_4]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
232 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
233 %tmp.2 = sub i32 %g, %h
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
234 %tmp.4 = icmp ne i32 %tmp.2, %g
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
235 ret i1 %tmp.4
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
237
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 define i1 @test21(i32 %g, i32 %h) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 ; CHECK-LABEL: @test21(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
240 ; CHECK-NEXT: [[TMP_4:%.*]] = icmp ne i32 %h, 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
241 ; CHECK-NEXT: ret i1 [[TMP_4]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
242 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
243 %tmp.2 = sub i32 %g, %h
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
244 %tmp.4 = icmp ne i32 %tmp.2, %g
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
245 ret i1 %tmp.4
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
247
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 ; PR2298
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 define zeroext i1 @test22(i32 %a, i32 %b) nounwind {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 ; CHECK-LABEL: @test22(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
251 ; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i32 %b, %a
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
252 ; CHECK-NEXT: ret i1 [[TMP5]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
253 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
254 %tmp2 = sub i32 0, %a
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
255 %tmp4 = sub i32 0, %b
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
256 %tmp5 = icmp eq i32 %tmp2, %tmp4
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
257 ret i1 %tmp5
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
259
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 ; rdar://7362831
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 define i32 @test23(i8* %P, i64 %A){
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
262 ; CHECK-LABEL: @test23(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
263 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %A to i32
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
264 ; CHECK-NEXT: ret i32 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
265 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
266 %B = getelementptr inbounds i8, i8* %P, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 %C = ptrtoint i8* %B to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
268 %D = trunc i64 %C to i32
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 %E = ptrtoint i8* %P to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 %F = trunc i64 %E to i32
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
271 %G = sub i32 %D, %F
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 ret i32 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
273 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
274
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
275 define i8 @test23_as1(i8 addrspace(1)* %P, i16 %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
276 ; CHECK-LABEL: @test23_as1(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
277 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i16 %A to i8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
278 ; CHECK-NEXT: ret i8 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
279 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
280 %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
281 %C = ptrtoint i8 addrspace(1)* %B to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 %D = trunc i16 %C to i8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
283 %E = ptrtoint i8 addrspace(1)* %P to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
284 %F = trunc i16 %E to i8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
285 %G = sub i8 %D, %F
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 ret i8 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
287 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
288
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
289 define i64 @test24(i8* %P, i64 %A){
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
290 ; CHECK-LABEL: @test24(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
291 ; CHECK-NEXT: ret i64 %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
292 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
293 %B = getelementptr inbounds i8, i8* %P, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
294 %C = ptrtoint i8* %B to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
295 %E = ptrtoint i8* %P to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 %G = sub i64 %C, %E
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
297 ret i64 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
299
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
300 define i16 @test24_as1(i8 addrspace(1)* %P, i16 %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
301 ; CHECK-LABEL: @test24_as1(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
302 ; CHECK-NEXT: ret i16 %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
303 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
304 %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 %C = ptrtoint i8 addrspace(1)* %B to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 %E = ptrtoint i8 addrspace(1)* %P to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 %G = sub i16 %C, %E
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
308 ret i16 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
310
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 define i64 @test24a(i8* %P, i64 %A){
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
312 ; CHECK-LABEL: @test24a(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
313 ; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i64 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
314 ; CHECK-NEXT: ret i64 [[DIFF_NEG]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
315 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
316 %B = getelementptr inbounds i8, i8* %P, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
317 %C = ptrtoint i8* %B to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
318 %E = ptrtoint i8* %P to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
319 %G = sub i64 %E, %C
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
320 ret i64 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
321 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
322
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
323 define i16 @test24a_as1(i8 addrspace(1)* %P, i16 %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
324 ; CHECK-LABEL: @test24a_as1(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
325 ; CHECK-NEXT: [[DIFF_NEG:%.*]] = sub i16 0, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
326 ; CHECK-NEXT: ret i16 [[DIFF_NEG]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
327 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
328 %B = getelementptr inbounds i8, i8 addrspace(1)* %P, i16 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 %C = ptrtoint i8 addrspace(1)* %B to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 %E = ptrtoint i8 addrspace(1)* %P to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 %G = sub i16 %E, %C
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 ret i16 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
334
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
335
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
336 @Arr = external global [42 x i16]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
337
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
338 define i64 @test24b(i8* %P, i64 %A){
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
339 ; CHECK-LABEL: @test24b(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
340 ; CHECK-NEXT: [[B_IDX:%.*]] = shl nuw i64 %A, 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
341 ; CHECK-NEXT: ret i64 [[B_IDX]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
342 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
343 %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
344 %C = ptrtoint i16* %B to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
345 %G = sub i64 %C, ptrtoint ([42 x i16]* @Arr to i64)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
346 ret i64 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
347 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
348
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
349
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
350 define i64 @test25(i8* %P, i64 %A){
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
351 ; CHECK-LABEL: @test25(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
352 ; CHECK-NEXT: [[B_IDX:%.*]] = shl nuw i64 %A, 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
353 ; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[B_IDX]], -84
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
354 ; CHECK-NEXT: ret i64 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
355 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
356 %B = getelementptr inbounds [42 x i16], [42 x i16]* @Arr, i64 0, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
357 %C = ptrtoint i16* %B to i64
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
358 %G = sub i64 %C, ptrtoint (i16* getelementptr ([42 x i16], [42 x i16]* @Arr, i64 1, i64 0) to i64)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 ret i64 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
360 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
361
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
362 @Arr_as1 = external addrspace(1) global [42 x i16]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
363
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
364 define i16 @test25_as1(i8 addrspace(1)* %P, i64 %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
365 ; CHECK-LABEL: @test25_as1(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
366 ; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %A to i16
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
367 ; CHECK-NEXT: [[B_IDX:%.*]] = shl nuw i16 [[TMP1]], 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
368 ; CHECK-NEXT: [[TMP2:%.*]] = add i16 [[B_IDX]], -84
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
369 ; CHECK-NEXT: ret i16 [[TMP2]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
370 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
371 %B = getelementptr inbounds [42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 0, i64 %A
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
372 %C = ptrtoint i16 addrspace(1)* %B to i16
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
373 %G = sub i16 %C, ptrtoint (i16 addrspace(1)* getelementptr ([42 x i16], [42 x i16] addrspace(1)* @Arr_as1, i64 1, i64 0) to i16)
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
374 ret i16 %G
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
375 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
376
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
377 define i32 @test26(i32 %x) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
378 ; CHECK-LABEL: @test26(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
379 ; CHECK-NEXT: [[NEG:%.*]] = shl i32 -3, %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
380 ; CHECK-NEXT: ret i32 [[NEG]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
381 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
382 %shl = shl i32 3, %x
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
383 %neg = sub i32 0, %shl
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
384 ret i32 %neg
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
385 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
386
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
387 define i32 @test27(i32 %x, i32 %y) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
388 ; CHECK-LABEL: @test27(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
389 ; CHECK-NEXT: [[TMP1:%.*]] = shl i32 %y, 3
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
390 ; CHECK-NEXT: [[SUB:%.*]] = add i32 [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
391 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
392 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
393 %mul = mul i32 %y, -8
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
394 %sub = sub i32 %x, %mul
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
395 ret i32 %sub
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
396 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
397
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
398 define i32 @test28(i32 %x, i32 %y, i32 %z) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
399 ; CHECK-LABEL: @test28(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
400 ; CHECK-NEXT: [[TMP1:%.*]] = mul i32 %z, %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
401 ; CHECK-NEXT: [[SUB:%.*]] = add i32 [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
402 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
403 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
404 %neg = sub i32 0, %z
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
405 %mul = mul i32 %neg, %y
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
406 %sub = sub i32 %x, %mul
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
407 ret i32 %sub
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
408 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
409
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
410 define i64 @test29(i8* %foo, i64 %i, i64 %j) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
411 ; CHECK-LABEL: @test29(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
412 ; CHECK-NEXT: [[TMP1:%.*]] = sub i64 %i, %j
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
413 ; CHECK-NEXT: ret i64 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
414 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
415 %gep1 = getelementptr inbounds i8, i8* %foo, i64 %i
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
416 %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
417 %cast1 = ptrtoint i8* %gep1 to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
418 %cast2 = ptrtoint i8* %gep2 to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
419 %sub = sub i64 %cast1, %cast2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
420 ret i64 %sub
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
421 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
422
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
423 define i64 @test30(i8* %foo, i64 %i, i64 %j) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
424 ; CHECK-LABEL: @test30(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
425 ; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nuw i64 %i, 2
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
426 ; CHECK-NEXT: [[TMP1:%.*]] = sub i64 [[GEP1_IDX]], %j
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
427 ; CHECK-NEXT: ret i64 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
428 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
429 %bit = bitcast i8* %foo to i32*
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
430 %gep1 = getelementptr inbounds i32, i32* %bit, i64 %i
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
431 %gep2 = getelementptr inbounds i8, i8* %foo, i64 %j
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
432 %cast1 = ptrtoint i32* %gep1 to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
433 %cast2 = ptrtoint i8* %gep2 to i64
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
434 %sub = sub i64 %cast1, %cast2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
435 ret i64 %sub
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
436 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
437
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
438 define i16 @test30_as1(i8 addrspace(1)* %foo, i16 %i, i16 %j) {
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
439 ; CHECK-LABEL: @test30_as1(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
440 ; CHECK-NEXT: [[GEP1_IDX:%.*]] = shl nuw i16 %i, 2
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
441 ; CHECK-NEXT: [[TMP1:%.*]] = sub i16 [[GEP1_IDX]], %j
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
442 ; CHECK-NEXT: ret i16 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
443 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
444 %bit = bitcast i8 addrspace(1)* %foo to i32 addrspace(1)*
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
445 %gep1 = getelementptr inbounds i32, i32 addrspace(1)* %bit, i16 %i
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
446 %gep2 = getelementptr inbounds i8, i8 addrspace(1)* %foo, i16 %j
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
447 %cast1 = ptrtoint i32 addrspace(1)* %gep1 to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
448 %cast2 = ptrtoint i8 addrspace(1)* %gep2 to i16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
449 %sub = sub i16 %cast1, %cast2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
450 ret i16 %sub
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
451 }
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
452
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
453 define <2 x i64> @test31(<2 x i64> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
454 ; CHECK-LABEL: @test31(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
455 ; CHECK-NEXT: [[SUB:%.*]] = add <2 x i64> %A, <i64 3, i64 4>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
456 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
457 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
458 %xor = xor <2 x i64> %A, <i64 -1, i64 -1>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
459 %sub = sub <2 x i64> <i64 2, i64 3>, %xor
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
460 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
461 }
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
462
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
463 define <2 x i64> @test32(<2 x i64> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
464 ; CHECK-LABEL: @test32(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
465 ; CHECK-NEXT: [[SUB:%.*]] = sub <2 x i64> <i64 3, i64 4>, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
466 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
467 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
468 %add = add <2 x i64> %A, <i64 -1, i64 -1>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
469 %sub = sub <2 x i64> <i64 2, i64 3>, %add
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
470 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
471 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
472
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
473 define <2 x i64> @test33(<2 x i1> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
474 ; CHECK-LABEL: @test33(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
475 ; CHECK-NEXT: [[SUB:%.*]] = sext <2 x i1> %A to <2 x i64>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
476 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
477 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
478 %ext = zext <2 x i1> %A to <2 x i64>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
479 %sub = sub <2 x i64> zeroinitializer, %ext
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
480 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
481 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
482
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
483 define <2 x i64> @test34(<2 x i1> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
484 ; CHECK-LABEL: @test34(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
485 ; CHECK-NEXT: [[SUB:%.*]] = zext <2 x i1> %A to <2 x i64>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
486 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
487 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
488 %ext = sext <2 x i1> %A to <2 x i64>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
489 %sub = sub <2 x i64> zeroinitializer, %ext
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
490 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
491 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
492
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
493 define <2 x i64> @test35(<2 x i64> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
494 ; CHECK-LABEL: @test35(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
495 ; CHECK-NEXT: [[SUB:%.*]] = mul <2 x i64> %A, <i64 -2, i64 -3>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
496 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
497 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
498 %mul = mul <2 x i64> %A, <i64 3, i64 4>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
499 %sub = sub <2 x i64> %A, %mul
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
500 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
501 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
502
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
503 define <2 x i64> @test36(<2 x i64> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
504 ; CHECK-LABEL: @test36(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
505 ; CHECK-NEXT: [[SUB:%.*]] = mul <2 x i64> %A, <i64 7, i64 15>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
506 ; CHECK-NEXT: ret <2 x i64> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
507 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
508 %shl = shl <2 x i64> %A, <i64 3, i64 4>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
509 %sub = sub <2 x i64> %shl, %A
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
510 ret <2 x i64> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
511 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
512
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
513 define <2 x i32> @test37(<2 x i32> %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
514 ; CHECK-LABEL: @test37(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
515 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq <2 x i32> %A, <i32 -2147483648, i32 -2147483648>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
516 ; CHECK-NEXT: [[SUB:%.*]] = sext <2 x i1> [[TMP1]] to <2 x i32>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
517 ; CHECK-NEXT: ret <2 x i32> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
518 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
519 %div = sdiv <2 x i32> %A, <i32 -2147483648, i32 -2147483648>
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
520 %sub = sub nsw <2 x i32> zeroinitializer, %div
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
521 ret <2 x i32> %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
522 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
523
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
524 define i32 @test38(i32 %A) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
525 ; CHECK-LABEL: @test38(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
526 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 %A, -2147483648
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
527 ; CHECK-NEXT: [[SUB:%.*]] = sext i1 [[TMP1]] to i32
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
528 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
529 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
530 %div = sdiv i32 %A, -2147483648
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
531 %sub = sub nsw i32 0, %div
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
532 ret i32 %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
533 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
534
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
535 define i32 @test39(i32 %A, i32 %x) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
536 ; CHECK-LABEL: @test39(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
537 ; CHECK-NEXT: [[C:%.*]] = add i32 %x, %A
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
538 ; CHECK-NEXT: ret i32 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
539 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
540 %B = sub i32 0, %A
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
541 %C = sub nsw i32 %x, %B
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
542 ret i32 %C
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
543 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
544
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
545 define i16 @test40(i16 %a, i16 %b) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
546 ; CHECK-LABEL: @test40(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
547 ; CHECK-NEXT: [[ASHR:%.*]] = ashr i16 %a, 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
548 ; CHECK-NEXT: [[ASHR1:%.*]] = ashr i16 %b, 1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
549 ; CHECK-NEXT: [[SUB:%.*]] = sub nsw i16 [[ASHR]], [[ASHR1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
550 ; CHECK-NEXT: ret i16 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
551 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
552 %ashr = ashr i16 %a, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
553 %ashr1 = ashr i16 %b, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
554 %sub = sub i16 %ashr, %ashr1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
555 ret i16 %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
556 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
557
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
558 define i32 @test41(i16 %a, i16 %b) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
559 ; CHECK-LABEL: @test41(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
560 ; CHECK-NEXT: [[CONV:%.*]] = sext i16 %a to i32
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
561 ; CHECK-NEXT: [[CONV1:%.*]] = sext i16 %b to i32
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
562 ; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 [[CONV]], [[CONV1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
563 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
564 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
565 %conv = sext i16 %a to i32
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
566 %conv1 = sext i16 %b to i32
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
567 %sub = sub i32 %conv, %conv1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
568 ret i32 %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
569 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
570
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
571 define i4 @test42(i4 %x, i4 %y) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
572 ; CHECK-LABEL: @test42(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
573 ; CHECK-NEXT: [[A:%.*]] = and i4 %y, 7
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
574 ; CHECK-NEXT: [[B:%.*]] = and i4 %x, 7
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
575 ; CHECK-NEXT: [[C:%.*]] = sub nsw i4 [[A]], [[B]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
576 ; CHECK-NEXT: ret i4 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
577 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
578 %a = and i4 %y, 7
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
579 %b = and i4 %x, 7
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
580 %c = sub i4 %a, %b
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
581 ret i4 %c
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
582 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
583
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
584 define i4 @test43(i4 %x, i4 %y) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
585 ; CHECK-LABEL: @test43(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
586 ; CHECK-NEXT: [[A:%.*]] = or i4 %x, -8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
587 ; CHECK-NEXT: [[B:%.*]] = and i4 %y, 7
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
588 ; CHECK-NEXT: [[C:%.*]] = sub nuw i4 [[A]], [[B]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
589 ; CHECK-NEXT: ret i4 [[C]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
590 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
591 %a = or i4 %x, -8
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
592 %b = and i4 %y, 7
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
593 %c = sub i4 %a, %b
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
594 ret i4 %c
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
595 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
596
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
597 define i32 @test44(i32 %x) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
598 ; CHECK-LABEL: @test44(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
599 ; CHECK-NEXT: [[SUB:%.*]] = add nsw i32 %x, -32768
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
600 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
601 ;
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
602 %sub = sub nsw i32 %x, 32768
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
603 ret i32 %sub
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
604 }
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
605
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
606 define i32 @test45(i32 %x, i32 %y) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
607 ; CHECK-LABEL: @test45(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
608 ; CHECK-NEXT: [[SUB:%.*]] = and i32 %x, %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
609 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
610 ;
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
611 %or = or i32 %x, %y
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
612 %xor = xor i32 %x, %y
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
613 %sub = sub i32 %or, %xor
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
614 ret i32 %sub
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
615 }
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
616
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
617 define i32 @test46(i32 %x, i32 %y) {
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
618 ; CHECK-LABEL: @test46(
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
619 ; CHECK-NEXT: [[X_NOT:%.*]] = xor i32 %x, -1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
620 ; CHECK-NEXT: [[SUB:%.*]] = and i32 %y, [[X_NOT]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
621 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
622 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
623 %or = or i32 %x, %y
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
624 %sub = sub i32 %or, %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
625 ret i32 %sub
83
60c9769439b8 LLVM 3.7
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
626 }
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
627
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
628 define i32 @test47(i1 %A, i32 %B, i32 %C, i32 %D) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
629 ; CHECK-LABEL: @test47(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
630 ; CHECK-NEXT: [[TMP1:%.*]] = sub i32 %D, %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
631 ; CHECK-NEXT: [[SUB:%.*]] = select i1 %A, i32 [[TMP1]], i32 0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
632 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
633 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
634 %sel0 = select i1 %A, i32 %D, i32 %B
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
635 %sel1 = select i1 %A, i32 %C, i32 %B
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
636 %sub = sub i32 %sel0, %sel1
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
637 ret i32 %sub
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
638 }
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
639
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
640 define i32 @test48(i1 %A, i32 %B, i32 %C, i32 %D) {
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
641 ; CHECK-LABEL: @test48(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
642 ; CHECK-NEXT: [[TMP1:%.*]] = sub i32 %D, %C
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
643 ; CHECK-NEXT: [[SUB:%.*]] = select i1 %A, i32 0, i32 [[TMP1]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
644 ; CHECK-NEXT: ret i32 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
645 ;
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
646 %sel0 = select i1 %A, i32 %B, i32 %D
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
647 %sel1 = select i1 %A, i32 %B, i32 %C
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
648 %sub = sub i32 %sel0, %sel1
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
649 ret i32 %sub
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
650 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
651
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
652 ; Zext+add is more canonical than sext+sub.
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
653
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
654 define i8 @bool_sext_sub(i8 %x, i1 %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
655 ; CHECK-LABEL: @bool_sext_sub(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
656 ; CHECK-NEXT: [[TMP1:%.*]] = zext i1 %y to i8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
657 ; CHECK-NEXT: [[SUB:%.*]] = add i8 [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
658 ; CHECK-NEXT: ret i8 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
659 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
660 %sext = sext i1 %y to i8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
661 %sub = sub i8 %x, %sext
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
662 ret i8 %sub
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
663 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
664
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
665 ; Vectors get the same transform.
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
666
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
667 define <2 x i8> @bool_sext_sub_vec(<2 x i8> %x, <2 x i1> %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
668 ; CHECK-LABEL: @bool_sext_sub_vec(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
669 ; CHECK-NEXT: [[TMP1:%.*]] = zext <2 x i1> %y to <2 x i8>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
670 ; CHECK-NEXT: [[SUB:%.*]] = add <2 x i8> [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
671 ; CHECK-NEXT: ret <2 x i8> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
672 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
673 %sext = sext <2 x i1> %y to <2 x i8>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
674 %sub = sub <2 x i8> %x, %sext
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
675 ret <2 x i8> %sub
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 83
diff changeset
676 }
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
677
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
678 ; NSW is preserved.
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
679
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
680 define <2 x i8> @bool_sext_sub_vec_nsw(<2 x i8> %x, <2 x i1> %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
681 ; CHECK-LABEL: @bool_sext_sub_vec_nsw(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
682 ; CHECK-NEXT: [[TMP1:%.*]] = zext <2 x i1> %y to <2 x i8>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
683 ; CHECK-NEXT: [[SUB:%.*]] = add nsw <2 x i8> [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
684 ; CHECK-NEXT: ret <2 x i8> [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
685 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
686 %sext = sext <2 x i1> %y to <2 x i8>
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
687 %sub = sub nsw <2 x i8> %x, %sext
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
688 ret <2 x i8> %sub
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
689 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
690
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
691 ; We favor the canonical zext+add over keeping the NUW.
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
692
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
693 define i8 @bool_sext_sub_nuw(i8 %x, i1 %y) {
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
694 ; CHECK-LABEL: @bool_sext_sub_nuw(
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
695 ; CHECK-NEXT: [[TMP1:%.*]] = zext i1 %y to i8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
696 ; CHECK-NEXT: [[SUB:%.*]] = add i8 [[TMP1]], %x
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
697 ; CHECK-NEXT: ret i8 [[SUB]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
698 ;
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
699 %sext = sext i1 %y to i8
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
700 %sub = sub nuw i8 %x, %sext
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
701 ret i8 %sub
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
702 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
703