roc/crates/compiler/test_mono/generated/factorial.txt
Lars Frogner 560171c238
Add Num.[f32,f64,dec]_[to,from]_bits builtins and deprecate Num.[f32,f64]_[to,from]_parts (#7741)
* Add `Num.[f32,f64,dec]_[to,from]_bits` builtins

* Update mono tests

* Deprecate `Num.[f32,f64]_[to,from]_parts`
2025-04-18 10:10:45 +02:00

27 lines
852 B
Text
Generated

procedure Num.20 (#Attr.2, #Attr.3):
let Num.290 : I64 = lowlevel NumSub #Attr.2 #Attr.3;
ret Num.290;
procedure Num.21 (#Attr.2, #Attr.3):
let Num.289 : I64 = lowlevel NumMul #Attr.2 #Attr.3;
ret Num.289;
procedure Test.1 (Bool.21, Bool.22):
joinpoint Test.7 Test.2 Test.3:
let Test.13 : I64 = 0i64;
let Test.14 : Int1 = lowlevel Eq Test.13 Test.2;
if Test.14 then
ret Test.3;
else
let Test.12 : I64 = 1i64;
let Test.10 : I64 = CallByName Num.20 Test.2 Test.12;
let Test.11 : I64 = CallByName Num.21 Test.2 Test.3;
jump Test.7 Test.10 Test.11;
in
jump Test.7 Bool.21 Bool.22;
procedure Test.0 ():
let Test.5 : I64 = 10i64;
let Test.6 : I64 = 1i64;
let Test.4 : I64 = CallByName Test.1 Test.5 Test.6;
ret Test.4;