xrcf 0.1.0

A compiler framework to enable the rapid development of programming language compilers
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

use crate::convert::ChangedOp;
use crate::convert::Rewrite;
use crate::convert::RewriteResult;
use crate::ir::Op;
use crate::ir::Users;
use anyhow::Result;
use std::sync::Arc;
use std::sync::RwLock;

pub struct CanonicalizeOp;

impl Rewrite for CanonicalizeOp {
    fn is_match(&self, _op: Arc<RwLock<dyn Op>>) -> Result<bool> {
        Ok(true)
    }
    fn rewrite(&self, op: Arc<RwLock<dyn Op>>) -> Result<RewriteResult> {
        let op = op.try_read().unwrap();
        let result = op.canonicalize();
        Ok(result)
    }
}

pub struct DeadCodeElimination;

impl Rewrite for DeadCodeElimination {
    fn is_match(&self, _op: Arc<RwLock<dyn Op>>) -> Result<bool> {
        Ok(true)
    }
    fn rewrite(&self, op: Arc<RwLock<dyn Op>>) -> Result<RewriteResult> {
        let readonly = op.clone();
        let readonly = readonly.try_read().unwrap();
        let operation = readonly.operation().try_read().unwrap();
        let users = operation.users();
        match users {
            Users::HasNoOpResults => Ok(RewriteResult::Unchanged),
            Users::OpOperands(users) => {
                if users.is_empty() {
                    let parent = operation.parent();
                    let parent = parent.unwrap();
                    let parent = parent.try_read().unwrap();
                    parent.remove(readonly.operation().clone());
                    Ok(RewriteResult::Changed(ChangedOp::new(op.clone())))
                } else {
                    Ok(RewriteResult::Unchanged)
                }
            }
        }
    }
}