#include "config.h"
#include "system.h"
#include "rtl.h"
#include "tm_p.h"
#include "flags.h"
#include "hard-reg-set.h"
#include "regs.h"
#include "insn-config.h"
#include "insn-attr.h"
#include "recog.h"
#include "function.h"
#include "expr.h"
#include "real.h"
#include "except.h"
#include "toplev.h"
#include "reload.h"
#include "predict.h"
#include "feedback.h"
#include "basic-block.h"
static rtx next_nonnote_insn_in_loop PARAMS ((rtx));
static int init_label_info PARAMS ((rtx));
static void mark_all_labels PARAMS ((rtx));
static int duplicate_loop_exit_test PARAMS ((rtx));
static void delete_computation PARAMS ((rtx));
static void redirect_exp_1 PARAMS ((rtx *, rtx, rtx, rtx));
static int redirect_exp PARAMS ((rtx, rtx, rtx));
static void invert_exp_1 PARAMS ((rtx));
static int invert_exp PARAMS ((rtx));
static int returnjump_p_1 PARAMS ((rtx *, void *));
static void delete_prior_computation PARAMS ((rtx, rtx));
void
rebuild_jump_labels (f)
rtx f;
{
rtx insn;
int max_uid = 0;
max_uid = init_label_info (f) + 1;
mark_all_labels (f);
for (insn = forced_labels; insn; insn = XEXP (insn, 1))
if (GET_CODE (XEXP (insn, 0)) == CODE_LABEL)
LABEL_NUSES (XEXP (insn, 0))++;
}
void
cleanup_barriers ()
{
rtx insn, next, prev;
for (insn = get_insns (); insn; insn = next)
{
next = NEXT_INSN (insn);
if (GET_CODE (insn) == BARRIER)
{
prev = prev_nonnote_insn (insn);
if (GET_CODE (prev) == BARRIER)
delete_barrier (insn);
else if (prev != PREV_INSN (insn))
reorder_insns (insn, insn, prev);
}
}
}
static rtx
next_nonnote_insn_in_loop (insn)
rtx insn;
{
while (insn)
{
insn = NEXT_INSN (insn);
if (insn == 0 || GET_CODE (insn) != NOTE)
break;
if (GET_CODE (insn) == NOTE
&& NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_END)
return NULL_RTX;
}
return insn;
}
void
copy_loop_headers (f)
rtx f;
{
rtx insn, next;
for (insn = f; insn; insn = next)
{
rtx temp, temp1;
next = NEXT_INSN (insn);
if (GET_CODE (insn) == NOTE
&& NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_BEG
&& (temp1 = next_nonnote_insn_in_loop (insn)) != 0
&& any_uncondjump_p (temp1) && onlyjump_p (temp1))
{
temp = PREV_INSN (insn);
if (duplicate_loop_exit_test (insn))
{
next = NEXT_INSN (temp);
}
}
}
if (flag_use_feedback)
compute_bb_for_insn ();
}
void
purge_line_number_notes (f)
rtx f;
{
rtx last_note = 0;
rtx insn;
for (insn = f; insn; insn = NEXT_INSN (insn))
if (GET_CODE (insn) == NOTE)
{
if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_FUNCTION_BEG)
last_note = NULL_RTX;
else if (NOTE_LINE_NUMBER (insn) >= 0)
{
if (last_note
&& NOTE_SOURCE_FILE (insn) == NOTE_SOURCE_FILE (last_note)
&& NOTE_LINE_NUMBER (insn) == NOTE_LINE_NUMBER (last_note))
{
delete_related_insns (insn);
continue;
}
last_note = insn;
}
}
}
static int
init_label_info (f)
rtx f;
{
int largest_uid = 0;
rtx insn;
for (insn = f; insn; insn = NEXT_INSN (insn))
{
if (GET_CODE (insn) == CODE_LABEL)
LABEL_NUSES (insn) = (LABEL_PRESERVE_P (insn) != 0);
else if (GET_CODE (insn) == JUMP_INSN)
JUMP_LABEL (insn) = 0;
else if (GET_CODE (insn) == INSN || GET_CODE (insn) == CALL_INSN)
{
rtx note, next;
for (note = REG_NOTES (insn); note; note = next)
{
next = XEXP (note, 1);
if (REG_NOTE_KIND (note) == REG_LABEL
&& ! reg_mentioned_p (XEXP (note, 0), PATTERN (insn)))
remove_note (insn, note);
}
}
if (INSN_UID (insn) > largest_uid)
largest_uid = INSN_UID (insn);
}
return largest_uid;
}
static void
mark_all_labels (f)
rtx f;
{
rtx insn;
for (insn = f; insn; insn = NEXT_INSN (insn))
if (INSN_P (insn))
{
if (GET_CODE (insn) == CALL_INSN
&& GET_CODE (PATTERN (insn)) == CALL_PLACEHOLDER)
{
mark_all_labels (XEXP (PATTERN (insn), 0));
mark_all_labels (XEXP (PATTERN (insn), 1));
mark_all_labels (XEXP (PATTERN (insn), 2));
if (XEXP (PATTERN (insn), 3))
{
rtx label_ref = gen_rtx_LABEL_REF (VOIDmode,
XEXP (PATTERN (insn), 3));
mark_jump_label (label_ref, insn, 0);
XEXP (PATTERN (insn), 3) = XEXP (label_ref, 0);
}
continue;
}
mark_jump_label (PATTERN (insn), insn, 0);
if (! INSN_DELETED_P (insn) && GET_CODE (insn) == JUMP_INSN)
{
if (JUMP_LABEL (insn) == 0)
{
rtx label_note = find_reg_note (insn, REG_LABEL, NULL_RTX);
if (label_note)
{
rtx label_ref = gen_rtx_LABEL_REF (VOIDmode,
XEXP (label_note, 0));
mark_jump_label (label_ref, insn, 0);
XEXP (label_note, 0) = XEXP (label_ref, 0);
JUMP_LABEL (insn) = XEXP (label_note, 0);
}
}
}
}
}
static int
duplicate_loop_exit_test (loop_start)
rtx loop_start;
{
rtx set, reg, p, link, note;
rtx copy = 0, first_copy = 0;
int num_insns = 0;
rtx lastexit;
int max_reg = max_reg_num ();
rtx *reg_map = 0;
rtx loop_pre_header_label;
rtx insn;
rtx test_label = JUMP_LABEL (next_nonnote_insn_in_loop (loop_start));
basic_block preloop_bb = BLOCK_FOR_INSN (loop_start);
rtx exitcode = NEXT_INSN (test_label);
basic_block test_bb = BLOCK_FOR_INSN (test_label);
basic_block test_bb_copy;
basic_block test_bb_copy_prev = 0;
basic_block new_bb, pre_header_bb = NULL, loop_top_bb;
rtx loop_top_label;
edge e = NULL;
gcov_type test_copy_count = -1;
if (flag_use_feedback && preloop_bb == NULL)
{
rtx jump = next_nonnote_insn_in_loop (loop_start);
preloop_bb = BLOCK_FOR_INSN (jump);
delete_insn (loop_start);
loop_start = emit_note_before (NOTE_INSN_LOOP_BEG, jump);
BLOCK_FOR_INSN (loop_start) = preloop_bb;
}
test_bb_copy = preloop_bb;
if (flag_use_feedback)
test_copy_count = preloop_bb->count;
for (insn = exitcode;
insn
&& ! (GET_CODE (insn) == NOTE
&& NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_END);
insn = NEXT_INSN (insn))
{
switch (GET_CODE (insn))
{
case CODE_LABEL:
case CALL_INSN:
return 0;
case NOTE:
if (optimize < 2
&& (NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_BEG
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_END))
return 0;
break;
case JUMP_INSN:
case INSN:
while ((p = find_reg_note (insn, REG_WAS_0, NULL_RTX)) != 0)
remove_note (insn, p);
if (++num_insns > 20
|| find_reg_note (insn, REG_RETVAL, NULL_RTX)
|| find_reg_note (insn, REG_LIBCALL, NULL_RTX))
return 0;
break;
default:
break;
}
}
if (insn == 0)
return 0;
lastexit = insn;
for (insn = exitcode; insn != lastexit; insn = NEXT_INSN (insn))
if (GET_CODE (insn) == INSN
&& (set = single_set (insn)) != 0
&& ((reg = SET_DEST (set), GET_CODE (reg) == REG)
|| (GET_CODE (reg) == SUBREG
&& (reg = SUBREG_REG (reg), GET_CODE (reg) == REG)))
&& REGNO (reg) >= FIRST_PSEUDO_REGISTER
&& REGNO_FIRST_UID (REGNO (reg)) == INSN_UID (insn))
{
for (p = NEXT_INSN (insn); p != lastexit; p = NEXT_INSN (p))
if (REGNO_LAST_UID (REGNO (reg)) == INSN_UID (p))
break;
if (p != lastexit)
{
if (reg_map == 0)
reg_map = (rtx *) xcalloc (max_reg, sizeof (rtx));
REG_LOOP_TEST_P (reg) = 1;
reg_map[REGNO (reg)] = gen_reg_rtx (GET_MODE (reg));
}
}
loop_top_label = next_nonnote_insn (next_nonnote_insn
(next_nonnote_insn (loop_start)));
loop_top_bb = BLOCK_FOR_INSN (loop_top_label);
loop_pre_header_label = gen_label_rtx ();
emit_label_before (loop_pre_header_label, loop_start);
if (flag_use_feedback)
{
pre_header_bb = create_basic_block (loop_pre_header_label,
loop_pre_header_label, preloop_bb);
e = make_edge (pre_header_bb, loop_top_bb, EDGE_FALLTHRU);
e->count = test_copy_count;
pre_header_bb->count = test_copy_count;
}
for (insn = exitcode; insn != lastexit; insn = NEXT_INSN (insn))
{
switch (GET_CODE (insn))
{
case BARRIER:
copy = emit_barrier_before (loop_pre_header_label);
break;
case NOTE:
if (NOTE_LINE_NUMBER (insn) >= 0)
{
copy = emit_note_before (NOTE_LINE_NUMBER (insn),
loop_pre_header_label);
NOTE_SOURCE_FILE (copy) = NOTE_SOURCE_FILE (insn);
}
break;
case INSN:
copy = emit_insn_before (copy_insn (PATTERN (insn)),
loop_pre_header_label);
if (reg_map)
replace_regs (PATTERN (copy), reg_map, max_reg, 1);
mark_jump_label (PATTERN (copy), copy, 0);
INSN_SCOPE (copy) = INSN_SCOPE (insn);
for (link = REG_NOTES (insn); link; link = XEXP (link, 1))
if (REG_NOTE_KIND (link) != REG_LABEL)
{
if (GET_CODE (link) == EXPR_LIST)
REG_NOTES (copy)
= copy_insn_1 (gen_rtx_EXPR_LIST (REG_NOTE_KIND (link),
XEXP (link, 0),
REG_NOTES (copy)));
else
REG_NOTES (copy)
= copy_insn_1 (gen_rtx_INSN_LIST (REG_NOTE_KIND (link),
XEXP (link, 0),
REG_NOTES (copy)));
}
if (reg_map && REG_NOTES (copy))
replace_regs (REG_NOTES (copy), reg_map, max_reg, 1);
if (flag_use_feedback && test_bb_copy == 0)
{
test_bb = BLOCK_FOR_INSN (insn);
test_bb_copy = create_basic_block (copy, copy, test_bb_copy_prev);
e = make_edge (test_bb_copy_prev, test_bb_copy, EDGE_FALLTHRU);
e->count = test_bb_copy_prev->count -
test_bb_copy_prev->succ->succ_next->count;
e->probability = (e->count * REG_BR_PROB_BASE
+ test_bb_copy_prev->count / 2)
/ test_bb_copy_prev->count;
test_copy_count = test_bb_copy->count = e->count;
}
break;
case JUMP_INSN:
copy = emit_jump_insn_before (copy_insn (PATTERN (insn)),
loop_pre_header_label);
INSN_SCOPE (copy) = INSN_SCOPE (insn);
if (reg_map)
replace_regs (PATTERN (copy), reg_map, max_reg, 1);
mark_jump_label (PATTERN (copy), copy, 0);
if (REG_NOTES (insn))
{
REG_NOTES (copy) = copy_insn_1 (REG_NOTES (insn));
if (reg_map)
replace_regs (REG_NOTES (copy), reg_map, max_reg, 1);
}
if (flag_use_feedback && test_bb_copy == 0)
{
test_bb = BLOCK_FOR_INSN (insn);
test_bb_copy = create_basic_block (copy, copy, test_bb_copy_prev);
e = make_edge (test_bb_copy_prev, test_bb_copy, EDGE_FALLTHRU);
e->count = test_bb_copy_prev->count -
test_bb_copy_prev->succ->succ_next->count;
e->probability = (e->count * REG_BR_PROB_BASE
+ test_bb_copy_prev->count / 2)
/ test_bb_copy_prev->count;
test_copy_count = test_bb_copy->count = e->count;
}
if (any_condjump_p (copy))
{
rtx label = JUMP_LABEL (copy);
if (label)
{
if (label == loop_top_label)
{
predict_insn_def (copy, PRED_LOOP_HEADER, TAKEN);
redirect_jump (copy, loop_pre_header_label, 0);
if (flag_use_feedback)
{
e = make_edge (test_bb_copy, pre_header_bb, 0);
e->count = test_copy_count;
e->probability = (e->count * REG_BR_PROB_BASE
+ test_copy_count / 2)
/ test_copy_count;
note = find_reg_note (copy, REG_BR_PROB, 0);
if (note)
XEXP (note, 0) = GEN_INT (e->probability);
else
REG_NOTES (copy)
= gen_rtx_EXPR_LIST (REG_BR_PROB,
GEN_INT (e->probability),
REG_NOTES (copy));
}
}
else
{
predict_insn_def (copy, PRED_LOOP_HEADER, NOT_TAKEN);
if (flag_use_feedback)
{
e = make_edge (test_bb_copy,
BLOCK_FOR_INSN (JUMP_LABEL (copy)), 0);
e->count = (test_bb->count > test_copy_count) ? 0
: test_copy_count - test_bb->count;
e->probability = (e->count * REG_BR_PROB_BASE
+ test_copy_count / 2)
/ test_copy_count;
note = find_reg_note (copy, REG_BR_PROB, 0);
if (note)
XEXP (note, 0) = GEN_INT (e->probability);
else
REG_NOTES (copy)
= gen_rtx_EXPR_LIST (REG_BR_PROB,
GEN_INT (e->probability),
REG_NOTES (copy));
}
}
}
}
else if (any_uncondjump_p (copy))
{
rtx label = JUMP_LABEL (copy);
if (flag_use_feedback && label)
{
e = make_edge (test_bb_copy, BLOCK_FOR_INSN (label), 0);
e->count = test_copy_count;
e->probability = 10000;
}
}
if (flag_use_feedback)
{
test_bb_copy->end = copy;
test_bb_copy_prev = test_bb_copy;
test_bb_copy = 0;
}
break;
default:
abort ();
}
if (! first_copy)
first_copy = copy;
}
if (! copy || GET_CODE (copy) != BARRIER)
{
rtx oldlabel_after_loop = next_nonnote_insn (lastexit);
rtx label_after_loop = get_label_after_fix_bb (lastexit);
copy = emit_jump_insn_before (gen_jump (label_after_loop),
loop_pre_header_label);
if (flag_use_feedback)
{
new_bb = create_basic_block (copy, copy, test_bb_copy_prev);
new_bb->count = test_bb_copy_prev->count -
test_bb_copy_prev->succ->count;
e = make_edge (test_bb_copy_prev, new_bb, EDGE_FALLTHRU);
e->count = new_bb->count;
e->probability = (e->count * REG_BR_PROB_BASE
+ test_bb_copy_prev->count / 2)
/ test_bb_copy_prev->count;
e = make_edge (new_bb, BLOCK_FOR_INSN (label_after_loop), 0);
e->count = new_bb->count;
if (oldlabel_after_loop == 0)
{
basic_block exit_block = BLOCK_FOR_INSN (PREV_INSN (lastexit));
for (e = exit_block->succ; e; e = e->succ_next)
if (e->flags & EDGE_FALLTHRU)
{
gcov_type oldcount = e->count;
remove_edge (e);
e = make_edge (exit_block,
BLOCK_FOR_INSN (label_after_loop),
EDGE_FALLTHRU);
e->count = oldcount;
break;
}
}
}
if (! first_copy)
first_copy = copy;
mark_jump_label (PATTERN (copy), copy, 0);
emit_barrier_before (loop_pre_header_label);
}
reg_scan_update (first_copy, copy, max_reg);
emit_note_before (NOTE_INSN_LOOP_VTOP, test_label);
delete_related_insns_fix_graph (next_nonnote_insn (loop_start));
if (reg_map)
free (reg_map);
return 1;
}
bool
squeeze_notes (startp, endp)
rtx* startp;
rtx* endp;
{
rtx start = *startp;
rtx end = *endp;
rtx insn;
rtx next;
rtx last = NULL;
rtx past_end = NEXT_INSN (end);
for (insn = start; insn != past_end; insn = next)
{
next = NEXT_INSN (insn);
if (GET_CODE (insn) == NOTE
&& (NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_END
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_BLOCK_BEG
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_BEG
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_END
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_CONT
|| NOTE_LINE_NUMBER (insn) == NOTE_INSN_LOOP_VTOP))
{
if (insn == start)
start = next;
else
{
rtx prev = PREV_INSN (insn);
PREV_INSN (insn) = PREV_INSN (start);
NEXT_INSN (insn) = start;
NEXT_INSN (PREV_INSN (insn)) = insn;
PREV_INSN (NEXT_INSN (insn)) = insn;
NEXT_INSN (prev) = next;
PREV_INSN (next) = prev;
}
}
else
last = insn;
}
if (start == past_end)
return true;
end = last;
*startp = start;
*endp = end;
return false;
}
rtx
get_label_before (insn)
rtx insn;
{
rtx label;
label = prev_nonnote_insn (insn);
if (label == 0 || GET_CODE (label) != CODE_LABEL)
{
rtx prev = PREV_INSN (insn);
label = gen_label_rtx ();
emit_label_after (label, prev);
LABEL_NUSES (label) = 0;
}
return label;
}
rtx
get_label_after (insn)
rtx insn;
{
rtx label;
label = next_nonnote_insn (insn);
if (label == 0 || GET_CODE (label) != CODE_LABEL)
{
label = gen_label_rtx ();
emit_label_after (label, insn);
LABEL_NUSES (label) = 0;
}
return label;
}
rtx
get_label_after_fix_bb (insn)
rtx insn;
{
rtx label, oldlabel;
if (!flag_use_feedback)
return get_label_after (insn);
label = oldlabel = next_nonnote_insn (insn);
if (oldlabel == 0 || GET_CODE (oldlabel) != CODE_LABEL)
{
basic_block bb;
label = gen_label_rtx ();
if (oldlabel)
{
bb = BLOCK_FOR_INSN (oldlabel);
emit_label_before (label, bb->head);
bb->head = label;
}
else
{
basic_block prev_bb = BLOCK_FOR_INSN (insn);
edge e;
emit_label_after (label, insn);
if (prev_bb == 0)
prev_bb = BLOCK_FOR_INSN (prev_nonnote_insn (insn));
bb = create_basic_block (label, label, prev_bb);
e = make_edge (bb, EXIT_BLOCK_PTR, EDGE_FALLTHRU);
}
LABEL_NUSES (label) = 0;
BLOCK_FOR_INSN (label) = bb;
}
return label;
}
enum rtx_code
reversed_comparison_code_parts (code, arg0, arg1, insn)
rtx insn, arg0, arg1;
enum rtx_code code;
{
enum machine_mode mode;
if (GET_RTX_CLASS (code) != '<')
return UNKNOWN;
mode = GET_MODE (arg0);
if (mode == VOIDmode)
mode = GET_MODE (arg1);
#ifdef REVERSIBLE_CC_MODE
if (GET_MODE_CLASS (mode) == MODE_CC
&& REVERSIBLE_CC_MODE (mode))
{
#ifdef REVERSE_CONDITION
return REVERSE_CONDITION (code, mode);
#endif
return reverse_condition (code);
}
#endif
switch (code)
{
case GEU:
case GTU:
case LEU:
case LTU:
case NE:
case EQ:
return reverse_condition (code);
case ORDERED:
case UNORDERED:
case LTGT:
case UNEQ:
return reverse_condition_maybe_unordered (code);
case UNLT:
case UNLE:
case UNGT:
case UNGE:
return UNKNOWN;
default:
break;
}
if (GET_MODE_CLASS (mode) == MODE_CC
#ifdef HAVE_cc0
|| arg0 == cc0_rtx
#endif
)
{
rtx prev;
if (! insn)
return UNKNOWN;
for (prev = prev_nonnote_insn (insn);
prev != 0 && GET_CODE (prev) != CODE_LABEL;
prev = prev_nonnote_insn (prev))
{
rtx set = set_of (arg0, prev);
if (set && GET_CODE (set) == SET
&& rtx_equal_p (SET_DEST (set), arg0))
{
rtx src = SET_SRC (set);
if (GET_CODE (src) == COMPARE)
{
rtx comparison = src;
arg0 = XEXP (src, 0);
mode = GET_MODE (arg0);
if (mode == VOIDmode)
mode = GET_MODE (XEXP (comparison, 1));
break;
}
if (REG_P (src))
{
arg0 = src;
continue;
}
}
if (set)
return UNKNOWN;
}
}
if (GET_CODE (arg0) == CONST_INT
|| (GET_MODE (arg0) != VOIDmode
&& GET_MODE_CLASS (mode) != MODE_CC
&& !HONOR_NANS (mode)))
return reverse_condition (code);
return UNKNOWN;
}
enum rtx_code
reversed_comparison_code (comparison, insn)
rtx comparison, insn;
{
if (GET_RTX_CLASS (GET_CODE (comparison)) != '<')
return UNKNOWN;
return reversed_comparison_code_parts (GET_CODE (comparison),
XEXP (comparison, 0),
XEXP (comparison, 1), insn);
}
enum rtx_code
reverse_condition (code)
enum rtx_code code;
{
switch (code)
{
case EQ:
return NE;
case NE:
return EQ;
case GT:
return LE;
case GE:
return LT;
case LT:
return GE;
case LE:
return GT;
case GTU:
return LEU;
case GEU:
return LTU;
case LTU:
return GEU;
case LEU:
return GTU;
case UNORDERED:
return ORDERED;
case ORDERED:
return UNORDERED;
case UNLT:
case UNLE:
case UNGT:
case UNGE:
case UNEQ:
case LTGT:
return UNKNOWN;
default:
abort ();
}
}
enum rtx_code
reverse_condition_maybe_unordered (code)
enum rtx_code code;
{
switch (code)
{
case EQ:
return NE;
case NE:
return EQ;
case GT:
return UNLE;
case GE:
return UNLT;
case LT:
return UNGE;
case LE:
return UNGT;
case LTGT:
return UNEQ;
case UNORDERED:
return ORDERED;
case ORDERED:
return UNORDERED;
case UNLT:
return GE;
case UNLE:
return GT;
case UNGT:
return LE;
case UNGE:
return LT;
case UNEQ:
return LTGT;
default:
abort ();
}
}
enum rtx_code
swap_condition (code)
enum rtx_code code;
{
switch (code)
{
case EQ:
case NE:
case UNORDERED:
case ORDERED:
case UNEQ:
case LTGT:
return code;
case GT:
return LT;
case GE:
return LE;
case LT:
return GT;
case LE:
return GE;
case GTU:
return LTU;
case GEU:
return LEU;
case LTU:
return GTU;
case LEU:
return GEU;
case UNLT:
return UNGT;
case UNLE:
return UNGE;
case UNGT:
return UNLT;
case UNGE:
return UNLE;
default:
abort ();
}
}
enum rtx_code
unsigned_condition (code)
enum rtx_code code;
{
switch (code)
{
case EQ:
case NE:
case GTU:
case GEU:
case LTU:
case LEU:
return code;
case GT:
return GTU;
case GE:
return GEU;
case LT:
return LTU;
case LE:
return LEU;
default:
abort ();
}
}
enum rtx_code
signed_condition (code)
enum rtx_code code;
{
switch (code)
{
case EQ:
case NE:
case GT:
case GE:
case LT:
case LE:
return code;
case GTU:
return GT;
case GEU:
return GE;
case LTU:
return LT;
case LEU:
return LE;
default:
abort ();
}
}
int
comparison_dominates_p (code1, code2)
enum rtx_code code1, code2;
{
if (code1 == UNKNOWN || code2 == UNKNOWN)
return 0;
if (code1 == code2)
return 1;
switch (code1)
{
case UNEQ:
if (code2 == UNLE || code2 == UNGE)
return 1;
break;
case EQ:
if (code2 == LE || code2 == LEU || code2 == GE || code2 == GEU
|| code2 == ORDERED)
return 1;
break;
case UNLT:
if (code2 == UNLE || code2 == NE)
return 1;
break;
case LT:
if (code2 == LE || code2 == NE || code2 == ORDERED || code2 == LTGT)
return 1;
break;
case UNGT:
if (code2 == UNGE || code2 == NE)
return 1;
break;
case GT:
if (code2 == GE || code2 == NE || code2 == ORDERED || code2 == LTGT)
return 1;
break;
case GE:
case LE:
if (code2 == ORDERED)
return 1;
break;
case LTGT:
if (code2 == NE || code2 == ORDERED)
return 1;
break;
case LTU:
if (code2 == LEU || code2 == NE)
return 1;
break;
case GTU:
if (code2 == GEU || code2 == NE)
return 1;
break;
case UNORDERED:
if (code2 == NE || code2 == UNEQ || code2 == UNLE || code2 == UNLT
|| code2 == UNGE || code2 == UNGT)
return 1;
break;
default:
break;
}
return 0;
}
int
simplejump_p (insn)
rtx insn;
{
return (GET_CODE (insn) == JUMP_INSN
&& GET_CODE (PATTERN (insn)) == SET
&& GET_CODE (SET_DEST (PATTERN (insn))) == PC
&& GET_CODE (SET_SRC (PATTERN (insn))) == LABEL_REF);
}
int
condjump_p (insn)
rtx insn;
{
rtx x = PATTERN (insn);
if (GET_CODE (x) != SET
|| GET_CODE (SET_DEST (x)) != PC)
return 0;
x = SET_SRC (x);
if (GET_CODE (x) == LABEL_REF)
return 1;
else
return (GET_CODE (x) == IF_THEN_ELSE
&& ((GET_CODE (XEXP (x, 2)) == PC
&& (GET_CODE (XEXP (x, 1)) == LABEL_REF
|| GET_CODE (XEXP (x, 1)) == RETURN))
|| (GET_CODE (XEXP (x, 1)) == PC
&& (GET_CODE (XEXP (x, 2)) == LABEL_REF
|| GET_CODE (XEXP (x, 2)) == RETURN))));
return 0;
}
int
condjump_in_parallel_p (insn)
rtx insn;
{
rtx x = PATTERN (insn);
if (GET_CODE (x) != PARALLEL)
return 0;
else
x = XVECEXP (x, 0, 0);
if (GET_CODE (x) != SET)
return 0;
if (GET_CODE (SET_DEST (x)) != PC)
return 0;
if (GET_CODE (SET_SRC (x)) == LABEL_REF)
return 1;
if (GET_CODE (SET_SRC (x)) != IF_THEN_ELSE)
return 0;
if (XEXP (SET_SRC (x), 2) == pc_rtx
&& (GET_CODE (XEXP (SET_SRC (x), 1)) == LABEL_REF
|| GET_CODE (XEXP (SET_SRC (x), 1)) == RETURN))
return 1;
if (XEXP (SET_SRC (x), 1) == pc_rtx
&& (GET_CODE (XEXP (SET_SRC (x), 2)) == LABEL_REF
|| GET_CODE (XEXP (SET_SRC (x), 2)) == RETURN))
return 1;
return 0;
}
rtx
pc_set (insn)
rtx insn;
{
rtx pat;
if (GET_CODE (insn) != JUMP_INSN)
return NULL_RTX;
pat = PATTERN (insn);
if (GET_CODE (pat) == PARALLEL)
pat = XVECEXP (pat, 0, 0);
if (GET_CODE (pat) == SET && GET_CODE (SET_DEST (pat)) == PC)
return pat;
return NULL_RTX;
}
int
any_uncondjump_p (insn)
rtx insn;
{
rtx x = pc_set (insn);
if (!x)
return 0;
if (GET_CODE (SET_SRC (x)) != LABEL_REF)
return 0;
return 1;
}
int
any_condjump_p (insn)
rtx insn;
{
rtx x = pc_set (insn);
enum rtx_code a, b;
if (!x)
return 0;
if (GET_CODE (SET_SRC (x)) != IF_THEN_ELSE)
return 0;
a = GET_CODE (XEXP (SET_SRC (x), 1));
b = GET_CODE (XEXP (SET_SRC (x), 2));
return ((b == PC && (a == LABEL_REF || a == RETURN))
|| (a == PC && (b == LABEL_REF || b == RETURN)));
}
rtx
condjump_label (insn)
rtx insn;
{
rtx x = pc_set (insn);
if (!x)
return NULL_RTX;
x = SET_SRC (x);
if (GET_CODE (x) == LABEL_REF)
return x;
if (GET_CODE (x) != IF_THEN_ELSE)
return NULL_RTX;
if (XEXP (x, 2) == pc_rtx && GET_CODE (XEXP (x, 1)) == LABEL_REF)
return XEXP (x, 1);
if (XEXP (x, 1) == pc_rtx && GET_CODE (XEXP (x, 2)) == LABEL_REF)
return XEXP (x, 2);
return NULL_RTX;
}
static int
returnjump_p_1 (loc, data)
rtx *loc;
void *data ATTRIBUTE_UNUSED;
{
rtx x = *loc;
return x && (GET_CODE (x) == RETURN
|| (GET_CODE (x) == SET && SET_IS_RETURN_P (x)));
}
int
returnjump_p (insn)
rtx insn;
{
if (GET_CODE (insn) != JUMP_INSN)
return 0;
return for_each_rtx (&PATTERN (insn), returnjump_p_1, NULL);
}
int
onlyjump_p (insn)
rtx insn;
{
rtx set;
if (GET_CODE (insn) != JUMP_INSN)
return 0;
set = single_set (insn);
if (set == NULL)
return 0;
if (GET_CODE (SET_DEST (set)) != PC)
return 0;
if (side_effects_p (SET_SRC (set)))
return 0;
return 1;
}
#ifdef HAVE_cc0
int
only_sets_cc0_p (x)
rtx x;
{
if (! x)
return 0;
if (INSN_P (x))
x = PATTERN (x);
return sets_cc0_p (x) == 1 && ! side_effects_p (x);
}
int
sets_cc0_p (x)
rtx x;
{
if (! x)
return 0;
if (INSN_P (x))
x = PATTERN (x);
if (GET_CODE (x) == SET && SET_DEST (x) == cc0_rtx)
return 1;
if (GET_CODE (x) == PARALLEL)
{
int i;
int sets_cc0 = 0;
int other_things = 0;
for (i = XVECLEN (x, 0) - 1; i >= 0; i--)
{
if (GET_CODE (XVECEXP (x, 0, i)) == SET
&& SET_DEST (XVECEXP (x, 0, i)) == cc0_rtx)
sets_cc0 = 1;
else if (GET_CODE (XVECEXP (x, 0, i)) == SET)
other_things = 1;
}
return ! sets_cc0 ? 0 : other_things ? -1 : 1;
}
return 0;
}
#endif
rtx
follow_jumps (label)
rtx label;
{
rtx insn;
rtx next;
rtx value = label;
int depth;
for (depth = 0;
(depth < 10
&& (insn = next_active_insn (value)) != 0
&& GET_CODE (insn) == JUMP_INSN
&& ((JUMP_LABEL (insn) != 0 && any_uncondjump_p (insn)
&& onlyjump_p (insn))
|| GET_CODE (PATTERN (insn)) == RETURN)
&& (next = NEXT_INSN (insn))
&& GET_CODE (next) == BARRIER);
depth++)
{
rtx tem;
if (!reload_completed)
for (tem = value; tem != insn; tem = NEXT_INSN (tem))
if (GET_CODE (tem) == NOTE
&& (NOTE_LINE_NUMBER (tem) == NOTE_INSN_LOOP_BEG
|| (flag_test_coverage && NOTE_LINE_NUMBER (tem) > 0)))
return value;
if (JUMP_LABEL (insn) == label)
return label;
tem = next_active_insn (JUMP_LABEL (insn));
if (tem && (GET_CODE (PATTERN (tem)) == ADDR_VEC
|| GET_CODE (PATTERN (tem)) == ADDR_DIFF_VEC))
break;
value = JUMP_LABEL (insn);
}
if (depth == 10)
return label;
return value;
}
void
mark_jump_label (x, insn, in_mem)
rtx x;
rtx insn;
int in_mem;
{
RTX_CODE code = GET_CODE (x);
int i;
const char *fmt;
switch (code)
{
case PC:
case CC0:
case REG:
case CONST_INT:
case CONST_DOUBLE:
case CLOBBER:
case CALL:
return;
case MEM:
in_mem = 1;
break;
case SYMBOL_REF:
if (!in_mem)
return;
if (CONSTANT_POOL_ADDRESS_P (x))
mark_jump_label (get_pool_constant (x), insn, in_mem);
break;
case LABEL_REF:
{
rtx label = XEXP (x, 0);
if (GET_CODE (label) == NOTE
&& NOTE_LINE_NUMBER (label) == NOTE_INSN_DELETED_LABEL)
break;
if (GET_CODE (label) != CODE_LABEL)
abort ();
if (LABEL_REF_NONLOCAL_P (x))
break;
XEXP (x, 0) = label;
if (! insn || ! INSN_DELETED_P (insn))
++LABEL_NUSES (label);
if (insn)
{
if (GET_CODE (insn) == JUMP_INSN)
JUMP_LABEL (insn) = label;
else
{
if (! find_reg_note (insn, REG_LABEL, label))
REG_NOTES (insn) = gen_rtx_INSN_LIST (REG_LABEL, label,
REG_NOTES (insn));
}
}
return;
}
case ADDR_VEC:
case ADDR_DIFF_VEC:
if (! INSN_DELETED_P (insn))
{
int eltnum = code == ADDR_DIFF_VEC ? 1 : 0;
for (i = 0; i < XVECLEN (x, eltnum); i++)
mark_jump_label (XVECEXP (x, eltnum, i), NULL_RTX, in_mem);
}
return;
default:
break;
}
fmt = GET_RTX_FORMAT (code);
for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
{
if (fmt[i] == 'e')
mark_jump_label (XEXP (x, i), insn, in_mem);
else if (fmt[i] == 'E')
{
int j;
for (j = 0; j < XVECLEN (x, i); j++)
mark_jump_label (XVECEXP (x, i, j), insn, in_mem);
}
}
}
void
delete_jump (insn)
rtx insn;
{
rtx set = single_set (insn);
if (set && GET_CODE (SET_DEST (set)) == PC)
delete_computation (insn);
}
void
delete_barrier (insn)
rtx insn;
{
if (GET_CODE (insn) != BARRIER)
abort ();
delete_insn (insn);
}
static void
delete_prior_computation (note, insn)
rtx note;
rtx insn;
{
rtx our_prev;
rtx reg = XEXP (note, 0);
for (our_prev = prev_nonnote_insn (insn);
our_prev && (GET_CODE (our_prev) == INSN
|| GET_CODE (our_prev) == CALL_INSN);
our_prev = prev_nonnote_insn (our_prev))
{
rtx pat = PATTERN (our_prev);
if (GET_CODE (our_prev) == CALL_INSN
&& (! CONST_OR_PURE_CALL_P (our_prev)
|| GET_CODE (pat) != SET || GET_CODE (SET_SRC (pat)) != CALL))
break;
if (GET_CODE (pat) == SEQUENCE)
break;
if (GET_CODE (pat) == USE
&& GET_CODE (XEXP (pat, 0)) == INSN)
break;
if (reg_set_p (reg, pat))
{
if (side_effects_p (pat) && GET_CODE (our_prev) != CALL_INSN)
break;
if (GET_CODE (pat) == PARALLEL)
{
int i;
for (i = 0; i < XVECLEN (pat, 0); i++)
{
rtx part = XVECEXP (pat, 0, i);
if (GET_CODE (part) == SET
&& SET_DEST (part) != reg)
break;
}
if (i == XVECLEN (pat, 0))
delete_computation (our_prev);
}
else if (GET_CODE (pat) == SET
&& GET_CODE (SET_DEST (pat)) == REG)
{
int dest_regno = REGNO (SET_DEST (pat));
int dest_endregno
= (dest_regno
+ (dest_regno < FIRST_PSEUDO_REGISTER
? HARD_REGNO_NREGS (dest_regno,
GET_MODE (SET_DEST (pat))) : 1));
int regno = REGNO (reg);
int endregno
= (regno
+ (regno < FIRST_PSEUDO_REGISTER
? HARD_REGNO_NREGS (regno, GET_MODE (reg)) : 1));
if (dest_regno >= regno
&& dest_endregno <= endregno)
delete_computation (our_prev);
else if (dest_regno <= regno
&& dest_endregno >= endregno)
{
int i;
REG_NOTES (our_prev)
= gen_rtx_EXPR_LIST (REG_UNUSED, reg,
REG_NOTES (our_prev));
for (i = dest_regno; i < dest_endregno; i++)
if (! find_regno_note (our_prev, REG_UNUSED, i))
break;
if (i == dest_endregno)
delete_computation (our_prev);
}
}
break;
}
if (reg_overlap_mentioned_p (reg, pat))
{
XEXP (note, 1) = REG_NOTES (our_prev);
REG_NOTES (our_prev) = note;
break;
}
}
}
static void
delete_computation (insn)
rtx insn;
{
rtx note, next;
#ifdef HAVE_cc0
if (reg_referenced_p (cc0_rtx, PATTERN (insn)))
{
rtx prev = prev_nonnote_insn (insn);
if (prev && GET_CODE (prev) == INSN
&& sets_cc0_p (PATTERN (prev)))
{
if (sets_cc0_p (PATTERN (prev)) > 0
&& ! side_effects_p (PATTERN (prev)))
delete_computation (prev);
else
REG_NOTES (prev) = gen_rtx_EXPR_LIST (REG_UNUSED,
cc0_rtx, REG_NOTES (prev));
}
}
#endif
for (note = REG_NOTES (insn); note; note = next)
{
next = XEXP (note, 1);
if (REG_NOTE_KIND (note) != REG_DEAD
|| GET_CODE (XEXP (note, 0)) != REG)
continue;
delete_prior_computation (note, insn);
}
delete_related_insns (insn);
}
rtx
delete_related_insns (insn)
rtx insn;
{
int was_code_label = (GET_CODE (insn) == CODE_LABEL);
rtx note;
rtx next = NEXT_INSN (insn), prev = PREV_INSN (insn);
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
if (INSN_DELETED_P (insn))
return next;
delete_insn (insn);
if (next != 0 && GET_CODE (next) == BARRIER)
delete_insn (next);
if (GET_CODE (insn) == JUMP_INSN && JUMP_LABEL (insn))
{
rtx lab = JUMP_LABEL (insn), lab_next;
if (LABEL_NUSES (lab) == 0)
{
delete_related_insns (lab);
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
return next;
}
else if ((lab_next = next_nonnote_insn (lab)) != NULL
&& GET_CODE (lab_next) == JUMP_INSN
&& (GET_CODE (PATTERN (lab_next)) == ADDR_VEC
|| GET_CODE (PATTERN (lab_next)) == ADDR_DIFF_VEC))
{
delete_related_insns (lab_next);
}
}
if (GET_CODE (insn) == JUMP_INSN
&& (GET_CODE (PATTERN (insn)) == ADDR_VEC
|| GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC))
{
rtx pat = PATTERN (insn);
int i, diff_vec_p = GET_CODE (pat) == ADDR_DIFF_VEC;
int len = XVECLEN (pat, diff_vec_p);
for (i = 0; i < len; i++)
if (LABEL_NUSES (XEXP (XVECEXP (pat, diff_vec_p, i), 0)) == 0)
delete_related_insns (XEXP (XVECEXP (pat, diff_vec_p, i), 0));
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
return next;
}
if (GET_CODE (insn) == INSN || GET_CODE (insn) == CALL_INSN)
for (note = REG_NOTES (insn); note; note = XEXP (note, 1))
if (REG_NOTE_KIND (note) == REG_LABEL
&& GET_CODE (XEXP (note, 0)) == CODE_LABEL)
if (LABEL_NUSES (XEXP (note, 0)) == 0)
delete_related_insns (XEXP (note, 0));
while (prev && (INSN_DELETED_P (prev) || GET_CODE (prev) == NOTE))
prev = PREV_INSN (prev);
if (was_code_label
&& NEXT_INSN (insn) != 0
&& GET_CODE (NEXT_INSN (insn)) == JUMP_INSN
&& (GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_VEC
|| GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_DIFF_VEC))
next = delete_related_insns (NEXT_INSN (insn));
if (was_code_label && prev && GET_CODE (prev) == BARRIER)
{
RTX_CODE code;
while (next != 0
&& (GET_RTX_CLASS (code = GET_CODE (next)) == 'i'
|| code == NOTE || code == BARRIER
|| (code == CODE_LABEL && INSN_DELETED_P (next))))
{
if (code == NOTE
&& NOTE_LINE_NUMBER (next) != NOTE_INSN_FUNCTION_END)
next = NEXT_INSN (next);
else if (code == CODE_LABEL && INSN_DELETED_P (next))
next = NEXT_INSN (next);
else
next = delete_related_insns (next);
}
}
return next;
}
rtx
delete_related_insns_fix_graph (insn)
rtx insn;
{
int was_code_label;
rtx note;
rtx next, prev;
if (!flag_use_feedback)
return delete_related_insns (insn);
was_code_label = (GET_CODE (insn) == CODE_LABEL);
next = NEXT_INSN (insn);
prev = PREV_INSN (insn);
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
if (INSN_DELETED_P (insn))
return next;
delete_insn (insn);
if (next != 0 && GET_CODE (next) == BARRIER)
delete_insn (next);
if (GET_CODE (insn) == JUMP_INSN && JUMP_LABEL (insn))
{
rtx lab = JUMP_LABEL (insn), lab_next;
edge e;
for (e = BLOCK_FOR_INSN (insn)->succ; e; e = e->succ_next)
if (e->dest == BLOCK_FOR_INSN (lab))
{
remove_edge (e);
break;
}
if (LABEL_NUSES (lab) == 0)
{
delete_related_insns_fix_graph (lab);
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
return next;
}
else if ((lab_next = next_nonnote_insn (lab)) != NULL
&& GET_CODE (lab_next) == JUMP_INSN
&& (GET_CODE (PATTERN (lab_next)) == ADDR_VEC
|| GET_CODE (PATTERN (lab_next)) == ADDR_DIFF_VEC))
{
delete_related_insns_fix_graph (lab_next);
}
}
if (GET_CODE (insn) == JUMP_INSN
&& (GET_CODE (PATTERN (insn)) == ADDR_VEC
|| GET_CODE (PATTERN (insn)) == ADDR_DIFF_VEC))
{
rtx pat = PATTERN (insn);
int i, diff_vec_p = GET_CODE (pat) == ADDR_DIFF_VEC;
int len = XVECLEN (pat, diff_vec_p);
for (i = 0; i < len; i++)
if (LABEL_NUSES (XEXP (XVECEXP (pat, diff_vec_p, i), 0)) == 0)
delete_related_insns_fix_graph (XEXP (XVECEXP (pat, diff_vec_p, i), 0));
while (next && INSN_DELETED_P (next))
next = NEXT_INSN (next);
return next;
}
if (GET_CODE (insn) == INSN || GET_CODE (insn) == CALL_INSN)
for (note = REG_NOTES (insn); note; note = XEXP (note, 1))
if (REG_NOTE_KIND (note) == REG_LABEL
&& GET_CODE (XEXP (note, 0)) == CODE_LABEL)
if (LABEL_NUSES (XEXP (note, 0)) == 0)
delete_related_insns_fix_graph (XEXP (note, 0));
while (prev && (INSN_DELETED_P (prev) || GET_CODE (prev) == NOTE))
prev = PREV_INSN (prev);
if (was_code_label
&& NEXT_INSN (insn) != 0
&& GET_CODE (NEXT_INSN (insn)) == JUMP_INSN
&& (GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_VEC
|| GET_CODE (PATTERN (NEXT_INSN (insn))) == ADDR_DIFF_VEC))
next = delete_related_insns_fix_graph (NEXT_INSN (insn));
if (was_code_label && prev && GET_CODE (prev) == BARRIER)
{
RTX_CODE code;
while (next != 0
&& (GET_RTX_CLASS (code = GET_CODE (next)) == 'i'
|| code == NOTE || code == BARRIER
|| (code == CODE_LABEL && INSN_DELETED_P (next))))
{
if (code == NOTE
&& NOTE_LINE_NUMBER (next) != NOTE_INSN_FUNCTION_END)
next = NEXT_INSN (next);
else if (code == CODE_LABEL && INSN_DELETED_P (next))
next = NEXT_INSN (next);
else
next = delete_related_insns_fix_graph (next);
}
}
return next;
}
rtx
next_nondeleted_insn (insn)
rtx insn;
{
while (INSN_DELETED_P (insn))
insn = NEXT_INSN (insn);
return insn;
}
void
delete_for_peephole (from, to)
rtx from, to;
{
rtx insn = from;
while (1)
{
rtx next = NEXT_INSN (insn);
rtx prev = PREV_INSN (insn);
if (GET_CODE (insn) != NOTE)
{
INSN_DELETED_P (insn) = 1;
if (prev)
NEXT_INSN (prev) = next;
if (next)
PREV_INSN (next) = prev;
}
if (insn == to)
break;
insn = next;
}
}
void
never_reached_warning (avoided_insn, finish)
rtx avoided_insn, finish;
{
rtx insn;
rtx a_line_note = NULL;
int two_avoided_lines = 0, contains_insn = 0, reached_end = 0;
if (!warn_notreached)
return;
for (insn = avoided_insn; insn != NULL; insn = NEXT_INSN (insn))
{
if ((finish == NULL && GET_CODE (insn) == CODE_LABEL)
|| GET_CODE (insn) == BARRIER)
break;
if (GET_CODE (insn) == NOTE
&& NOTE_LINE_NUMBER (insn) >= 0)
{
if (a_line_note == NULL)
a_line_note = insn;
else
two_avoided_lines |= (NOTE_LINE_NUMBER (a_line_note)
!= NOTE_LINE_NUMBER (insn));
}
else if (INSN_P (insn))
{
if (reached_end || a_line_note == NULL)
break;
contains_insn = 1;
}
if (insn == finish)
reached_end = 1;
}
if (two_avoided_lines && contains_insn)
warning_with_file_and_line (NOTE_SOURCE_FILE (a_line_note),
NOTE_LINE_NUMBER (a_line_note),
"will never be executed");
}
static void
redirect_exp_1 (loc, olabel, nlabel, insn)
rtx *loc;
rtx olabel, nlabel;
rtx insn;
{
rtx x = *loc;
RTX_CODE code = GET_CODE (x);
int i;
const char *fmt;
if (code == LABEL_REF)
{
if (XEXP (x, 0) == olabel)
{
rtx n;
if (nlabel)
n = gen_rtx_LABEL_REF (VOIDmode, nlabel);
else
n = gen_rtx_RETURN (VOIDmode);
validate_change (insn, loc, n, 1);
return;
}
}
else if (code == RETURN && olabel == 0)
{
x = gen_rtx_LABEL_REF (VOIDmode, nlabel);
if (loc == &PATTERN (insn))
x = gen_rtx_SET (VOIDmode, pc_rtx, x);
validate_change (insn, loc, x, 1);
return;
}
if (code == SET && nlabel == 0 && SET_DEST (x) == pc_rtx
&& GET_CODE (SET_SRC (x)) == LABEL_REF
&& XEXP (SET_SRC (x), 0) == olabel)
{
validate_change (insn, loc, gen_rtx_RETURN (VOIDmode), 1);
return;
}
fmt = GET_RTX_FORMAT (code);
for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
{
if (fmt[i] == 'e')
redirect_exp_1 (&XEXP (x, i), olabel, nlabel, insn);
else if (fmt[i] == 'E')
{
int j;
for (j = 0; j < XVECLEN (x, i); j++)
redirect_exp_1 (&XVECEXP (x, i, j), olabel, nlabel, insn);
}
}
}
static int
redirect_exp (olabel, nlabel, insn)
rtx olabel, nlabel;
rtx insn;
{
rtx *loc;
if (GET_CODE (PATTERN (insn)) == PARALLEL)
loc = &XVECEXP (PATTERN (insn), 0, 0);
else
loc = &PATTERN (insn);
redirect_exp_1 (loc, olabel, nlabel, insn);
if (num_validated_changes () == 0)
return 0;
return apply_change_group ();
}
int
redirect_jump_1 (jump, nlabel)
rtx jump, nlabel;
{
int ochanges = num_validated_changes ();
rtx *loc;
if (GET_CODE (PATTERN (jump)) == PARALLEL)
loc = &XVECEXP (PATTERN (jump), 0, 0);
else
loc = &PATTERN (jump);
redirect_exp_1 (loc, JUMP_LABEL (jump), nlabel, jump);
return num_validated_changes () > ochanges;
}
int
redirect_jump (jump, nlabel, delete_unused)
rtx jump, nlabel;
int delete_unused;
{
rtx olabel = JUMP_LABEL (jump);
if (nlabel == olabel)
return 1;
if (! redirect_exp (olabel, nlabel, jump))
return 0;
JUMP_LABEL (jump) = nlabel;
if (nlabel)
++LABEL_NUSES (nlabel);
if (olabel && nlabel
&& NEXT_INSN (olabel)
&& GET_CODE (NEXT_INSN (olabel)) == NOTE
&& NOTE_LINE_NUMBER (NEXT_INSN (olabel)) == NOTE_INSN_FUNCTION_END)
emit_note_after (NOTE_INSN_FUNCTION_END, nlabel);
if (olabel && --LABEL_NUSES (olabel) == 0 && delete_unused
&& INSN_UID (olabel))
delete_related_insns (olabel);
return 1;
}
static void
invert_exp_1 (insn)
rtx insn;
{
RTX_CODE code;
rtx x = pc_set (insn);
if (!x)
abort ();
x = SET_SRC (x);
code = GET_CODE (x);
if (code == IF_THEN_ELSE)
{
rtx comp = XEXP (x, 0);
rtx tem;
enum rtx_code reversed_code;
reversed_code = reversed_comparison_code (comp, insn);
if (reversed_code != UNKNOWN)
{
validate_change (insn, &XEXP (x, 0),
gen_rtx_fmt_ee (reversed_code,
GET_MODE (comp), XEXP (comp, 0),
XEXP (comp, 1)),
1);
return;
}
tem = XEXP (x, 1);
validate_change (insn, &XEXP (x, 1), XEXP (x, 2), 1);
validate_change (insn, &XEXP (x, 2), tem, 1);
}
else
abort ();
}
static int
invert_exp (insn)
rtx insn;
{
invert_exp_1 (insn);
if (num_validated_changes () == 0)
return 0;
return apply_change_group ();
}
int
invert_jump_1 (jump, nlabel)
rtx jump, nlabel;
{
int ochanges;
ochanges = num_validated_changes ();
invert_exp_1 (jump);
if (num_validated_changes () == ochanges)
return 0;
return redirect_jump_1 (jump, nlabel);
}
int
invert_jump (jump, nlabel, delete_unused)
rtx jump, nlabel;
int delete_unused;
{
if (! invert_exp (jump))
return 0;
if (redirect_jump (jump, nlabel, delete_unused))
{
invert_br_probabilities (jump);
return 1;
}
if (! invert_exp (jump))
abort ();
return 0;
}
int
rtx_renumbered_equal_p (x, y)
rtx x, y;
{
int i;
RTX_CODE code = GET_CODE (x);
const char *fmt;
if (x == y)
return 1;
if ((code == REG || (code == SUBREG && GET_CODE (SUBREG_REG (x)) == REG))
&& (GET_CODE (y) == REG || (GET_CODE (y) == SUBREG
&& GET_CODE (SUBREG_REG (y)) == REG)))
{
int reg_x = -1, reg_y = -1;
int byte_x = 0, byte_y = 0;
if (GET_MODE (x) != GET_MODE (y))
return 0;
if (reg_renumber == 0)
return rtx_equal_p (x, y);
if (code == SUBREG)
{
reg_x = REGNO (SUBREG_REG (x));
byte_x = SUBREG_BYTE (x);
if (reg_renumber[reg_x] >= 0)
{
reg_x = subreg_regno_offset (reg_renumber[reg_x],
GET_MODE (SUBREG_REG (x)),
byte_x,
GET_MODE (x));
byte_x = 0;
}
}
else
{
reg_x = REGNO (x);
if (reg_renumber[reg_x] >= 0)
reg_x = reg_renumber[reg_x];
}
if (GET_CODE (y) == SUBREG)
{
reg_y = REGNO (SUBREG_REG (y));
byte_y = SUBREG_BYTE (y);
if (reg_renumber[reg_y] >= 0)
{
reg_y = subreg_regno_offset (reg_renumber[reg_y],
GET_MODE (SUBREG_REG (y)),
byte_y,
GET_MODE (y));
byte_y = 0;
}
}
else
{
reg_y = REGNO (y);
if (reg_renumber[reg_y] >= 0)
reg_y = reg_renumber[reg_y];
}
return reg_x >= 0 && reg_x == reg_y && byte_x == byte_y;
}
if (code != GET_CODE (y))
return 0;
switch (code)
{
case PC:
case CC0:
case ADDR_VEC:
case ADDR_DIFF_VEC:
return 0;
case CONST_INT:
return INTVAL (x) == INTVAL (y);
case LABEL_REF:
if (LABEL_REF_NONLOCAL_P (x) || LABEL_REF_NONLOCAL_P (y))
return XEXP (x, 0) == XEXP (y, 0);
return (next_real_insn (XEXP (x, 0))
== next_real_insn (XEXP (y, 0)));
case SYMBOL_REF:
return XSTR (x, 0) == XSTR (y, 0);
case CODE_LABEL:
return 0;
default:
break;
}
if (GET_MODE (x) != GET_MODE (y))
return 0;
if ((code == EQ || code == NE || GET_RTX_CLASS (code) == 'c')
&& code != PLUS)
return ((rtx_renumbered_equal_p (XEXP (x, 0), XEXP (y, 0))
&& rtx_renumbered_equal_p (XEXP (x, 1), XEXP (y, 1)))
|| (rtx_renumbered_equal_p (XEXP (x, 0), XEXP (y, 1))
&& rtx_renumbered_equal_p (XEXP (x, 1), XEXP (y, 0))));
else if (GET_RTX_CLASS (code) == '<' || GET_RTX_CLASS (code) == '2')
return (rtx_renumbered_equal_p (XEXP (x, 0), XEXP (y, 0))
&& rtx_renumbered_equal_p (XEXP (x, 1), XEXP (y, 1)));
else if (GET_RTX_CLASS (code) == '1')
return rtx_renumbered_equal_p (XEXP (x, 0), XEXP (y, 0));
fmt = GET_RTX_FORMAT (code);
for (i = GET_RTX_LENGTH (code) - 1; i >= 0; i--)
{
int j;
switch (fmt[i])
{
case 'w':
if (XWINT (x, i) != XWINT (y, i))
return 0;
break;
case 'i':
if (XINT (x, i) != XINT (y, i))
return 0;
break;
case 't':
if (XTREE (x, i) != XTREE (y, i))
return 0;
break;
case 's':
if (strcmp (XSTR (x, i), XSTR (y, i)))
return 0;
break;
case 'e':
if (! rtx_renumbered_equal_p (XEXP (x, i), XEXP (y, i)))
return 0;
break;
case 'u':
if (XEXP (x, i) != XEXP (y, i))
return 0;
case '0':
break;
case 'E':
if (XVECLEN (x, i) != XVECLEN (y, i))
return 0;
for (j = XVECLEN (x, i) - 1; j >= 0; j--)
if (!rtx_renumbered_equal_p (XVECEXP (x, i, j), XVECEXP (y, i, j)))
return 0;
break;
default:
abort ();
}
}
return 1;
}
int
true_regnum (x)
rtx x;
{
if (GET_CODE (x) == REG)
{
if (REGNO (x) >= FIRST_PSEUDO_REGISTER && reg_renumber[REGNO (x)] >= 0)
return reg_renumber[REGNO (x)];
return REGNO (x);
}
if (GET_CODE (x) == SUBREG)
{
int base = true_regnum (SUBREG_REG (x));
if (base >= 0 && base < FIRST_PSEUDO_REGISTER)
return base + subreg_regno_offset (REGNO (SUBREG_REG (x)),
GET_MODE (SUBREG_REG (x)),
SUBREG_BYTE (x), GET_MODE (x));
}
return -1;
}
unsigned int
reg_or_subregno (reg)
rtx reg;
{
if (REG_P (reg))
return REGNO (reg);
if (GET_CODE (reg) == SUBREG)
return REGNO (SUBREG_REG (reg));
abort ();
}