Creates a parameter for a specific [`Block`] by appending it to the list of already existing parameters. Note:** this function has to be called at the creation of the `Block` before adding instructions to it, otherwise this could interfere with SSA construction.
(&mut self, block: Block, ty: Type)
| 750 | /// **Note:** this function has to be called at the creation of the `Block` before adding |
| 751 | /// instructions to it, otherwise this could interfere with SSA construction. |
| 752 | pub fn append_block_param(&mut self, block: Block, ty: Type) -> Value { |
| 753 | debug_assert!( |
| 754 | self.is_pristine(block), |
| 755 | "You can't add block parameters after adding any instruction" |
| 756 | ); |
| 757 | self.func.dfg.append_block_param(block, ty) |
| 758 | } |
| 759 | |
| 760 | /// Returns the result values of an instruction. |
| 761 | pub fn inst_results(&self, inst: Inst) -> &[Value] { |
no outgoing calls