SALTO-Specific Types

 

In addition to the classes, five data types are provided in order to represent specific properties of objects. These are:

enum cft_type:

enumerated type indicating the nature of the control flow associated with a conditional branch. The only values are TAKEN and NOT_TAKEN, corresponding respectively to the success (branch) and the failure (do not branch) of the condition.

enum xNode_Type:

enumerated type indicating the category to which an instruction belongs. The complete list of instruction types is given below:

Value Description Example

X_ASM_TYPE Assembler mnemonic ld [%o1+4],%o2

X_MACRO_TYPE Macro equivalent to one or more mnemonics nop

X_LABEL_TYPE Label L12:

X_EQUAL_TYPE Constant declaration MAX = 64

X_PSEUDO_TYPE Pseudo-instruction (directive) .global _main

X_INFO_TYPE SALTO-generated annotation BEGIN_BASIC_BLOCK

enum dependence:

enumerated type characterizing the nature of the data hazard between two instructions. The set of possible values is:

Value Meaning

NONE no common data

RAW Read-after-write hazard (flow dependence)

WAR Write-after-read (anti-dependence)

WAW Write-after-write (output dependence)

enum res_ref_type:

enumerated type indicating the type of reference made to a resource by an instruction.   The set of possible values is

Value Meaning Example

RES_ID_REF basic resource r12

CLASS_ID_REF resource class any global register

MULTI_REF block of registers %f0 as 64-bit register

ARG_REF instruction argument operand #3

enum res_type:

enumerated type indicating the type of the hardware resource being accessed.  The set of possible values is

Value Meaning Example

REGISTER_RTYPE register "r12"

FUNCT_UNIT_RTYPE functional unit "alu"

MEMORY_RTYPE memory reference "an_identifier"