1 ; RUN: llc -mcpu=pwr7 -mattr=+vsx < %s | FileCheck %s 2 target datalayout = "E-m:e-i64:64-n32:64" 3 target triple = "powerpc64-unknown-linux-gnu" 4 5 define double @test1(double %a, double %b) { 6 entry: 7 %v = fmul double %a, %b 8 ret double %v 9 10 ; CHECK-LABEL: @test1 11 ; CHECK: xsmuldp 1, 1, 2 12 ; CHECK: blr 13 } 14 15 define double @test2(double %a, double %b) { 16 entry: 17 %v = fdiv double %a, %b 18 ret double %v 19 20 ; CHECK-LABEL: @test2 21 ; CHECK: xsdivdp 1, 1, 2 22 ; CHECK: blr 23 } 24 25 define double @test3(double %a, double %b) { 26 entry: 27 %v = fadd double %a, %b 28 ret double %v 29 30 ; CHECK-LABEL: @test3 31 ; CHECK: xsadddp 1, 1, 2 32 ; CHECK: blr 33 } 34 35 define <2 x double> @test4(<2 x double> %a, <2 x double> %b) { 36 entry: 37 %v = fadd <2 x double> %a, %b 38 ret <2 x double> %v 39 40 ; CHECK-LABEL: @test4 41 ; CHECK: xvadddp 34, 34, 35 42 ; CHECK: blr 43 } 44 45 define <4 x i32> @test5(<4 x i32> %a, <4 x i32> %b) { 46 entry: 47 %v = xor <4 x i32> %a, %b 48 ret <4 x i32> %v 49 50 ; CHECK-LABEL: @test5 51 ; CHECK: xxlxor 34, 34, 35 52 ; CHECK: blr 53 } 54 55 define <8 x i16> @test6(<8 x i16> %a, <8 x i16> %b) { 56 entry: 57 %v = xor <8 x i16> %a, %b 58 ret <8 x i16> %v 59 60 ; CHECK-LABEL: @test6 61 ; CHECK: xxlxor 34, 34, 35 62 ; CHECK: blr 63 } 64 65 define <16 x i8> @test7(<16 x i8> %a, <16 x i8> %b) { 66 entry: 67 %v = xor <16 x i8> %a, %b 68 ret <16 x i8> %v 69 70 ; CHECK-LABEL: @test7 71 ; CHECK: xxlxor 34, 34, 35 72 ; CHECK: blr 73 } 74 75 define <4 x i32> @test8(<4 x i32> %a, <4 x i32> %b) { 76 entry: 77 %v = or <4 x i32> %a, %b 78 ret <4 x i32> %v 79 80 ; CHECK-LABEL: @test8 81 ; CHECK: xxlor 34, 34, 35 82 ; CHECK: blr 83 } 84 85 define <8 x i16> @test9(<8 x i16> %a, <8 x i16> %b) { 86 entry: 87 %v = or <8 x i16> %a, %b 88 ret <8 x i16> %v 89 90 ; CHECK-LABEL: @test9 91 ; CHECK: xxlor 34, 34, 35 92 ; CHECK: blr 93 } 94 95 define <16 x i8> @test10(<16 x i8> %a, <16 x i8> %b) { 96 entry: 97 %v = or <16 x i8> %a, %b 98 ret <16 x i8> %v 99 100 ; CHECK-LABEL: @test10 101 ; CHECK: xxlor 34, 34, 35 102 ; CHECK: blr 103 } 104 105 define <4 x i32> @test11(<4 x i32> %a, <4 x i32> %b) { 106 entry: 107 %v = and <4 x i32> %a, %b 108 ret <4 x i32> %v 109 110 ; CHECK-LABEL: @test11 111 ; CHECK: xxland 34, 34, 35 112 ; CHECK: blr 113 } 114 115 define <8 x i16> @test12(<8 x i16> %a, <8 x i16> %b) { 116 entry: 117 %v = and <8 x i16> %a, %b 118 ret <8 x i16> %v 119 120 ; CHECK-LABEL: @test12 121 ; CHECK: xxland 34, 34, 35 122 ; CHECK: blr 123 } 124 125 define <16 x i8> @test13(<16 x i8> %a, <16 x i8> %b) { 126 entry: 127 %v = and <16 x i8> %a, %b 128 ret <16 x i8> %v 129 130 ; CHECK-LABEL: @test13 131 ; CHECK: xxland 34, 34, 35 132 ; CHECK: blr 133 } 134 135 define <4 x i32> @test14(<4 x i32> %a, <4 x i32> %b) { 136 entry: 137 %v = or <4 x i32> %a, %b 138 %w = xor <4 x i32> %v, <i32 -1, i32 -1, i32 -1, i32 -1> 139 ret <4 x i32> %w 140 141 ; CHECK-LABEL: @test14 142 ; CHECK: xxlnor 34, 34, 35 143 ; CHECK: blr 144 } 145 146 define <8 x i16> @test15(<8 x i16> %a, <8 x i16> %b) { 147 entry: 148 %v = or <8 x i16> %a, %b 149 %w = xor <8 x i16> %v, <i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1> 150 ret <8 x i16> %w 151 152 ; CHECK-LABEL: @test15 153 ; CHECK: xxlnor 34, 34, 35 154 ; CHECK: blr 155 } 156 157 define <16 x i8> @test16(<16 x i8> %a, <16 x i8> %b) { 158 entry: 159 %v = or <16 x i8> %a, %b 160 %w = xor <16 x i8> %v, <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1> 161 ret <16 x i8> %w 162 163 ; CHECK-LABEL: @test16 164 ; CHECK: xxlnor 34, 34, 35 165 ; CHECK: blr 166 } 167 168 define <4 x i32> @test17(<4 x i32> %a, <4 x i32> %b) { 169 entry: 170 %w = xor <4 x i32> %b, <i32 -1, i32 -1, i32 -1, i32 -1> 171 %v = and <4 x i32> %a, %w 172 ret <4 x i32> %v 173 174 ; CHECK-LABEL: @test17 175 ; CHECK: xxlandc 34, 34, 35 176 ; CHECK: blr 177 } 178 179 define <8 x i16> @test18(<8 x i16> %a, <8 x i16> %b) { 180 entry: 181 %w = xor <8 x i16> %b, <i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1, i16 -1> 182 %v = and <8 x i16> %a, %w 183 ret <8 x i16> %v 184 185 ; CHECK-LABEL: @test18 186 ; CHECK: xxlandc 34, 34, 35 187 ; CHECK: blr 188 } 189 190 define <16 x i8> @test19(<16 x i8> %a, <16 x i8> %b) { 191 entry: 192 %w = xor <16 x i8> %b, <i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1, i8 -1> 193 %v = and <16 x i8> %a, %w 194 ret <16 x i8> %v 195 196 ; CHECK-LABEL: @test19 197 ; CHECK: xxlandc 34, 34, 35 198 ; CHECK: blr 199 } 200 201 define <4 x i32> @test20(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c, <4 x i32> %d) { 202 entry: 203 %m = icmp eq <4 x i32> %c, %d 204 %v = select <4 x i1> %m, <4 x i32> %a, <4 x i32> %b 205 ret <4 x i32> %v 206 207 ; CHECK-LABEL: @test20 208 ; CHECK: vcmpequw {{[0-9]+}}, 4, 5 209 ; CHECK: xxsel 34, 35, 34, {{[0-9]+}} 210 ; CHECK: blr 211 } 212 213 define <4 x float> @test21(<4 x float> %a, <4 x float> %b, <4 x float> %c, <4 x float> %d) { 214 entry: 215 %m = fcmp oeq <4 x float> %c, %d 216 %v = select <4 x i1> %m, <4 x float> %a, <4 x float> %b 217 ret <4 x float> %v 218 219 ; CHECK-LABEL: @test21 220 ; CHECK: xvcmpeqsp [[V1:[0-9]+]], 36, 37 221 ; CHECK: xxsel 34, 35, 34, [[V1]] 222 ; CHECK: blr 223 } 224 225 define <4 x float> @test22(<4 x float> %a, <4 x float> %b, <4 x float> %c, <4 x float> %d) { 226 entry: 227 %m = fcmp ueq <4 x float> %c, %d 228 %v = select <4 x i1> %m, <4 x float> %a, <4 x float> %b 229 ret <4 x float> %v 230 231 ; CHECK-LABEL: @test22 232 ; CHECK-DAG: xvcmpeqsp {{[0-9]+}}, 37, 37 233 ; CHECK-DAG: xvcmpeqsp {{[0-9]+}}, 36, 36 234 ; CHECK-DAG: xvcmpeqsp {{[0-9]+}}, 36, 37 235 ; CHECK-DAG: xxlnor 236 ; CHECK-DAG: xxlnor 237 ; CHECK-DAG: xxlor 238 ; CHECK-DAG: xxlor 239 ; CHECK: xxsel 34, 35, 34, {{[0-9]+}} 240 ; CHECK: blr 241 } 242 243 define <8 x i16> @test23(<8 x i16> %a, <8 x i16> %b, <8 x i16> %c, <8 x i16> %d) { 244 entry: 245 %m = icmp eq <8 x i16> %c, %d 246 %v = select <8 x i1> %m, <8 x i16> %a, <8 x i16> %b 247 ret <8 x i16> %v 248 249 ; CHECK-LABEL: @test23 250 ; CHECK: vcmpequh {{[0-9]+}}, 4, 5 251 ; CHECK: xxsel 34, 35, 34, {{[0-9]+}} 252 ; CHECK: blr 253 } 254 255 define <16 x i8> @test24(<16 x i8> %a, <16 x i8> %b, <16 x i8> %c, <16 x i8> %d) { 256 entry: 257 %m = icmp eq <16 x i8> %c, %d 258 %v = select <16 x i1> %m, <16 x i8> %a, <16 x i8> %b 259 ret <16 x i8> %v 260 261 ; CHECK-LABEL: @test24 262 ; CHECK: vcmpequb {{[0-9]+}}, 4, 5 263 ; CHECK: xxsel 34, 35, 34, {{[0-9]+}} 264 ; CHECK: blr 265 } 266 267 define <2 x double> @test25(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { 268 entry: 269 %m = fcmp oeq <2 x double> %c, %d 270 %v = select <2 x i1> %m, <2 x double> %a, <2 x double> %b 271 ret <2 x double> %v 272 273 ; CHECK-LABEL: @test25 274 ; CHECK: xvcmpeqdp [[V1:[0-9]+]], 36, 37 275 ; CHECK: xxsel 34, 35, 34, [[V1]] 276 ; CHECK: blr 277 } 278 279 define <2 x i64> @test26(<2 x i64> %a, <2 x i64> %b) { 280 %v = add <2 x i64> %a, %b 281 ret <2 x i64> %v 282 283 ; CHECK-LABEL: @test26 284 285 ; Make sure we use only two stores (one for each operand). 286 ; CHECK: stxvd2x 35, 287 ; CHECK: stxvd2x 34, 288 ; CHECK-NOT: stxvd2x 289 290 ; FIXME: The code quality here is not good; just make sure we do something for now. 291 ; CHECK: add 292 ; CHECK: add 293 ; CHECK: blr 294 } 295 296 define <2 x i64> @test27(<2 x i64> %a, <2 x i64> %b) { 297 %v = and <2 x i64> %a, %b 298 ret <2 x i64> %v 299 300 ; CHECK-LABEL: @test27 301 ; CHECK: xxland 34, 34, 35 302 ; CHECK: blr 303 } 304 305 define <2 x double> @test28(<2 x double>* %a) { 306 %v = load <2 x double>* %a, align 16 307 ret <2 x double> %v 308 309 ; CHECK-LABEL: @test28 310 ; CHECK: lxvd2x 34, 0, 3 311 ; CHECK: blr 312 } 313 314 define void @test29(<2 x double>* %a, <2 x double> %b) { 315 store <2 x double> %b, <2 x double>* %a, align 16 316 ret void 317 318 ; CHECK-LABEL: @test29 319 ; CHECK: stxvd2x 34, 0, 3 320 ; CHECK: blr 321 } 322 323 define <2 x double> @test28u(<2 x double>* %a) { 324 %v = load <2 x double>* %a, align 8 325 ret <2 x double> %v 326 327 ; CHECK-LABEL: @test28u 328 ; CHECK: lxvd2x 34, 0, 3 329 ; CHECK: blr 330 } 331 332 define void @test29u(<2 x double>* %a, <2 x double> %b) { 333 store <2 x double> %b, <2 x double>* %a, align 8 334 ret void 335 336 ; CHECK-LABEL: @test29u 337 ; CHECK: stxvd2x 34, 0, 3 338 ; CHECK: blr 339 } 340 341 define <2 x i64> @test30(<2 x i64>* %a) { 342 %v = load <2 x i64>* %a, align 16 343 ret <2 x i64> %v 344 345 ; CHECK-LABEL: @test30 346 ; CHECK: lxvd2x 34, 0, 3 347 ; CHECK: blr 348 } 349 350 define void @test31(<2 x i64>* %a, <2 x i64> %b) { 351 store <2 x i64> %b, <2 x i64>* %a, align 16 352 ret void 353 354 ; CHECK-LABEL: @test31 355 ; CHECK: stxvd2x 34, 0, 3 356 ; CHECK: blr 357 } 358 359 define <2 x double> @test40(<2 x i64> %a) { 360 %v = uitofp <2 x i64> %a to <2 x double> 361 ret <2 x double> %v 362 363 ; CHECK-LABEL: @test40 364 ; CHECK: xvcvuxddp 34, 34 365 ; CHECK: blr 366 } 367 368 define <2 x double> @test41(<2 x i64> %a) { 369 %v = sitofp <2 x i64> %a to <2 x double> 370 ret <2 x double> %v 371 372 ; CHECK-LABEL: @test41 373 ; CHECK: xvcvsxddp 34, 34 374 ; CHECK: blr 375 } 376 377 define <2 x i64> @test42(<2 x double> %a) { 378 %v = fptoui <2 x double> %a to <2 x i64> 379 ret <2 x i64> %v 380 381 ; CHECK-LABEL: @test42 382 ; CHECK: xvcvdpuxds 34, 34 383 ; CHECK: blr 384 } 385 386 define <2 x i64> @test43(<2 x double> %a) { 387 %v = fptosi <2 x double> %a to <2 x i64> 388 ret <2 x i64> %v 389 390 ; CHECK-LABEL: @test43 391 ; CHECK: xvcvdpsxds 34, 34 392 ; CHECK: blr 393 } 394 395 define <2 x float> @test44(<2 x i64> %a) { 396 %v = uitofp <2 x i64> %a to <2 x float> 397 ret <2 x float> %v 398 399 ; CHECK-LABEL: @test44 400 ; FIXME: The code quality here looks pretty bad. 401 ; CHECK: blr 402 } 403 404 define <2 x float> @test45(<2 x i64> %a) { 405 %v = sitofp <2 x i64> %a to <2 x float> 406 ret <2 x float> %v 407 408 ; CHECK-LABEL: @test45 409 ; FIXME: The code quality here looks pretty bad. 410 ; CHECK: blr 411 } 412 413 define <2 x i64> @test46(<2 x float> %a) { 414 %v = fptoui <2 x float> %a to <2 x i64> 415 ret <2 x i64> %v 416 417 ; CHECK-LABEL: @test46 418 ; FIXME: The code quality here looks pretty bad. 419 ; CHECK: blr 420 } 421 422 define <2 x i64> @test47(<2 x float> %a) { 423 %v = fptosi <2 x float> %a to <2 x i64> 424 ret <2 x i64> %v 425 426 ; CHECK-LABEL: @test47 427 ; FIXME: The code quality here looks pretty bad. 428 ; CHECK: blr 429 } 430 431 define <2 x double> @test50(double* %a) { 432 %v = load double* %a, align 8 433 %w = insertelement <2 x double> undef, double %v, i32 0 434 %x = insertelement <2 x double> %w, double %v, i32 1 435 ret <2 x double> %x 436 437 ; CHECK-LABEL: @test50 438 ; CHECK: lxvdsx 34, 0, 3 439 ; CHECK: blr 440 } 441 442 define <2 x double> @test51(<2 x double> %a, <2 x double> %b) { 443 %v = shufflevector <2 x double> %a, <2 x double> %b, <2 x i32> <i32 0, i32 0> 444 ret <2 x double> %v 445 446 ; CHECK-LABEL: @test51 447 ; CHECK: xxpermdi 34, 34, 34, 0 448 ; CHECK: blr 449 } 450 451 define <2 x double> @test52(<2 x double> %a, <2 x double> %b) { 452 %v = shufflevector <2 x double> %a, <2 x double> %b, <2 x i32> <i32 0, i32 2> 453 ret <2 x double> %v 454 455 ; CHECK-LABEL: @test52 456 ; CHECK: xxpermdi 34, 34, 35, 0 457 ; CHECK: blr 458 } 459 460 define <2 x double> @test53(<2 x double> %a, <2 x double> %b) { 461 %v = shufflevector <2 x double> %a, <2 x double> %b, <2 x i32> <i32 2, i32 0> 462 ret <2 x double> %v 463 464 ; CHECK-LABEL: @test53 465 ; CHECK: xxpermdi 34, 35, 34, 0 466 ; CHECK: blr 467 } 468 469 define <2 x double> @test54(<2 x double> %a, <2 x double> %b) { 470 %v = shufflevector <2 x double> %a, <2 x double> %b, <2 x i32> <i32 1, i32 2> 471 ret <2 x double> %v 472 473 ; CHECK-LABEL: @test54 474 ; CHECK: xxpermdi 34, 34, 35, 2 475 ; CHECK: blr 476 } 477 478 define <2 x double> @test55(<2 x double> %a, <2 x double> %b) { 479 %v = shufflevector <2 x double> %a, <2 x double> %b, <2 x i32> <i32 1, i32 3> 480 ret <2 x double> %v 481 482 ; CHECK-LABEL: @test55 483 ; CHECK: xxpermdi 34, 34, 35, 3 484 ; CHECK: blr 485 } 486 487 define <2 x i64> @test56(<2 x i64> %a, <2 x i64> %b) { 488 %v = shufflevector <2 x i64> %a, <2 x i64> %b, <2 x i32> <i32 1, i32 3> 489 ret <2 x i64> %v 490 491 ; CHECK-LABEL: @test56 492 ; CHECK: xxpermdi 34, 34, 35, 3 493 ; CHECK: blr 494 } 495 496 define <2 x i64> @test60(<2 x i64> %a, <2 x i64> %b) { 497 %v = shl <2 x i64> %a, %b 498 ret <2 x i64> %v 499 500 ; CHECK-LABEL: @test60 501 ; This should scalarize, and the current code quality is not good. 502 ; CHECK: stxvd2x 503 ; CHECK: stxvd2x 504 ; CHECK: sld 505 ; CHECK: sld 506 ; CHECK: lxvd2x 507 ; CHECK: blr 508 } 509 510 define <2 x i64> @test61(<2 x i64> %a, <2 x i64> %b) { 511 %v = lshr <2 x i64> %a, %b 512 ret <2 x i64> %v 513 514 ; CHECK-LABEL: @test61 515 ; This should scalarize, and the current code quality is not good. 516 ; CHECK: stxvd2x 517 ; CHECK: stxvd2x 518 ; CHECK: srd 519 ; CHECK: srd 520 ; CHECK: lxvd2x 521 ; CHECK: blr 522 } 523 524 define <2 x i64> @test62(<2 x i64> %a, <2 x i64> %b) { 525 %v = ashr <2 x i64> %a, %b 526 ret <2 x i64> %v 527 528 ; CHECK-LABEL: @test62 529 ; This should scalarize, and the current code quality is not good. 530 ; CHECK: stxvd2x 531 ; CHECK: stxvd2x 532 ; CHECK: srad 533 ; CHECK: srad 534 ; CHECK: lxvd2x 535 ; CHECK: blr 536 } 537 538 define double @test63(<2 x double> %a) { 539 %v = extractelement <2 x double> %a, i32 0 540 ret double %v 541 542 ; CHECK-LABEL: @test63 543 ; CHECK: xxlor 1, 34, 34 544 ; CHECK: blr 545 } 546 547 define double @test64(<2 x double> %a) { 548 %v = extractelement <2 x double> %a, i32 1 549 ret double %v 550 551 ; CHECK-LABEL: @test64 552 ; CHECK: xxpermdi 1, 34, 34, 2 553 ; CHECK: blr 554 } 555 556 define <2 x i1> @test65(<2 x i64> %a, <2 x i64> %b) { 557 %w = icmp eq <2 x i64> %a, %b 558 ret <2 x i1> %w 559 560 ; CHECK-LABEL: @test65 561 ; CHECK: vcmpequw 2, 2, 3 562 ; CHECK: blr 563 } 564 565 define <2 x i1> @test66(<2 x i64> %a, <2 x i64> %b) { 566 %w = icmp ne <2 x i64> %a, %b 567 ret <2 x i1> %w 568 569 ; CHECK-LABEL: @test66 570 ; CHECK: vcmpequw {{[0-9]+}}, 2, 3 571 ; CHECK: xxlnor 34, {{[0-9]+}}, {{[0-9]+}} 572 ; CHECK: blr 573 } 574 575 define <2 x i1> @test67(<2 x i64> %a, <2 x i64> %b) { 576 %w = icmp ult <2 x i64> %a, %b 577 ret <2 x i1> %w 578 579 ; CHECK-LABEL: @test67 580 ; This should scalarize, and the current code quality is not good. 581 ; CHECK: stxvd2x 582 ; CHECK: stxvd2x 583 ; CHECK: cmpld 584 ; CHECK: cmpld 585 ; CHECK: lxvd2x 586 ; CHECK: blr 587 } 588 589 define <2 x double> @test68(<2 x i32> %a) { 590 %w = sitofp <2 x i32> %a to <2 x double> 591 ret <2 x double> %w 592 593 ; CHECK-LABEL: @test68 594 ; CHECK: xxsldwi [[V1:[0-9]+]], 34, 34, 1 595 ; CHECK: xvcvsxwdp 34, [[V1]] 596 ; CHECK: blr 597 } 598 599 define <2 x double> @test69(<2 x i16> %a) { 600 %w = sitofp <2 x i16> %a to <2 x double> 601 ret <2 x double> %w 602 603 ; CHECK-LABEL: @test69 604 ; CHECK: vspltisw [[V1:[0-9]+]], 8 605 ; CHECK: vadduwm [[V2:[0-9]+]], [[V1]], [[V1]] 606 ; CHECK: vslw [[V3:[0-9]+]], 2, [[V2]] 607 ; CHECK: vsraw {{[0-9]+}}, [[V3]], [[V2]] 608 ; CHECK: xxsldwi [[V4:[0-9]+]], {{[0-9]+}}, {{[0-9]+}}, 1 609 ; CHECK: xvcvsxwdp 34, [[V4]] 610 ; CHECK: blr 611 } 612 613 define <2 x double> @test70(<2 x i8> %a) { 614 %w = sitofp <2 x i8> %a to <2 x double> 615 ret <2 x double> %w 616 617 ; CHECK-LABEL: @test70 618 ; CHECK: vspltisw [[V1:[0-9]+]], 12 619 ; CHECK: vadduwm [[V2:[0-9]+]], [[V1]], [[V1]] 620 ; CHECK: vslw [[V3:[0-9]+]], 2, [[V2]] 621 ; CHECK: vsraw {{[0-9]+}}, [[V3]], [[V2]] 622 ; CHECK: xxsldwi [[V4:[0-9]+]], {{[0-9]+}}, {{[0-9]+}}, 1 623 ; CHECK: xvcvsxwdp 34, [[V4]] 624 ; CHECK: blr 625 } 626 627 define <2 x i32> @test80(i32 %v) { 628 %b1 = insertelement <2 x i32> undef, i32 %v, i32 0 629 %b2 = shufflevector <2 x i32> %b1, <2 x i32> undef, <2 x i32> zeroinitializer 630 %i = add <2 x i32> %b2, <i32 2, i32 3> 631 ret <2 x i32> %i 632 633 ; CHECK-LABEL: @test80 634 ; CHECK-DAG: addi [[R1:[0-9]+]], 3, 3 635 ; CHECK-DAG: addi [[R2:[0-9]+]], 1, -16 636 ; CHECK-DAG: addi [[R3:[0-9]+]], 3, 2 637 ; CHECK: std [[R1]], 8([[R2]]) 638 ; CHECK: std [[R3]], -16(1) 639 ; CHECK: lxvd2x 34, 0, [[R2]] 640 ; CHECK-NOT: stxvd2x 641 ; CHECK: blr 642 } 643 644 define <2 x double> @test81(<4 x float> %b) { 645 %w = bitcast <4 x float> %b to <2 x double> 646 ret <2 x double> %w 647 648 ; CHECK-LABEL: @test81 649 ; CHECK: blr 650 } 651 652
