open-vaf 0.4.2

A compiler frontend for VerilogA aimed predominently at compact modelling
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

//  * ******************************************************************************************
//  * Copyright (c) 2019 Pascal Kuthe. This file is part of the OpenVAF project.
//  * It is subject to the license terms in the LICENSE file found in the top-level directory
//  *  of this distribution and at  https://gitlab.com/DSPOM/OpenVAF/blob/master/LICENSE.
//  *  No part of OpenVAF, including this file, may be copied, modified, propagated, or
//  *  distributed except according to the terms contained in the LICENSE file.
//  * *******************************************************************************************

use std::mem::swap;

use crate::analysis::data_flow::framework::{Analysis, DataFlowGraph, Direction};
use crate::data_structures::BitSet;
use crate::ir::cfg::ControlFlowGraph;
use log::*;

pub struct Engine<'lt, A: Analysis<'lt>> {
    pub analysis: &'lt mut A,
    pub dfg: DataFlowGraph<A::SetType>,
    pub cfg: &'lt ControlFlowGraph,
}

impl<'lt, A: Analysis<'lt>> Engine<'lt, A> {
    pub fn new(cfg: &'lt ControlFlowGraph, analysis: &'lt mut A) -> Self {
        Self {
            dfg: DataFlowGraph::new(analysis.max_idx(), cfg),
            analysis,
            cfg,
        }
    }

    pub fn iterate_to_fixpoint(mut self) -> DataFlowGraph<A::SetType> {
        let mut worklist =
            <<A as Analysis<'lt>>::Direction as Direction<'lt>>::inital_work_queue(self.cfg);
        let mut temporary_set = BitSet::new_empty(self.analysis.max_idx());
        trace!("Data Flow Engine: Starting with worklist: {:?}", worklist);
        while let Some(bb) = worklist.pop() {
            trace!("Data Flow Engine: Processing {:?}", bb);
            self.analysis.transfer_function(
                &self.dfg.in_sets[bb],
                &mut temporary_set,
                bb,
                self.cfg,
            );
            if temporary_set != self.dfg.out_sets[bb] {
                swap(&mut temporary_set, &mut self.dfg.out_sets[bb]);

                A::Direction::propagate_result(bb, self.cfg, |dst| {
                    worklist.insert(dst);
                    self.analysis
                        .join(&mut self.dfg.in_sets[dst], &self.dfg.out_sets[bb])
                });
            }
        }
        self.dfg
    }
}