├── .gitignore ├── .licensure.yml ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── examples ├── correct2.lang ├── correct3.lang ├── correct4.lang ├── example.lang ├── fibb.lang ├── incr-twice.lang ├── incr.c ├── incr.lang ├── recurse.lang ├── riscvasm.s ├── use_myfun.c ├── wrong1.lang ├── wrong2.lang ├── wrong_type1.lang ├── wrong_type3.lang └── wrong_type4.lang ├── parser ├── Cargo.lock ├── Cargo.toml └── src │ └── lib.rs ├── proptest-regressions └── ir.txt ├── resources ├── allocated.svg ├── linear.svg ├── opt.svg └── ssa.svg ├── rvshell.nix ├── shell.nix ├── spec.bnf └── src ├── backend.rs ├── ir.rs ├── language.l ├── language.y ├── lib.rs ├── main.rs ├── parser.rs ├── ssa.rs └── util ├── mod.rs ├── sheaf_table.rs └── union_find.rs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/.gitignore -------------------------------------------------------------------------------- /.licensure.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/.licensure.yml -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/README.md -------------------------------------------------------------------------------- /examples/correct2.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/correct2.lang -------------------------------------------------------------------------------- /examples/correct3.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/correct3.lang -------------------------------------------------------------------------------- /examples/correct4.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/correct4.lang -------------------------------------------------------------------------------- /examples/example.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/example.lang -------------------------------------------------------------------------------- /examples/fibb.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/fibb.lang -------------------------------------------------------------------------------- /examples/incr-twice.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/incr-twice.lang -------------------------------------------------------------------------------- /examples/incr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/incr.c -------------------------------------------------------------------------------- /examples/incr.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/incr.lang -------------------------------------------------------------------------------- /examples/recurse.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/recurse.lang -------------------------------------------------------------------------------- /examples/riscvasm.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/riscvasm.s -------------------------------------------------------------------------------- /examples/use_myfun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/use_myfun.c -------------------------------------------------------------------------------- /examples/wrong1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/wrong1.lang -------------------------------------------------------------------------------- /examples/wrong2.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/wrong2.lang -------------------------------------------------------------------------------- /examples/wrong_type1.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/wrong_type1.lang -------------------------------------------------------------------------------- /examples/wrong_type3.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/wrong_type3.lang -------------------------------------------------------------------------------- /examples/wrong_type4.lang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/examples/wrong_type4.lang -------------------------------------------------------------------------------- /parser/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/parser/Cargo.lock -------------------------------------------------------------------------------- /parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/parser/Cargo.toml -------------------------------------------------------------------------------- /parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/parser/src/lib.rs -------------------------------------------------------------------------------- /proptest-regressions/ir.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/proptest-regressions/ir.txt -------------------------------------------------------------------------------- /resources/allocated.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/resources/allocated.svg -------------------------------------------------------------------------------- /resources/linear.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/resources/linear.svg -------------------------------------------------------------------------------- /resources/opt.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/resources/opt.svg -------------------------------------------------------------------------------- /resources/ssa.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/resources/ssa.svg -------------------------------------------------------------------------------- /rvshell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/rvshell.nix -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/shell.nix -------------------------------------------------------------------------------- /spec.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/spec.bnf -------------------------------------------------------------------------------- /src/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/backend.rs -------------------------------------------------------------------------------- /src/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/ir.rs -------------------------------------------------------------------------------- /src/language.l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/language.l -------------------------------------------------------------------------------- /src/language.y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/language.y -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/parser.rs -------------------------------------------------------------------------------- /src/ssa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/ssa.rs -------------------------------------------------------------------------------- /src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/util/mod.rs -------------------------------------------------------------------------------- /src/util/sheaf_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/util/sheaf_table.rs -------------------------------------------------------------------------------- /src/util/union_find.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/I-mikan-I/ssa-compiler/HEAD/src/util/union_find.rs --------------------------------------------------------------------------------