diff options
| author | Kazu Hirata <kazu@cs.umass.edu> | 2004-01-31 23:08:52 +0000 |
|---|---|---|
| committer | Kazu Hirata <kazu@cs.umass.edu> | 2004-01-31 23:08:52 +0000 |
| commit | de024e560c627d1ac562e2f4790590a11f3597c8 (patch) | |
| tree | 6dc3c19beea98cdd05aee44da8c777fac56cb779 /gcc/genrecog.c | |
| parent | 10cf512b6f3f79247ce1f3180ceea3b0b58ee67a (diff) | |
* genrecog.c (decision_type): Add DT_const_int.
(write_cond) [DT_const_int]: Print a comparison against small
constant.
(write_node): Simplify comparisons against small constants
before printing tests.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@77055 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/genrecog.c')
| -rw-r--r-- | gcc/genrecog.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/genrecog.c b/gcc/genrecog.c index dc756fe7644..8673de39a39 100644 --- a/gcc/genrecog.c +++ b/gcc/genrecog.c @@ -90,6 +90,7 @@ struct decision_test { DT_mode, DT_code, DT_veclen, DT_elt_zero_int, DT_elt_one_int, DT_elt_zero_wide, DT_elt_zero_wide_safe, + DT_const_int, DT_veclen_ge, DT_dup, DT_pred, DT_c_test, DT_accept_op, DT_accept_insn } type; @@ -1981,6 +1982,11 @@ write_cond (struct decision_test *p, int depth, print_host_wide_int (p->u.intval); break; + case DT_const_int: + printf ("x%d == const_int_rtx[MAX_SAVED_CONST_INT + (%d)]", + depth, (int) p->u.intval); + break; + case DT_veclen_ge: printf ("XVECLEN (x%d, 0) >= %d", depth, p->u.veclen); break; @@ -2143,6 +2149,23 @@ write_node (struct decision *p, int depth, struct decision_test *test, *last_test; int uncond; + /* Scan the tests and simplify comparisons against small + constants. */ + for (test = p->tests; test; test = test->next) + { + if (test->type == DT_code + && test->u.code == CONST_INT + && test->next + && test->next->type == DT_elt_zero_wide_safe + && -MAX_SAVED_CONST_INT <= test->next->u.intval + && test->next->u.intval <= MAX_SAVED_CONST_INT) + { + test->type = DT_const_int; + test->u.intval = test->next->u.intval; + test->next = test->next->next; + } + } + last_test = test = p->tests; uncond = is_unconditional (test, subroutine_type); if (uncond == 0) |