update mono

This commit is contained in:
Brendan Hansknecht 2023-03-12 08:42:37 -07:00
parent e6964536b2
commit 85306953e9
No known key found for this signature in database
GPG key ID: 0EA784685083E75B
59 changed files with 312 additions and 312 deletions

View file

@ -1,10 +1,10 @@
procedure Num.19 (#Attr.2, #Attr.3):
let Num.256 : I64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.256;
let Num.275 : I64 = lowlevel NumAdd #Attr.2 #Attr.3;
ret Num.275;
procedure Num.20 (#Attr.2, #Attr.3):
let Num.257 : I64 = lowlevel NumSub #Attr.2 #Attr.3;
ret Num.257;
let Num.276 : I64 = lowlevel NumSub #Attr.2 #Attr.3;
ret Num.276;
procedure Test.1 (Test.15, Test.16):
joinpoint Test.7 Test.2 Test.3: