diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1992-05-25 06:28:09 -0400 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1992-05-25 06:28:09 -0400 |
| commit | 3b998c11fb4b43c4547bb7aa3f714ce89fe0c922 (patch) | |
| tree | 20a3a7c01f2515050b05f012690cb27e34ff094a /gcc | |
| parent | 1ce634c39faa75856b8a0468b6f39943a6c8e687 (diff) | |
| download | gcc-3b998c11fb4b43c4547bb7aa3f714ce89fe0c922.zip gcc-3b998c11fb4b43c4547bb7aa3f714ce89fe0c922.tar.gz gcc-3b998c11fb4b43c4547bb7aa3f714ce89fe0c922.tar.bz2 | |
*** empty log message ***
From-SVN: r1079
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/explow.c | 20 | ||||
| -rw-r--r-- | gcc/fold-const.c | 43 | ||||
| -rw-r--r-- | gcc/reload1.c | 12 |
3 files changed, 64 insertions, 11 deletions
diff --git a/gcc/explow.c b/gcc/explow.c index 50b0582..c01c21b 100644 --- a/gcc/explow.c +++ b/gcc/explow.c @@ -846,14 +846,18 @@ allocate_dynamic_stack_space (size, target, known_align) #ifdef MUST_ALIGN - if (GET_CODE (size) == CONST_INT) - size = gen_rtx (CONST_INT, VOIDmode, - INTVAL (size) + (BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1)); - else - size = expand_binop (Pmode, add_optab, size, - gen_rtx (CONST_INT, VOIDmode, - BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1), - 0, 1, OPTAB_LIB_WIDEN); + if (known_align % BIGGEST_ALIGNMENT != 0) + { + if (GET_CODE (size) == CONST_INT) + size = gen_rtx (CONST_INT, VOIDmode, + (INTVAL (size) + + (BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1))); + else + size = expand_binop (Pmode, add_optab, size, + gen_rtx (CONST_INT, VOIDmode, + BIGGEST_ALIGNMENT / BITS_PER_UNIT - 1), + 0, 1, OPTAB_LIB_WIDEN); + } #endif #ifdef SETJMP_VIA_SAVE_AREA diff --git a/gcc/fold-const.c b/gcc/fold-const.c index fcabebd..ba44e20 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3140,6 +3140,49 @@ fold (expr) return non_lvalue (convert (type, arg0)); if (integer_zerop (arg1)) return t; + + /* If we have ((a * C1) / C2) and C1 % C2 == 0, we can replace this with + (a * (C1/C2). Also look for when we have a SAVE_EXPR in + between. */ + if (TREE_CODE (arg1) == INTEGER_CST + && TREE_INT_CST_LOW (arg1) > 0 && TREE_INT_CST_HIGH (arg1) == 0 + && TREE_CODE (arg0) == MULT_EXPR + && TREE_CODE (TREE_OPERAND (arg0, 1)) == INTEGER_CST + && TREE_INT_CST_LOW (TREE_OPERAND (arg0, 1)) > 0 + && TREE_INT_CST_HIGH (TREE_OPERAND (arg0, 1)) == 0 + && 0 == (TREE_INT_CST_LOW (TREE_OPERAND (arg0, 1)) + % TREE_INT_CST_LOW (arg1))) + { + tree new_op + = build_int_2 (TREE_INT_CST_LOW (TREE_OPERAND (arg0, 1)) + / TREE_INT_CST_LOW (arg1)); + + TREE_TYPE (new_op) = type; + return build (MULT_EXPR, type, TREE_OPERAND (arg0, 0), new_op); + } + + else if (TREE_CODE (arg1) == INTEGER_CST + && TREE_INT_CST_LOW (arg1) > 0 && TREE_INT_CST_HIGH (arg1) == 0 + && TREE_CODE (arg0) == SAVE_EXPR + && TREE_CODE (TREE_OPERAND (arg0, 0)) == MULT_EXPR + && (TREE_CODE (TREE_OPERAND (TREE_OPERAND (arg0, 0), 1)) + == INTEGER_CST) + && (TREE_INT_CST_LOW (TREE_OPERAND (TREE_OPERAND (arg0, 0), 1)) + > 0) + && (TREE_INT_CST_HIGH (TREE_OPERAND (TREE_OPERAND (arg0, 0), 1)) + == 0) + && (TREE_INT_CST_LOW (TREE_OPERAND (TREE_OPERAND (arg0, 0), 1)) + % TREE_INT_CST_LOW (arg1)) == 0) + { + tree new_op + = build_int_2 (TREE_INT_CST_LOW (TREE_OPERAND (TREE_OPERAND (arg0, 0), 1)) + / TREE_INT_CST_LOW (arg1)); + + TREE_TYPE (new_op) = type; + return build (MULT_EXPR, type, + TREE_OPERAND (TREE_OPERAND (arg0, 0), 0), new_op); + } + #if !defined (REAL_IS_NOT_DOUBLE) || defined (REAL_ARITHMETIC) #ifndef REAL_INFINITY if (TREE_CODE (arg1) == REAL_CST diff --git a/gcc/reload1.c b/gcc/reload1.c index ae809f1..eca3e9a6 100644 --- a/gcc/reload1.c +++ b/gcc/reload1.c @@ -5522,7 +5522,9 @@ gen_input_reload (reloadreg, in, before_insn, is_asm) else if (GET_RTX_CLASS (GET_CODE (in)) == 'o' || GET_CODE (in) == SUBREG) { rtx x = emit_insn_before (gen_move_insn (reloadreg, in), before_insn); - if (is_asm && recog_memoized (x) < 0) + if (is_asm + && (recog_memoized (x) < 0 + || (insn_extract (x), ! constrain_operands (INSN_CODE (x), 1)))) { delete_insn (x); return 0; @@ -5534,7 +5536,9 @@ gen_input_reload (reloadreg, in, before_insn, is_asm) { rtx x = emit_insn_before (gen_reload_load_address (reloadreg, in), before_insn); - if (is_asm && recog_memoized (x) < 0) + if (is_asm + && (recog_memoized (x) < 0 + || (insn_extract (x), ! constrain_operands (INSN_CODE (x), 1)))) { delete_insn (x); return 0; @@ -5547,7 +5551,9 @@ gen_input_reload (reloadreg, in, before_insn, is_asm) { rtx x = emit_insn_before (gen_rtx (SET, VOIDmode, reloadreg, in), before_insn); - if (is_asm && recog_memoized (x) < 0) + if (is_asm + && (recog_memoized (x) < 0 + || (insn_extract (x), ! constrain_operands (INSN_CODE (x), 1)))) { delete_insn (x); return 0; |