17.23 Mode Switching Instructions

The following macros control mode switching optimizations:

Macro: OPTIMIZE_MODE_SWITCHING (entity)

Define this macro if the port needs extra instructions inserted for mode switching in an optimizing compilation.

For an example, the SH4 can perform both single and double precision floating point operations, but to perform a single precision operation, the FPSCR PR bit has to be cleared, while for a double precision operation, this bit has to be set. Changing the PR bit requires a general purpose register as a scratch register, hence these FPSCR sets have to be inserted before reload, i.e. you can’t put this into instruction emitting or TARGET_MACHINE_DEPENDENT_REORG.

You can have multiple entities that are mode-switched, and select at run time which entities actually need it. OPTIMIZE_MODE_SWITCHING should return nonzero for any entity that needs mode-switching. If you define this macro, you also have to define NUM_MODES_FOR_MODE_SWITCHING, TARGET_MODE_NEEDED, TARGET_MODE_PRIORITY and TARGET_MODE_EMIT. TARGET_MODE_AFTER, TARGET_MODE_ENTRY, and TARGET_MODE_EXIT are optional.

Macro: NUM_MODES_FOR_MODE_SWITCHING

If you define OPTIMIZE_MODE_SWITCHING, you have to define this as initializer for an array of integers. Each initializer element N refers to an entity that needs mode switching, and specifies the number of different modes that might need to be set for this entity. The position of the initializer in the initializer—starting counting at zero—determines the integer that is used to refer to the mode-switched entity in question. In macros that take mode arguments / yield a mode result, modes are represented as numbers 0 … N - 1. N is used to specify that no mode switch is needed / supplied.

Target Hook: void TARGET_MODE_EMIT (int entity, int mode, int prev_mode, HARD_REG_SET regs_live)

Generate one or more insns to set entity to mode. hard_reg_live is the set of hard registers live at the point where the insn(s) are to be inserted. prev_moxde indicates the mode to switch from. Sets of a lower numbered entity will be emitted before sets of a higher numbered entity to a mode of the same or lower priority.

Target Hook: int TARGET_MODE_NEEDED (int entity, rtx_insn *insn)

entity is an integer specifying a mode-switched entity. If OPTIMIZE_MODE_SWITCHING is defined, you must define this macro to return an integer value not larger than the corresponding element in NUM_MODES_FOR_MODE_SWITCHING, to denote the mode that entity must be switched into prior to the execution of insn.

Target Hook: int TARGET_MODE_AFTER (int entity, int mode, rtx_insn *insn)

entity is an integer specifying a mode-switched entity. If this macro is defined, it is evaluated for every insn during mode switching. It determines the mode that an insn results in (if different from the incoming mode).

Target Hook: int TARGET_MODE_ENTRY (int entity)

If this macro is defined, it is evaluated for every entity that needs mode switching. It should evaluate to an integer, which is a mode that entity is assumed to be switched to at function entry. If TARGET_MODE_ENTRY is defined then TARGET_MODE_EXIT must be defined.

Target Hook: int TARGET_MODE_EXIT (int entity)

If this macro is defined, it is evaluated for every entity that needs mode switching. It should evaluate to an integer, which is a mode that entity is assumed to be switched to at function exit. If TARGET_MODE_EXIT is defined then TARGET_MODE_ENTRY must be defined.

Target Hook: int TARGET_MODE_PRIORITY (int entity, int n)

This macro specifies the order in which modes for entity are processed. 0 is the highest priority, NUM_MODES_FOR_MODE_SWITCHING[entity] - 1 the lowest. The value of the macro should be an integer designating a mode for entity. For any fixed entity, mode_priority (entity, n) shall be a bijection in 0 … num_modes_for_mode_switching[entity] - 1.