Commit 5a40d427 authored by Isaac Oscar Gariano's avatar Isaac Oscar Gariano

Fixed invalid IR problems

parent f2ea937b
...@@ -163,7 +163,6 @@ impl VMOptions { ...@@ -163,7 +163,6 @@ impl VMOptions {
} }
} }
unsafe { super::api::VALIDATE_IR = false };
ret ret
} }
} }
......
...@@ -136,7 +136,7 @@ def test_add_load_cast_global(): ...@@ -136,7 +136,7 @@ def test_add_load_cast_global():
STORE <int<64>> global_y <int<64>> 42 STORE <int<64>> global_y <int<64>> 42
BRANCH body(<int<32>> 1) BRANCH body(<int<32>> 1)
body(<int<64>> x): body(<int<32>> x):
global32_y = REFCAST <iref<int<64>> iref<int<32>>> global_y global32_y = REFCAST <iref<int<64>> iref<int<32>>> global_y
y = LOAD <int<32>> global32_y y = LOAD <int<32>> global32_y
sum = ADD <int<32>> x y sum = ADD <int<32>> x y
...@@ -147,4 +147,4 @@ def test_add_load_cast_global(): ...@@ -147,4 +147,4 @@ def test_add_load_cast_global():
} }
""", "test_add_load_cast_global" """, "test_add_load_cast_global"
) )
assert(execute("test_add_load_cast_global") == 43) assert(execute("test_add_load_cast_global") == 43)
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment