OSDN Git Service

[NFC] [PowerPC] Refresh fma-mutate.ll using script
authorQiu Chaofan <qiucofan@cn.ibm.com>
Tue, 19 May 2020 05:37:25 +0000 (13:37 +0800)
committerQiu Chaofan <qiucofan@cn.ibm.com>
Tue, 19 May 2020 05:39:58 +0000 (13:39 +0800)
This is a clean-up after D78989. The old comments are out of date.

llvm/test/CodeGen/PowerPC/fma-mutate.ll

index f3dc1c6..a1e3473 100644 (file)
@@ -1,27 +1,46 @@
-; Test several VSX FMA mutation opportunities.  The first one isn't a
-; reasonable transformation because the killed product register is the
-; same as the FMA target register.  The second one is legal.  The third
-; one doesn't fit the feeding-copy pattern.
-
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
 ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=+vsx -disable-ppc-vsx-fma-mutation=false | FileCheck %s
-target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
-target triple = "powerpc64-unknown-linux-gnu"
 
 declare double @llvm.sqrt.f64(double)
 
+; Test several VSX FMA mutation opportunities.
+
+; This is reasonable transformation since it eliminates extra register copy.
 define double @foo3_fmf(double %a) nounwind {
-; CHECK: @foo3_fmf
-; CHECK-NOT: fmr
-; CHECK: xsmaddmdp
-; CHECK: xsmaddadp
+; CHECK-LABEL: foo3_fmf:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    xsabsdp 0, 1
+; CHECK-NEXT:    addis 3, 2, .LCPI0_2@toc@ha
+; CHECK-NEXT:    lfd 2, .LCPI0_2@toc@l(3)
+; CHECK-NEXT:    xscmpudp 0, 0, 2
+; CHECK-NEXT:    xxlxor 0, 0, 0
+; CHECK-NEXT:    blt 0, .LBB0_2
+; CHECK-NEXT:  # %bb.1:
+; CHECK-NEXT:    xsrsqrtedp 0, 1
+; CHECK-NEXT:    addis 3, 2, .LCPI0_0@toc@ha
+; CHECK-NEXT:    lfs 3, .LCPI0_0@toc@l(3)
+; CHECK-NEXT:    addis 3, 2, .LCPI0_1@toc@ha
+; CHECK-NEXT:    lfs 4, .LCPI0_1@toc@l(3)
+; CHECK-NEXT:    xsmuldp 2, 1, 0
+; CHECK-NEXT:    xsmaddmdp 2, 0, 3
+; CHECK-NEXT:    xsmuldp 0, 0, 4
+; CHECK-NEXT:    xsmuldp 0, 0, 2
+; CHECK-NEXT:    xsmuldp 1, 1, 0
+; CHECK-NEXT:    xsmaddadp 3, 1, 0
+; CHECK-NEXT:    xsmuldp 0, 1, 4
+; CHECK-NEXT:    xsmuldp 0, 0, 3
+; CHECK-NEXT:  .LBB0_2:
+; CHECK-NEXT:    fmr 1, 0
+; CHECK-NEXT:    blr
   %r = call reassoc afn ninf double @llvm.sqrt.f64(double %a)
   ret double %r
 }
 
 define double @foo3_safe(double %a) nounwind {
-; CHECK: @foo3_safe
-; CHECK-NOT: fmr
-; CHECK: xssqrtdp
+; CHECK-LABEL: foo3_safe:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    xssqrtdp 1, 1
+; CHECK-NEXT:    blr
   %r = call double @llvm.sqrt.f64(double %a)
   ret double %r
 }