Add expectations for new bundling algorithm

Author: tetektoza

tests/expectations/compiler/async_blocks/capture_complex_types_bundled.out

@@ -0,0 +1,75 @@
+program test.aleo;
+
+struct Position:
+    x as u32;
+    y as u32;
+
+struct Entity:
+    pos as Position;
+    health as u32;
+
+struct main_0_bundle1:
+    field_0 as u32;
+    field_1 as u32;
+    field_2 as u32;
+    field_3 as u32;
+    field_4 as u32;
+    field_5 as u32;
+    field_6 as u32;
+    field_7 as u32;
+
+function main:
+    cast 10u32 20u32 into r0 as Position;
+    cast r0 100u32 into r1 as Entity;
+    cast 30u32 40u32 into r2 as Position;
+    cast r2 80u32 into r3 as Entity;
+    cast 1u32 2u32 3u32 into r4 as [u32; 3u32];
+    cast 4u32 5u32 6u32 into r5 as [u32; 3u32];
+    cast 7u32 8u32 9u32 into r6 as [u32; 3u32];
+    cast 10u32 11u32 12u32 13u32 14u32 15u32 16u32 17u32 into r7 as main_0_bundle1;
+    async main r1 r3 r4 r5 r6 0u32 1u32 2u32 3u32 4u32 5u32 6u32 7u32 8u32 9u32 r7 into r8;
+    output r8 as test.aleo/main.future;
+
+finalize main:
+    input r0 as Entity.public;
+    input r1 as Entity.public;
+    input r2 as [u32; 3u32].public;
+    input r3 as [u32; 3u32].public;
+    input r4 as [u32; 3u32].public;
+    input r5 as u32.public;
+    input r6 as u32.public;
+    input r7 as u32.public;
+    input r8 as u32.public;
+    input r9 as u32.public;
+    input r10 as u32.public;
+    input r11 as u32.public;
+    input r12 as u32.public;
+    input r13 as u32.public;
+    input r14 as u32.public;
+    input r15 as main_0_bundle1.public;
+    assert.eq r0.pos.x 10u32;
+    assert.eq r0.pos.y 20u32;
+    assert.eq r0.health 100u32;
+    assert.eq r1.pos.x 30u32;
+    assert.eq r1.health 80u32;
+    assert.eq r2[0u32] 1u32;
+    assert.eq r3[1u32] 5u32;
+    assert.eq r4[2u32] 9u32;
+    add r5 r6 into r16;
+    add r16 r7 into r17;
+    add r17 r8 into r18;
+    add r18 r9 into r19;
+    add r19 r10 into r20;
+    add r20 r11 into r21;
+    add r21 r12 into r22;
+    add r22 r13 into r23;
+    add r23 r14 into r24;
+    add r24 r15.field_0 into r25;
+    add r25 r15.field_1 into r26;
+    add r26 r15.field_2 into r27;
+    add r27 r15.field_3 into r28;
+    add r28 r15.field_4 into r29;
+    add r29 r15.field_5 into r30;
+    add r30 r15.field_6 into r31;
+    add r31 r15.field_7 into r32;
+    assert.eq r32 153u32;

tests/expectations/compiler/async_blocks/capture_multiple_async_bundled.out

@@ -0,0 +1,91 @@
+program test.aleo;
+
+struct first_0_bundle1:
+    field_0 as u32;
+    field_1 as u32;
+
+struct second_3_bundle4:
+    field_0 as u32;
+    field_1 as u32;
+    field_2 as u32;
+
+function first:
+    cast 15u32 16u32 into r0 as first_0_bundle1;
+    async first 0u32 1u32 2u32 3u32 4u32 5u32 6u32 7u32 8u32 9u32 10u32 11u32 12u32 13u32 14u32 r0 into r1;
+    output r1 as test.aleo/first.future;
+
+finalize first:
+    input r0 as u32.public;
+    input r1 as u32.public;
+    input r2 as u32.public;
+    input r3 as u32.public;
+    input r4 as u32.public;
+    input r5 as u32.public;
+    input r6 as u32.public;
+    input r7 as u32.public;
+    input r8 as u32.public;
+    input r9 as u32.public;
+    input r10 as u32.public;
+    input r11 as u32.public;
+    input r12 as u32.public;
+    input r13 as u32.public;
+    input r14 as u32.public;
+    input r15 as first_0_bundle1.public;
+    add r0 r1 into r16;
+    add r16 r2 into r17;
+    add r17 r3 into r18;
+    add r18 r4 into r19;
+    add r19 r5 into r20;
+    add r20 r6 into r21;
+    add r21 r7 into r22;
+    add r22 r8 into r23;
+    add r23 r9 into r24;
+    add r24 r10 into r25;
+    add r25 r11 into r26;
+    add r26 r12 into r27;
+    add r27 r13 into r28;
+    add r28 r14 into r29;
+    add r29 r15.field_0 into r30;
+    add r30 r15.field_1 into r31;
+    assert.eq r31 136u32;
+
+function second:
+    cast 35u32 36u32 37u32 into r0 as second_3_bundle4;
+    async second 20u32 21u32 22u32 23u32 24u32 25u32 26u32 27u32 28u32 29u32 30u32 31u32 32u32 33u32 34u32 r0 into r1;
+    output r1 as test.aleo/second.future;
+
+finalize second:
+    input r0 as u32.public;
+    input r1 as u32.public;
+    input r2 as u32.public;
+    input r3 as u32.public;
+    input r4 as u32.public;
+    input r5 as u32.public;
+    input r6 as u32.public;
+    input r7 as u32.public;
+    input r8 as u32.public;
+    input r9 as u32.public;
+    input r10 as u32.public;
+    input r11 as u32.public;
+    input r12 as u32.public;
+    input r13 as u32.public;
+    input r14 as u32.public;
+    input r15 as second_3_bundle4.public;
+    add r0 r1 into r16;
+    add r16 r2 into r17;
+    add r17 r3 into r18;
+    add r18 r4 into r19;
+    add r19 r5 into r20;
+    add r20 r6 into r21;
+    add r21 r7 into r22;
+    add r22 r8 into r23;
+    add r23 r9 into r24;
+    add r24 r10 into r25;
+    add r25 r11 into r26;
+    add r26 r12 into r27;
+    add r27 r13 into r28;
+    add r28 r14 into r29;
+    add r29 r15.field_0 into r30;
+    add r30 r15.field_1 into r31;
+    add r31 r15.field_2 into r32;
+    assert.eq r32 513u32;

