On Sat, Mar 12, 2016 at 09:59:12AM -0500, David Edelsohn wrote:
> > 2016-03-12 Segher Boessenkool <[email protected]>
> >
> > PR target/70098
> > * config/rs6000/rs6000.md (*ctr<mode>_internal1,
> > *ctr<mode>_internal2,
> > *ctr<mode>_internal5, *ctr<mode>_internal6): Also allow "d" as
> > output.
> > (define_split for the GPR case): Use int_reg_operand instead of
> > gpc_reg_operand for the output.
> >
> > gcc/testsuite/
> > PR target/70098
> > * g++.dg/pr70098.C: New testcase.
>
> This is okay.
>
> The testcase will need some XFAILs.
That wasn't so easy. I came up with the following; okay as well?
(I'll fold it before committing).
Segher
gcc/testsuite/
* lib/target-supports.exp (check_effective_target_powerpc64_no_dm):
New function.
diff --git a/gcc/testsuite/g++.dg/pr70098.C b/gcc/testsuite/g++.dg/pr70098.C
index c7b4f63..f5eb48f 100644
--- a/gcc/testsuite/g++.dg/pr70098.C
+++ b/gcc/testsuite/g++.dg/pr70098.C
@@ -2,6 +2,8 @@
// { dg-do compile }
// { dg-options -O2 }
// { dg-require-effective-target c++11 }
+// { dg-xfail-if "PR70098" { lp64 && powerpc64_no_dm } }
+// { dg-prune-output ".*internal compiler error.*" }
template < typename > struct traits;
template < typename, int _Rows, int _Cols, int = 0, int = _Rows,
diff --git a/gcc/testsuite/lib/target-supports.exp
b/gcc/testsuite/lib/target-supports.exp
index 5af139b..49b82c3 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -1629,6 +1629,19 @@ proc check_effective_target_avx_runtime { } {
return 0
}
+# Return 1 if we are compiling for 64-bit PowerPC but we do not use direct
+# move instructions for moves from GPR to FPR.
+
+proc check_effective_target_powerpc64_no_dm { } {
+ # The "mulld" checks if we are generating PowerPC64 code. The "lfd"
+ # checks if we do not use direct moves, but use the old-fashioned
+ # slower move-via-the-stack.
+ return [check_no_messages_and_pattern powerpc64_no_dm \
+ {\mmulld\M.*\mlfd} assembly {
+ double f(long long x) { return x*x; }
+ } {-O2}]
+}
+
# Return 1 if the target supports executing power8 vector instructions, 0
# otherwise. Cache the result.
