GNU Compiler Collection (GCC) Internals: Manipulating GIMPLE statements

Next: Tuple specific accessors, Previous: Operands, Up: GIMPLE [Contents][Index]

### 11.6 Manipulating GIMPLE statements

This section documents all the functions available to handle each of the GIMPLE instructions.

#### 11.6.1 Common accessors

The following are common accessors for gimple statements.

GIMPLE function: enum gimple_code gimple_code (gimple g)

  Return the code for statement `G`.

GIMPLE function: basic_block gimple_bb (gimple g)

  Return the basic block to which statement `G` belongs to.

GIMPLE function: tree gimple_block (gimple g)

  Return the lexical scope block holding statement `G`.

GIMPLE function: tree gimple_expr_type (gimple stmt)

  Return the type of the main expression computed by `STMT`. Return `void_type_node` if `STMT` computes nothing. This will only return something meaningful for `GIMPLE_ASSIGN`, `GIMPLE_COND` and `GIMPLE_CALL`. For all other tuple codes, it will return `void_type_node`.

GIMPLE function: enum tree_code gimple_expr_code (gimple stmt)

  Return the tree code for the expression computed by `STMT`. This is only meaningful for `GIMPLE_CALL`, `GIMPLE_ASSIGN` and `GIMPLE_COND`. If `STMT` is `GIMPLE_CALL`, it will return `CALL_EXPR`. For `GIMPLE_COND`, it returns the code of the comparison predicate. For `GIMPLE_ASSIGN` it returns the code of the operation performed by the `RHS` of the assignment.

GIMPLE function: void gimple_set_block (gimple g, tree block)

  Set the lexical scope block of `G` to `BLOCK`.

GIMPLE function: location_t gimple_locus (gimple g)

  Return locus information for statement `G`.

GIMPLE function: void gimple_set_locus (gimple g, location_t locus)

  Set locus information for statement `G`.

GIMPLE function: bool gimple_locus_empty_p (gimple g)

  Return true if `G` does not have locus information.

GIMPLE function: bool gimple_no_warning_p (gimple stmt)

  Return true if no warnings should be emitted for statement `STMT`.

GIMPLE function: void gimple_set_visited (gimple stmt, bool visited_p)

  Set the visited status on statement `STMT` to `VISITED_P`.

GIMPLE function: bool gimple_visited_p (gimple stmt)

  Return the visited status on statement `STMT`.

GIMPLE function: void gimple_set_plf (gimple stmt, enum plf_mask plf, bool val_p)

  Set pass local flag `PLF` on statement `STMT` to `VAL_P`.

GIMPLE function: unsigned int gimple_plf (gimple stmt, enum plf_mask plf)

  Return the value of pass local flag `PLF` on statement `STMT`.

GIMPLE function: bool gimple_has_ops (gimple g)

  Return true if statement `G` has register or memory operands.

GIMPLE function: bool gimple_has_mem_ops (gimple g)

  Return true if statement `G` has memory operands.

GIMPLE function: unsigned gimple_num_ops (gimple g)

  Return the number of operands for statement `G`.

GIMPLE function: tree * gimple_ops (gimple g)

  Return the array of operands for statement `G`.

GIMPLE function: tree gimple_op (gimple g, unsigned i)

  Return operand `I` for statement `G`.

GIMPLE function: tree * gimple_op_ptr (gimple g, unsigned i)

  Return a pointer to operand `I` for statement `G`.

GIMPLE function: void gimple_set_op (gimple g, unsigned i, tree op)

  Set operand `I` of statement `G` to `OP`.

GIMPLE function: bitmap gimple_addresses_taken (gimple stmt)

  Return the set of symbols that have had their address taken by `STMT`.

GIMPLE function: struct def_optype_d * gimple_def_ops (gimple g)

  Return the set of `DEF` operands for statement `G`.

GIMPLE function: void gimple_set_def_ops (gimple g, struct def_optype_d *def)

  Set `DEF` to be the set of `DEF` operands for statement `G`.

GIMPLE function: struct use_optype_d * gimple_use_ops (gimple g)

  Return the set of `USE` operands for statement `G`.

GIMPLE function: void gimple_set_use_ops (gimple g, struct use_optype_d *use)

  Set `USE` to be the set of `USE` operands for statement `G`.

GIMPLE function: struct voptype_d * gimple_vuse_ops (gimple g)

  Return the set of `VUSE` operands for statement `G`.

GIMPLE function: void gimple_set_vuse_ops (gimple g, struct voptype_d *ops)

  Set `OPS` to be the set of `VUSE` operands for statement `G`.

GIMPLE function: struct voptype_d * gimple_vdef_ops (gimple g)

  Return the set of `VDEF` operands for statement `G`.

GIMPLE function: void gimple_set_vdef_ops (gimple g, struct voptype_d *ops)

  Set `OPS` to be the set of `VDEF` operands for statement `G`.

GIMPLE function: bitmap gimple_loaded_syms (gimple g)

  Return the set of symbols loaded by statement `G`. Each element of the set is the `DECL_UID` of the corresponding symbol.

GIMPLE function: bitmap gimple_stored_syms (gimple g)

  Return the set of symbols stored by statement `G`. Each element of the set is the `DECL_UID` of the corresponding symbol.

GIMPLE function: bool gimple_modified_p (gimple g)

  Return true if statement `G` has operands and the modified field has been set.

GIMPLE function: bool gimple_has_volatile_ops (gimple stmt)

  Return true if statement `STMT` contains volatile operands.

GIMPLE function: void gimple_set_has_volatile_ops (gimple stmt, bool volatilep)

  Return true if statement `STMT` contains volatile operands.

GIMPLE function: void update_stmt (gimple s)

  Mark statement `S` as modified, and update it.

GIMPLE function: void update_stmt_if_modified (gimple s)

  Update statement `S` if it has been marked modified.

GIMPLE function: gimple gimple_copy (gimple stmt)

  Return a deep copy of statement `STMT`.

Next: Tuple specific accessors, Previous: Operands, Up: GIMPLE [Contents][Index]