From 9312aecc037c2f04b44be4c6e2239a7708e14c19 Mon Sep 17 00:00:00 2001 From: John David Anglin Date: Wed, 11 Jul 2001 18:36:38 +0000 Subject: [PATCH] stmt.c (emit_case_nodes): Widen high and low instead of new_bound and low to get correct sign extension... * stmt.c (emit_case_nodes): Widen high and low instead of new_bound and low to get correct sign extension in low+high test. From-SVN: r43945 --- gcc/ChangeLog | 5 +++++ gcc/stmt.c | 31 ++++++++++++++----------------- 2 files changed, 19 insertions(+), 17 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 86549cd01f9..227d48cf108 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-07-11 John David Anglin + + * stmt.c (emit_case_nodes): Widen high and low instead of new_bound + and low to get correct sign extension in low+high test. + 2001-07-11 Janis Johnson * gcov.c (arcdata): Use gcov_type to fix branch percentage diff --git a/gcc/stmt.c b/gcc/stmt.c index 425c18541a1..1097e79b9d3 100644 --- a/gcc/stmt.c +++ b/gcc/stmt.c @@ -6370,26 +6370,23 @@ emit_case_nodes (index, node, default_label, index_type) } else if (!low_bound && !high_bound) { - /* Instead of doing two branches, emit - (index-low) <= (high-low). */ - tree new_bound = fold (build (MINUS_EXPR, index_type, node->high, - node->low)); - rtx new_index; - + /* Widen LOW and HIGH to the same width as INDEX. */ + tree type = type_for_mode (mode, unsignedp); + tree low = build1 (CONVERT_EXPR, type, node->low); + tree high = build1 (CONVERT_EXPR, type, node->high); + rtx new_index, new_bound; + + /* Instead of doing two branches, emit one unsigned branch for + (index-low) > (high-low). */ new_index = expand_binop (mode, sub_optab, index, - convert_modes (mode, imode, - expand_expr (node->low, NULL_RTX, - mode, 0), - unsignedp), + expand_expr (low, NULL_RTX, mode, 0), NULL_RTX, unsignedp, OPTAB_WIDEN); + new_bound = expand_expr (fold (build (MINUS_EXPR, type, + high, low)), + NULL_RTX, mode, 0); - emit_cmp_and_jump_insns (new_index, - convert_modes (mode, imode, - expand_expr (new_bound, NULL_RTX, - mode, 0), - unsignedp), - GT, NULL_RTX, mode, 1, 0, - default_label); + emit_cmp_and_jump_insns (new_index, new_bound, GT, NULL_RTX, + mode, 1, 0, default_label); } emit_jump (label_rtx (node->code_label)); -- 2.30.2