1  program test.alpha;
 2  
 3  struct Extra:
 4      c as u8;
 5  
 6  struct Data:
 7      a as u8;
 8      b as u8;
 9      c as Extra;
10  
11  function bar:
12      input r0 as boolean.private;
13      input r1 as boolean.private;
14      input r2 as u8.private;
15      input r3 as u8.private;
16      cast r2 into r4 as Extra;
17      cast r2 r3 r4 into r5 as Data;
18      is.eq r2 r3 into r6;
19      add r2 r3 into r7;
20      sub r2 r3 into r8;
21      ternary r6 r5.c.c r5.c.c into r9;
22      cast r9 into r10 as Extra;
23      ternary r6 r5.a r5.a into r11;
24      ternary r6 r5.b r5.b into r12;
25      cast r11 r12 r10 into r13 as Data;
26      ternary r6 r2 r7 into r14;
27      ternary r6 r3 r8 into r15;
28      cast r14 into r16 as Extra;
29      cast r14 r13.c.c r16 into r17 as Data;
30      is.eq r14 r13.c.c into r18;
31      add r14 r13.c.c into r19;
32      sub r14 r13.c.c into r20;
33      ternary r18 r17.c.c r17.c.c into r21;
34      cast r21 into r22 as Extra;
35      ternary r18 r17.a r17.a into r23;
36      ternary r18 r17.b r17.b into r24;
37      cast r23 r24 r22 into r25 as Data;
38      ternary r18 r14 r19 into r26;
39      ternary r18 r13.c.c r20 into r27;
40      cast r15 into r28 as Extra;
41      cast r15 r13.b r28 into r29 as Data;
42      is.eq r15 r13.b into r30;
43      add r15 r13.b into r31;
44      sub r15 r13.b into r32;
45      ternary r30 r29.c.c r29.c.c into r33;
46      cast r33 into r34 as Extra;
47      ternary r30 r29.a r29.a into r35;
48      ternary r30 r29.b r29.b into r36;
49      cast r35 r36 r34 into r37 as Data;
50      ternary r30 r15 r31 into r38;
51      ternary r30 r13.b r32 into r39;
52      cast r13.a into r40 as Extra;
53      cast r13.a r15 r40 into r41 as Data;
54      is.eq r13.a r15 into r42;
55      add r13.a r15 into r43;
56      sub r13.a r15 into r44;
57      ternary r42 r41.c.c r41.c.c into r45;
58      cast r45 into r46 as Extra;
59      ternary r42 r41.a r41.a into r47;
60      ternary r42 r41.b r41.b into r48;
61      cast r47 r48 r46 into r49 as Data;
62      ternary r42 r13.a r43 into r50;
63      ternary r42 r15 r44 into r51;
64      ternary r1 r38 r50 into r52;
65      ternary r1 r39 r51 into r53;
66      ternary r1 r37.c.c r49.c.c into r54;
67      cast r54 into r55 as Extra;
68      ternary r1 r37.a r49.a into r56;
69      ternary r1 r37.b r49.b into r57;
70      cast r56 r57 r55 into r58 as Data;
71      ternary r0 r26 r52 into r59;
72      ternary r0 r27 r53 into r60;
73      ternary r0 r25.c.c r58.c.c into r61;
74      cast r61 into r62 as Extra;
75      ternary r0 r25.a r58.a into r63;
76      ternary r0 r25.b r58.b into r64;
77      cast r63 r64 r62 into r65 as Data;
78      output r59 as u8.private;
79      output r60 as u8.private;
80      output r65 as Data.private;