@code{GIMPLE_ASSIGN} - GNU Compiler Collection (GCC) Internals
Description: GNU Compiler Collection (GCC) Internals

Next: <code>GIMPLE_BIND</code>, Previous: <code>GIMPLE_ASM</code>, Up: Tuple specific accessors

#### 12.7.2 `GIMPLE_ASSIGN`

— GIMPLE function: gimple gimple_build_assign (tree lhs, tree rhs)

> Build a `GIMPLE_ASSIGN` statement. The left-hand side is an lvalue passed in lhs. The right-hand side can be either a unary or binary tree expression. The expression tree rhs will be flattened and its operands assigned to the corresponding operand slots in the new statement. This function is useful when you already have a tree expression that you want to convert into a tuple. However, try to avoid building expression trees for the sole purpose of calling this function. If you already have the operands in separate trees, it is better to use `gimple_build_assign_with_ops`.

— GIMPLE function: gimple gimplify_assign (tree dst, tree src, gimple_seq *seq_p)

> Build a new `GIMPLE_ASSIGN` tuple and append it to the end of `*SEQ_P`.

`DST`/`SRC` are the destination and source respectively. You can pass ungimplified trees in `DST` or `SRC`, in which case they will be converted to a gimple operand if necessary.

This function returns the newly created `GIMPLE_ASSIGN` tuple.

— GIMPLE function: gimple gimple_build_assign_with_ops (enum tree_code subcode, tree lhs, tree op1, tree op2)

> This function is similar to `gimple_build_assign`, but is used to build a `GIMPLE_ASSIGN` statement when the operands of the right-hand side of the assignment are already split into different operands.

> The left-hand side is an lvalue passed in lhs. Subcode is the `tree_code` for the right-hand side of the assignment. Op1 and op2 are the operands. If op2 is null, subcode must be a `tree_code` for a unary expression.

— GIMPLE function: enum tree_code gimple_assign_rhs_code (gimple g)

> Return the code of the expression computed on the `RHS` of assignment statement `G`.

— GIMPLE function: enum gimple_rhs_class gimple_assign_rhs_class (gimple g)

> Return the gimple rhs class of the code for the expression computed on the rhs of assignment statement `G`. This will never return `GIMPLE_INVALID_RHS`.

— GIMPLE function: tree gimple_assign_lhs (gimple g)

> Return the `LHS` of assignment statement `G`.

— GIMPLE function: tree * gimple_assign_lhs_ptr (gimple g)

> Return a pointer to the `LHS` of assignment statement `G`.

— GIMPLE function: tree gimple_assign_rhs1 (gimple g)

> Return the first operand on the `RHS` of assignment statement `G`.

— GIMPLE function: tree * gimple_assign_rhs1_ptr (gimple g)

> Return the address of the first operand on the `RHS` of assignment statement `G`.

— GIMPLE function: tree gimple_assign_rhs2 (gimple g)

> Return the second operand on the `RHS` of assignment statement `G`.

— GIMPLE function: tree * gimple_assign_rhs2_ptr (gimple g)

> Return the address of the second operand on the `RHS` of assignment statement `G`.

— GIMPLE function: tree gimple_assign_rhs3 (gimple g)

> Return the third operand on the `RHS` of assignment statement `G`.

— GIMPLE function: tree * gimple_assign_rhs3_ptr (gimple g)

> Return the address of the third operand on the `RHS` of assignment statement `G`.

— GIMPLE function: void gimple_assign_set_lhs (gimple g, tree lhs)

> Set `LHS` to be the `LHS` operand of assignment statement `G`.

— GIMPLE function: void gimple_assign_set_rhs1 (gimple g, tree rhs)

> Set `RHS` to be the first operand on the `RHS` of assignment statement `G`.

— GIMPLE function: void gimple_assign_set_rhs2 (gimple g, tree rhs)

> Set `RHS` to be the second operand on the `RHS` of assignment statement `G`.

— GIMPLE function: void gimple_assign_set_rhs3 (gimple g, tree rhs)

> Set `RHS` to be the third operand on the `RHS` of assignment statement `G`.

— GIMPLE function: bool gimple_assign_cast_p (gimple s)

> Return true if `S` is a type-cast assignment.