test/CodeGen/PowerPC/combine-fneg.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=powerpc64le-unknown-unknown | FileCheck %s
   3
   4 ; Infinite loop identified in D62963.
   5 define <4 x double> @fneg_fdiv_splat(double %a0, <4 x double> %a1) {
   6 ; CHECK-LABEL: fneg_fdiv_splat:
   7 ; CHECK:       # %bb.0: # %entry
   8 ; CHECK-NEXT:    # kill: def $f1 killed $f1 def $vsl1
   9 ; CHECK-NEXT:    xxspltd 0, 1, 0
  10 ; CHECK-NEXT:    addis 3, 2, .LCPI0_0@toc@ha
  11 ; CHECK-NEXT:    addi 3, 3, .LCPI0_0@toc@l
  12 ; CHECK-NEXT:    lxvd2x 1, 0, 3
  13 ; CHECK-NEXT:    addis 3, 2, .LCPI0_1@toc@ha
  14 ; CHECK-NEXT:    xvredp 2, 0
  15 ; CHECK-NEXT:    addi 3, 3, .LCPI0_1@toc@l
  16 ; CHECK-NEXT:    xxswapd 1, 1
  17 ; CHECK-NEXT:    xvnmsubadp 1, 0, 2
  18 ; CHECK-NEXT:    xvmaddadp 2, 2, 1
  19 ; CHECK-NEXT:    lxvd2x 1, 0, 3
  20 ; CHECK-NEXT:    xxswapd 1, 1
  21 ; CHECK-NEXT:    xvmaddadp 1, 0, 2
  22 ; CHECK-NEXT:    xvmsubadp 2, 2, 1
  23 ; CHECK-NEXT:    xvmuldp 34, 34, 2
  24 ; CHECK-NEXT:    xvmuldp 35, 35, 2
  25 ; CHECK-NEXT:    blr
  26 entry:
  27   %splat.splatinsert = insertelement <4 x double> undef, double %a0, i32 0
  28   %splat.splat = shufflevector <4 x double> %splat.splatinsert, <4 x double> undef, <4 x i32> zeroinitializer
  29   %div = fdiv fast <4 x double> %a1, %splat.splat
  30   %sub = fsub fast <4 x double> <double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00>, %div
  31   ret <4 x double> %sub
  32 }