tests/expectations/compiler/async_blocks/capture_stress_test_bundled.out

@@ -0,0 +1,200 @@
+program test.aleo;
+
+struct Point:
+    x as u32;
+    y as u32;
+
+struct Color:
+    r as u8;
+    g as u8;
+    b as u8;
+
+struct Entity:
+    id as u32;
+    health as u32;
+    active as boolean;
+
+struct main_0_bundle1:
+    field_0 as Color;
+    field_1 as Color;
+    field_2 as Entity;
+    field_3 as Entity;
+    field_4 as Entity;
+    field_5 as Entity;
+    field_6 as Entity;
+    field_7 as u32;
+    field_8 as u32;
+    field_9 as u32;
+    field_10 as u32;
+    field_11 as u32;
+    field_12 as u32;
+    field_13 as u32;
+    field_14 as u32;
+    field_15 as u32;
+
+struct main_0_bundle3:
+    field_0 as u32;
+    field_1 as [u32; 3u32];
+    field_2 as [u32; 3u32];
+    field_3 as [u32; 3u32];
+    field_4 as u32;
+    field_5 as u32;
+    field_6 as u32;
+    field_7 as u32;
+    field_8 as u32;
+    field_9 as u32;
+    field_10 as u32;
+    field_11 as u32;
+    field_12 as u32;
+    field_13 as u32;
+    field_14 as u32;
+    field_15 as u32;
+
+struct main_0_bundle5:
+    field_0 as u32;
+    field_1 as u32;
+    field_2 as u32;
+    field_3 as u32;
+    field_4 as u32;
+    field_5 as u32;
+    field_6 as u32;
+    field_7 as u32;
+
+function main:
+    cast 0u32 10u32 into r0 as Point;
+    cast 1u32 11u32 into r1 as Point;
+    cast 2u32 12u32 into r2 as Point;
+    cast 3u32 13u32 into r3 as Point;
+    cast 4u32 14u32 into r4 as Point;
+    cast 5u32 15u32 into r5 as Point;
+    cast 6u32 16u32 into r6 as Point;
+    cast 7u32 17u32 into r7 as Point;
+    cast 8u32 18u32 into r8 as Point;
+    cast 9u32 19u32 into r9 as Point;
+    cast 255u8 0u8 0u8 into r10 as Color;
+    cast 0u8 255u8 0u8 into r11 as Color;
+    cast 0u8 0u8 255u8 into r12 as Color;
+    cast 128u8 128u8 0u8 into r13 as Color;
+    cast 0u8 128u8 128u8 into r14 as Color;
+    cast 100u32 100u32 true into r15 as Entity;
+    cast 101u32 80u32 true into r16 as Entity;
+    cast 102u32 60u32 false into r17 as Entity;
+    cast 103u32 40u32 true into r18 as Entity;
+    cast 104u32 20u32 false into r19 as Entity;
+    cast 10u32 11u32 12u32 into r20 as [u32; 3u32];
+    cast 13u32 14u32 15u32 into r21 as [u32; 3u32];
+    cast 16u32 17u32 18u32 into r22 as [u32; 3u32];
+    cast r13 r14 r15 r16 r17 r18 r19 0u32 1u32 2u32 3u32 4u32 5u32 6u32 7u32 8u32 into r23 as main_0_bundle1;
+    cast 9u32 r20 r21 r22 0u32 1u32 2u32 3u32 4u32 5u32 6u32 7u32 8u32 9u32 10u32 11u32 into r24 as main_0_bundle3;
+    cast 12u32 13u32 14u32 15u32 16u32 17u32 18u32 19u32 into r25 as main_0_bundle5;
+    async main r0 r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r23 r24 r25 into r26;
+    output r26 as test.aleo/main.future;
+
+finalize main:
+    input r0 as Point.public;
+    input r1 as Point.public;
+    input r2 as Point.public;
+    input r3 as Point.public;
+    input r4 as Point.public;
+    input r5 as Point.public;
+    input r6 as Point.public;
+    input r7 as Point.public;
+    input r8 as Point.public;
+    input r9 as Point.public;
+    input r10 as Color.public;
+    input r11 as Color.public;
+    input r12 as Color.public;
+    input r13 as main_0_bundle1.public;
+    input r14 as main_0_bundle3.public;
+    input r15 as main_0_bundle5.public;
+    add r0.x r1.x into r16;
+    add r16 r2.x into r17;
+    add r17 r3.x into r18;
+    add r18 r4.x into r19;
+    add r19 r5.x into r20;
+    add r20 r6.x into r21;
+    add r21 r7.x into r22;
+    add r22 r8.x into r23;
+    add r23 r9.x into r24;
+    add r0.y r1.y into r25;
+    add r25 r2.y into r26;
+    add r26 r3.y into r27;
+    add r27 r4.y into r28;
+    add r28 r5.y into r29;
+    add r29 r6.y into r30;
+    add r30 r7.y into r31;
+    add r31 r8.y into r32;
+    add r32 r9.y into r33;
+    cast r10.r into r34 as u32;
+    cast r11.r into r35 as u32;
+    add r34 r35 into r36;
+    cast r12.r into r37 as u32;
+    add r36 r37 into r38;
+    cast r13.field_0.r into r39 as u32;
+    add r38 r39 into r40;
+    cast r13.field_1.r into r41 as u32;
+    add r40 r41 into r42;
+    cast r10.g into r43 as u32;
+    cast r11.g into r44 as u32;
+    add r43 r44 into r45;
+    cast r12.g into r46 as u32;
+    add r45 r46 into r47;
+    cast r13.field_0.g into r48 as u32;
+    add r47 r48 into r49;
+    cast r13.field_1.g into r50 as u32;
+    add r49 r50 into r51;
+    add r13.field_2.health r13.field_3.health into r52;
+    add r52 r13.field_4.health into r53;
+    add r53 r13.field_5.health into r54;
+    add r54 r13.field_6.health into r55;
+    ternary r13.field_2.active 1u32 0u32 into r56;
+    ternary r13.field_3.active 1u32 0u32 into r57;
+    add r56 r57 into r58;
+    ternary r13.field_4.active 1u32 0u32 into r59;
+    add r58 r59 into r60;
+    ternary r13.field_5.active 1u32 0u32 into r61;
+    add r60 r61 into r62;
+    ternary r13.field_6.active 1u32 0u32 into r63;
+    add r62 r63 into r64;
+    add r13.field_7 r13.field_8 into r65;
+    add r65 r13.field_9 into r66;
+    add r66 r13.field_10 into r67;
+    add r67 r13.field_11 into r68;
+    add r68 r13.field_12 into r69;
+    add r69 r13.field_13 into r70;
+    add r70 r13.field_14 into r71;
+    add r71 r13.field_15 into r72;
+    add r72 r14.field_0 into r73;
+    add r14.field_1[0u32] r14.field_1[1u32] into r74;
+    add r74 r14.field_2[0u32] into r75;
+    add r75 r14.field_2[1u32] into r76;
+    add r76 r14.field_3[0u32] into r77;
+    add r77 r14.field_3[1u32] into r78;
+    add r14.field_4 r14.field_5 into r79;
+    add r79 r14.field_6 into r80;
+    add r80 r14.field_7 into r81;
+    add r81 r14.field_8 into r82;
+    add r82 r14.field_9 into r83;
+    add r83 r14.field_10 into r84;
+    add r84 r14.field_11 into r85;
+    add r85 r14.field_12 into r86;
+    add r86 r14.field_13 into r87;
+    add r87 r14.field_14 into r88;
+    add r88 r14.field_15 into r89;
+    add r89 r15.field_0 into r90;
+    add r90 r15.field_1 into r91;
+    add r91 r15.field_2 into r92;
+    add r92 r15.field_3 into r93;
+    add r93 r15.field_4 into r94;
+    add r94 r15.field_5 into r95;
+    add r95 r15.field_6 into r96;
+    add r96 r15.field_7 into r97;
+    assert.eq r24 45u32;
+    assert.eq r33 145u32;
+    assert.eq r42 511u32;
+    assert.eq r51 511u32;
+    assert.eq r55 300u32;
+    assert.eq r64 3u32;
+    assert.eq r73 45u32;
+    assert.eq r78 81u32;
+    assert.eq r97 190u32;