1 ; RUN: opt -S -bdce -instsimplify < %s | FileCheck %s 2 ; RUN: opt -S -instsimplify < %s | FileCheck %s -check-prefix=CHECK-IO 3 ; RUN: opt -S -debugify -bdce < %s | FileCheck %s -check-prefix=DEBUGIFY 4 target datalayout = "E-m:e-i64:64-n32:64" 5 target triple = "powerpc64-unknown-linux-gnu" 6 7 ; Function Attrs: nounwind readnone 8 define signext i32 @bar(i32 signext %x) #0 { 9 entry: 10 %call = tail call signext i32 @foo(i32 signext 5) #0 11 %and = and i32 %call, 4 12 %or = or i32 %and, %x 13 %call1 = tail call signext i32 @foo(i32 signext 3) #0 14 %and2 = and i32 %call1, 8 15 %or3 = or i32 %or, %and2 16 %call4 = tail call signext i32 @foo(i32 signext 2) #0 17 %and5 = and i32 %call4, 16 18 %or6 = or i32 %or3, %and5 19 %call7 = tail call signext i32 @foo(i32 signext 1) #0 20 %and8 = and i32 %call7, 32 21 %or9 = or i32 %or6, %and8 22 %call10 = tail call signext i32 @foo(i32 signext 0) #0 23 %and11 = and i32 %call10, 64 24 %or12 = or i32 %or9, %and11 25 %call13 = tail call signext i32 @foo(i32 signext 4) #0 26 %and14 = and i32 %call13, 128 27 %or15 = or i32 %or12, %and14 28 %shr = ashr i32 %or15, 4 29 ret i32 %shr 30 31 ; CHECK-LABEL: @bar 32 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 33 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 34 ; CHECK: tail call signext i32 @foo(i32 signext 2) 35 ; CHECK: tail call signext i32 @foo(i32 signext 1) 36 ; CHECK: tail call signext i32 @foo(i32 signext 0) 37 ; CHECK: tail call signext i32 @foo(i32 signext 4) 38 ; CHECK: ret i32 39 40 ; Check that instsimplify is not doing this all on its own. 41 ; CHECK-IO-LABEL: @bar 42 ; CHECK-IO: tail call signext i32 @foo(i32 signext 5) 43 ; CHECK-IO: tail call signext i32 @foo(i32 signext 3) 44 ; CHECK-IO: tail call signext i32 @foo(i32 signext 2) 45 ; CHECK-IO: tail call signext i32 @foo(i32 signext 1) 46 ; CHECK-IO: tail call signext i32 @foo(i32 signext 0) 47 ; CHECK-IO: tail call signext i32 @foo(i32 signext 4) 48 ; CHECK-IO: ret i32 49 } 50 51 ; Function Attrs: nounwind readnone 52 declare signext i32 @foo(i32 signext) #0 53 54 ; Function Attrs: nounwind readnone 55 define signext i32 @far(i32 signext %x) #1 { 56 entry: 57 %call = tail call signext i32 @goo(i32 signext 5) #1 58 %and = and i32 %call, 4 59 %or = or i32 %and, %x 60 %call1 = tail call signext i32 @goo(i32 signext 3) #1 61 %and2 = and i32 %call1, 8 62 %or3 = or i32 %or, %and2 63 %call4 = tail call signext i32 @goo(i32 signext 2) #1 64 %and5 = and i32 %call4, 16 65 %or6 = or i32 %or3, %and5 66 %call7 = tail call signext i32 @goo(i32 signext 1) #1 67 %and8 = and i32 %call7, 32 68 %or9 = or i32 %or6, %and8 69 %call10 = tail call signext i32 @goo(i32 signext 0) #1 70 %and11 = and i32 %call10, 64 71 %or12 = or i32 %or9, %and11 72 %call13 = tail call signext i32 @goo(i32 signext 4) #1 73 %and14 = and i32 %call13, 128 74 %or15 = or i32 %or12, %and14 75 %shr = ashr i32 %or15, 4 76 ret i32 %shr 77 78 ; CHECK-LABEL: @far 79 ; Calls to foo(5) and foo(3) are still there, but their results are not used. 80 ; CHECK: tail call signext i32 @goo(i32 signext 5) 81 ; CHECK-NEXT: tail call signext i32 @goo(i32 signext 3) 82 ; CHECK-NEXT: tail call signext i32 @goo(i32 signext 2) 83 ; CHECK: tail call signext i32 @goo(i32 signext 1) 84 ; CHECK: tail call signext i32 @goo(i32 signext 0) 85 ; CHECK: tail call signext i32 @goo(i32 signext 4) 86 ; CHECK: ret i32 87 88 ; Check that instsimplify is not doing this all on its own. 89 ; CHECK-IO-LABEL: @far 90 ; CHECK-IO: tail call signext i32 @goo(i32 signext 5) 91 ; CHECK-IO: tail call signext i32 @goo(i32 signext 3) 92 ; CHECK-IO: tail call signext i32 @goo(i32 signext 2) 93 ; CHECK-IO: tail call signext i32 @goo(i32 signext 1) 94 ; CHECK-IO: tail call signext i32 @goo(i32 signext 0) 95 ; CHECK-IO: tail call signext i32 @goo(i32 signext 4) 96 ; CHECK-IO: ret i32 97 } 98 99 declare signext i32 @goo(i32 signext) #1 100 101 ; Function Attrs: nounwind readnone 102 define signext i32 @tar1(i32 signext %x) #0 { 103 entry: 104 %call = tail call signext i32 @foo(i32 signext 5) #0 105 %and = and i32 %call, 33554432 106 %or = or i32 %and, %x 107 %call1 = tail call signext i32 @foo(i32 signext 3) #0 108 %and2 = and i32 %call1, 67108864 109 %or3 = or i32 %or, %and2 110 %call4 = tail call signext i32 @foo(i32 signext 2) #0 111 %and5 = and i32 %call4, 16 112 %or6 = or i32 %or3, %and5 113 %call7 = tail call signext i32 @foo(i32 signext 1) #0 114 %and8 = and i32 %call7, 32 115 %or9 = or i32 %or6, %and8 116 %call10 = tail call signext i32 @foo(i32 signext 0) #0 117 %and11 = and i32 %call10, 64 118 %or12 = or i32 %or9, %and11 119 %call13 = tail call signext i32 @foo(i32 signext 4) #0 120 %and14 = and i32 %call13, 128 121 %or15 = or i32 %or12, %and14 122 %bs = tail call i32 @llvm.bswap.i32(i32 %or15) #0 123 %shr = ashr i32 %bs, 4 124 ret i32 %shr 125 126 ; CHECK-LABEL: @tar1 127 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 128 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 129 ; CHECK: tail call signext i32 @foo(i32 signext 2) 130 ; CHECK: tail call signext i32 @foo(i32 signext 1) 131 ; CHECK: tail call signext i32 @foo(i32 signext 0) 132 ; CHECK: tail call signext i32 @foo(i32 signext 4) 133 ; CHECK: ret i32 134 } 135 136 ; Function Attrs: nounwind readnone 137 declare i32 @llvm.bswap.i32(i32) #0 138 139 ; Function Attrs: nounwind readnone 140 define signext i32 @tim(i32 signext %x) #0 { 141 entry: 142 %call = tail call signext i32 @foo(i32 signext 5) #0 143 %and = and i32 %call, 536870912 144 %or = or i32 %and, %x 145 %call1 = tail call signext i32 @foo(i32 signext 3) #0 146 %and2 = and i32 %call1, 1073741824 147 %or3 = or i32 %or, %and2 148 %call4 = tail call signext i32 @foo(i32 signext 2) #0 149 %and5 = and i32 %call4, 16 150 %or6 = or i32 %or3, %and5 151 %call7 = tail call signext i32 @foo(i32 signext 1) #0 152 %and8 = and i32 %call7, 32 153 %or9 = or i32 %or6, %and8 154 %call10 = tail call signext i32 @foo(i32 signext 0) #0 155 %and11 = and i32 %call10, 64 156 %or12 = or i32 %or9, %and11 157 %call13 = tail call signext i32 @foo(i32 signext 4) #0 158 %and14 = and i32 %call13, 128 159 %or15 = or i32 %or12, %and14 160 %bs = tail call i32 @llvm.bitreverse.i32(i32 %or15) #0 161 %shr = ashr i32 %bs, 4 162 ret i32 %shr 163 164 ; CHECK-LABEL: @tim 165 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 166 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 167 ; CHECK: tail call signext i32 @foo(i32 signext 2) 168 ; CHECK: tail call signext i32 @foo(i32 signext 1) 169 ; CHECK: tail call signext i32 @foo(i32 signext 0) 170 ; CHECK: tail call signext i32 @foo(i32 signext 4) 171 ; CHECK: ret i32 172 } 173 174 ; Function Attrs: nounwind readnone 175 declare i32 @llvm.bitreverse.i32(i32) #0 176 177 ; Function Attrs: nounwind readnone 178 define signext i32 @tar2(i32 signext %x) #0 { 179 entry: 180 %call = tail call signext i32 @foo(i32 signext 5) #0 181 %and = and i32 %call, 33554432 182 %or = or i32 %and, %x 183 %call1 = tail call signext i32 @foo(i32 signext 3) #0 184 %and2 = and i32 %call1, 67108864 185 %or3 = or i32 %or, %and2 186 %call4 = tail call signext i32 @foo(i32 signext 2) #0 187 %and5 = and i32 %call4, 16 188 %or6 = or i32 %or3, %and5 189 %call7 = tail call signext i32 @foo(i32 signext 1) #0 190 %and8 = and i32 %call7, 32 191 %or9 = or i32 %or6, %and8 192 %call10 = tail call signext i32 @foo(i32 signext 0) #0 193 %and11 = and i32 %call10, 64 194 %or12 = or i32 %or9, %and11 195 %call13 = tail call signext i32 @foo(i32 signext 4) #0 196 %and14 = and i32 %call13, 128 197 %or15 = or i32 %or12, %and14 198 %shl = shl i32 %or15, 10 199 ret i32 %shl 200 201 ; CHECK-LABEL: @tar2 202 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 203 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 204 ; CHECK: tail call signext i32 @foo(i32 signext 2) 205 ; CHECK: tail call signext i32 @foo(i32 signext 1) 206 ; CHECK: tail call signext i32 @foo(i32 signext 0) 207 ; CHECK: tail call signext i32 @foo(i32 signext 4) 208 ; CHECK: ret i32 209 } 210 211 ; Function Attrs: nounwind readnone 212 define signext i32 @tar3(i32 signext %x) #0 { 213 entry: 214 %call = tail call signext i32 @foo(i32 signext 5) #0 215 %and = and i32 %call, 33554432 216 %or = or i32 %and, %x 217 %call1 = tail call signext i32 @foo(i32 signext 3) #0 218 %and2 = and i32 %call1, 67108864 219 %or3 = or i32 %or, %and2 220 %call4 = tail call signext i32 @foo(i32 signext 2) #0 221 %and5 = and i32 %call4, 16 222 %or6 = or i32 %or3, %and5 223 %call7 = tail call signext i32 @foo(i32 signext 1) #0 224 %and8 = and i32 %call7, 32 225 %or9 = or i32 %or6, %and8 226 %call10 = tail call signext i32 @foo(i32 signext 0) #0 227 %and11 = and i32 %call10, 64 228 %or12 = or i32 %or9, %and11 229 %call13 = tail call signext i32 @foo(i32 signext 4) #0 230 %and14 = and i32 %call13, 128 231 %or15 = or i32 %or12, %and14 232 %add = add i32 %or15, 5 233 %shl = shl i32 %add, 10 234 ret i32 %shl 235 236 ; CHECK-LABEL: @tar3 237 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 238 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 239 ; CHECK: tail call signext i32 @foo(i32 signext 2) 240 ; CHECK: tail call signext i32 @foo(i32 signext 1) 241 ; CHECK: tail call signext i32 @foo(i32 signext 0) 242 ; CHECK: tail call signext i32 @foo(i32 signext 4) 243 ; CHECK: ret i32 244 } 245 246 ; Function Attrs: nounwind readnone 247 define signext i32 @tar4(i32 signext %x) #0 { 248 entry: 249 %call = tail call signext i32 @foo(i32 signext 5) #0 250 %and = and i32 %call, 33554432 251 %or = or i32 %and, %x 252 %call1 = tail call signext i32 @foo(i32 signext 3) #0 253 %and2 = and i32 %call1, 67108864 254 %or3 = or i32 %or, %and2 255 %call4 = tail call signext i32 @foo(i32 signext 2) #0 256 %and5 = and i32 %call4, 16 257 %or6 = or i32 %or3, %and5 258 %call7 = tail call signext i32 @foo(i32 signext 1) #0 259 %and8 = and i32 %call7, 32 260 %or9 = or i32 %or6, %and8 261 %call10 = tail call signext i32 @foo(i32 signext 0) #0 262 %and11 = and i32 %call10, 64 263 %or12 = or i32 %or9, %and11 264 %call13 = tail call signext i32 @foo(i32 signext 4) #0 265 %and14 = and i32 %call13, 128 266 %or15 = or i32 %or12, %and14 267 %sub = sub i32 %or15, 5 268 %shl = shl i32 %sub, 10 269 ret i32 %shl 270 271 ; CHECK-LABEL: @tar4 272 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 273 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 274 ; CHECK: tail call signext i32 @foo(i32 signext 2) 275 ; CHECK: tail call signext i32 @foo(i32 signext 1) 276 ; CHECK: tail call signext i32 @foo(i32 signext 0) 277 ; CHECK: tail call signext i32 @foo(i32 signext 4) 278 ; CHECK: ret i32 279 } 280 281 ; Function Attrs: nounwind readnone 282 define signext i32 @tar5(i32 signext %x) #0 { 283 entry: 284 %call = tail call signext i32 @foo(i32 signext 5) #0 285 %and = and i32 %call, 33554432 286 %or = or i32 %and, %x 287 %call1 = tail call signext i32 @foo(i32 signext 3) #0 288 %and2 = and i32 %call1, 67108864 289 %or3 = or i32 %or, %and2 290 %call4 = tail call signext i32 @foo(i32 signext 2) #0 291 %and5 = and i32 %call4, 16 292 %or6 = or i32 %or3, %and5 293 %call7 = tail call signext i32 @foo(i32 signext 1) #0 294 %and8 = and i32 %call7, 32 295 %or9 = or i32 %or6, %and8 296 %call10 = tail call signext i32 @foo(i32 signext 0) #0 297 %and11 = and i32 %call10, 64 298 %or12 = or i32 %or9, %and11 299 %call13 = tail call signext i32 @foo(i32 signext 4) #0 300 %and14 = and i32 %call13, 128 301 %or15 = or i32 %or12, %and14 302 %xor = xor i32 %or15, 5 303 %shl = shl i32 %xor, 10 304 ret i32 %shl 305 306 ; CHECK-LABEL: @tar5 307 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 308 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 309 ; CHECK: tail call signext i32 @foo(i32 signext 2) 310 ; CHECK: tail call signext i32 @foo(i32 signext 1) 311 ; CHECK: tail call signext i32 @foo(i32 signext 0) 312 ; CHECK: tail call signext i32 @foo(i32 signext 4) 313 ; CHECK: ret i32 314 } 315 316 ; Function Attrs: nounwind readnone 317 define signext i32 @tar7(i32 signext %x, i1 %b) #0 { 318 entry: 319 %call = tail call signext i32 @foo(i32 signext 5) #0 320 %and = and i32 %call, 33554432 321 %or = or i32 %and, %x 322 %call1 = tail call signext i32 @foo(i32 signext 3) #0 323 %and2 = and i32 %call1, 67108864 324 %or3 = or i32 %or, %and2 325 %call4 = tail call signext i32 @foo(i32 signext 2) #0 326 %and5 = and i32 %call4, 16 327 %or6 = or i32 %or3, %and5 328 %call7 = tail call signext i32 @foo(i32 signext 1) #0 329 %and8 = and i32 %call7, 32 330 %or9 = or i32 %or6, %and8 331 %call10 = tail call signext i32 @foo(i32 signext 0) #0 332 %and11 = and i32 %call10, 64 333 %or12 = or i32 %or9, %and11 334 %call13 = tail call signext i32 @foo(i32 signext 4) #0 335 %and14 = and i32 %call13, 128 336 %or15 = or i32 %or12, %and14 337 %v = select i1 %b, i32 %or15, i32 5 338 %shl = shl i32 %v, 10 339 ret i32 %shl 340 341 ; CHECK-LABEL: @tar7 342 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 343 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 344 ; CHECK: tail call signext i32 @foo(i32 signext 2) 345 ; CHECK: tail call signext i32 @foo(i32 signext 1) 346 ; CHECK: tail call signext i32 @foo(i32 signext 0) 347 ; CHECK: tail call signext i32 @foo(i32 signext 4) 348 ; CHECK: ret i32 349 } 350 351 ; Function Attrs: nounwind readnone 352 define signext i16 @tar8(i32 signext %x) #0 { 353 entry: 354 %call = tail call signext i32 @foo(i32 signext 5) #0 355 %and = and i32 %call, 33554432 356 %or = or i32 %and, %x 357 %call1 = tail call signext i32 @foo(i32 signext 3) #0 358 %and2 = and i32 %call1, 67108864 359 %or3 = or i32 %or, %and2 360 %call4 = tail call signext i32 @foo(i32 signext 2) #0 361 %and5 = and i32 %call4, 16 362 %or6 = or i32 %or3, %and5 363 %call7 = tail call signext i32 @foo(i32 signext 1) #0 364 %and8 = and i32 %call7, 32 365 %or9 = or i32 %or6, %and8 366 %call10 = tail call signext i32 @foo(i32 signext 0) #0 367 %and11 = and i32 %call10, 64 368 %or12 = or i32 %or9, %and11 369 %call13 = tail call signext i32 @foo(i32 signext 4) #0 370 %and14 = and i32 %call13, 128 371 %or15 = or i32 %or12, %and14 372 %tr = trunc i32 %or15 to i16 373 ret i16 %tr 374 375 ; CHECK-LABEL: @tar8 376 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 5) 377 ; CHECK-NOT: tail call signext i32 @foo(i32 signext 3) 378 ; CHECK: tail call signext i32 @foo(i32 signext 2) 379 ; CHECK: tail call signext i32 @foo(i32 signext 1) 380 ; CHECK: tail call signext i32 @foo(i32 signext 0) 381 ; CHECK: tail call signext i32 @foo(i32 signext 4) 382 ; CHECK: ret i16 383 } 384 385 ; DEBUGIFY-LABEL: @tar9 386 define signext i16 @tar9(i32 signext %x) #0 { 387 entry: 388 %call = tail call signext i32 @foo(i32 signext 5) #0 389 %and = and i32 %call, 33554432 390 ; DEBUGIFY: call void @llvm.dbg.value(metadata i32 %call, metadata {{.*}}, metadata !DIExpression(DW_OP_constu, 33554432, DW_OP_and, DW_OP_stack_value)) 391 %cast = trunc i32 %call to i16 392 ret i16 %cast 393 } 394 395 attributes #0 = { nounwind readnone } 396 attributes #1 = { nounwind } 397 398
