Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1fa5c4b944c0969bc409705678a9bcc2f7de2c7c / . / llvm / test / Transforms / ConstProp / overflow-ops.ll
blob: 1ae3e562e7e9133c3faa517e88ebd27e57097242 [file] [log] [blame]
Chris Lattnerb9681ad2010-10-14 00:30:00 +0000[diff] [blame]1; RUN: opt < %s -constprop -S | FileCheck %s
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]2
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]3
Frits van Bommel0bb2ad22011-03-27 14:26:13 +0000[diff] [blame]4declare {i8, i1} @llvm.uadd.with.overflow.i8(i8, i8)
5declare {i8, i1} @llvm.usub.with.overflow.i8(i8, i8)
6declare {i8, i1} @llvm.umul.with.overflow.i8(i8, i8)
7
8declare {i8, i1} @llvm.sadd.with.overflow.i8(i8, i8)
9declare {i8, i1} @llvm.ssub.with.overflow.i8(i8, i8)
10declare {i8, i1} @llvm.smul.with.overflow.i8(i8, i8)
11
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]12;;-----------------------------
13;; uadd
14;;-----------------------------
15
16define {i8, i1} @uadd_1() nounwind {
17entry:
18 %t = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 42, i8 100)
19 ret {i8, i1} %t
20
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]21; CHECK-LABEL: @uadd_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]22; CHECK: ret { i8, i1 } { i8 -114, i1 false }
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]23}
24
25define {i8, i1} @uadd_2() nounwind {
26entry:
27 %t = call {i8, i1} @llvm.uadd.with.overflow.i8(i8 142, i8 120)
28 ret {i8, i1} %t
29
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]30; CHECK-LABEL: @uadd_2(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]31; CHECK: ret { i8, i1 } { i8 6, i1 true }
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]32}
33
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]34;;-----------------------------
35;; usub
36;;-----------------------------
37
38define {i8, i1} @usub_1() nounwind {
39entry:
40 %t = call {i8, i1} @llvm.usub.with.overflow.i8(i8 4, i8 2)
41 ret {i8, i1} %t
42
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]43; CHECK-LABEL: @usub_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]44; CHECK: ret { i8, i1 } { i8 2, i1 false }
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]45}
46
47define {i8, i1} @usub_2() nounwind {
48entry:
49 %t = call {i8, i1} @llvm.usub.with.overflow.i8(i8 4, i8 6)
50 ret {i8, i1} %t
51
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]52; CHECK-LABEL: @usub_2(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]53; CHECK: ret { i8, i1 } { i8 -2, i1 true }
Chris Lattner59d93982009-10-05 05:26:04 +0000[diff] [blame]54}
55
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]56;;-----------------------------
Frits van Bommel0bb2ad22011-03-27 14:26:13 +0000[diff] [blame]57;; umul
58;;-----------------------------
59
60define {i8, i1} @umul_1() nounwind {
61entry:
62 %t = call {i8, i1} @llvm.umul.with.overflow.i8(i8 100, i8 3)
63 ret {i8, i1} %t
64
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]65; CHECK-LABEL: @umul_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]66; CHECK: ret { i8, i1 } { i8 44, i1 true }
Frits van Bommel0bb2ad22011-03-27 14:26:13 +0000[diff] [blame]67}
68
69define {i8, i1} @umul_2() nounwind {
70entry:
71 %t = call {i8, i1} @llvm.umul.with.overflow.i8(i8 100, i8 2)
72 ret {i8, i1} %t
73
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]74; CHECK-LABEL: @umul_2(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]75; CHECK: ret { i8, i1 } { i8 -56, i1 false }
Frits van Bommel0bb2ad22011-03-27 14:26:13 +0000[diff] [blame]76}
77
78;;-----------------------------
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]79;; sadd
80;;-----------------------------
81
82define {i8, i1} @sadd_1() nounwind {
83entry:
84 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 42, i8 2)
85 ret {i8, i1} %t
86
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]87; CHECK-LABEL: @sadd_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]88; CHECK: ret { i8, i1 } { i8 44, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]89}
90
91define {i8, i1} @sadd_2() nounwind {
92entry:
93 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 120, i8 10)
94 ret {i8, i1} %t
95
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]96; CHECK-LABEL: @sadd_2(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]97; CHECK: ret { i8, i1 } { i8 -126, i1 true }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]98}
99
100define {i8, i1} @sadd_3() nounwind {
101entry:
102 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 -120, i8 10)
103 ret {i8, i1} %t
104
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]105; CHECK-LABEL: @sadd_3(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]106; CHECK: ret { i8, i1 } { i8 -110, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]107}
108
109define {i8, i1} @sadd_4() nounwind {
110entry:
111 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 -120, i8 -10)
112 ret {i8, i1} %t
113
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]114; CHECK-LABEL: @sadd_4(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]115; CHECK: ret { i8, i1 } { i8 126, i1 true }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]116}
117
118define {i8, i1} @sadd_5() nounwind {
119entry:
120 %t = call {i8, i1} @llvm.sadd.with.overflow.i8(i8 2, i8 -10)
121 ret {i8, i1} %t
122
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]123; CHECK-LABEL: @sadd_5(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]124; CHECK: ret { i8, i1 } { i8 -8, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]125}
126
127
128;;-----------------------------
129;; ssub
130;;-----------------------------
131
132define {i8, i1} @ssub_1() nounwind {
133entry:
134 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 4, i8 2)
135 ret {i8, i1} %t
136
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]137; CHECK-LABEL: @ssub_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]138; CHECK: ret { i8, i1 } { i8 2, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]139}
140
141define {i8, i1} @ssub_2() nounwind {
142entry:
143 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 4, i8 6)
144 ret {i8, i1} %t
145
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]146; CHECK-LABEL: @ssub_2(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]147; CHECK: ret { i8, i1 } { i8 -2, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]148}
149
150define {i8, i1} @ssub_3() nounwind {
151entry:
152 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -10, i8 120)
153 ret {i8, i1} %t
154
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]155; CHECK-LABEL: @ssub_3(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]156; CHECK: ret { i8, i1 } { i8 126, i1 true }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]157}
158
159define {i8, i1} @ssub_3b() nounwind {
160entry:
161 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -10, i8 10)
162 ret {i8, i1} %t
163
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]164; CHECK-LABEL: @ssub_3b(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]165; CHECK: ret { i8, i1 } { i8 -20, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]166}
167
168define {i8, i1} @ssub_4() nounwind {
169entry:
170 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 120, i8 -10)
171 ret {i8, i1} %t
172
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]173; CHECK-LABEL: @ssub_4(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]174; CHECK: ret { i8, i1 } { i8 -126, i1 true }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]175}
176
177define {i8, i1} @ssub_4b() nounwind {
178entry:
179 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 20, i8 -10)
180 ret {i8, i1} %t
181
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]182; CHECK-LABEL: @ssub_4b(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]183; CHECK: ret { i8, i1 } { i8 30, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]184}
185
186define {i8, i1} @ssub_5() nounwind {
187entry:
188 %t = call {i8, i1} @llvm.ssub.with.overflow.i8(i8 -20, i8 -10)
189 ret {i8, i1} %t
190
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]191; CHECK-LABEL: @ssub_5(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]192; CHECK: ret { i8, i1 } { i8 -10, i1 false }
Evan Phoenix44e5dbc2009-10-05 22:53:52 +0000[diff] [blame]193}
194
Frits van Bommel0bb2ad22011-03-27 14:26:13 +0000[diff] [blame]195;;-----------------------------
196;; smul
197;;-----------------------------
Chris Lattner698661c2010-10-14 00:05:07 +0000[diff] [blame]198
199; rdar://8501501
200define {i8, i1} @smul_1() nounwind {
201entry:
202 %t = call {i8, i1} @llvm.smul.with.overflow.i8(i8 -20, i8 -10)
203 ret {i8, i1} %t
204
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]205; CHECK-LABEL: @smul_1(
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000[diff] [blame]206; CHECK: ret { i8, i1 } { i8 -56, i1 true }
Chris Lattner698661c2010-10-14 00:05:07 +0000[diff] [blame]207}