diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-03-03 10:58:11 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-03-03 10:58:11 +0100 |
| commit | 7ece48b1187e63a238d97028937afa311943e436 (patch) | |
| tree | 71bbb049c7364bc9f56491192c5d5bbdc2a74bb4 /gcc/cfgexpand.c | |
| parent | 0508bed7ffc2de0ccfebf7bde414a31f3062a21a (diff) | |
| download | gcc-7ece48b1187e63a238d97028937afa311943e436.zip gcc-7ece48b1187e63a238d97028937afa311943e436.tar.gz gcc-7ece48b1187e63a238d97028937afa311943e436.tar.bz2 | |
re PR debug/43229 (ice expand_debug_expr, at cfgexpand.c:2957)
PR debug/43229
* cfgexpand.c (expand_debug_expr): Handle DOT_PROD_EXPR,
WIDEN_MULT_EXPR and WIDEN_SUM_EXPR. Return NULL without
ICE for vector expressions, ADDR_SPACE_CONVERT_EXPR,
FIXED_CONVERT_EXPR, OBJ_TYPE_REF and WITH_SIZE_EXPR.
* gfortran.dg/pr43229.f90: New test.
From-SVN: r157191
Diffstat (limited to 'gcc/cfgexpand.c')
| -rw-r--r-- | gcc/cfgexpand.c | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index b51307f..ee14599 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -2230,6 +2230,7 @@ expand_debug_expr (tree exp) switch (TREE_CODE (exp)) { case COND_EXPR: + case DOT_PROD_EXPR: goto ternary; case TRUTH_ANDIF_EXPR: @@ -2950,6 +2951,81 @@ expand_debug_expr (tree exp) case ERROR_MARK: return NULL; + /* Vector stuff. For most of the codes we don't have rtl codes. */ + case REALIGN_LOAD_EXPR: + case REDUC_MAX_EXPR: + case REDUC_MIN_EXPR: + case REDUC_PLUS_EXPR: + case VEC_COND_EXPR: + case VEC_EXTRACT_EVEN_EXPR: + case VEC_EXTRACT_ODD_EXPR: + case VEC_INTERLEAVE_HIGH_EXPR: + case VEC_INTERLEAVE_LOW_EXPR: + case VEC_LSHIFT_EXPR: + case VEC_PACK_FIX_TRUNC_EXPR: + case VEC_PACK_SAT_EXPR: + case VEC_PACK_TRUNC_EXPR: + case VEC_RSHIFT_EXPR: + case VEC_UNPACK_FLOAT_HI_EXPR: + case VEC_UNPACK_FLOAT_LO_EXPR: + case VEC_UNPACK_HI_EXPR: + case VEC_UNPACK_LO_EXPR: + case VEC_WIDEN_MULT_HI_EXPR: + case VEC_WIDEN_MULT_LO_EXPR: + return NULL; + + /* Misc codes. */ + case ADDR_SPACE_CONVERT_EXPR: + case FIXED_CONVERT_EXPR: + case OBJ_TYPE_REF: + case WITH_SIZE_EXPR: + return NULL; + + case DOT_PROD_EXPR: + if (SCALAR_INT_MODE_P (GET_MODE (op0)) + && SCALAR_INT_MODE_P (mode)) + { + if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 0)))) + op0 = gen_rtx_ZERO_EXTEND (mode, op0); + else + op0 = gen_rtx_SIGN_EXTEND (mode, op0); + if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 1)))) + op1 = gen_rtx_ZERO_EXTEND (mode, op1); + else + op1 = gen_rtx_SIGN_EXTEND (mode, op1); + op0 = gen_rtx_MULT (mode, op0, op1); + return gen_rtx_PLUS (mode, op0, op2); + } + return NULL; + + case WIDEN_MULT_EXPR: + if (SCALAR_INT_MODE_P (GET_MODE (op0)) + && SCALAR_INT_MODE_P (mode)) + { + if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 0)))) + op0 = gen_rtx_ZERO_EXTEND (mode, op0); + else + op0 = gen_rtx_SIGN_EXTEND (mode, op0); + if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 1)))) + op1 = gen_rtx_ZERO_EXTEND (mode, op1); + else + op1 = gen_rtx_SIGN_EXTEND (mode, op1); + return gen_rtx_MULT (mode, op0, op1); + } + return NULL; + + case WIDEN_SUM_EXPR: + if (SCALAR_INT_MODE_P (GET_MODE (op0)) + && SCALAR_INT_MODE_P (mode)) + { + if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 0)))) + op0 = gen_rtx_ZERO_EXTEND (mode, op0); + else + op0 = gen_rtx_SIGN_EXTEND (mode, op0); + return gen_rtx_PLUS (mode, op0, op1); + } + return NULL; + default: flag_unsupported: #ifdef ENABLE_CHECKING |