[llvm] r329963 - [PowerPC] add fsub-fneg test; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 12 15:14:23 PDT 2018
Author: spatel
Date: Thu Apr 12 15:14:23 2018
New Revision: 329963
URL: http://llvm.org/viewvc/llvm-project?rev=329963&view=rev
Log:
[PowerPC] add fsub-fneg test; NFC
This is a test for a transform that was suggested in the post-commit
mailing list thread for rL329821. The target in question is not in
trunk, so PPC gets to stand in for it because it's the only in-tree
target that sets 'isFPExtFree()' to 'true'.
Added:
llvm/trunk/test/CodeGen/PowerPC/fsub-fneg.ll
Added: llvm/trunk/test/CodeGen/PowerPC/fsub-fneg.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/PowerPC/fsub-fneg.ll?rev=329963&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/PowerPC/fsub-fneg.ll (added)
+++ llvm/trunk/test/CodeGen/PowerPC/fsub-fneg.ll Thu Apr 12 15:14:23 2018
@@ -0,0 +1,21 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -verify-machineinstrs -mtriple=powerpc64le < %s | FileCheck %s
+
+; FIXME: When fpext is free, we should look through it for optimizations
+; even if it has multiple uses and produce an 'fadd' here.
+; Y - (fpext(-X)) --> Y + fpext(X)
+
+define double @neg_ext_op1_extra_use(float %x, double %y) nounwind {
+; CHECK-LABEL: neg_ext_op1_extra_use:
+; CHECK: # %bb.0:
+; CHECK-NEXT: fneg 0, 1
+; CHECK-NEXT: xssubdp 1, 2, 0
+; CHECK-NEXT: xsdivdp 1, 0, 1
+; CHECK-NEXT: blr
+ %t1 = fsub float -0.0, %x
+ %t2 = fpext float %t1 to double
+ %t3 = fsub double %y, %t2
+ %t4 = fdiv double %t2, %t3
+ ret double %t4
+}
+
More information about the llvm-commits
mailing list