From 171f6f05db326f704e48375045aa2a98ea77675c Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 9 May 2016 12:23:11 +0000 Subject: [PATCH] re PR tree-optimization/70985 (ICE on valid code at -O3 on x86_64-linux-gnu: verify_gimple failed) 2016-05-09 Richard Biener PR tree-optimization/70985 * match.pd (BIT_FIELD_REF -> (type)): Disable on GIMPLE when op0 isn't a gimple register. * gcc.dg/torture/pr70985.c: New testcase. From-SVN: r236032 --- gcc/ChangeLog | 6 ++++++ gcc/match.pd | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr70985.c | 28 ++++++++++++++++++++++++++ 4 files changed, 41 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr70985.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d61ec185b2b..c303b94b900 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-05-09 Richard Biener + + PR tree-optimization/70985 + * match.pd (BIT_FIELD_REF -> (type)): Disable on GIMPLE when + op0 isn't a gimple register. + 2016-05-09 Prachi Godbole * config/mips/i6400.md (i6400_fpu_intadd, i6400_fpu_logic) diff --git a/gcc/match.pd b/gcc/match.pd index 55dd23cc670..e511e9a6b9b 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -3244,6 +3244,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (view_convert (imagpart @0))))) (if (INTEGRAL_TYPE_P (TREE_TYPE (@0)) && INTEGRAL_TYPE_P (type) + /* On GIMPLE this should only apply to register arguments. */ + && (! GIMPLE || is_gimple_reg (@0)) /* A bit-field-ref that referenced the full argument can be stripped. */ && ((compare_tree_int (@1, TYPE_PRECISION (TREE_TYPE (@0))) == 0 && integer_zerop (@2)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bcb75c42cdd..9e974542931 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-05-09 Richard Biener + + PR tree-optimization/70985 + * gcc.dg/torture/pr70985.c: New testcase. + 2016-05-09 Bin Cheng * gcc.dg/tree-ssa/ifc-9.c: New test. diff --git a/gcc/testsuite/gcc.dg/torture/pr70985.c b/gcc/testsuite/gcc.dg/torture/pr70985.c new file mode 100644 index 00000000000..17273b029a4 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr70985.c @@ -0,0 +1,28 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target int32plus } */ + +struct +{ + int f0:24; +} a, c, d; + +int b; + +int +fn1 () +{ + return 0; +} + +void +fn2 () +{ + int e; + if (b) + for (; e;) + { + d = c; + if (fn1 (b)) + b = a.f0; + } +} -- 2.30.2