1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
3 @addr = external global i64
5 define i64 @add_unsigned(i64 %x, i64 %y) {
6 ; CHECK: %z = add nuw i64 %x, %y
7 %z = add nuw i64 %x, %y
11 define i64 @sub_unsigned(i64 %x, i64 %y) {
12 ; CHECK: %z = sub nuw i64 %x, %y
13 %z = sub nuw i64 %x, %y
17 define i64 @mul_unsigned(i64 %x, i64 %y) {
18 ; CHECK: %z = mul nuw i64 %x, %y
19 %z = mul nuw i64 %x, %y
23 define i64 @add_signed(i64 %x, i64 %y) {
24 ; CHECK: %z = add nsw i64 %x, %y
25 %z = add nsw i64 %x, %y
29 define i64 @sub_signed(i64 %x, i64 %y) {
30 ; CHECK: %z = sub nsw i64 %x, %y
31 %z = sub nsw i64 %x, %y
35 define i64 @mul_signed(i64 %x, i64 %y) {
36 ; CHECK: %z = mul nsw i64 %x, %y
37 %z = mul nsw i64 %x, %y
41 define i64 @add_plain(i64 %x, i64 %y) {
42 ; CHECK: %z = add i64 %x, %y
47 define i64 @sub_plain(i64 %x, i64 %y) {
48 ; CHECK: %z = sub i64 %x, %y
53 define i64 @mul_plain(i64 %x, i64 %y) {
54 ; CHECK: %z = mul i64 %x, %y
59 define i64 @add_both(i64 %x, i64 %y) {
60 ; CHECK: %z = add nuw nsw i64 %x, %y
61 %z = add nuw nsw i64 %x, %y
65 define i64 @sub_both(i64 %x, i64 %y) {
66 ; CHECK: %z = sub nuw nsw i64 %x, %y
67 %z = sub nuw nsw i64 %x, %y
71 define i64 @mul_both(i64 %x, i64 %y) {
72 ; CHECK: %z = mul nuw nsw i64 %x, %y
73 %z = mul nuw nsw i64 %x, %y
77 define i64 @add_both_reversed(i64 %x, i64 %y) {
78 ; CHECK: %z = add nuw nsw i64 %x, %y
79 %z = add nsw nuw i64 %x, %y
83 define i64 @sub_both_reversed(i64 %x, i64 %y) {
84 ; CHECK: %z = sub nuw nsw i64 %x, %y
85 %z = sub nsw nuw i64 %x, %y
89 define i64 @mul_both_reversed(i64 %x, i64 %y) {
90 ; CHECK: %z = mul nuw nsw i64 %x, %y
91 %z = mul nsw nuw i64 %x, %y
95 define i64 @sdiv_exact(i64 %x, i64 %y) {
96 ; CHECK: %z = sdiv exact i64 %x, %y
97 %z = sdiv exact i64 %x, %y
101 define i64 @sdiv_plain(i64 %x, i64 %y) {
102 ; CHECK: %z = sdiv i64 %x, %y
107 define i64 @udiv_exact(i64 %x, i64 %y) {
108 ; CHECK: %z = udiv exact i64 %x, %y
109 %z = udiv exact i64 %x, %y
113 define i64 @udiv_plain(i64 %x, i64 %y) {
114 ; CHECK: %z = udiv i64 %x, %y
120 define i64* @gep_nw(i64* %p, i64 %x) {
121 ; CHECK: %z = getelementptr inbounds i64* %p, i64 %x
122 %z = getelementptr inbounds i64* %p, i64 %x
126 define i64* @gep_plain(i64* %p, i64 %x) {
127 ; CHECK: %z = getelementptr i64* %p, i64 %x
128 %z = getelementptr i64* %p, i64 %x
132 define i64 @add_both_ce() {
133 ; CHECK: ret i64 add nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
134 ret i64 add nsw nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
137 define i64 @sub_both_ce() {
138 ; CHECK: ret i64 sub nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
139 ret i64 sub nsw nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
142 define i64 @mul_both_ce() {
143 ; CHECK: ret i64 mul nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
144 ret i64 mul nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
147 define i64 @sdiv_exact_ce() {
148 ; CHECK: ret i64 sdiv exact (i64 ptrtoint (i64* @addr to i64), i64 91)
149 ret i64 sdiv exact (i64 ptrtoint (i64* @addr to i64), i64 91)
152 define i64 @udiv_exact_ce() {
153 ; CHECK: ret i64 udiv exact (i64 ptrtoint (i64* @addr to i64), i64 91)
154 ret i64 udiv exact (i64 ptrtoint (i64* @addr to i64), i64 91)
157 define i64* @gep_nw_ce() {
158 ; CHECK: ret i64* getelementptr inbounds (i64* @addr, i64 171)
159 ret i64* getelementptr inbounds (i64* @addr, i64 171)
162 define i64 @add_plain_ce() {
163 ; CHECK: ret i64 add (i64 ptrtoint (i64* @addr to i64), i64 91)
164 ret i64 add (i64 ptrtoint (i64* @addr to i64), i64 91)
167 define i64 @sub_plain_ce() {
168 ; CHECK: ret i64 sub (i64 ptrtoint (i64* @addr to i64), i64 91)
169 ret i64 sub (i64 ptrtoint (i64* @addr to i64), i64 91)
172 define i64 @mul_plain_ce() {
173 ; CHECK: ret i64 mul (i64 ptrtoint (i64* @addr to i64), i64 91)
174 ret i64 mul (i64 ptrtoint (i64* @addr to i64), i64 91)
177 define i64 @sdiv_plain_ce() {
178 ; CHECK: ret i64 sdiv (i64 ptrtoint (i64* @addr to i64), i64 91)
179 ret i64 sdiv (i64 ptrtoint (i64* @addr to i64), i64 91)
182 define i64* @gep_plain_ce() {
183 ; CHECK: ret i64* getelementptr (i64* @addr, i64 171)
184 ret i64* getelementptr (i64* @addr, i64 171)
187 define i64 @add_both_reversed_ce() {
188 ; CHECK: ret i64 add nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
189 ret i64 add nsw nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
192 define i64 @sub_both_reversed_ce() {
193 ; CHECK: ret i64 sub nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
194 ret i64 sub nsw nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
197 define i64 @mul_both_reversed_ce() {
198 ; CHECK: ret i64 mul nuw nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
199 ret i64 mul nsw nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
202 define i64 @add_signed_ce() {
203 ; CHECK: ret i64 add nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
204 ret i64 add nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
207 define i64 @sub_signed_ce() {
208 ; CHECK: ret i64 sub nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
209 ret i64 sub nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
212 define i64 @mul_signed_ce() {
213 ; CHECK: ret i64 mul nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
214 ret i64 mul nsw (i64 ptrtoint (i64* @addr to i64), i64 91)
217 define i64 @add_unsigned_ce() {
218 ; CHECK: ret i64 add nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
219 ret i64 add nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
222 define i64 @sub_unsigned_ce() {
223 ; CHECK: ret i64 sub nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
224 ret i64 sub nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
227 define i64 @mul_unsigned_ce() {
228 ; CHECK: ret i64 mul nuw (i64 ptrtoint (i64* @addr to i64), i64 91)
229 ret i64 mul nuw (i64 ptrtoint (i64* @addr to i64), i64 91)