- Generated by
1.8.1.1
|
GCC Middle and Back End API Reference
|
| int active_insn_p | ( | ) |
Find the next insn after INSN that really does something. This routine does not look inside SEQUENCEs. After reload this also skips over standalone USE and CLOBBER insn.
References reload_completed.
Referenced by active_insn_between(), add_cfis_to_fde(), can_fallthru(), dup_block_and_redirect(), emit_pattern_after_setloc(), emit_pattern_before_setloc(), expensive_function_p(), flow_active_insn_p(), next_active_insn(), next_active_insn_bb(), peep2_attempt(), prev_active_insn(), prev_active_insn_bb(), ready_remove_first_dispatch(), and reemit_insn_block_notes().
| void add_function_usage_to | ( | ) |
Append CALL_FUSAGE to the CALL_INSN_FUNCTION_USAGE for CALL_INSN.
Referenced by emit_call_1(), and expand_builtin_apply().
| void add_insn | ( | ) |
Add INSN to the end of the doubly-linked list. INSN may be an INSN, JUMP_INSN, CALL_INSN, CODE_LABEL, BARRIER or NOTE.
References get_insns(), get_last_insn(), link_insn_into_chain(), set_first_insn(), and set_last_insn().
Referenced by emit_barrier(), emit_call_insn(), emit_debug_insn(), emit_inc(), emit_insn(), emit_jump_insn(), emit_jump_table_data(), emit_label(), emit_libcall_block_1(), emit_note(), emit_note_copy(), and inc_for_reload().
| void add_insn_after | ( | ) |
Like add_insn_after_nobb, but try to set BLOCK_FOR_INSN. If BB is NULL, an attempt is made to infer the bb from before. This and the next function should be the only functions called to insert an insn once delay slots have been filled since only they know how to update a SEQUENCE.
References add_insn_after_nobb(), and df_insn_rescan().
Referenced by delete_from_delay_slot(), emit_barrier_after(), emit_delay_sequence(), emit_label_after(), emit_note_after(), emit_pattern_after_noloc(), relax_delay_slots(), and try_split().
|
static |
Add INSN into the doubly-linked list after insn AFTER.
References get_last_insn(), sequence_stack::last, link_insn_into_chain(), sequence_stack::next, set_last_insn(), and stack.
Referenced by add_insn_after(), and emit_note_after().
| void add_insn_before | ( | ) |
Like add_insn_before_nobb, but try to set BLOCK_FOR_INSN. If BB is NULL, an attempt is made to infer the bb from before. This and the previous function should be the only functions called to insert an insn once delay slots have been filled since only they know how to update a SEQUENCE.
References add_insn_before_nobb(), and df_insn_rescan().
Referenced by emit_barrier_before(), emit_label_before(), emit_note_before(), emit_pattern_before_noloc(), and permute_partial_schedule().
|
static |
Add INSN into the doubly-linked list before insn BEFORE.
References sequence_stack::first, get_insns(), link_insn_into_chain(), sequence_stack::next, set_first_insn(), and stack.
Referenced by add_insn_before(), and emit_note_before().
| rtx adjust_address_1 | ( | rtx | memref, |
| enum machine_mode | mode, | ||
| HOST_WIDE_INT | offset, | ||
| int | validate, | ||
| int | adjust_address, | ||
| int | adjust_object, | ||
| HOST_WIDE_INT | size | ||
| ) |
Return a memory reference like MEMREF, but with its mode changed to MODE and its address offset by OFFSET bytes. If VALIDATE is nonzero, the memory address is forced to be valid. If ADJUST_ADDRESS is zero, OFFSET is only used to update MEM_ATTRS and the caller is responsible for adjusting MEMREF base register. If ADJUST_OBJECT is zero, the underlying object associated with the memory reference is left unchanged and the caller is responsible for dealing with it. Otherwise, if the new memory reference is outside the underlying object, even partially, then the object is dropped. SIZE, if nonzero, is the size of an access in cases where MODE has no inherent size.
References mem_attrs::addrspace, mem_attrs::alias, mem_attrs::align, change_address_1(), copy_rtx(), mem_attrs::expr, get_address_mode(), get_mem_attrs(), HOST_BITS_PER_WIDE_INT, HOST_WIDE_INT, memory_address_addr_space_p(), mem_attrs::offset, offset, mem_attrs::offset_known_p, plus_constant(), set_mem_attrs(), shift, mem_attrs::size, mem_attrs::size_known_p, targetm, and trunc_int_for_mode().
Referenced by adjust_automodify_address_1(), and widen_memory_access().
| rtx adjust_automodify_address_1 | ( | rtx | memref, |
| enum machine_mode | mode, | ||
| rtx | addr, | ||
| HOST_WIDE_INT | offset, | ||
| int | validate | ||
| ) |
Return a memory reference like MEMREF, but with its mode changed to MODE and its address changed to ADDR, which is assumed to be MEMREF offset by OFFSET bytes. If VALIDATE is nonzero, the memory address is forced to be valid.
References adjust_address_1(), and change_address_1().
| void adjust_reg_mode | ( | ) |
Adjust REG in-place so that it has mode MODE. It is assumed that the new register is a (possibly paradoxical) lowpart of the old one.
References byte_lowpart_offset(), and update_reg_offset().
Referenced by do_SUBST_MODE(), try_combine(), and undo_all().
| int byte_lowpart_offset | ( | enum machine_mode | outer_mode, |
| enum machine_mode | inner_mode | ||
| ) |
Return the number of bytes between the start of an OUTER_MODE in-memory value and the start of an INNER_MODE in-memory value, given that the former is a lowpart of the latter. It may be a paradoxical lowpart, in which case the offset will be negative on big-endian targets.
References subreg_lowpart_offset().
Referenced by adjust_reg_mode(), alter_subreg(), set_reg_attrs_for_decl_rtl(), set_reg_attrs_from_value(), track_loc_p(), var_lowpart(), and vt_add_function_parameter().
| rtx change_address | ( | ) |
Like change_address_1 with VALIDATE nonzero, but we are not saying in what way we are changing MEMREF, so we only preserve the alias set.
References mem_attrs::align, change_address_1(), mem_attrs::expr, gen_rtx_MEM(), get_mem_attrs(), mem_attrs_eq_p(), mem_attrs::offset_known_p, set_mem_attrs(), mem_attrs::size, and mem_attrs::size_known_p.
Referenced by assign_parm_setup_block(), emit_block_move_via_loop(), and expand_builtin_init_trampoline().
|
static |
Return a memory reference like MEMREF, but with its mode changed to MODE and its address changed to ADDR. (VOIDmode means don't change the mode. NULL for ADDR means don't change the address.) VALIDATE is nonzero if the returned memory location is required to be valid. The memory attributes are not changed.
References gen_rtx_MEM(), memory_address_addr_space(), memory_address_addr_space_p(), reload_completed, reload_in_progress, and rtx_equal_p().
|
static |
| void clear_mem_offset | ( | ) |
Clear the offset of MEM.
References get_mem_attrs(), and set_mem_attrs().
Referenced by merge_memattrs().
| void clear_mem_size | ( | ) |
Clear the size of MEM.
References get_mem_attrs(), and set_mem_attrs().
Referenced by merge_memattrs().
| rtx const_double_from_real_value | ( | ) |
Return a CONST_DOUBLE rtx for a floating-point value specified by VALUE in mode MODE.
References lookup_const_double().
|
static |
Referenced by init_emit_once().
|
static |
Returns nonzero if the value represented by X (really a ...) is the same as that represented by Y (really a ...)
References real_identical().
|
static |
Referenced by init_emit_once().
|
static |
Returns a hash code for X (which is really a CONST_DOUBLE).
References real_hash().
| rtx const_fixed_from_fixed_value | ( | ) |
Return a CONST_FIXED rtx for a fixed-point value specified by VALUE in mode MODE.
References lookup_const_fixed().
Referenced by const_fixed_from_double_int().
|
static |
Referenced by init_emit_once().
|
static |
Returns nonzero if the value represented by X (really a ...) is the same as that represented by Y (really a ...).
References fixed_identical().
|
static |
Referenced by init_emit_once().
|
static |
Returns a hash code for X (which is really a CONST_FIXED).
References fixed_hash().
|
static |
Referenced by init_emit_once().
|
static |
Returns nonzero if the value represented by X (which is really a CONST_INT) is the same as that given by Y (which is really a HOST_WIDE_INT *).
References HOST_WIDE_INT.
|
static |
Referenced by init_emit_once().
|
static |
Returns a hash code for X (which is a really a CONST_INT).
| rtx copy_delay_slot_insn | ( | ) |
Return a copy of INSN that can be used in a SEQUENCE delay slot, on that assumption that INSN itself remains in its original place.
References copy_rtx().
Referenced by fill_simple_delay_slots(), fill_slots_from_thread(), and steal_delay_list_from_target().
| rtx copy_insn | ( | ) |
Create a new copy of an rtx. This function differs from copy_rtx in that it handles SCRATCHes and ASM_OPERANDs properly. INSN doesn't really have to be a full INSN; it could be just the pattern.
References copy_insn_1().
Referenced by add_to_speculative_block(), bypass_block(), compare_and_jump_seq(), eliminate_partially_redundant_load(), eliminate_regs_in_insn(), and emit_copy_of_insn_after().
| rtx copy_insn_1 | ( | ) |
Recursively create a new copy of an rtx for copy_insn. This function differs from copy_rtx in that it handles SCRATCHes and ASM_OPERANDs properly. Normally, this function is not used directly; use copy_insn as front end. However, you could first copy an insn pattern with copy_insn and then use this function afterwards to properly copy any REG_NOTEs containing SCRATCHes.
References copy(), copy_asm_constraints_vector, copy_asm_operands_vector, copy_insn_n_scratches, rtvec_alloc(), and shared_const_p().
Referenced by copy_insn(), eliminate_regs_in_insn(), emit_copy_of_insn_after(), and gcse_emit_move_after().
| rtx copy_rtx_if_shared | ( | ) |
Mark ORIG as in use, and return a copy of it if it was already in use. Recursively does the same for subexpressions. Uses copy_rtx_if_shared_1 to reduce stack space.
References copy_rtx_if_shared_1().
Referenced by try_combine(), unshare_all_rtl_1(), unshare_all_rtl_in_chain(), and unswitch_single_loop().
|
static |
Referenced by copy_rtx_if_shared(), and copy_rtx_if_shared_1().
|
static |
Mark *ORIG1 as in use, and set it to a copy of it if it was already in use. Recursively does the same for subexpressions.
References copy_rtx_if_shared_1(), gen_rtvec_v(), len, and shared_const_p().
| location_t curr_insn_location | ( | void | ) |
Get current location.
References curr_location.
Referenced by emit_case_nodes(), expand_expr_real_1(), expand_gimple_basic_block(), expand_gimple_cond(), expand_thunk(), gimple_expand_cfg(), make_call_insn_raw(), make_debug_insn_raw(), make_insn_raw(), make_jump_insn_raw(), and store_expr().
| void delete_insns_since | ( | ) |
Delete all insns made since FROM. FROM becomes the new last instruction.
References set_first_insn(), and set_last_insn().
Referenced by emit_add3_insn(), emit_conditional_add(), emit_conditional_move(), emit_cstore(), emit_inc(), emit_insn_if_valid_for_reload(), emit_store_flag(), expand_abs_nojump(), expand_binop(), expand_binop_directly(), expand_builtin_interclass_mathfn(), expand_builtin_signbit(), expand_divmod(), expand_doubleword_shift(), expand_fix(), expand_one_cmpl_abs_nojump(), expand_parity(), expand_sfix_optab(), expand_twoval_binop(), expand_twoval_unop(), expand_unop(), expand_unop_direct(), extract_bit_field_1(), gen_reload_chain_without_interm_reg_p(), inc_for_reload(), lra_emit_add(), maybe_emit_sync_lock_test_and_set(), maybe_legitimize_operand_same_code(), maybe_legitimize_operands(), move_block_from_reg(), move_block_to_reg(), prepare_cmp_insn(), process_address(), store_bit_field_1(), store_bit_field_using_insv(), widen_bswap(), and widen_leading().
| rtx emit | ( | ) |
Emit the rtl pattern X as an appropriate kind of insn. If X is a label, it is simply added into the insn chain.
References any_uncondjump_p(), classify_insn(), emit_barrier(), emit_call_insn(), emit_debug_insn(), emit_insn(), emit_jump_insn(), and emit_label().
| rtx emit_barrier | ( | void | ) |
Make an insn of code BARRIER and add it to the end of the doubly-linked list.
References add_insn().
Referenced by allocate_dynamic_stack_space(), do_tablejump(), duplicate_insn_chain(), emit(), emit_case_dispatch_table(), emit_indirect_jump(), emit_jump(), expand_builtin_return(), expand_builtin_trap(), expand_builtin_unreachable(), expand_divmod(), expand_doubleword_clz(), expand_doubleword_shift(), expand_expr_real_2(), expand_fix(), expand_float(), find_end_label(), store_expr(), and try_optimize_cfg().
| rtx emit_barrier_after | ( | ) |
Make an insn of code BARRIER and output it after the insn AFTER.
References add_insn_after().
Referenced by commit_one_edge_insertion(), delete_from_delay_slot(), emit_barrier_after_bb(), emit_library_call_value_1(), emit_return_for_exit(), expand_call(), find_cond_trap(), fixup_reorder_chain(), init_before_recovery(), make_return_insns(), sched_create_recovery_block(), thread_prologue_and_epilogue_insns(), try_optimize_cfg(), try_redirect_by_replacing_jump(), and try_split().
| rtx emit_barrier_before | ( | ) |
Make an insn of code BARRIER and output it before the insn BEFORE.
References add_insn_before().
| rtx emit_call_insn | ( | ) |
Make an insn of code CALL_INSN with pattern X and add it to the end of the doubly-linked list.
References add_insn(), emit_insn(), and make_call_insn_raw().
Referenced by emit(), emit_call_1(), and expand_builtin_apply().
| rtx emit_call_insn_after | ( | ) |
Like emit_call_insn_after_noloc, but set INSN_LOCATION according to AFTER.
References emit_pattern_after(), and make_call_insn_raw().
Referenced by emit_copy_of_insn_after().
| rtx emit_call_insn_after_noloc | ( | ) |
Make an instruction with body X and code CALL_INSN and output it after the instruction AFTER.
References emit_pattern_after_noloc(), and make_call_insn_raw().
| rtx emit_call_insn_after_setloc | ( | ) |
Like emit_call_insn_after_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_after_setloc(), and make_call_insn_raw().
| rtx emit_call_insn_before | ( | ) |
Like emit_call_insn_before_noloc, but set insn_location according to BEFORE.
References emit_pattern_before(), and make_call_insn_raw().
| rtx emit_call_insn_before_noloc | ( | ) |
Make an instruction with body X and code CALL_INSN and output it before the instruction BEFORE.
References emit_pattern_before_noloc(), and make_call_insn_raw().
| rtx emit_call_insn_before_setloc | ( | ) |
Like emit_insn_before_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_before_setloc(), and make_call_insn_raw().
| rtx emit_clobber | ( | ) |
Emit a clobber of lvalue X.
References emit_insn().
Referenced by convert_move(), do_clobber_return_reg(), emit_move_complex_parts(), emit_move_multi_word(), emit_stack_restore(), expand_binop(), expand_builtin_longjmp(), expand_builtin_nonlocal_goto(), expand_builtin_setjmp_receiver(), expand_doubleword_bswap(), extract_bit_field_1(), gen_clobber(), match_reload(), resolve_simple_move(), store_constructor(), and widen_operand().
| rtx emit_copy_of_insn_after | ( | ) |
Produce exact duplicate of insn INSN after AFTER. Care updating of libcall regions if present.
References add_reg_note(), copy_insn(), copy_insn_1(), emit_call_insn_after(), emit_debug_insn_after(), emit_insn_after(), emit_jump_insn_after(), and mark_jump_label().
Referenced by duplicate_insn_chain(), and relax_delay_slots().
| rtx emit_debug_insn | ( | ) |
Make an insn of code DEBUG_INSN with pattern X and add it to the end of the doubly-linked list.
References add_insn(), get_last_insn(), last, make_debug_insn_raw(), and sequence_stack::next.
Referenced by emit(), and expand_gimple_basic_block().
| rtx emit_debug_insn_after | ( | ) |
Like emit_debug_insn_after_noloc, but set INSN_LOCATION according to AFTER.
References emit_pattern_after(), and make_debug_insn_raw().
Referenced by dead_debug_insert_temp(), and emit_copy_of_insn_after().
| rtx emit_debug_insn_after_noloc | ( | ) |
Make an instruction with body X and code CALL_INSN and output it after the instruction AFTER.
References emit_pattern_after_noloc(), and make_debug_insn_raw().
| rtx emit_debug_insn_after_setloc | ( | ) |
Like emit_debug_insn_after_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_after_setloc(), and make_debug_insn_raw().
| rtx emit_debug_insn_before | ( | ) |
Like emit_debug_insn_before_noloc, but set insn_location according to BEFORE.
References emit_pattern_before(), and make_debug_insn_raw().
Referenced by avoid_complex_debug_insns(), dead_debug_insert_temp(), dead_debug_promote_uses(), and delete_trivially_dead_insns().
| rtx emit_debug_insn_before_noloc | ( | ) |
Make an instruction with body X and code DEBUG_INSN and output it before the instruction BEFORE.
References emit_pattern_before_noloc(), and make_debug_insn_raw().
| rtx emit_debug_insn_before_setloc | ( | ) |
Like emit_insn_before_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_before_setloc(), and make_debug_insn_raw().
| rtx emit_insn | ( | ) |
Take X and emit it at the end of the doubly-linked INSN list. Returns the last insn emitted.
References add_insn(), get_last_insn(), last, make_insn_raw(), and sequence_stack::next.
Referenced by allocate_dynamic_stack_space(), asan_clear_shadow(), assign_parm_setup_reg(), assign_parms(), check_and_process_move(), convert_move(), curr_insn_transform(), do_compare_and_jump(), doloop_modify(), duplicate_insns_of_cycles(), emit(), emit_add2_insn(), emit_add3_insn(), emit_call_insn(), emit_clobber(), emit_delay_sequence(), emit_inc(), emit_inc_dec_insn_before(), emit_input_reload_insns(), emit_insn_if_valid_for_reload(), emit_move_ccmode(), emit_move_insn_1(), emit_move_list(), emit_move_multi_word(), emit_move_via_integer(), emit_output_reload_insns(), emit_stack_probe(), emit_stack_restore(), emit_stack_save(), emit_use(), expand_absneg_bit(), expand_asm_loc(), expand_asm_memory_barrier(), expand_asm_operands(), expand_atomic_fetch_op(), expand_binop(), expand_binop_directly(), expand_builtin_atomic_clear(), expand_builtin_int_roundingfn(), expand_builtin_int_roundingfn_2(), expand_builtin_longjmp(), expand_builtin_mathfn(), expand_builtin_mathfn_2(), expand_builtin_mathfn_3(), expand_builtin_mathfn_ternary(), expand_builtin_memcmp(), expand_builtin_nonlocal_goto(), expand_builtin_prefetch(), expand_builtin_return(), expand_builtin_setjmp_receiver(), expand_builtin_setjmp_setup(), expand_builtin_strcmp(), expand_builtin_strncmp(), expand_builtin_trap(), expand_call(), expand_compare_and_swap_loop(), expand_cond_expr_using_cmove(), expand_copysign_bit(), expand_ctz(), expand_doubleword_clz(), expand_dw2_landing_pad_for_region(), expand_eh_return(), expand_expr_real_1(), expand_expr_real_2(), expand_ffs(), expand_function_end(), expand_mem_signal_fence(), expand_mem_thread_fence(), expand_sdiv_pow2(), expand_unop(), expand_unop_direct(), expand_vector_broadcast(), expmed_mult_highpart_optab(), find_shift_sequence(), gen_cond_trap(), gen_reload(), gen_reload_chain_without_interm_reg_p(), gmalloc(), implicit_clobber_conflict_p(), inc_for_reload(), insert_insn_on_edge(), match_reload(), maybe_emit_unop_insn(), maybe_expand_insn(), move_block_from_reg(), move_block_to_reg(), move_by_pieces(), move_by_pieces_1(), noce_emit_cmove(), noce_emit_move_insn(), noce_emit_store_flag(), noce_try_cmove_arith(), prepare_cmp_insn(), process_addr_reg(), process_address(), process_insert_insn(), simplify_operand_subreg(), stack_protect_epilogue(), stack_protect_prologue(), store_by_pieces(), store_by_pieces_2(), store_constructor(), and thread_prologue_and_epilogue_insns().
| rtx emit_insn_after | ( | ) |
Like emit_insn_after_noloc, but set INSN_LOCATION according to AFTER.
References emit_pattern_after(), and make_insn_raw().
Referenced by combine_var_copies_in_loop_exit(), convert_regs_1(), create_check_block_twin(), doloop_modify(), eliminate_regs_in_insn(), emit_copy_of_insn_after(), emit_moves(), emit_pop_insn(), emit_reload_insns(), emit_swap_insn(), expand_builtin_saveregs(), expand_builtin_strlen(), expand_function_end(), fill_slots_from_thread(), find_moveable_pseudos(), find_reloads(), gcse_emit_move_after(), get_arg_pointer_save_area(), gimple_expand_cfg(), insert_one_insn(), insert_var_expansion_initialization(), lra_process_new_insns(), make_return_insns(), move_btr_def(), move_insn_for_shrink_wrap(), move_invariant_reg(), move_unallocated_pseudos(), optimize_mode_switching(), pre_insert_copy_insn(), replace_store_insn(), resolve_clobber(), rtl_lv_add_condition_to_bb(), sjlj_emit_function_enter(), sjlj_emit_function_exit(), split_edge_and_insert(), and unswitch_loop().
|
static |
Helper for emit_insn_after, handles lists of instructions efficiently.
References df_insn_rescan(), df_set_bb_dirty(), first, get_last_insn(), last, and set_last_insn().
Referenced by emit_pattern_after_noloc().
| rtx emit_insn_after_noloc | ( | ) |
Make X be output after the insn AFTER and set the BB of insn. If BB is NULL, an attempt is made to infer the BB from AFTER.
References emit_pattern_after_noloc(), and make_insn_raw().
Referenced by cfg_layout_merge_blocks(), commit_one_edge_insertion(), emit_nop_for_unique_locus_between(), expand_gimple_basic_block(), fixup_reorder_chain(), gimple_expand_cfg(), insert_insn_end_basic_block(), and insert_insn_start_basic_block().
| rtx emit_insn_after_setloc | ( | ) |
Like emit_insn_after_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_after_setloc(), and make_insn_raw().
Referenced by peep2_attempt(), and try_split().
| rtx emit_insn_before | ( | ) |
Like emit_insn_before_noloc, but set INSN_LOCATION according to BEFORE.
References emit_pattern_before(), and make_insn_raw().
Referenced by add_to_speculative_block(), change_stack(), copy_src_to_dest(), create_check_block_twin(), dup_block_and_redirect(), emit_inc_dec_insn_before(), emit_moves(), emit_pop_insn(), emit_reload_insns(), emit_swap_insn(), emit_to_new_bb_before(), emit_use_return_register_into_block(), expand_builtin_apply_args(), expand_builtin_strlen(), expand_function_end(), find_moveable_pseudos(), find_reloads(), find_reloads_address(), find_reloads_subreg_address(), find_reloads_toplev(), fix_crossing_unconditional_branches(), force_move_args_size_note(), gimple_expand_cfg(), initialize_uninitialized_regs(), insert_base_initialization(), insert_move_insn_before(), insert_one_insn(), instantiate_virtual_regs_in_insn(), lra_process_new_insns(), match_asm_constraints_1(), move_for_stack_reg(), noce_try_cmove_arith(), optimize_mode_switching(), pre_insert_copy_insn(), replace_read(), resolve_shift_zext(), resolve_simple_move(), sched_emit_insn(), sjlj_mark_call_sites(), split_iv(), subst_reg_equivs(), subst_stack_regs_pat(), thread_prologue_and_epilogue_insns(), update_block(), update_equiv_regs(), and update_ld_motion_stores().
| rtx emit_insn_before_noloc | ( | ) |
Make X be output before the instruction BEFORE.
References emit_pattern_before_noloc(), and make_insn_raw().
Referenced by commit_one_edge_insertion(), and insert_insn_end_basic_block().
| rtx emit_insn_before_setloc | ( | ) |
Like emit_insn_before_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_before_setloc(), and make_insn_raw().
Referenced by cond_move_process_if_block(), find_cond_trap(), noce_process_if_block(), noce_try_abs(), noce_try_addcc(), noce_try_bitop(), noce_try_cmove(), noce_try_cmove_arith(), noce_try_minmax(), noce_try_move(), noce_try_sign_mask(), noce_try_store_flag(), noce_try_store_flag_constants(), and noce_try_store_flag_mask().
| rtx emit_jump_insn | ( | ) |
Make an insn of code JUMP_INSN with pattern X and add it to the end of the doubly-linked list.
References add_insn(), last, make_jump_insn_raw(), and sequence_stack::next.
Referenced by compare_and_jump_seq(), do_tablejump(), emit(), emit_cmp_and_jump_insn_1(), emit_jump(), expand_asm_operands(), expand_builtin_return(), expand_divmod(), expand_doubleword_clz(), expand_doubleword_shift(), expand_expr_real_2(), expand_fix(), expand_float(), find_end_label(), fix_crossing_conditional_branches(), fix_up_crossing_landing_pad(), get_uncond_jump_length(), maybe_expand_jump_insn(), store_expr(), and thread_prologue_and_epilogue_insns().
| rtx emit_jump_insn_after | ( | ) |
Like emit_jump_insn_after_noloc, but set INSN_LOCATION according to AFTER.
References emit_pattern_after(), and make_jump_insn_raw().
Referenced by add_labels_and_missing_jumps(), doloop_modify(), emit_copy_of_insn_after(), emit_return_into_block(), find_cond_trap(), init_before_recovery(), make_return_insns(), sched_create_recovery_edges(), and thread_prologue_and_epilogue_insns().
| rtx emit_jump_insn_after_noloc | ( | ) |
Make an insn of code JUMP_INSN with body X and output it after the insn AFTER.
References emit_pattern_after_noloc(), and make_jump_insn_raw().
Referenced by try_redirect_by_replacing_jump().
| rtx emit_jump_insn_after_setloc | ( | ) |
Like emit_jump_insn_after_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_after_setloc(), and make_jump_insn_raw().
Referenced by force_nonfallthru_and_redirect().
| rtx emit_jump_insn_before | ( | ) |
Like emit_jump_insn_before_noloc, but set INSN_LOCATION according to BEFORE.
References emit_pattern_before(), and make_jump_insn_raw().
Referenced by create_check_block_twin(), and cse_insn().
| rtx emit_jump_insn_before_noloc | ( | ) |
Make an instruction with body X and code JUMP_INSN and output it before the instruction BEFORE.
References emit_pattern_before_noloc(), and make_jump_insn_raw().
| rtx emit_jump_insn_before_setloc | ( | ) |
like emit_insn_before_noloc, but set INSN_LOCATION according to LOC.
References emit_pattern_before_setloc(), and make_jump_insn_raw().
| rtx emit_jump_table_data | ( | ) |
Make an insn of code JUMP_TABLE_DATA and add it to the end of the doubly-linked list.
References add_insn(), and table.
Referenced by emit_case_dispatch_table().
| rtx emit_label | ( | ) |
Add the label LABEL to the end of the doubly-linked list.
References add_insn().
Referenced by allocate_dynamic_stack_space(), anti_adjust_stack_and_probe(), asan_clear_shadow(), do_compare_rtx_and_jump(), do_jump(), do_jump_1(), do_jump_by_parts_equality_rtx(), do_jump_by_parts_greater_rtx(), do_jump_by_parts_zero_rtx(), dw2_build_landing_pads(), emit(), emit_block_move_via_loop(), emit_case_dispatch_table(), emit_store_flag_force(), expand_abs(), expand_compare_and_swap_loop(), expand_copysign_absneg(), expand_divmod(), expand_doubleword_clz(), expand_doubleword_shift(), expand_eh_return(), expand_errno_check(), expand_expr_real_1(), expand_expr_real_2(), expand_ffs(), expand_fix(), expand_float(), expand_function_end(), expand_gimple_basic_block(), expand_label(), expand_sdiv_pow2(), expand_sjlj_dispatch_table(), expand_smod_pow2(), find_end_label(), fix_crossing_conditional_branches(), fix_up_crossing_landing_pad(), probe_stack_range(), sjlj_emit_dispatch_table(), stack_protect_epilogue(), store_constructor(), and store_expr().
| rtx emit_label_after | ( | ) |
Emit the label LABEL after the insn AFTER.
References add_insn_after().
Referenced by find_end_label(), get_label_before(), and sched_create_recovery_block().
| rtx emit_label_before | ( | ) |
Emit the label LABEL before the insn BEFORE.
References add_insn_before().
Referenced by block_label(), and get_uncond_jump_length().
| rtx emit_note | ( | ) |
Make an insn of code NOTE or type NOTE_NO and add it to the end of the doubly-linked list.
References add_insn(), and make_note_raw().
Referenced by compensate_edge(), duplicate_insn_chain(), expand_function_start(), expand_gimple_basic_block(), gimple_expand_cfg(), lra(), reemit_insn_block_notes(), reload(), reload_as_needed(), and thread_prologue_and_epilogue_insns().
| rtx emit_note_after | ( | ) |
Emit a note of subtype SUBTYPE after the insn AFTER.
References add_insn_after(), add_insn_after_nobb(), make_note_raw(), and note_outside_basic_block_p().
Referenced by add_cfi(), convert_to_eh_region_ranges(), create_basic_block_structure(), emit_note_insn_var_location(), emit_notes_in_bb(), expand_gimple_basic_block(), reemit_insn_block_notes(), rtl_split_block(), sched_extend_bb(), and thread_prologue_and_epilogue_insns().
| rtx emit_note_before | ( | ) |
Emit a note of subtype SUBTYPE before the insn BEFORE.
References add_insn_before(), add_insn_before_nobb(), make_note_raw(), and note_outside_basic_block_p().
Referenced by add_cfis_to_fde(), change_scope(), convert_to_eh_region_ranges(), create_basic_block_structure(), create_pre_exit(), emit_note_insn_var_location(), insert_section_boundary_note(), reemit_insn_block_notes(), and reemit_notes().
| rtx emit_note_copy | ( | ) |
Emit a copy of note ORIG.
References add_insn(), and make_note_raw().
Referenced by duplicate_insn_chain().
|
static |
Insert PATTERN after AFTER. MAKE_RAW indicates how to turn PATTERN into a real insn. SKIP_DEBUG_INSNS indicates whether to insert after any DEBUG_INSNs.
References emit_pattern_after_noloc(), and emit_pattern_after_setloc().
Referenced by emit_call_insn_after(), emit_debug_insn_after(), emit_insn_after(), and emit_jump_insn_after().
|
static |
References add_insn_after(), emit_insn_after_1(), and last.
Referenced by emit_call_insn_after_noloc(), emit_debug_insn_after_noloc(), emit_insn_after_noloc(), emit_jump_insn_after_noloc(), emit_pattern_after(), and emit_pattern_after_setloc().
|
static |
Insert PATTERN after AFTER, setting its INSN_LOCATION to LOC. MAKE_RAW indicates how to turn PATTERN into a real insn.
References active_insn_p(), emit_pattern_after_noloc(), and last.
Referenced by emit_call_insn_after_setloc(), emit_debug_insn_after_setloc(), emit_insn_after_setloc(), emit_jump_insn_after_setloc(), and emit_pattern_after().
|
static |
Insert PATTERN before BEFORE. MAKE_RAW indicates how to turn PATTERN into a real insn. SKIP_DEBUG_INSNS indicates whether to insert before any DEBUG_INSNs. INSNP indicates if PATTERN is meant for an INSN as opposed to a JUMP_INSN, CALL_INSN, etc.
References emit_pattern_before_noloc(), emit_pattern_before_setloc(), and sequence_stack::next.
Referenced by emit_call_insn_before(), emit_debug_insn_before(), emit_insn_before(), and emit_jump_insn_before().
|
static |
Emit insn(s) of given code and pattern
at a specified place within the doubly-linked list.
All of the emit_foo global entry points accept an object
X which is either an insn list or a PATTERN of a single
instruction.
There are thus a few canonical ways to generate code and
emit it at a specific place in the instruction stream. For
example, consider the instruction named SPOT and the fact that
we would like to emit some instructions before SPOT. We might
do it like this:
start_sequence ();
... emit the new instructions ...
insns_head = get_insns ();
end_sequence ();
emit_insn_before (insns_head, SPOT);
It used to be common to generate SEQUENCE rtl instead, but that
is a relic of the past which no longer occurs. The reason is that
SEQUENCE rtl results in much fragmented RTL memory since the SEQUENCE
generated would almost certainly die right after it was created.
References add_insn_before(), last, and sequence_stack::next.
Referenced by emit_call_insn_before_noloc(), emit_debug_insn_before_noloc(), emit_insn_before_noloc(), emit_jump_insn_before_noloc(), emit_pattern_before(), and emit_pattern_before_setloc().
|
static |
Insert PATTERN before BEFORE, setting its INSN_LOCATION to LOC. MAKE_RAW indicates how to turn PATTERN into a real insn. INSNP indicates if PATTERN is meant for an INSN as opposed to a JUMP_INSN, CALL_INSN, etc.
References active_insn_p(), emit_pattern_before_noloc(), first, get_insns(), and last.
Referenced by emit_call_insn_before_setloc(), emit_debug_insn_before_setloc(), emit_insn_before_setloc(), emit_jump_insn_before_setloc(), and emit_pattern_before().
| rtx emit_use | ( | ) |
Emit a use of rvalue X.
References emit_insn().
Referenced by do_use_return_reg(), expand_builtin_longjmp(), expand_builtin_nonlocal_goto(), expand_builtin_return(), expand_builtin_setjmp_receiver(), gen_use(), and thread_prologue_and_epilogue_insns().
| void end_sequence | ( | void | ) |
After emitting to a sequence, restore previous saved state. To get the contents of the sequence just made, you must call `get_insns' *before* calling here. If the compiler might have deferred popping arguments while generating this sequence, and this sequence will not be immediately inserted into the instruction stream, use do_pending_stack_adjust before calling get_insns. That will ensure that the deferred pops are inserted into this sequence, and not into some random location in the instruction stream. See INHIBIT_DEFER_POP for more information about deferred popping of arguments.
References sequence_stack::first, free_sequence_stack, sequence_stack::last, memset(), sequence_stack::next, set_first_insn(), and set_last_insn().
Referenced by add_test(), asan_clear_shadow(), asan_emit_stack_protection(), assign_parm_setup_block(), assign_parm_setup_reg(), assign_parm_setup_stack(), assign_parms_unsplit_complex(), check_and_process_move(), combine_var_copies_in_loop_exit(), compare_and_jump_seq(), compensate_edge(), computation_cost(), cond_move_process_if_block(), convert_move(), copy_src_to_dest(), curr_insn_transform(), doloop_modify(), dup_block_and_redirect(), dw2_build_landing_pads(), emit_delay_sequence(), emit_inc_dec_insn_before(), emit_initial_value_sets(), emit_input_reload_insns(), emit_move_list(), emit_move_multi_word(), emit_output_reload_insns(), emit_partition_copy(), emit_use_return_register_into_block(), end_ifcvt_sequence(), expand_absneg_bit(), expand_atomic_fetch_op(), expand_binop(), expand_builtin_apply_args(), expand_builtin_int_roundingfn(), expand_builtin_int_roundingfn_2(), expand_builtin_mathfn(), expand_builtin_mathfn_2(), expand_builtin_mathfn_3(), expand_builtin_mathfn_ternary(), expand_builtin_return(), expand_builtin_saveregs(), expand_builtin_strlen(), expand_call(), expand_cond_expr_using_cmove(), expand_copysign_bit(), expand_ctz(), expand_doubleword_clz(), expand_dummy_function_end(), expand_expr_real_2(), expand_ffs(), expand_fix(), expand_fixed_convert(), expand_float(), expand_function_end(), expand_sdiv_pow2(), expand_twoval_binop_libfunc(), expand_unop(), expmed_mult_highpart_optab(), find_shift_sequence(), fix_crossing_unconditional_branches(), gen_clobber(), gen_cond_trap(), gen_move_insn(), gen_use(), generate_prolog_epilog(), get_address_cost(), get_arg_pointer_save_area(), gimple_expand_cfg(), gmalloc(), implicit_clobber_conflict_p(), inherit_in_ebb(), inherit_reload_reg(), init_set_costs(), initialize_uninitialized_regs(), insert_base_initialization(), insert_insn_on_edge(), insert_move_insn_before(), insert_value_copy_on_edge(), insert_var_expansion_initialization(), instantiate_virtual_regs_in_insn(), match_asm_constraints_1(), match_reload(), noce_emit_cmove(), noce_emit_move_insn(), noce_emit_store_flag(), noce_process_if_block(), noce_try_abs(), noce_try_addcc(), noce_try_cmove(), noce_try_cmove_arith(), noce_try_minmax(), noce_try_sign_mask(), noce_try_store_flag(), noce_try_store_flag_constants(), noce_try_store_flag_mask(), optimize_mode_switching(), pop_topmost_sequence(), prepare_float_lib_cmp(), process_addr_reg(), process_address(), process_insert_insn(), record_store(), replace_read(), resolve_shift_zext(), resolve_simple_move(), rtl_lv_add_condition_to_bb(), simplify_operand_subreg(), sjlj_emit_dispatch_table(), sjlj_emit_function_enter(), sjlj_emit_function_exit(), sjlj_mark_call_sites(), split_iv(), thread_prologue_and_epilogue_insns(), try_optimize_cfg(), and unroll_loop_runtime_iterations().
|
static |
Find a RTX_AUTOINC class rtx which matches DATA.
References RTX_AUTOINC, and rtx_equal_p().
Referenced by try_split().
| rtx gen_blockage | ( | void | ) |
Generate an empty ASM_INPUT, which is used to block attempts to schedule, and to block register equivalences to be seen across this insn.
Referenced by expand_builtin_setjmp_receiver(), expand_function_end(), and thread_prologue_and_epilogue_insns().
| rtx gen_clobber | ( | ) |
Return a sequence of insns to clobber lvalue X.
References emit_clobber(), end_sequence(), get_insns(), and start_sequence().
Referenced by eliminate_regs_in_insn(), and find_reloads().
| rtx gen_const_mem | ( | ) |
Generate a memory referring to non-trapping constant memory.
References gen_rtx_MEM().
Referenced by assemble_trampoline_template(), build_constant_desc(), do_tablejump(), and force_const_mem().
|
static |
Referenced by init_emit_once().
|
static |
Generate a vector constant for mode MODE and constant value CONSTANT.
References const_tiny_rtx, and rtvec_alloc().
| rtx gen_frame_mem | ( | ) |
Generate a MEM referring to fixed portions of the frame, e.g., register save areas.
References gen_rtx_MEM(), get_frame_alias_set(), and set_mem_alias_set().
Referenced by expand_builtin_return_addr().
| rtx gen_hard_reg_clobber | ( | ) |
References gen_rtx_REG(), and hard_reg_clobbers.
| rtx gen_highpart | ( | ) |
References simplify_gen_subreg(), subreg_highpart_offset(), and validize_mem().
Referenced by expand_doubleword_clz(), expand_expr_real_2(), extract_high_half(), and gen_highpart_mode().
| rtx gen_highpart_mode | ( | ) |
Like gen_highpart, but accept mode of EXP operand in case EXP can be VOIDmode constant.
References gen_highpart(), simplify_gen_subreg(), and subreg_highpart_offset().
| rtx gen_int_mode | ( | ) |
References trunc_int_for_mode().
Referenced by canon_condition(), canonicalize_address(), canonicalize_condition(), combine_simplify_rtx(), convert_modes(), expand_atomic_test_and_set(), expand_builtin_init_dwarf_reg_sizes(), expand_builtin_memset_args(), expand_divmod(), expand_expr_real_1(), expand_expr_real_2(), expand_fix(), expmed_mult_highpart_optab(), find_split_point(), for_each_inc_dec_find_inc_dec(), force_to_mode(), get_address_cost(), get_call_args(), get_mode_bounds(), get_stored_val(), if_then_else_cond(), immed_double_const(), instantiate_virtual_regs_in_insn(), iv_number_of_iterations(), make_field_assignment(), move2add_use_add2_insn(), move2add_use_add3_insn(), multiplier_allowed_in_address_p(), neg_const_int(), noce_try_bitop(), plus_constant(), reload_cse_move2add(), simplify_and_const_int(), simplify_and_const_int_1(), simplify_binary_operation_1(), simplify_comparison(), simplify_const_binary_operation(), simplify_const_unary_operation(), simplify_if_then_else(), simplify_immed_subreg(), simplify_ternary_operation(), split_iv(), and store_bit_field_using_insv().
| rtx gen_label_rtx | ( | void | ) |
Return a newly created CODE_LABEL rtx with a unique label number.
Referenced by allocate_dynamic_stack_space(), anti_adjust_stack_and_probe(), asan_clear_shadow(), block_label(), do_compare_rtx_and_jump(), do_jump(), do_jump_1(), do_jump_by_parts_equality_rtx(), do_jump_by_parts_greater_rtx(), do_jump_by_parts_zero_rtx(), dw2_build_landing_pads(), emit_block_move_via_loop(), emit_case_dispatch_table(), emit_store_flag_force(), expand_abs(), expand_builtin_eh_return(), expand_compare_and_swap_loop(), expand_copysign_absneg(), expand_divmod(), expand_doubleword_clz(), expand_doubleword_shift(), expand_eh_return(), expand_errno_check(), expand_expr_real_1(), expand_expr_real_2(), expand_ffs(), expand_fix(), expand_float(), expand_function_start(), expand_naked_return(), expand_sdiv_pow2(), expand_sjlj_dispatch_table(), expand_smod_pow2(), find_end_label(), fix_crossing_conditional_branches(), fix_up_crossing_landing_pad(), get_label_before(), get_uncond_jump_length(), label_rtx(), label_rtx_for_bb(), probe_stack_range(), sched_create_recovery_block(), sjlj_build_landing_pads(), sjlj_emit_dispatch_table(), stack_protect_epilogue(), store_constructor(), and store_expr().
| rtx gen_lowpart_common | ( | ) |
Return a value representing some low-order bits of X, where the number of low-order bits is given by MODE. Note that no conversion is done between floating-point and fixed-point values, rather, the bit representation is returned. This function handles the cases in common between gen_lowpart, below, and two variants in cse.c and combine.c. These are the cases that can be safely handled at all points in the compilation. If this is not a case we can handle, return 0.
References HOST_BITS_PER_WIDE_INT, mode_for_size(), offset, simplify_gen_subreg(), and subreg_lowpart_offset().
Referenced by combine_simplify_rtx(), do_output_reload(), expand_expr_real_1(), extract_low_bits(), force_to_mode(), gen_lowpart_for_combine(), gen_lowpart_general(), gen_lowpart_if_possible(), move2add_use_add2_insn(), store_split_bit_field(), and strip_paradoxical_subreg().
| rtx gen_lowpart_SUBREG | ( | ) |
Generate a SUBREG representing the least-significant part of REG if MODE is smaller than mode of REG, otherwise paradoxical SUBREG.
References gen_rtx_SUBREG(), and subreg_lowpart_offset().
Referenced by assign_parms_unsplit_complex(), dead_debug_insert_temp(), emit_input_reload_insns(), emit_spill_move(), expand_expr_real_1(), extract_bit_field_1(), extract_bit_field_using_extv(), gen_lowpart_if_possible(), match_reload(), optimize_reg_copy_3(), precompute_arguments(), reverse_op(), store_bit_field_using_insv(), and substitute_pseudo().
| rtx gen_raw_REG | ( | ) |
Generate a new REG rtx. Make sure ORIGINAL_REGNO is set properly, and don't attempt to share with the various global pieces of rtl (such as frame_pointer_rtx).
Referenced by addr_for_mem_ref(), adjust_insn(), assign_spill_hard_regs(), expand_debug_parm_decl(), expand_expr_real_1(), expand_mult(), gen_reg_rtx(), gen_rtx_REG(), get_address_cost(), init_emit_regs(), init_set_costs(), lshift_cheap_p(), mult_by_coeff_cost(), multiplier_allowed_in_address_p(), prepare_decl_rtl(), produce_memory_decl_rtl(), regrename_do_replace(), try_combine(), and vt_add_function_parameter().
| rtx gen_reg_rtx | ( | ) |
Generate a REG rtx for a new pseudo register of mode MODE. This pseudo is assigned the next sequential register number.
References gen_raw_REG(), generating_concat_p, memset(), min_align(), and regno_reg_rtx.
Referenced by allocate_basic_variable(), allocate_dynamic_stack_space(), assign_parm_remove_parallels(), assign_parm_setup_reg(), assign_parm_setup_stack(), assign_temp(), avoid_likely_spilled_reg(), choose_best_pseudo_reg(), convert_modes(), convert_move(), copy_blkmode_to_reg(), copy_to_mode_reg(), copy_to_reg(), copy_to_suggested_reg(), do_compare_and_jump(), do_jump_by_parts_zero_rtx(), do_store_flag(), do_tablejump(), doloop_optimize(), emit_block_move_via_loop(), emit_conditional_add(), emit_conditional_move(), emit_cstore(), emit_group_load_1(), emit_group_store(), emit_libcall_block_1(), emit_library_call_value_1(), emit_stack_save(), emit_store_flag_1(), emit_store_flag_force(), entry_register(), expand_abs(), expand_absneg_bit(), expand_asm_operands(), expand_assignment(), expand_atomic_compare_and_swap(), expand_atomic_fetch_op(), expand_atomic_load(), expand_atomic_test_and_set(), expand_binop(), expand_builtin(), expand_builtin_apply(), expand_builtin_cexpi(), expand_builtin_eh_copy_values(), expand_builtin_eh_filter(), expand_builtin_eh_pointer(), expand_builtin_int_roundingfn(), expand_builtin_int_roundingfn_2(), expand_builtin_mathfn(), expand_builtin_mathfn_2(), expand_builtin_mathfn_3(), expand_builtin_mathfn_ternary(), expand_builtin_memcmp(), expand_builtin_powi(), expand_builtin_signbit(), expand_builtin_sincos(), expand_builtin_stpcpy(), expand_builtin_strcmp(), expand_builtin_strlen(), expand_builtin_strncmp(), expand_builtin_thread_pointer(), expand_call(), expand_compare_and_swap_loop(), expand_copysign_absneg(), expand_copysign_bit(), expand_divmod(), expand_doubleword_bswap(), expand_doubleword_clz(), expand_doubleword_shift_condmove(), expand_expr_real_1(), expand_expr_real_2(), expand_fix(), expand_float(), expand_function_end(), expand_function_start(), expand_gimple_basic_block(), expand_mult_highpart(), expand_one_error_var(), expand_one_register_var(), expand_parity(), expand_sdiv_pow2(), expand_sfix_optab(), expand_smod_pow2(), expand_twoval_binop(), expand_twoval_unop(), expand_unop(), expand_var_during_unrolling(), expand_vec_perm(), expand_vector_broadcast(), extract_bit_field_1(), extract_bit_field_using_extv(), find_shift_sequence(), fix_crossing_unconditional_branches(), force_not_mem(), force_operand(), force_reg(), gen_group_rtx(), gen_reg_rtx_and_attrs(), gen_reg_rtx_offset(), get_hard_reg_initial_val(), get_temp_reg(), implicit_clobber_conflict_p(), ira_create_new_reg(), load_register_parameters(), lra_create_new_reg_with_unique_value(), make_safe_from(), maybe_emit_compare_and_swap_exchange_loop(), maybe_emit_group_store(), maybe_legitimize_operand(), maybe_optimize_fetch_op(), noce_emit_cmove(), noce_process_if_block(), noce_try_addcc(), noce_try_cmove_arith(), noce_try_sign_mask(), noce_try_store_flag_mask(), prepare_cmp_insn(), prepare_float_lib_cmp(), resolve_simple_move(), round_trampoline_addr(), save_fixed_argument_area(), schedule_reg_moves(), split_iv(), store_bit_field_1(), store_bit_field_using_insv(), store_constructor(), store_field(), store_one_arg(), store_unaligned_arguments_into_pseudos(), unroll_loop_runtime_iterations(), widen_bswap(), widen_leading(), and widen_operand().
| rtx gen_reg_rtx_and_attrs | ( | ) |
Generate a REG rtx for a new pseudo register, copying the mode and attributes from X.
References gen_reg_rtx(), and set_reg_attrs_from_value().
Referenced by build_store_vectors(), delete_store(), hoist_code(), move_invariant_reg(), and pre_delete().
| rtx gen_reg_rtx_offset | ( | ) |
Generate a new pseudo-register with the same attributes as REG, but with OFFSET added to the REG_OFFSET.
References gen_reg_rtx(), and update_reg_offset().
Referenced by decompose_register().
| rtvec gen_rtvec | ( | ) |
Create an rtvec and stores within it the RTXen passed in the arguments.
References rtvec_def::elem, and rtvec_alloc().
Referenced by expand_asm_memory_barrier(), and try_combine().
| rtvec gen_rtvec_v | ( | ) |
References rtvec_def::elem, and rtvec_alloc().
Referenced by copy_rtx_if_shared_1(), eliminate_regs_1(), emit_case_dispatch_table(), emit_note_insn_var_location(), gen_group_rtx(), lra_eliminate_regs_1(), and result_vector().
| rtx gen_rtx_CONST_INT | ( | ) |
There are some RTL codes that require special attention; the generation functions do the raw handling. If you add to this list, modify special_rtx in gengenrtl.c as well.
References const_int_rtx, and const_true_rtx.
Referenced by init_emit_once().
| rtx gen_rtx_CONST_VECTOR | ( | ) |
Generate a vector like gen_rtx_raw_CONST_VEC, but use the zero vector when all elements are zero, and the one vector when all elements are one.
Referenced by const_vector_from_tree(), expand_mult_highpart(), expand_vec_perm(), expand_vector_broadcast(), simplify_binary_operation_1(), simplify_const_binary_operation(), simplify_const_unary_operation(), simplify_immed_subreg(), and simplify_ternary_operation().
| rtx gen_rtx_MEM | ( | ) |
Referenced by asan_emit_stack_protection(), assign_parm_find_stack_rtl(), assign_parm_setup_reg(), assign_parms(), assign_stack_local_1(), assign_stack_temp_for_type(), change_address(), change_address_1(), compute_argument_addresses(), cselib_init(), decode_addr_const(), default_static_chain(), emit_call_1(), emit_library_call_value_1(), emit_move_change_mode(), emit_move_complex_push(), emit_push_insn(), emit_single_push_insn_1(), emit_stack_probe(), emit_stack_restore(), expand_asm_memory_barrier(), expand_asm_operands(), expand_assignment(), expand_builtin_apply(), expand_builtin_atomic_compare_exchange(), expand_builtin_init_dwarf_reg_sizes(), expand_builtin_init_trampoline(), expand_builtin_longjmp(), expand_builtin_nonlocal_goto(), expand_builtin_return(), expand_builtin_setjmp_setup(), expand_builtin_strlen(), expand_builtin_update_setjmp_buf(), expand_builtin_va_copy(), expand_call(), expand_debug_expr(), expand_errno_check(), expand_expr_real_1(), expand_function_start(), expand_one_error_var(), expand_one_stack_var_at(), gen_const_mem(), gen_frame_mem(), gen_tmp_stack_mem(), get_builtin_sync_mem(), get_group_info(), get_memory_rtx(), get_spill_slot_decl(), init_caller_save(), init_expr_target(), init_fake_stack_mems(), init_reload(), init_set_costs(), initialize_argument_information(), make_decl_rtl(), noce_try_cmove_arith(), prepare_call_arguments(), produce_memory_decl_rtl(), replace_pseudos_in(), rest_of_handle_auto_inc_dec(), restore_fixed_argument_area(), rtl_for_decl_init(), rtl_for_decl_location(), save_fixed_argument_area(), scan_insn(), sched_analyze_2(), store_one_arg(), and vt_add_function_parameter().
| rtx gen_rtx_REG | ( | ) |
References cfun, rtl_data::frame_pointer_needed, gen_raw_REG(), lra_in_progress, regno_reg_rtx, reload_completed, and reload_in_progress.
Referenced by assign_parm_setup_block(), can_assign_to_reg_without_clobbers_p(), can_reload_into(), canon_reg(), choose_best_pseudo_reg(), choose_best_reg_1(), choose_reload_regs(), combine_reloads(), combine_set_extension(), cse_cc_succs(), cse_condition_code_reg(), cse_insn(), default_static_chain(), do_output_reload(), emit_library_call_value_1(), expand_asm_operands(), expand_builtin_apply(), expand_builtin_apply_args_1(), expand_builtin_return(), expand_call(), expand_dw2_landing_pad_for_region(), expand_function_end(), find_comparisons_in_bb(), find_dummy_reload(), find_reloads_address_1(), gen_hard_reg_clobber(), gen_reload(), gen_reload_chain_without_interm_reg_p(), gen_rtx_REG_offset(), get_hard_reg_initial_val(), gmalloc(), handle_common_deferred_options(), init_caller_save(), init_elim_table(), init_expr_target(), init_lower_subreg(), init_reload(), insert_restore(), insert_save(), load_register_parameters(), maybe_memory_address_addr_space_p(), maybe_select_cc_mode(), move2add_use_add3_insn(), move_block_from_reg(), move_block_to_reg(), move_btr_def(), peep2_find_free_register(), prefer_and_bit_test(), push_reload(), reg_to_stack(), reload_adjust_reg_for_mode(), reload_combine_recognize_pattern(), reload_cse_regs_1(), reload_cse_simplify_operands(), reload_cse_simplify_set(), replace_reg_with_saved_mem(), result_vector(), set_reload_reg(), setup_prohibited_mode_move_regs(), simplify_set(), transform_ifelse(), try_combine(), and try_eliminate_compare().
Generate a register with same attributes as REG, but with OFFSET added to the REG_OFFSET.
References gen_rtx_REG(), and update_reg_offset().
Referenced by alter_subreg(), expand_debug_parm_decl(), simplify_subreg(), var_lowpart(), and vt_add_function_parameter().
| rtx gen_rtx_SUBREG | ( | ) |
References validate_subreg().
Referenced by curr_insn_transform(), eliminate_regs_1(), emit_spill_move(), equiv_constant(), expand_call(), expand_debug_expr(), extract_low_bits(), find_reloads(), gen_lowpart_for_combine(), gen_lowpart_SUBREG(), make_extraction(), match_reload(), noce_emit_cmove(), simplify_gen_subreg(), simplify_subreg(), store_bit_field_1(), store_bit_field_using_insv(), and substitute_pseudo().
| rtx gen_tmp_stack_mem | ( | ) |
Generate a MEM referring to a temporary use of the stack, not part
of the fixed stack frame. For example, something which is pushed
by a target splitter.
References function::calls_alloca, cfun, gen_rtx_MEM(), get_frame_alias_set(), and set_mem_alias_set().
| rtx gen_use | ( | ) |
Return a sequence of insns to use rvalue X.
References emit_use(), end_sequence(), get_insns(), and start_sequence().
Referenced by rtl_flow_call_edges_add().
| int get_first_label_num | ( | void | ) |
Return first label number used in this function (if any were used).
References first_label_num.
Referenced by compute_alignments(), init_eliminable_invariants(), and reload_combine().
| rtx get_first_nonnote_insn | ( | void | ) |
Return the first nonnote insn emitted in current sequence or current function. This routine looks inside SEQUENCEs.
References get_insns(), and next_insn().
| rtx get_last_insn_anywhere | ( | void | ) |
Emission of insns (adding them to the doubly-linked list).
Return the last insn emitted, even if it is in a sequence now pushed.
References get_last_insn(), sequence_stack::last, sequence_stack::next, and stack.
| rtx get_last_nonnote_insn | ( | void | ) |
Return the last nonnote insn emitted in current sequence or current function. This routine looks inside SEQUENCEs.
References get_last_insn(), and previous_insn().
| int get_max_insn_count | ( | void | ) |
Return the number of actual (non-debug) insns emitted in this function.
Referenced by alloc_hash_table().
| int get_mem_align_offset | ( | ) |
Return OFFSET if XEXP (MEM, 0) - OFFSET is known to be ALIGN bits aligned for 0 <= OFFSET < ALIGN / BITS_PER_UNIT, or -1 if not known.
References component_ref_field_offset(), rtl_data::expr, host_integerp(), HOST_WIDE_INT, offset, and tree_low_cst().
Referenced by set_reg_attrs_for_decl_rtl(), set_reg_attrs_for_parm(), set_reg_attrs_from_value(), and update_reg_offset().
|
static |
Allocate a new reg_attrs structure and insert it into the hash table if one identical to it is not already in the table. We are doing this for MEM of mode MODE.
References reg_attrs::decl, memcpy(), reg_attrs::offset, and offset.
| tree get_spill_slot_decl | ( | ) |
References mem_attrs::alias, current_function_decl, mem_attrs::expr, gen_rtx_MEM(), get_identifier(), new_alias_set(), set_mem_attrs(), and spill_slot_decl.
Referenced by ao_ref_from_mem(), nonoverlapping_memrefs_p(), set_mem_attrs_for_spill(), and vt_add_function_parameter().
| rtx immed_double_const | ( | ) |
Return a CONST_DOUBLE or CONST_INT for a value specified as a pair of ints: I0 is the low-order word and I1 is the high-order word. For values that are larger than HOST_BITS_PER_DOUBLE_INT, the implied upper bits are copies of the high bit of i1. The value itself is neither signed nor unsigned. Do not use this routine for non-integer modes; convert to REAL_VALUE_TYPE and use CONST_DOUBLE_FROM_REAL_VALUE.
References gen_int_mode(), HOST_BITS_PER_WIDE_INT, i1, and lookup_const_double().
Referenced by c_readstr(), clz_loc_descriptor(), expand_doubleword_shift(), expand_expr_real_1(), expand_expr_real_2(), expand_smod_pow2(), expand_subword_shift(), immed_double_int_const(), simplify_const_unary_operation(), and simplify_immed_subreg().
| rtx immed_double_int_const | ( | ) |
Return a CONST_DOUBLE or CONST_INT for a value specified as a double_int.
References double_int::high, immed_double_const(), and double_int::low.
Referenced by addr_for_mem_ref(), const_vector_from_tree(), convert_modes(), expand_absneg_bit(), expand_builtin_signbit(), expand_copysign_absneg(), expand_copysign_bit(), expand_expr_real_1(), expand_expr_real_2(), lshift_value(), mask_rtx(), plus_constant(), prefer_and_bit_test(), reduce_to_bit_field_precision(), simplify_binary_operation_1(), simplify_const_binary_operation(), simplify_const_unary_operation(), and try_combine().
| int in_sequence_p | ( | void | ) |
Return 1 if currently emitting into a sequence.
Referenced by expand_dummy_function_end(), expand_function_end(), and resolve_simple_move().
| void init_emit | ( | void | ) |
Initialize data structures and variables in this file before generating rtl for each function.
References first_label_num, init_virtual_regs(), label_num, memcpy(), regno_reg_rtx, set_first_insn(), and set_last_insn().
Referenced by prepare_function_start().
| void init_emit_once | ( | void | ) |
Create some permanent unique rtl objects shared between all functions.
References byte_mode, const_double_htab_eq(), const_double_htab_hash(), CONST_FIXED_FROM_FIXED_VALUE, const_fixed_htab_eq(), const_fixed_htab_hash(), const_int_htab_eq(), const_int_htab_hash(), const_int_rtx, const_tiny_rtx, dconst1, dconst2, double_mode, FCONST0, FCONST1, gen_const_vector(), gen_rtx_CONST_INT(), HOST_WIDE_INT, mem_attrs_htab_eq(), mem_attrs_htab_hash(), mode_for_size(), ptr_mode, reg_attrs_htab_eq(), reg_attrs_htab_hash(), and word_mode.
Referenced by backend_init().
| void init_emit_regs | ( | void | ) |
Initialise global register information required by all functions.
References mem_attrs::addrspace, mem_attrs::align, gen_raw_REG(), init_reg_modes_target(), mem_attrs::size, and mem_attrs::size_known_p.
Referenced by backend_init_target().
|
static |
Put the various virtual registers into REGNO_REG_RTX.
References regno_reg_rtx.
Referenced by init_emit().
| const char* insn_file | ( | ) |
Return source file of the statement that produced this insn.
Referenced by dump_insn_location(), notice_source_line(), and print_rtx().
| int insn_line | ( | ) |
Return line number of the statement that produced this insn.
Referenced by dump_insn_location(), notice_source_line(), and print_rtx().
| void insn_locations_finalize | ( | void | ) |
At the end of emit stage, clear current location.
References curr_location.
Referenced by expand_thunk(), and gimple_expand_cfg().
| void insn_locations_init | ( | void | ) |
Allocate insn location datastructure.
Referenced by expand_thunk(), and gimple_expand_cfg().
| tree insn_scope | ( | ) |
Return lexical scope block insn belongs to.
Referenced by dwarf2out_var_location(), and reemit_insn_block_notes().
| rtx last_call_insn | ( | void | ) |
Return the last CALL_INSN in the current list, or 0 if there is none. This routine does not look inside SEQUENCEs.
References get_last_insn().
Referenced by emit_call_1(), and expand_builtin_apply().
|
inlinestatic |
Add INSN to the end of the doubly-linked list, between PREV and NEXT. INSN may be any object that can appear in the chain: INSN_P and NOTE_P objects, but also BARRIERs and JUMP_TABLE_DATAs. PREV and NEXT may be NULL.
References sequence_stack::next.
Referenced by add_insn(), add_insn_after_nobb(), and add_insn_before_nobb().
Referenced by const_double_from_real_value(), and immed_double_const().
|
static |
CONST_DOUBLEs might be created from pairs of integers, or from REAL_VALUE_TYPEs. Also, their length is known only at run time, so we cannot use gen_rtx_raw_CONST_DOUBLE.
Determine whether REAL, a CONST_DOUBLE, already exists in the hash table. If so, return its counterpart; otherwise add it to the hash table and return it.
Referenced by const_fixed_from_fixed_value().
|
static |
Determine whether FIXED, a CONST_FIXED, already exists in the hash table. If so, return its counterpart; otherwise add it to the hash table and return it.
|
static |
Like `make_insn_raw' but make a CALL_INSN instead of an insn.
References curr_insn_location().
Referenced by emit_call_insn(), emit_call_insn_after(), emit_call_insn_after_noloc(), emit_call_insn_after_setloc(), emit_call_insn_before(), emit_call_insn_before_noloc(), and emit_call_insn_before_setloc().
|
static |
Like `make_insn_raw' but make a DEBUG_INSN instead of an insn.
References curr_insn_location().
Referenced by emit_debug_insn(), emit_debug_insn_after(), emit_debug_insn_after_noloc(), emit_debug_insn_after_setloc(), emit_debug_insn_before(), emit_debug_insn_before_noloc(), and emit_debug_insn_before_setloc().
| rtx make_insn_raw | ( | ) |
Make and return an INSN rtx, initializing all its slots. Store PATTERN in the pattern slots.
References curr_insn_location(), debug_rtx(), returnjump_p(), SET, and warning().
Referenced by can_assign_to_reg_without_clobbers_p(), can_reload_into(), check_asm_operands(), emit_delay_sequence(), emit_insn(), emit_insn_after(), emit_insn_after_noloc(), emit_insn_after_setloc(), emit_insn_before(), emit_insn_before_noloc(), and emit_insn_before_setloc().
|
static |
Like `make_insn_raw' but make a JUMP_INSN instead of an insn.
References curr_insn_location().
Referenced by emit_jump_insn(), emit_jump_insn_after(), emit_jump_insn_after_noloc(), emit_jump_insn_after_setloc(), emit_jump_insn_before(), emit_jump_insn_before_noloc(), and emit_jump_insn_before_setloc().
|
static |
Like `make_insn_raw' but make a NOTE instead of an insn.
References memset().
Referenced by emit_note(), emit_note_after(), emit_note_before(), and emit_note_copy().
| rtx make_safe_from | ( | ) |
Copy X if necessary so that it won't be altered by changes in OTHER. Return X or the rtx for the pseudo reg the value of X was copied into. OTHER must be valid as a SET_DEST.
References emit_move_insn(), gen_reg_rtx(), and reg_mentioned_p().
|
static |
Referenced by mark_label_nuses(), and try_split().
|
static |
Increment the label uses for all labels present in rtx.
References mark_label_nuses().
| void mark_reg_pointer | ( | ) |
Identify REG as a probable pointer register and show its alignment as ALIGN, if nonzero.
Referenced by allocate_dynamic_stack_space(), assign_parm_setup_reg(), expand_call(), expand_expr_real_1(), expand_function_start(), expand_one_register_var(), force_reg(), get_temp_reg(), gimple_expand_cfg(), memory_address_addr_space(), and set_reg_attrs_from_value().
|
static |
Set the USED bit in X and its non-shareable subparts to FLAG.
Referenced by reset_used_flags(), and set_used_flags().
| void mark_user_reg | ( | ) |
Identify REG (which may be a CONCAT) as a user register.
Referenced by assign_parm_setup_reg(), and expand_one_register_var().
| int max_label_num | ( | void | ) |
Return 1 + the largest label number used so far in the current function.
References label_num.
Referenced by compute_alignments(), grow_label_align(), init_eliminable_invariants(), reload_combine(), shorten_branches(), and update_alignments().
| int max_reg_num | ( | void | ) |
Return 1 plus largest pseudo reg number used in the current function.
Referenced by allocate_reg_info(), assign_by_spills(), build_conflicts(), build_single_def_use_links(), build_store_vectors(), choose_best_pseudo_reg(), cleanup_cfg(), combine_split_insns(), compute_hash_table_work(), compute_store_table(), create_live_range_start_chains(), create_log_links(), cse_main(), cselib_init(), curr_insn_transform(), dead_or_predicable(), decompose_multiword_subregs(), df_grow_reg_info(), df_print_word_regset(), dump_reg_info(), execute_jump(), expand_reg_info(), find_costs_and_classes(), find_moveable_pseudos(), fix_reg_equiv_init(), fwprop_done(), fwprop_init(), grow_reg_equivs(), if_convert(), implicit_clobber_conflict_p(), init_alias_analysis(), init_costs(), init_deps(), init_live_reload_and_inheritance_pseudos(), init_lives(), init_loop_tree_node(), init_reg_info(), init_regno_assign_info(), initiate_allocnos(), initiate_regno_cost_classes(), ira(), ira_emit(), ira_expand_reg_equiv(), ira_flattening(), ira_print_disposition(), ira_set_pseudo_classes(), ira_sort_regnos_for_alter_reg(), is_too_expensive(), lra(), lra_assign(), lra_clear_live_ranges(), lra_coalesce(), lra_constraints(), lra_create_live_ranges(), lra_eliminate(), lra_emit_add(), lra_emit_move(), lra_final_code_change(), lra_need_for_spills_p(), lra_spill(), lra_update_reg_val_offset(), maybe_memory_address_addr_space_p(), print_live_ranges(), print_pseudo_costs(), propagate_allocno_info(), rebuild_regno_allocno_maps(), reg_is_remote_constant_p(), regmove_optimize(), regno_clobbered_at_setjmp(), regstat_compute_calls_crossed(), regstat_compute_ri(), regstat_init_n_sets_and_refs(), remove_some_program_points_and_update_live_ranges(), remove_unnecessary_allocnos(), resize_reg_info(), rest_of_handle_auto_inc_dec(), rest_of_handle_combine(), rest_of_handle_cse(), rest_of_handle_cse2(), rest_of_handle_cse_after_global_opts(), rest_of_handle_sms(), sched_analyze_reg(), sched_init(), setup_live_pseudos_and_spill_after_risky_transforms(), setup_min_max_allocno_live_range_point(), setup_preferred_alternate_classes_for_new_pseudos(), setup_reg_classes(), setup_reg_equiv_init(), spill_pseudos(), try_combine(), and web_main().
| void maybe_set_first_label_num | ( | ) |
If the rtx for label was created during the expansion of a nested function, then first_label_num won't include this label number. Fix this now so that array indices work later.
References first_label_num.
Referenced by expand_label().
|
static |
Return true if the given memory attributes are equal.
References mem_attrs::addrspace, mem_attrs::alias, mem_attrs::align, mem_attrs::expr, mem_attrs::offset, mem_attrs::offset_known_p, operand_equal_p(), mem_attrs::size, and mem_attrs::size_known_p.
Referenced by change_address(), mem_attrs_htab_eq(), and set_mem_attrs().
|
static |
Referenced by init_emit_once().
|
static |
Returns nonzero if the value represented by X (which is really a mem_attrs *) is the same as that given by Y (which is also really a mem_attrs *).
References mem_attrs_eq_p().
|
static |
Referenced by init_emit_once().
|
static |
Returns a hash code for X (which is a really a mem_attrs *).
References mem_attrs::addrspace, mem_attrs::alias, mem_attrs::align, mem_attrs::expr, iterative_hash_expr(), mem_attrs::offset, mem_attrs::offset_known_p, mem_attrs::size, and mem_attrs::size_known_p.
| int mem_expr_equal_p | ( | ) |
Returns 1 if both MEM_EXPR can be considered equal and 0 otherwise.
References operand_equal_p().
Referenced by merge_memattrs().
| bool need_atomic_barrier_p | ( | ) |
Return true if memory model MODEL requires a pre-operation (release-style) barrier or a post-operation (acquire-style) barrier. While not universal, this function matches behavior of several targets.
References MEMMODEL_ACQ_REL, MEMMODEL_ACQUIRE, MEMMODEL_CONSUME, MEMMODEL_RELAXED, MEMMODEL_RELEASE, and MEMMODEL_SEQ_CST.
| rtx next_active_insn | ( | ) |
References active_insn_p().
Referenced by can_combine_p(), can_fallthru(), dbr_schedule(), fill_eager_delay_slots(), fill_simple_delay_slots(), fill_slots_from_thread(), first_active_target_insn(), follow_jumps(), label_before_next_insn(), mark_target_live_regs(), optimize_skip(), own_thread_p(), peep2_attempt(), relax_delay_slots(), tablejump_p(), thread_prologue_and_epilogue_insns(), try_combine(), and try_merge_delay_insns().
| rtx next_cc0_user | ( | ) |
Return the next insn that uses CC0 after INSN, which is assumed to set it. This is the inverse of prev_cc0_setter (i.e., prev_cc0_setter applied to the result of this function should yield INSN). Normally, this is simply the next insn. However, if a REG_CC_USER note is present, it contains the insn that uses CC0. Return 0 if we can't find the insn.
References find_reg_note(), next_nonnote_insn(), and reg_mentioned_p().
Referenced by next_insn_tests_no_inequality().
| rtx next_insn | ( | ) |
Return the next insn. If it is a SEQUENCE, return the first insn of the sequence.
Referenced by emit_notes_in_bb(), get_first_nonnote_insn(), mark_target_live_regs(), move_nop_to_previous_block(), peephole2_optimize(), process_insn_equiv_class(), and record_effective_endpoints().
| rtx next_nondebug_insn | ( | ) |
Return the next insn after INSN that is not a DEBUG_INSN. This routine does not look inside SEQUENCEs.
| rtx next_nonnote_insn | ( | ) |
Return the next insn after INSN that is not a NOTE. This routine does not look inside SEQUENCEs.
Referenced by choose_ready(), fill_simple_delay_slots(), fill_slots_from_thread(), final_scan_insn(), find_basic_block(), fix_reg_dead_note(), init_resource_info(), is_cfg_nonregular(), keep_with_call_p(), link_cc0_insns(), merge_blocks_move_predecessor_nojumps(), next_cc0_user(), optimize_skip(), rtl_verify_bb_layout(), schedule_block(), shorten_branches(), try_merge_delay_insns(), try_redirect_by_replacing_jump(), and update_reg_dead_notes().
| rtx next_nonnote_insn_bb | ( | ) |
Return the next insn after INSN that is not a NOTE, but stop the search before we enter another basic block. This routine does not look inside SEQUENCEs.
Referenced by get_last_bb_insn().
| rtx next_nonnote_nondebug_insn | ( | ) |
Return the next insn after INSN that is not a NOTE nor DEBUG_INSN. This routine does not look inside SEQUENCEs.
Referenced by distribute_notes(), find_moveable_pseudos(), queue_to_ready(), reload_cse_move2add(), sched_analyze_insn(), set_live_p(), and try_combine().
| rtx next_real_insn | ( | ) |
Return the next INSN, CALL_INSN or JUMP_INSN after INSN; or 0, if there is none. This routine does not look inside SEQUENCEs.
Referenced by commit_schedule(), dwarf2out_var_location(), expand_gimple_stmt(), fill_simple_delay_slots(), mark_transaction_restart_calls(), optimize_reg_copy_1(), relax_delay_slots(), and rtx_renumbered_equal_p().
|
static |
Notes require a bit of special handling: Some notes need to have their BLOCK_FOR_INSN set, others should never have it set, and some should have it set or clear depending on the context.
Return true iff a note of kind SUBTYPE should be emitted with routines that never set BLOCK_FOR_INSN on NOTE. BB_BOUNDARY is true if the caller is asked to emit a note before BB_HEAD, or after BB_END.
Referenced by emit_note_after(), and emit_note_before().
| rtx offset_address | ( | ) |
Return a memory reference like MEMREF, but whose address is changed by adding OFFSET, an RTX, to it. POW2 is the highest power of two factor known to be in OFFSET (possibly 1).
References mem_attrs::addrspace, mem_attrs::align, change_address_1(), force_reg(), get_address_mode(), get_mem_attrs(), memory_address_addr_space_p(), mem_attrs::offset_known_p, set_mem_attrs(), simplify_gen_binary(), mem_attrs::size, mem_attrs::size_known_p, and update_temp_slot_address().
Referenced by expand_assignment(), expand_expr_real_1(), store_constructor(), and store_expr().
| rtx operand_subword | ( | ) |
Return subword OFFSET of operand OP. The word number, OFFSET, is interpreted as the word number starting at the low-order address. OFFSET 0 is the low-order word if not WORDS_BIG_ENDIAN, otherwise it is the high-order word. If we cannot extract the required word, we return zero. Otherwise, an rtx corresponding to the requested word will be returned. VALIDATE_ADDRESS is nonzero if the address should be validated. Before reload has completed, a valid address will always be returned. After reload, if a valid address cannot be returned, we return zero. If VALIDATE_ADDRESS is zero, we simply form the required address; validating it is the responsibility of the caller. MODE is the mode of OP in case it is a CONST_INT. ??? This is still rather broken for some cases. The problem for the moment is that all callers of this thing provide no 'goal mode' to tell us to work with. This exists because all callers were written in a word based SUBREG world. Now use of this function can be deprecated by simplify_subreg in most cases.
References reload_completed, replace_equiv_address(), simplify_gen_subreg(), strict_memory_address_addr_space_p(), and word_mode.
Referenced by convert_move(), copy_blkmode_from_reg(), copy_blkmode_to_reg(), emit_move_multi_word(), expand_absneg_bit(), expand_binop(), expand_copysign_bit(), expand_doubleword_bswap(), expand_doubleword_mult(), expand_unop(), extract_bit_field_1(), find_equiv_reg(), move_block_from_reg(), and operand_subword_force().
| rtx operand_subword_force | ( | ) |
Similar to `operand_subword', but never return 0. If we can't extract the required subword, put OP into a register and try again. The second attempt must succeed. We always validate the address in this case. MODE is the mode of OP, in case it is CONST_INT.
References copy_to_reg(), force_reg(), and operand_subword().
Referenced by copy_blkmode_from_reg(), copy_blkmode_to_reg(), do_jump_by_parts_equality_rtx(), do_jump_by_parts_greater_rtx(), do_jump_by_parts_zero_rtx(), emit_move_multi_word(), emit_push_insn(), expand_absneg_bit(), expand_binop(), expand_builtin_signbit(), expand_copysign_absneg(), expand_copysign_bit(), expand_doubleword_bswap(), expand_doubleword_mult(), expand_unop(), extract_split_bit_field(), load_register_parameters(), move_block_to_reg(), store_bit_field_1(), store_split_bit_field(), and store_unaligned_arguments_into_pseudos().
| bool paradoxical_subreg_p | ( | ) |
Return true if X is a paradoxical subreg, false otherwise.
Referenced by cse_insn(), eliminate_regs_1(), find_reloads_subreg_address(), force_operand(), get_last_value(), num_sign_bit_copies1(), push_secondary_reload(), record_jump_cond(), set_nonzero_bits_and_sign_copies(), set_paradoxical_subreg(), simplify_comparison(), simplify_set(), and strip_paradoxical_subreg().
| void pop_topmost_sequence | ( | void | ) |
After emitting to the outer-level insn chain, update the outer-level insn chain, and restore the previous saved state.
References end_sequence(), sequence_stack::first, get_insns(), get_last_insn(), sequence_stack::last, sequence_stack::next, and stack.
Referenced by expand_builtin_apply_args(), expand_builtin_saveregs(), and get_arg_pointer_save_area().
| rtx prev_active_insn | ( | ) |
Find the last insn before INSN that really does something. This routine does not look inside SEQUENCEs. After reload this also skips over standalone USE and CLOBBER insn.
References active_insn_p().
Referenced by delete_dead_insn(), merge_blocks_move_successor_nojumps(), and relax_delay_slots().
| rtx prev_cc0_setter | ( | ) |
Find the insn that set CC0 for INSN. Unless INSN has a REG_CC_SETTER note, it is the previous insn.
References find_reg_note(), prev_nonnote_insn(), and sets_cc0_p().
Referenced by distribute_notes(), and emit_use_return_register_into_block().
| rtx prev_nondebug_insn | ( | ) |
Return the previous insn before INSN that is not a DEBUG_INSN. This routine does not look inside SEQUENCEs.
Referenced by doloop_condition_get(), doloop_register_get(), outgoing_edges_match(), sched_extend_bb(), try_forward_edges(), and update_equiv_regs().
| rtx prev_nonnote_insn | ( | ) |
Return the previous insn before INSN that is not a NOTE. This routine does not look inside SEQUENCEs.
Referenced by add_branch_dependences(), assign_parm_setup_reg(), can_combine_p(), canonicalize_condition(), chain_to_prev_insn(), cleanup_barriers(), combine_instructions(), commit_one_edge_insertion(), delete_computation(), delete_prior_computation(), delete_scheduled_jump(), eliminate_regs_in_insn(), fill_simple_delay_slots(), final_scan_insn(), find_basic_block(), get_label_before(), insert_insn_end_basic_block(), noce_get_alt_condition(), noce_try_abs(), own_thread_p(), prev_cc0_setter(), relax_delay_slots(), reversed_comparison_code_parts(), rtl_merge_blocks(), sched_analyze_2(), set_label_offsets(), and try_combine().
| rtx prev_nonnote_insn_bb | ( | ) |
Return the previous insn before INSN that is not a NOTE, but stop the search before we enter another basic block. This routine does not look inside SEQUENCEs.
Referenced by find_bb_boundaries().
| rtx prev_nonnote_nondebug_insn | ( | ) |
Return the previous insn before INSN that is not a NOTE nor DEBUG_INSN. This routine does not look inside SEQUENCEs.
Referenced by canonicalize_condition(), chain_to_prev_insn(), chain_to_prev_insn_p(), cse_extended_basic_block(), deps_start_bb(), noce_process_if_block(), reload_combine_recognize_pattern(), and try_head_merge_bb().
| rtx prev_real_insn | ( | ) |
Return the last INSN, CALL_INSN or JUMP_INSN before INSN; or 0, if there is none. This routine does not look inside SEQUENCEs.
Referenced by add_var_loc_to_decl(), dwarf2out_var_location(), lra_delete_dead_insn(), and try_head_merge_bb().
| rtx previous_insn | ( | ) |
Return the previous insn. If it is a SEQUENCE, return the last insn of the sequence.
Referenced by delete_scheduled_jump(), dwarf2out_var_location(), and get_last_nonnote_insn().
| void push_to_sequence | ( | ) |
Set up the insn chain starting with FIRST as the current sequence, saving the previously current one. See the documentation for start_sequence for more information about how to use this function.
References last, set_first_insn(), set_last_insn(), and start_sequence().
Referenced by curr_insn_transform(), emit_input_reload_insns(), emit_output_reload_insns(), expand_builtin_return(), insert_insn_on_edge(), match_reload(), process_addr_reg(), process_address(), and simplify_operand_subreg().
| void push_to_sequence2 | ( | ) |
Like push_to_sequence, but take the last insn as an argument to avoid looping through the list.
References set_first_insn(), set_last_insn(), and start_sequence().
Referenced by assign_parm_setup_block(), assign_parm_setup_reg(), assign_parm_setup_stack(), and assign_parms_unsplit_complex().
| void push_topmost_sequence | ( | void | ) |
Set up the outer-level insn chain as the current sequence, saving the previously current one.
References sequence_stack::first, sequence_stack::last, sequence_stack::next, set_first_insn(), set_last_insn(), stack, and start_sequence().
Referenced by expand_builtin_apply_args(), expand_builtin_saveregs(), and get_arg_pointer_save_area().
|
static |
Referenced by init_emit_once().
|
static |
Returns nonzero if the value represented by X (which is really a reg_attrs *) is the same as that given by Y (which is also really a reg_attrs *).
References reg_attrs::decl, and reg_attrs::offset.
|
static |
Referenced by init_emit_once().
|
static |
Returns a hash code for X (which is a really a reg_attrs *).
References reg_attrs::decl, and reg_attrs::offset.
| bool reg_is_parm_p | ( | ) |
Return TRUE if REG is a PARM_DECL, FALSE otherwise.
Referenced by ira_build_conflicts().
| void remove_insn | ( | ) |
Unlink INSN from the insn chain. This function knows how to handle sequences. This function does not invalidate data flow information associated with INSN (i.e. does not call df_insn_delete). That makes this function usable for only disconnecting an insn from the chain, and re-emit it elsewhere later. To later insert INSN elsewhere in the insn chain via add_insn and similar functions, PREV_INSN and NEXT_INSN must be nullified by the caller. Nullifying them here breaks many insn chain walks. To really delete an insn and related DF information, use delete_insn.
References sequence_stack::first, get_insns(), get_last_insn(), sequence_stack::last, sequence_stack::next, set_first_insn(), set_last_insn(), and stack.
Referenced by delete_insn(), delete_related_insns(), emit_delay_sequence(), remove_notes(), resolve_simple_move(), and try_split().
| void reorder_insns | ( | ) |
Same as function above, but take care to update BB boundaries.
References df_insn_change_bb(), df_set_bb_dirty(), and reorder_insns_nobb().
Referenced by dead_or_predicable(), expand_case(), expand_sjlj_dispatch_table(), move_cond_jump(), move_invariant_reg(), noce_process_if_block(), reload_combine_recognize_const_pattern(), reposition_prologue_and_epilogue_notes(), skip_insns_after_block(), thread_prologue_and_epilogue_insns(), and try_head_merge_bb().
| void reorder_insns_nobb | ( | ) |
This function is deprecated, please use sequences instead. Move a consecutive bunch of insns to a different place in the chain. The insns to be moved are those between FROM and TO. They are moved to a new position after the insn AFTER. AFTER must not be FROM or TO or any insn in between. This function does not know about SEQUENCEs and hence should not be called after delay-slot filling has been done.
References get_insns(), get_last_insn(), set_first_insn(), and set_last_insn().
Referenced by cleanup_barriers(), create_basic_block_structure(), delete_insn(), get_ebb_head_tail(), merge_blocks_move_predecessor_nojumps(), merge_blocks_move_successor_nojumps(), permute_partial_schedule(), reload_as_needed(), reorder_insns(), and rtl_merge_blocks().
| rtx replace_equiv_address | ( | ) |
Return a memory reference like MEMREF, but with its address changed to ADDR. The caller is asserting that the actual piece of memory pointed to is the same, just the form of the address is being changed, such as by putting something into a register.
References change_address_1(), and update_temp_slot_address().
Referenced by emit_move_resolve_push(), expand_expr_real_1(), expand_movstr(), instantiate_virtual_regs_in_insn(), maybe_legitimize_operand_same_code(), operand_subword(), try_apply_stack_adjustment(), use_anchored_address(), and validize_mem().
| rtx replace_equiv_address_nv | ( | ) |
Likewise, but the reference is not required to be valid.
References change_address_1().
Referenced by add_mem_for_addr(), adjust_mems(), attempt_change(), canon_rtx(), eliminate_regs_1(), emit_move_multi_word(), expand_debug_parm_decl(), lra_eliminate_regs_1(), make_memloc(), propagate_rtx_1(), push_reload(), replace_expr_with_values(), simplify_replace_fn_rtx(), try_apply_stack_adjustment(), and vt_add_function_parameter().
|
static |
Go through all the RTL insn bodies and clear all the USED bits.
References get_insns(), and reset_insn_used_flags().
Referenced by verify_rtl_sharing().
|
static |
| void reset_used_flags | ( | ) |
Clear all the USED bits in X to allow copy_rtx_if_shared to be used to look for shared sub-parts.
References mark_used_flags().
Referenced by reset_insn_used_flags(), try_combine(), unshare_all_rtl_again(), and verify_insn_sharing().
| double_int rtx_to_double_int | ( | ) |
Constructs double_int from rtx CST.
References double_int::from_shwi(), double_int::high, and double_int::low.
Referenced by add_const_value_attribute(), loc_descriptor(), mem_loc_descriptor(), simplify_const_binary_operation(), and try_combine().
| void set_curr_insn_location | ( | ) |
Set current location.
Referenced by expand_expr_real_1(), expand_function_end(), expand_gimple_basic_block(), expand_gimple_cond(), expand_gimple_stmt_1(), expand_thunk(), gimple_expand_cfg(), insert_part_to_rtx_on_edge(), insert_partition_copy_on_edge(), insert_rtx_to_part_on_edge(), insert_value_copy_on_edge(), and set_location_for_edge().
| void set_decl_incoming_rtl | ( | ) |
Assign the RTX X to parameter declaration T. BY_REFERENCE_P is true if the ABI requires the parameter to be passed by reference.
References set_reg_attrs_for_decl_rtl().
Referenced by assign_parms(), assign_parms_unsplit_complex(), and expand_function_start().
| void set_decl_rtl | ( | ) |
Assign the RTX X to declaration T.
References set_reg_attrs_for_decl_rtl().
| rtx set_dst_reg_note | ( | ) |
Like set_unique_reg_note, but don't do anything unless INSN sets DST.
References set_unique_reg_note().
Referenced by assign_parm_setup_reg(), emit_libcall_block_1(), expand_absneg_bit(), expand_binop(), expand_divmod(), expand_fix(), expand_function_start(), expand_mult_const(), and gen_reload().
| void set_insn_deleted | ( | ) |
Replace insn with an deleted instruction note.
References df_insn_delete().
Referenced by find_moveable_pseudos().
| void set_mem_addr_space | ( | ) |
Set the address space of MEM to ADDRSPACE (target-defined).
References mem_attrs::addrspace, get_mem_attrs(), and set_mem_attrs().
Referenced by expand_debug_expr(), expand_expr_real_1(), noce_try_cmove_arith(), and produce_memory_decl_rtl().
| void set_mem_alias_set | ( | ) |
Set the alias set of MEM to SET.
References mem_attrs::alias, alias_sets_conflict_p(), get_mem_attrs(), and set_mem_attrs().
Referenced by asan_emit_stack_protection(), assign_stack_temp_for_type(), build_constant_desc(), compute_argument_addresses(), emit_single_push_insn_1(), expand_builtin_longjmp(), expand_builtin_setjmp_setup(), expand_builtin_va_copy(), gen_frame_mem(), gen_tmp_stack_mem(), get_builtin_sync_mem(), get_memory_rtx(), merge_memattrs(), noce_try_cmove_arith(), optimize_bitfield_assignment_op(), setup_save_areas(), store_constructor_field(), and store_field().
| void set_mem_align | ( | ) |
Set the alignment of MEM to ALIGN bits.
References mem_attrs::align, get_mem_attrs(), and set_mem_attrs().
Referenced by assemble_trampoline_template(), assemble_variable(), assign_parm_find_stack_rtl(), assign_stack_local_1(), assign_stack_temp_for_type(), compute_argument_addresses(), emit_push_insn(), expand_builtin_apply(), expand_builtin_init_trampoline(), expand_builtin_memcpy(), expand_builtin_mempcpy_args(), expand_builtin_memset_args(), expand_builtin_va_copy(), expand_expr_real_1(), force_const_mem(), get_builtin_sync_mem(), merge_memattrs(), noce_try_cmove_arith(), restore_fixed_argument_area(), and save_fixed_argument_area().
| void set_mem_attributes | ( | ) |
References set_mem_attributes_minus_bitpos().
Referenced by assign_parm_find_stack_rtl(), assign_parm_setup_block(), assign_parm_setup_reg(), assign_parm_setup_stack(), assign_parms(), assign_parms_unsplit_complex(), build_constant_desc(), compute_argument_addresses(), emit_single_push_insn_1(), expand_builtin_init_trampoline(), expand_call(), expand_debug_expr(), expand_expr_real_1(), expand_expr_real_2(), expand_function_start(), expand_one_stack_var_at(), force_const_mem(), get_memory_rtx(), initialize_argument_information(), layout_decl(), and make_decl_rtl().
| void set_mem_attributes_minus_bitpos | ( | rtx | ref, |
| tree | t, | ||
| int | objectp, | ||
| HOST_WIDE_INT | bitpos | ||
| ) |
Given REF (a MEM) and T, either the type of X or the expression corresponding to REF, set the memory attributes. OBJECTP is nonzero if we are making a new object of this type. BITPOS is nonzero if there is an offset outstanding on T that will be applied later.
References mem_attrs::addrspace, mem_attrs::alias, mem_attrs::align, array_ref_element_size(), array_ref_low_bound(), component_uses_parent_alias_set(), mem_attrs::expr, get_alias_set(), get_base_address(), get_object_alignment_1(), host_integerp(), HOST_WIDE_INT, integer_zerop(), memset(), mem_attrs::offset, mem_attrs::offset_known_p, set_mem_attrs(), mem_attrs::size, mem_attrs::size_known_p, tree_could_trap_p(), tree_low_cst(), and type().
Referenced by expand_assignment(), and set_mem_attributes().
|
static |
Set MEM's memory attributes so that they are the same as ATTRS.
References mem_attrs_eq_p(), and memcpy().
Referenced by adjust_address_1(), change_address(), clear_mem_offset(), clear_mem_size(), get_spill_slot_decl(), offset_address(), set_mem_addr_space(), set_mem_alias_set(), set_mem_align(), set_mem_attributes_minus_bitpos(), set_mem_attrs_for_spill(), set_mem_expr(), set_mem_offset(), set_mem_size(), and widen_memory_access().
| void set_mem_attrs_for_spill | ( | ) |
Given MEM, a result from assign_stack_local, fill in the memory attributes as appropriate for a register allocator spill slot. These slots are not aliasable by other memory. We arrange for them all to use a single MEM_EXPR, so that the aliasing code can work properly in the case of shared spill slots.
References mem_attrs::addrspace, mem_attrs::alias, mem_attrs::expr, get_mem_attrs(), get_spill_slot_decl(), mem_attrs::offset, mem_attrs::offset_known_p, and set_mem_attrs().
Referenced by alter_reg(), and assign_mem_slot().
| void set_mem_expr | ( | ) |
Set the expr for MEM to EXPR.
References mem_attrs::expr, get_mem_attrs(), and set_mem_attrs().
Referenced by emit_call_1(), expand_debug_expr(), gimple_expand_cfg(), merge_memattrs(), and optimize_bitfield_assignment_op().
| void set_mem_offset | ( | ) |
Set the offset of MEM to OFFSET.
References get_mem_attrs(), offset, and set_mem_attrs().
Referenced by assign_parm_find_stack_rtl(), and assign_parm_setup_stack().
| void set_mem_size | ( | ) |
Set the size of MEM to SIZE.
References get_mem_attrs(), set_mem_attrs(), and mem_attrs::size.
Referenced by assemble_trampoline_template(), assign_parm_find_stack_rtl(), compute_argument_addresses(), emit_block_move_hints(), expand_builtin_init_trampoline(), expand_builtin_memcmp(), expand_expr_real_1(), merge_memattrs(), and scan_insn().
| void set_new_first_and_last_insn | ( | ) |
For procedure integration.
Install new pointers to the first and last insns in the chain. Also, set cur_insn_uid to one higher than the last in use. Used for an inline-procedure after copying the insn chain.
References set_first_insn(), and set_last_insn().
| void set_reg_attrs_for_decl_rtl | ( | ) |
Set the REG_ATTRS for registers in value X, given that X represents decl T.
References byte_lowpart_offset(), get_reg_attrs(), and subreg_lowpart_p().
Referenced by emit_case_decision_tree(), expand_asm_operands(), expand_expr_real_1(), set_decl_incoming_rtl(), set_decl_rtl(), and set_rtl().
| void set_reg_attrs_for_parm | ( | ) |
Set the register attributes for registers contained in PARM_RTX. Use needed values from memory attributes of MEM.
References get_reg_attrs(), and set_reg_attrs_from_value().
Referenced by assign_parm_find_stack_rtl().
| void set_reg_attrs_from_value | ( | ) |
Copy REG's attributes from X, if X has any attributes. If REG and X have different modes, REG is a (possibly paradoxical) lowpart of X.
References byte_lowpart_offset(), get_reg_attrs(), mark_reg_pointer(), offset, subreg_lowpart_p(), and update_reg_offset().
Referenced by gen_reg_rtx_and_attrs(), reg_scan_mark_refs(), and set_reg_attrs_for_parm().
| rtx set_unique_reg_note | ( | ) |
Place a note of KIND on insn INSN with DATUM as the datum. If a note of this type already exists, remove it first.
References add_reg_note(), df_notes_rescan(), find_reg_note(), and multiple_sets().
Referenced by add_equal_note(), assign_parm_setup_reg(), compress_float_constant(), cprop_jump(), cse_insn(), emit_move_insn(), fill_slots_from_thread(), find_reloads(), force_reg(), forward_propagate_and_simplify(), gcse_emit_move_after(), gen_reload(), ira_update_equiv_info_by_shuffle_insn(), relax_delay_slots(), set_dst_reg_note(), split_insn(), try_fwprop_subst(), try_replace_reg(), and update_equiv_regs().
|
static |
Referenced by set_used_decls(), and unshare_all_rtl_again().
|
static |
Go through all virtual stack slots of a function and mark them as shared. We never replace the DECL_RTLs themselves with a copy, but expressions mentioned into a DECL_RTL cannot be shared with expressions in the instruction stream. Note that reload may convert pseudo registers into memories in-place. Pseudo registers are always shared, but MEMs never are. Thus if we reset the used flags on MEMs in the instruction stream, we must set them again on MEMs that appear in DECL_RTLs.
References set_used_decls(), and set_used_flags().
| void set_used_flags | ( | ) |
Set all the USED bits in X to allow copy_rtx_if_shared to be used to look for shared sub-parts.
References mark_used_flags().
Referenced by end_ifcvt_sequence(), noce_process_if_block(), set_used_decls(), and unshare_all_rtl_again().
| void start_sequence | ( | void | ) |
Begin emitting insns to a sequence. If this sequence will contain something that might cause the compiler to pop arguments to function calls (because those pops have previously been deferred; see INHIBIT_DEFER_POP for more details), use do_pending_stack_adjust before calling this function. That will ensure that the deferred pops are not accidentally emitted in the middle of this sequence.
References sequence_stack::first, free_sequence_stack, get_insns(), get_last_insn(), sequence_stack::last, sequence_stack::next, set_first_insn(), and set_last_insn().
Referenced by add_test(), asan_clear_shadow(), asan_emit_stack_protection(), assign_parm_setup_reg(), check_and_process_move(), combine_var_copies_in_loop_exit(), compare_and_jump_seq(), compensate_edge(), computation_cost(), cond_move_process_if_block(), convert_move(), copy_src_to_dest(), curr_insn_transform(), doloop_modify(), dup_block_and_redirect(), dw2_build_landing_pads(), emit_delay_sequence(), emit_inc_dec_insn_before(), emit_initial_value_sets(), emit_move_list(), emit_move_multi_word(), emit_output_reload_insns(), emit_partition_copy(), emit_use_return_register_into_block(), expand_absneg_bit(), expand_atomic_fetch_op(), expand_binop(), expand_builtin_apply_args(), expand_builtin_int_roundingfn(), expand_builtin_int_roundingfn_2(), expand_builtin_mathfn(), expand_builtin_mathfn_2(), expand_builtin_mathfn_3(), expand_builtin_mathfn_ternary(), expand_builtin_saveregs(), expand_builtin_strlen(), expand_call(), expand_cond_expr_using_cmove(), expand_copysign_bit(), expand_ctz(), expand_doubleword_clz(), expand_expr_real_2(), expand_ffs(), expand_fix(), expand_fixed_convert(), expand_float(), expand_function_end(), expand_sdiv_pow2(), expand_twoval_binop_libfunc(), expand_unop(), expmed_mult_highpart_optab(), find_shift_sequence(), fix_crossing_unconditional_branches(), gen_clobber(), gen_cond_trap(), gen_move_insn(), gen_use(), generate_prolog_epilog(), get_address_cost(), get_arg_pointer_save_area(), gimple_expand_cfg(), gmalloc(), implicit_clobber_conflict_p(), inherit_in_ebb(), inherit_reload_reg(), init_set_costs(), initialize_uninitialized_regs(), insert_base_initialization(), insert_insn_on_edge(), insert_move_insn_before(), insert_value_copy_on_edge(), insert_var_expansion_initialization(), instantiate_virtual_regs_in_insn(), match_asm_constraints_1(), match_reload(), noce_emit_cmove(), noce_emit_move_insn(), noce_emit_store_flag(), noce_process_if_block(), noce_try_abs(), noce_try_addcc(), noce_try_bitop(), noce_try_cmove(), noce_try_cmove_arith(), noce_try_minmax(), noce_try_move(), noce_try_sign_mask(), noce_try_store_flag(), noce_try_store_flag_constants(), noce_try_store_flag_mask(), optimize_mode_switching(), prepare_float_lib_cmp(), process_addr_reg(), process_address(), process_insert_insn(), push_to_sequence(), push_to_sequence2(), push_topmost_sequence(), record_store(), replace_read(), resolve_shift_zext(), resolve_simple_move(), rtl_lv_add_condition_to_bb(), simplify_operand_subreg(), sjlj_emit_dispatch_table(), sjlj_emit_function_enter(), sjlj_emit_function_exit(), sjlj_mark_call_sites(), split_iv(), thread_prologue_and_epilogue_insns(), try_optimize_cfg(), and unroll_loop_runtime_iterations().
| unsigned int subreg_highpart_offset | ( | ) |
Return offset in bytes to get OUTERMODE high part of the value in mode INNERMODE stored in memory in target format.
References offset.
Referenced by emit_store_flag_1(), gen_highpart(), and gen_highpart_mode().
| unsigned int subreg_lowpart_offset | ( | ) |
Return the SUBREG_BYTE for an OUTERMODE lowpart of an INNERMODE value.
References offset.
Referenced by assign_parm_find_stack_rtl(), assign_parm_setup_stack(), byte_lowpart_offset(), combine_simplify_rtx(), convert_debug_memory_address(), emit_group_store(), equiv_constant(), expand_debug_expr(), expand_debug_source_expr(), expand_expr_real_2(), extract_low_bits(), find_shift_sequence(), gen_lowpart_common(), gen_lowpart_for_combine(), gen_lowpart_for_debug(), gen_lowpart_if_possible(), gen_lowpart_SUBREG(), lowpart_subreg(), move2add_valid_value_p(), process_single_reg_class_operands(), simplify_subreg(), simplify_truncation(), subreg_get_info(), subreg_lowpart_p(), use_narrower_mode_test(), validate_subreg(), and var_lowpart().
| int subreg_lowpart_p | ( | ) |
Return 1 iff X, assumed to be a SUBREG, refers to the least significant part of its containing reg. If X is not a SUBREG, always return 1 (it is its own low part!).
References subreg_lowpart_offset().
Referenced by adjust_mems(), alter_subreg(), dead_debug_insert_temp(), df_word_lr_mark_ref(), eliminate_regs_in_insn(), expand_compound_operation(), expand_field_assignment(), expand_shift_1(), force_to_mode(), forward_propagate_subreg(), get_biv_step_1(), get_last_value(), iv_analyze_op(), loc_descriptor(), make_compound_operation(), make_extraction(), make_field_assignment(), mark_pseudo_reg_dead(), mark_pseudo_reg_live(), mem_loc_descriptor(), notreg_cost(), push_reload(), record_dead_and_set_regs_1(), record_jump_cond(), set_reg_attrs_for_decl_rtl(), set_reg_attrs_from_value(), simple_reg_p(), simplify_comparison(), simplify_if_then_else(), simplify_set(), simplify_shift_const_1(), simplify_subreg(), simplify_truncation(), simplify_unary_operation_1(), strip_address_mutations(), and try_combine().
| rtx try_split | ( | ) |
Try splitting insns that can be split for better scheduling. PAT is the pattern which might split. TRIAL is the insn providing PAT. LAST is nonzero if we should return the last insn of the sequence produced. If this routine succeeds in splitting, it returns the first or last replacement insn depending on the value of LAST. Otherwise, it returns TRIAL. If the insn to be returned can be split, it will be.
References add_insn_after(), add_reg_note(), any_condjump_p(), copy_reg_eh_region_note_backward(), delete_insn(), emit_barrier_after(), emit_insn_after_setloc(), find_auto_inc(), find_reg_note(), fixup_args_size_notes(), for_each_rtx(), get_last_insn(), mark_jump_label(), mark_label_nuses(), sequence_stack::next, remove_insn(), rtx_equal_p(), split_branch_probability, split_insns(), and unshare_all_rtl_in_chain().
Referenced by fill_simple_delay_slots(), fill_slots_from_thread(), final_scan_insn(), split_insn(), thread_prologue_and_epilogue_insns(), and try_merge_delay_insns().
| unsigned int unshare_all_rtl | ( | void | ) |
References get_insns(), and unshare_all_rtl_1().
Referenced by gimple_expand_cfg().
|
static |
Go through all the RTL insn bodies and copy any invalid shared structure. This routine should only be called once.
References copy_rtx_if_shared(), and unshare_all_rtl_in_chain().
Referenced by unshare_all_rtl(), and unshare_all_rtl_again().
| void unshare_all_rtl_again | ( | ) |
Go through all the RTL insn bodies and copy any invalid shared structure, again. This is a fairly expensive thing to do so it should be done sparingly.
References cfun, function::decl, reset_used_flags(), set_used_decls(), set_used_flags(), and unshare_all_rtl_1().
| void unshare_all_rtl_in_chain | ( | ) |
Go through all the RTL insn bodies and copy any invalid shared structure. Assumes the mark bits are cleared at entry.
References copy_rtx_if_shared().
Referenced by end_ifcvt_sequence(), noce_process_if_block(), try_split(), unroll_loop_runtime_iterations(), and unshare_all_rtl_1().
|
static |
Update NEW with the same attributes as REG, but with OFFSET added to the REG_OFFSET.
References get_reg_attrs().
Referenced by adjust_reg_mode(), gen_reg_rtx_offset(), gen_rtx_REG_offset(), and set_reg_attrs_from_value().
| bool validate_subreg | ( | enum machine_mode | omode, |
| enum machine_mode | imode, | ||
| const_rtx | reg, | ||
| unsigned int | offset | ||
| ) |
We want to create (subreg:OMODE (obj:IMODE) OFFSET). Return true if this construct would be valid, and false otherwise.
References lra_in_progress, subreg_lowpart_offset(), subreg_offset_representable_p(), and word_mode.
Referenced by extract_low_bits(), gen_lowpart_if_possible(), gen_rtx_SUBREG(), make_extraction(), simplify_gen_subreg(), simplify_subreg(), store_bit_field_1(), use_narrower_mode_test(), and valid_multiword_target_p().
|
static |
| DEBUG_FUNCTION void verify_rtl_sharing | ( | void | ) |
Go through all the RTL insn bodies and check that there is no unexpected sharing in between the subexpressions.
References get_insns(), reset_all_used_flags(), timevar_pop(), timevar_push(), and verify_insn_sharing().
Referenced by execute_function_todo().
|
static |
Check that ORIG is not marked when it should not be and mark ORIG as in use, Recursively does the same for subexpressions.
References debug_rtx(), error(), internal_error(), len, reload_completed, reload_in_progress, SET, and shared_const_p().
| rtx widen_memory_access | ( | ) |
Return a memory reference like MEMREF, but with its mode widened to MODE and offset by OFFSET. This would be used by targets that e.g. cannot issue QImode memory operations and have to use SImode memory operations plus masking logic.
References adjust_address_1(), mem_attrs::alias, compare_tree_int(), component_ref_field_offset(), mem_attrs::expr, get_mem_attrs(), host_integerp(), mem_attrs::offset, mem_attrs::offset_known_p, set_mem_attrs(), mem_attrs::size, mem_attrs::size_known_p, and tree_low_cst().
| enum machine_mode byte_mode |
Commonly used modes.
Referenced by get_traditional_extraction_insn(), init_emit_once(), and set_storage_via_setmem().
| rtx cc0_rtx |
Referenced by canonicalize_condition(), combine_instructions(), cse_extended_basic_block(), cse_insn(), curr_insn_transform(), delete_computation(), delete_scheduled_jump(), distribute_notes(), emit_use_return_register_into_block(), fill_simple_delay_slots(), fill_slots_from_thread(), final_scan_insn(), find_moveable_pseudos(), find_reloads(), find_single_use(), find_split_point(), flow_find_cross_jump(), flow_find_head_matching_sequence(), hide_operands(), insert_one_insn(), redundant_insn(), set_live_p(), sets_cc0_p(), simplify_set(), subst(), subst_stack_regs_pat(), try_combine(), try_head_merge_bb(), and try_redirect_by_replacing_jump().
|
static |
A hash table storing all CONST_DOUBLEs.
|
static |
A hash table storing all CONST_FIXEDs.
|
static |
A hash table storing CONST_INTs whose absolute value is greater than MAX_SAVED_CONST_INT.
| rtx const_int_rtx[MAX_SAVED_CONST_INT *2+1] |
We make one copy of (const_int C) where C is in [- MAX_SAVED_CONST_INT, MAX_SAVED_CONST_INT] to save space during the compilation and simplify comparisons of integers.
Referenced by gen_rtx_CONST_INT(), and init_emit_once().
| rtx const_tiny_rtx[4][(int) MAX_MACHINE_MODE] |
We record floating-point CONST_DOUBLEs in each floating-point mode for the values of 0, 1, and 2. For the integer entries and VOIDmode, we record a copy of const[012]_rtx and constm1_rtx. CONSTM1_RTX is set only for MODE_INT and MODE_VECTOR_INT modes.
Referenced by gen_const_vector(), and init_emit_once().
| rtx const_true_rtx |
Referenced by add_dependence(), block_has_only_trap(), combine_simplify_rtx(), comparison_result(), condition_dominates_p(), determine_max_iter(), eliminate_implied_condition(), expand_debug_expr(), fill_eager_delay_slots(), fill_simple_delay_slots(), fill_slots_from_thread(), final_scan_insn(), fold_rtx(), gen_rtx_CONST_INT(), get_branch_condition(), if_then_else_cond(), implies_p(), iv_number_of_iterations(), known_cond(), may_unswitch_on(), merge_if_block(), prepare_float_lib_cmp(), sched_analyze_insn(), sched_get_condition_with_rev(), simplify_binary_operation_1(), simplify_const_relational_operation(), simplify_if_then_else(), simplify_using_condition(), simplify_using_initial_values(), steal_delay_list_from_fallthrough(), steal_delay_list_from_target(), and unswitch_single_loop().
|
static |
Referenced by copy_insn_1().
|
static |
When an insn is being copied by copy_insn_1, this is nonzero if we have copied an ASM_OPERANDS. In that case, it is the copied input-operand vector.
Referenced by copy_insn_1().
|
static |
Referenced by copy_insn_1().
|
static |
Used by copy_insn_1 to avoid copying SCRATCHes more than once.
|
static |
|
static |
Hold current location information and last location information, so the datastructures are built lazily only when some instructions in given place are needed.
Referenced by branch_prob(), curr_insn_location(), and insn_locations_finalize().
| REAL_VALUE_TYPE dconst0 |
**** End of software floating point emulator interface macros ****
Constant real values 0, 1, 2, -1 and 0.5.
Referenced by add_to_evolution_1(), associate_equivalences_with_edges(), build_complex_cproj(), build_zero_cst(), canonicalize_float_value(), const_binop(), expand_builtin_cexpi(), expand_builtin_signbit(), fold_builtin_1(), fold_builtin_2(), fold_builtin_classify(), fold_builtin_fpclassify(), fold_builtin_logarithm(), fold_builtin_modf(), fold_builtin_pow(), fold_builtin_signbit(), fold_builtin_sqrt(), fold_comparison(), fold_mathfn_compare(), get_component_ssa_name(), get_initial_def_for_reduction(), implicit_set_cond_p(), real_zerop(), record_equality(), simplify_binary_operation_1(), simplify_const_binary_operation(), some_nonzerop(), and vect_get_constant_vectors().
| REAL_VALUE_TYPE dconst1 |
Referenced by build_one_cst(), check_pow(), dconst_third_ptr(), decimal_to_decnumber(), distribute_real_division(), execute_cse_sincos(), expand_complex_multiplication(), fold_binary_loc(), fold_builtin_1(), fold_builtin_pow(), fold_builtin_powi(), gen_conditions_for_pow_cst_base(), get_initial_def_for_reduction(), gimple_expand_builtin_pow(), init_emit_once(), powi_as_mults(), real_ceil(), real_onep(), real_powi(), real_sqrt(), simplify_binary_operation_1(), and vect_get_constant_vectors().
| REAL_VALUE_TYPE dconst2 |
Referenced by chrec_fold_multiply_poly_poly(), decimal_to_decnumber(), estimate_num_insns(), execute_optimize_widening_mul(), expand_mult(), fold_binary_loc(), fold_builtin_logarithm(), gimple_expand_builtin_pow(), init_emit_once(), real_twop(), simplify_binary_operation_1(), and vect_recog_pow_pattern().
| REAL_VALUE_TYPE dconsthalf |
| REAL_VALUE_TYPE dconstm1 |
| struct target_rtl default_target_rtl |
@verbatim Emit RTL for the GCC expander.
Copyright (C) 1987-2013 Free Software Foundation, Inc.
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version.
GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see http://www.gnu.org/licenses/.
Middle-to-low level generation of rtx code and insns. This file contains support functions for creating rtl expressions and manipulating them in the doubly-linked chain of insns. The patterns of the insns are created by machine-dependent routines in insn-emit.c, which is generated automatically from the machine description. These routines make the individual rtx's of the pattern with `gen_rtx_fmt_ee' and others in genrtl.[ch], which are automatically generated from rtl.def; what is machine dependent is the kind of rtx's they make and what arguments they use.
| enum machine_mode double_mode |
Referenced by init_emit_once().
| location_t epilogue_location |
Referenced by thread_prologue_and_epilogue_insns().
| FIXED_VALUE_TYPE fconst0[MAX_FCONST0] |
Record fixed-point constant 0 and 1.
| FIXED_VALUE_TYPE fconst1[MAX_FCONST1] |
|
static |
Space for free sequence stack entries.
Referenced by end_sequence(), and start_sequence().
|
static |
Referenced by gen_hard_reg_clobber().
|
static |
This is *not* reset after each function. It gives each CODE_LABEL in the entire compilation a unique label number.
Referenced by init_emit(), and max_label_num().
|
static |
A hash table storing memory attribute structures.
|
static |
Likewise for the constraints vector.
|
static |
When an insn is being copied by copy_insn_1, this is nonzero if we have copied an ASM_OPERANDS. In that case, it is the original input-operand vector.
| rtx pc_rtx |
Standard pieces of rtx, to be substituted directly into things.
Referenced by add_scope_conflicts_1(), add_stack_var(), bypass_block(), combine_simplify_rtx(), computed_jump_p(), condjump_in_parallel_p(), condjump_label(), convert_to_eh_region_ranges(), count_reg_usage(), cprop_jump(), cse_insn(), cselib_record_sets(), distribute_notes(), doloop_condition_get(), dw2_asm_output_encoded_addr_rtx(), dw2_asm_output_pcrel(), dwarf2out_flush_queued_reg_saves(), dwarf2out_frame_debug_cfa_offset(), dwarf2out_frame_debug_cfa_register(), expand_stack_vars(), final_scan_insn(), find_sets_in_insn(), gen_subprogram_die(), get_branch_condition(), gimple_expand_cfg(), initial_return_save(), internal_arg_pointer_based_exp(), internal_arg_pointer_based_exp_scan(), make_edges(), mark_effect(), mem_overlaps_already_clobbered_arg_p(), outgoing_edges_match(), patch_jump_insn(), prepare_call_arguments(), purge_dead_tablejump_edges(), record_jump_equiv(), redirect_exp_1(), sched_get_condition_with_rev_uncached(), set_label_offsets(), set_noop_p(), set_rtl(), simplify_if_then_else(), simplify_set(), thread_jump(), try_combine(), visit_conflict(), and visit_op().
| location_t prologue_location |
| enum machine_mode ptr_mode |
Referenced by asan_emit_stack_protection(), default_addr_space_pointer_mode(), default_valid_pointer_mode(), emit_block_move_via_libcall(), expand_atomic_compare_and_swap(), expand_atomic_fetch_op(), expand_builtin_alloca(), expand_builtin_apply(), expand_builtin_eh_copy_values(), expand_builtin_eh_pointer(), expand_builtin_extend_pointer(), expand_builtin_frob_return_addr(), expand_builtin_memcpy(), expand_builtin_mempcpy_args(), expand_builtin_memset_args(), expand_builtin_next_arg(), expand_builtin_sincos(), expand_builtin_strncpy(), expand_dw2_landing_pad_for_region(), expand_expr_addr_expr(), expand_expr_real_2(), expand_omp_atomic_pipeline(), fold_builtin_memcmp(), fold_builtin_memory_op(), fold_builtin_strcmp(), fold_builtin_strncmp(), get_builtin_sync_mem(), get_memory_rtx(), get_nl_goto_field(), get_section_anchor(), init_emit_once(), maybe_emit_sync_lock_test_and_set(), mem_loc_descriptor(), mudflap_init(), nonzero_bits1(), num_sign_bit_copies1(), push_block(), simplify_unary_operation_1(), sjlj_emit_dispatch_table(), stack_protect_epilogue(), and vect_create_data_ref_ptr().
|
static |
A hash table storing register attribute structures.
| rtx* regno_reg_rtx |
Indexed by pseudo register number, gives the rtx for that pseudo. Allocated in parallel with regno_pointer_align. FIXME: We could put it into emit_status struct, but gengtype is not able to deal with length attribute nested in top level structures.
Referenced by allocno_reload_assign(), allocnos_conflict_by_live_ranges_p(), alter_reg(), assign_by_spills(), assign_mem_slot(), assign_parm_setup_reg(), canon_reg(), compute_defs_uses_and_gen(), cse_insn(), dead_debug_insert_temp(), decompose_multiword_subregs(), decompose_register(), df_bb_refs_collect(), df_entry_block_defs_collect(), df_exit_block_uses_collect(), df_get_call_refs(), df_insn_refs_collect(), df_ref_change_reg_with_loc_1(), df_ref_record(), df_set_dead_notes_for_mw(), df_set_unused_notes_for_mw(), distribute_notes(), do_input_reload(), dump_reg_info(), emit_reload_insns(), find_costs_and_classes(), find_split_point(), free_after_compilation(), gen_reg_rtx(), gen_rtx_REG(), inherit_reload_reg(), init_alias_analysis(), init_emit(), init_live_subregs(), init_virtual_regs(), ira_build_conflicts(), ira_emit(), lra_constraints(), lra_create_live_ranges(), lra_final_code_change(), move_deaths(), process_bb_lives(), reload(), remove_inheritance_pseudos(), replace_pseudos_in(), save_call_clobbered_regs(), setup_preferred_alternate_classes_for_new_pseudos(), setup_save_areas(), simplify_set(), split_reg(), substitute(), target_reinit(), try_combine(), undo_optional_reloads(), update_equiv_regs(), and use_regs().
| rtx ret_rtx |
| rtx simple_return_rtx |
|
static |
A fake decl that is used as the MEM_EXPR of spill slots.
Referenced by get_spill_slot_decl().
| int split_branch_probability = -1 |
Probability of the conditional branch currently proceeded by try_split. Set to -1 otherwise.
Referenced by try_split().
| struct target_rtl* this_target_rtl = &default_target_rtl |
| enum machine_mode word_mode |
Referenced by adjust_bit_field_mem_for_reg(), assign_parm_setup_block(), build_word_mode_vector_type(), can_assign_to_reg_without_clobbers_p(), can_decompose_p(), compute_costs(), compute_splitting_shift(), convert_move(), copy_blkmode_from_reg(), copy_blkmode_to_reg(), create_new_invariant(), decompose_register(), default_emutls_var_fields(), default_libgcc_cmp_return_mode(), default_libgcc_shift_count_mode(), default_preferred_simd_mode(), default_unwind_word_mode(), do_jump_by_parts_equality_rtx(), do_jump_by_parts_greater_rtx(), do_jump_by_parts_zero_rtx(), do_output_reload(), doloop_optimize(), emit_block_move_via_loop(), emit_case_bit_tests(), emit_library_call_value_1(), emit_push_insn(), emit_stack_probe(), emit_store_flag(), emit_store_flag_1(), emit_store_flag_force(), emutls_common_1(), equiv_constant(), execute_optimize_bswap(), expand_absneg_bit(), expand_binop(), expand_builtin_signbit(), expand_copysign_absneg(), expand_copysign_bit(), expand_doubleword_bswap(), expand_doubleword_clz(), expand_doubleword_mult(), expand_doubleword_shift(), expand_doubleword_shift_condmove(), expand_errno_check(), expand_expr_real_2(), expand_subword_shift(), expand_superword_shift(), expand_switch_using_bit_tests_p(), expand_unop(), expand_vector_parallel(), extract_bit_field_1(), extract_fixed_bit_field(), extract_high_half(), extract_split_bit_field(), find_decomposable_shift_zext(), find_decomposable_subregs(), find_if_header(), find_reloads_address_1(), fold_truth_andor_1(), force_const_mem(), gen_int_libfunc(), get_optab_extraction_insn(), get_traditional_extraction_insn(), init_emit_once(), init_lower_subreg(), init_reg_modes_target(), load_register_parameters(), lshift_cheap_p(), make_extraction(), mem_loc_descriptor(), move_block_from_reg(), move_block_to_reg(), operand_subword(), optimize_bit_field_compare(), optimize_bitfield_assignment_op(), prepare_cmp_insn(), push_reload(), reload_cse_simplify_operands(), reload_cse_simplify_set(), resolve_clobber(), resolve_shift_zext(), resolve_simple_move(), simplify_while_replacing(), store_bit_field_1(), store_constructor(), store_fixed_bit_field(), store_split_bit_field(), store_unaligned_arguments_into_pseudos(), try_combine(), undefined_operand_subword_p(), valid_multiword_target_p(), and validate_subreg().
| struct rtl_data x_rtl |
Datastructures maintained for currently processed function in RTL form.
1.8.1.1