M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 98 Pull Requests 19 Releases Wiki Activity

fixed codegen test

Browse Source
This commit is contained in:
pca006132 2021-08-19 11:32:22 +08:00
parent 9a07ef3301
commit 6e424a6a3e
1 changed files with 34 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
nac3core/src/codegen/test.rs
View File

@ -151,6 +151,8 @@ fn test_primitives() {
}; };
let mut inferencer = env.get_inferencer(); let mut inferencer = env.get_inferencer();
inferencer.variable_mapping.insert("a".into(), inferencer.primitives.int32);
inferencer.variable_mapping.insert("b".into(), inferencer.primitives.int32);
let source = indoc! { " let source = indoc! { "
c = a + b c = a + b
d = a if c == 1 else 0 d = a if c == 1 else 0
@ -163,6 +165,8 @@ fn test_primitives() {
.map(|v| inferencer.fold_stmt(v)) .map(|v| inferencer.fold_stmt(v))
.collect::<Result<Vec<_>, _>>() .collect::<Result<Vec<_>, _>>()
.unwrap(); .unwrap();
let mut identifiers = vec!["a".to_string(), "b".to_string()];
inferencer.check_block(&statements, &mut identifiers).unwrap();
let top_level = Arc::new(TopLevelContext { let top_level = Arc::new(TopLevelContext {
definitions: Default::default(), definitions: Default::default(),
@ -203,25 +207,25 @@ fn test_primitives() {
define i32 @testing(i32 %0, i32 %1) { define i32 @testing(i32 %0, i32 %1) {
init: init:
%a = alloca i32 %a = alloca i32, align 4
store i32 %0, i32* %a store i32 %0, i32* %a, align 4
%b = alloca i32 %b = alloca i32, align 4
store i32 %1, i32* %b store i32 %1, i32* %b, align 4
%tmp = alloca i32 %tmp = alloca i32, align 4
%tmp4 = alloca i32 %tmp4 = alloca i32, align 4
br label %body br label %body
body: ; preds = %init body: ; preds = %init
%load = load i32, i32* %a %load = load i32, i32* %a, align 4
%load1 = load i32, i32* %b %load1 = load i32, i32* %b, align 4
%add = add i32 %load, %load1 %add = add i32 %load, %load1
store i32 %add, i32* %tmp store i32 %add, i32* %tmp, align 4
%load2 = load i32, i32* %tmp %load2 = load i32, i32* %tmp, align 4
%cmp = icmp eq i32 %load2, 1 %cmp = icmp eq i32 %load2, 1
br i1 %cmp, label %then, label %else br i1 %cmp, label %then, label %else
then: ; preds = %body then: ; preds = %body
%load3 = load i32, i32* %a %load3 = load i32, i32* %a, align 4
br label %cont br label %cont
else: ; preds = %body else: ; preds = %body
@ -229,8 +233,8 @@ fn test_primitives() {
cont: ; preds = %else, %then cont: ; preds = %else, %then
%ifexpr = phi i32 [ %load3, %then ], [ 0, %else ] %ifexpr = phi i32 [ %load3, %then ], [ 0, %else ]
store i32 %ifexpr, i32* %tmp4 store i32 %ifexpr, i32* %tmp4, align 4
%load5 = load i32, i32* %tmp4 %load5 = load i32, i32* %tmp4, align 4
ret i32 %load5 ret i32 %load5
} }
"} "}