Skip to main content

ideal_binary_op_entry

Function ideal_binary_op_entry 

Source
pub fn ideal_binary_op_entry(
    a: ValueId,
    b: ValueId,
    result: Option<ValueId>,
    exit_layout: &[TargetSlot],
) -> Vec<TargetSlot>
Expand description

Computes the ideal pre-layout for a binary operation.

For a binary op that consumes [a, b] (a on top, b below) and produces result:

  • If we want [result, …rest] after
  • We need [a, b, …rest] before (where rest doesn’t contain a or b)