92 lines
2.6 KiB
Rust
92 lines
2.6 KiB
Rust
|
// Copyright 2012-2016 The Rust Project Developers. See the COPYRIGHT
|
||
|
|
// file at the top-level directory of this distribution and at
|
||
|
|
// http://rust-lang.org/COPYRIGHT.
|
||
|
|
//
|
||
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||
|
|
// option. This file may not be copied, modified, or distributed
|
||
|
|
// except according to those terms.
|
||
|
|
|
||
|
|
use borrowck::BorrowckCtxt;
|
||
|
|
|
||
|
|
use syntax::ast;
|
||
|
|
use syntax::codemap::Span;
|
||
|
|
|
||
|
|
use rustc_front::hir;
|
||
|
|
use rustc_front::intravisit::{FnKind};
|
||
|
|
|
||
|
|
use rustc::mir::repr::{BasicBlock, BasicBlockData, Mir, Statement, Terminator};
|
||
|
|
|
||
|
|
mod abs_domain;
|
||
|
|
mod dataflow;
|
||
|
|
mod gather_moves;
|
||
|
|
mod graphviz;
|
||
|
|
|
||
|
|
use self::dataflow::{Dataflow, DataflowState};
|
||
|
|
use self::gather_moves::{MoveData};
|
||
|
|
|
||
|
|
pub fn borrowck_mir<'b, 'a: 'b, 'tcx: 'a>(
|
||
|
|
bcx: &'b mut BorrowckCtxt<'a, 'tcx>,
|
||
|
|
fk: FnKind,
|
||
|
|
_decl: &hir::FnDecl,
|
||
|
|
mir: &'a Mir<'tcx>,
|
||
|
|
body: &hir::Block,
|
||
|
|
_sp: Span,
|
||
|
|
id: ast::NodeId,
|
||
|
|
attributes: &[ast::Attribute]) {
|
||
|
|
match fk {
|
||
|
|
FnKind::ItemFn(name, _, _, _, _, _, _) |
|
||
|
|
FnKind::Method(name, _, _, _) => {
|
||
|
|
debug!("borrowck_mir({}) UNIMPLEMENTED", name);
|
||
|
|
}
|
||
|
|
FnKind::Closure(_) => {
|
||
|
|
debug!("borrowck_mir closure (body.id={}) UNIMPLEMENTED", body.id);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
let mut mbcx = MirBorrowckCtxt {
|
||
|
|
bcx: bcx,
|
||
|
|
mir: mir,
|
||
|
|
node_id: id,
|
||
|
|
attributes: attributes,
|
||
|
|
flow_state: DataflowState::new_move_analysis(mir, bcx.tcx),
|
||
|
|
};
|
||
|
|
|
||
|
|
for bb in mir.all_basic_blocks() {
|
||
|
|
mbcx.process_basic_block(bb);
|
||
|
|
}
|
||
|
|
|
||
|
|
mbcx.dataflow();
|
||
|
|
|
||
|
|
debug!("borrowck_mir done");
|
||
|
|
}
|
||
|
|
|
||
|
|
pub struct MirBorrowckCtxt<'b, 'a: 'b, 'tcx: 'a> {
|
||
|
|
bcx: &'b mut BorrowckCtxt<'a, 'tcx>,
|
||
|
|
mir: &'b Mir<'tcx>,
|
||
|
|
node_id: ast::NodeId,
|
||
|
|
attributes: &'b [ast::Attribute],
|
||
|
|
flow_state: DataflowState<MoveData<'tcx>>,
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<'b, 'a: 'b, 'tcx: 'a> MirBorrowckCtxt<'b, 'a, 'tcx> {
|
||
|
|
fn process_basic_block(&mut self, bb: BasicBlock) {
|
||
|
|
let &BasicBlockData { ref statements, ref terminator, is_cleanup: _ } =
|
||
|
|
self.mir.basic_block_data(bb);
|
||
|
|
for stmt in statements {
|
||
|
|
self.process_statement(bb, stmt);
|
||
|
|
}
|
||
|
|
|
||
|
|
self.process_terminator(bb, terminator);
|
||
|
|
}
|
||
|
|
|
||
|
|
fn process_statement(&mut self, bb: BasicBlock, stmt: &Statement<'tcx>) {
|
||
|
|
debug!("MirBorrowckCtxt::process_statement({:?}, {:?}", bb, stmt);
|
||
|
|
}
|
||
|
|
|
||
|
|
fn process_terminator(&mut self, bb: BasicBlock, term: &Option<Terminator<'tcx>>) {
|
||
|
|
debug!("MirBorrowckCtxt::process_terminator({:?}, {:?})", bb, term);
|
||
|
|
}
|
||
|
|
}
|