Treat unwrapped capture sets as unwrapped directly

This commit is contained in:
Ayaz Hafiz 2022-08-14 15:26:52 -05:00
parent 68bb03ec09
commit d8a8dff70d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
13 changed files with 785 additions and 1008 deletions

View file

@ -4,25 +4,19 @@ procedure Num.19 (#Attr.2, #Attr.3):
procedure Test.1 (Test.2):
let Test.9 : U32 = 0i64;
let Test.19 : {U32} = Struct {Test.2};
let Test.18 : U32 = StructAtIndex 0 Test.19;
let Test.8 : U32 = CallByName Test.3 Test.9 Test.18;
let Test.8 : U32 = CallByName Test.3 Test.9 Test.2;
ret Test.8;
procedure Test.3 (Test.21, Test.22):
joinpoint Test.10 Test.4 #Attr.12:
let Test.17 : {U32} = Struct {#Attr.12};
let Test.2 : U32 = StructAtIndex 0 Test.17;
let Test.15 : Int1 = true;
if Test.15 then
procedure Test.3 (Test.18, Test.19):
joinpoint Test.10 Test.4 Test.2:
let Test.14 : Int1 = true;
if Test.14 then
ret Test.4;
else
let Test.12 : U32 = CallByName Num.19 Test.4 Test.2;
let Test.14 : {U32} = Struct {Test.2};
let Test.13 : U32 = StructAtIndex 0 Test.14;
jump Test.10 Test.12 Test.13;
jump Test.10 Test.12 Test.2;
in
jump Test.10 Test.21 Test.22;
jump Test.10 Test.18 Test.19;
procedure Test.0 ():
let Test.7 : U32 = 6i64;