1 //! Routines for manipulating the control-flow graph.
7 crate fn block_data(&self, blk: BasicBlock) -> &BasicBlockData<'tcx> {
8 &self.basic_blocks[blk]
11 crate fn block_data_mut(&mut self, blk: BasicBlock) -> &mut BasicBlockData<'tcx> {
12 &mut self.basic_blocks[blk]
15 // llvm.org/PR32488 makes this function use an excess of stack space. Mark
16 // it as #[inline(never)] to keep rustc's stack use in check.
18 crate fn start_new_block(&mut self) -> BasicBlock {
19 self.basic_blocks.push(BasicBlockData::new(None))
22 crate fn start_new_cleanup_block(&mut self) -> BasicBlock {
23 let bb = self.start_new_block();
24 self.block_data_mut(bb).is_cleanup = true;
28 crate fn push(&mut self, block: BasicBlock, statement: Statement<'tcx>) {
29 debug!("push({:?}, {:?})", block, statement);
30 self.block_data_mut(block).statements.push(statement);
36 source_info: SourceInfo,
42 Statement { source_info, kind: StatementKind::Assign(box (*place, rvalue)) },
46 crate fn push_assign_constant(
49 source_info: SourceInfo,
51 constant: Constant<'tcx>,
53 self.push_assign(block, source_info, temp, Rvalue::Use(Operand::Constant(box constant)));
56 crate fn push_assign_unit(
59 source_info: SourceInfo,
66 Rvalue::Aggregate(box AggregateKind::Tuple, vec![]),
70 crate fn push_fake_read(
73 source_info: SourceInfo,
77 let kind = StatementKind::FakeRead(cause, box place);
78 let stmt = Statement { source_info, kind };
79 self.push(block, stmt);
85 source_info: SourceInfo,
86 kind: TerminatorKind<'tcx>,
88 debug!("terminating block {:?} <- {:?}", block, kind);
90 self.block_data(block).terminator.is_none(),
91 "terminate: block {:?}={:?} already has a terminator set",
93 self.block_data(block)
95 self.block_data_mut(block).terminator = Some(Terminator { source_info, kind });
98 /// In the `origin` block, push a `goto -> target` terminator.
99 crate fn goto(&mut self, origin: BasicBlock, source_info: SourceInfo, target: BasicBlock) {
100 self.terminate(origin, source_info, TerminatorKind::Goto { target })