roc/crates/compiler/test_mono/generated/peano2.txt
2025-01-19 07:16:43 -08:00

33 lines
1.1 KiB
Text
Generated

procedure Test.0 ():
let Test.21 : [<rnu><null>, C *self] = TagId(1) ;
let Test.20 : [<rnu><null>, C *self] = TagId(0) Test.21;
let Test.19 : [<rnu><null>, C *self] = TagId(0) Test.20;
let Test.2 : [<rnu><null>, C *self] = TagId(0) Test.19;
let Test.16 : U8 = 0i64;
let Test.17 : U8 = GetTagId Test.2;
let Test.18 : Int1 = lowlevel Eq Test.16 Test.17;
if Test.18 then
let Test.12 : [<rnu><null>, C *self] = UnionAtIndex (Id 0) (Index 0) Test.2;
joinpoint Bool.21:
let Test.13 : U8 = 0i64;
let Test.14 : U8 = GetTagId Test.12;
dec Test.12;
let Test.15 : Int1 = lowlevel Eq Test.13 Test.14;
if Test.15 then
let Test.8 : I64 = 1i64;
ret Test.8;
else
let Test.9 : I64 = 0i64;
ret Test.9;
in
let Bool.22 : Int1 = lowlevel RefCountIsUnique Test.2;
if Bool.22 then
free Test.2;
jump Bool.21;
else
inc Test.12;
decref Test.2;
jump Bool.21;
else
let Test.10 : I64 = 0i64;
ret Test.10;