114 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefixes=X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefixes=X644 5; FIXME: Missing fsub(x,fneg(y)) -> fadd(x,y) fold6define float @fneg_strict_fsub_to_strict_fadd(float %x, float %y) nounwind strictfp {7; X86-LABEL: fneg_strict_fsub_to_strict_fadd:8; X86: # %bb.0:9; X86-NEXT: pushl %eax10; X86-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero11; X86-NEXT: movss {{.*#+}} xmm1 = mem[0],zero,zero,zero12; X86-NEXT: xorps {{\.?LCPI[0-9]+_[0-9]+}}, %xmm113; X86-NEXT: subss %xmm1, %xmm014; X86-NEXT: movss %xmm0, (%esp)15; X86-NEXT: flds (%esp)16; X86-NEXT: wait17; X86-NEXT: popl %eax18; X86-NEXT: retl19;20; X64-LABEL: fneg_strict_fsub_to_strict_fadd:21; X64: # %bb.0:22; X64-NEXT: xorps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm123; X64-NEXT: subss %xmm1, %xmm024; X64-NEXT: retq25 %neg = fneg float %y26 %sub = call float @llvm.experimental.constrained.fsub.f32(float %x, float %neg, metadata!"round.dynamic", metadata!"fpexcept.strict")27 ret float %sub28}29 30; FIXME: Missing fsub(x,fneg(y)) -> fadd(x,y) fold31define double @fneg_strict_fsub_to_strict_fadd_d(double %x, double %y) nounwind strictfp {32; X86-LABEL: fneg_strict_fsub_to_strict_fadd_d:33; X86: # %bb.0:34; X86-NEXT: pushl %ebp35; X86-NEXT: movl %esp, %ebp36; X86-NEXT: andl $-8, %esp37; X86-NEXT: subl $8, %esp38; X86-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero39; X86-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero40; X86-NEXT: xorpd {{\.?LCPI[0-9]+_[0-9]+}}, %xmm141; X86-NEXT: subsd %xmm1, %xmm042; X86-NEXT: movsd %xmm0, (%esp)43; X86-NEXT: fldl (%esp)44; X86-NEXT: wait45; X86-NEXT: movl %ebp, %esp46; X86-NEXT: popl %ebp47; X86-NEXT: retl48;49; X64-LABEL: fneg_strict_fsub_to_strict_fadd_d:50; X64: # %bb.0:51; X64-NEXT: xorpd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm152; X64-NEXT: subsd %xmm1, %xmm053; X64-NEXT: retq54 %neg = fneg double %y55 %sub = call double @llvm.experimental.constrained.fsub.f64(double %x, double %neg, metadata!"round.dynamic", metadata!"fpexcept.strict")56 ret double %sub57}58 59; FIXME: Missing fneg(fsub(x,y)) -> fsub(y,x) fold60define float @strict_fsub_fneg_to_strict_fsub(float %x, float %y) nounwind strictfp {61; X86-LABEL: strict_fsub_fneg_to_strict_fsub:62; X86: # %bb.0:63; X86-NEXT: pushl %eax64; X86-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero65; X86-NEXT: subss {{[0-9]+}}(%esp), %xmm066; X86-NEXT: xorps {{\.?LCPI[0-9]+_[0-9]+}}, %xmm067; X86-NEXT: movss %xmm0, (%esp)68; X86-NEXT: flds (%esp)69; X86-NEXT: wait70; X86-NEXT: popl %eax71; X86-NEXT: retl72;73; X64-LABEL: strict_fsub_fneg_to_strict_fsub:74; X64: # %bb.0:75; X64-NEXT: subss %xmm1, %xmm076; X64-NEXT: xorps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm077; X64-NEXT: retq78 %sub = call float @llvm.experimental.constrained.fsub.f32(float %x, float %y, metadata!"round.dynamic", metadata!"fpexcept.strict")79 %neg = fneg float %sub80 ret float %neg81}82 83; FIXME: Missing fneg(fsub(x,y)) -> fsub(y,x) fold84define double @strict_fsub_fneg_to_strict_fsub_d(double %x, double %y) nounwind strictfp {85; X86-LABEL: strict_fsub_fneg_to_strict_fsub_d:86; X86: # %bb.0:87; X86-NEXT: pushl %ebp88; X86-NEXT: movl %esp, %ebp89; X86-NEXT: andl $-8, %esp90; X86-NEXT: subl $8, %esp91; X86-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero92; X86-NEXT: subsd 16(%ebp), %xmm093; X86-NEXT: xorpd {{\.?LCPI[0-9]+_[0-9]+}}, %xmm094; X86-NEXT: movlpd %xmm0, (%esp)95; X86-NEXT: fldl (%esp)96; X86-NEXT: wait97; X86-NEXT: movl %ebp, %esp98; X86-NEXT: popl %ebp99; X86-NEXT: retl100;101; X64-LABEL: strict_fsub_fneg_to_strict_fsub_d:102; X64: # %bb.0:103; X64-NEXT: subsd %xmm1, %xmm0104; X64-NEXT: xorpd {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0105; X64-NEXT: retq106 %sub = call double @llvm.experimental.constrained.fsub.f64(double %x, double %y, metadata!"round.dynamic", metadata!"fpexcept.strict")107 %neg = fneg double %sub108 ret double %neg109}110 111 112declare float @llvm.experimental.constrained.fsub.f32(float, float, metadata, metadata)113declare double @llvm.experimental.constrained.fsub.f64(double, double, metadata, metadata)114