1  program test.alpha;
  2  
  3  struct S:
  4      x as u32;
  5      y as [u32; 3u32];
  6  
  7  function some_assignments:
  8      input r0 as boolean.public;
  9      input r1 as boolean.public;
 10      ternary r0 10u32 0u32 into r2;
 11      cast r2 1u32 2u32 into r3 as [u32; 3u32];
 12      cast 3u32 r3 into r4 as S;
 13      ternary r0 50u32 r4.y[0u32] into r5;
 14      ternary r0 60u32 r4.y[1u32] into r6;
 15      ternary r0 70u32 r4.y[2u32] into r7;
 16      cast r5 r6 r7 into r8 as [u32; 3u32];
 17      cast 20u32 r4.y[1u32] r4.y[2u32] into r9 as [u32; 3u32];
 18      cast r4.x r9 into r10 as S;
 19      ternary r0 r4.y[0u32] r10.y[0u32] into r11;
 20      ternary r0 r4.y[1u32] r10.y[1u32] into r12;
 21      ternary r0 r4.y[2u32] r10.y[2u32] into r13;
 22      cast r11 r12 r13 into r14 as [u32; 3u32];
 23      ternary r0 r4.x r10.x into r15;
 24      cast r15 r14 into r16 as S;
 25      ternary r1 20u32 r4.y[0u32] into r17;
 26      ternary r1 30u32 r4.x into r18;
 27      ternary r1 r8[0u32] r4.y[0u32] into r19;
 28      ternary r1 r8[1u32] r4.y[1u32] into r20;
 29      ternary r1 r8[2u32] r4.y[2u32] into r21;
 30      cast r19 r20 r21 into r22 as [u32; 3u32];
 31      cast r17 r4.y[1u32] r4.y[2u32] into r23 as [u32; 3u32];
 32      cast r4.x r23 into r24 as S;
 33      ternary r1 r16.y[0u32] r24.y[0u32] into r25;
 34      ternary r1 r16.y[1u32] r24.y[1u32] into r26;
 35      ternary r1 r16.y[2u32] r24.y[2u32] into r27;
 36      cast r25 r26 r27 into r28 as [u32; 3u32];
 37      ternary r1 r16.x r24.x into r29;
 38      cast r29 r28 into r30 as S;
 39      cast r18 r22 into r31 as S;
 40      cast r18 r22 into r32 as S;
 41      cast r18 r22 into r33 as S;
 42      cast r18 r22 into r34 as S;
 43      cast r2 1u32 2u32 r30.x r30.y[0u32] r30.y[1u32] r30.y[2u32] r31.x r32.y[0u32] r33.y[1u32] r34.y[2u32] into r35 as [u32; 11u32];
 44      output r35 as [u32; 11u32].public;
 45  
 46  constructor:
 47      assert.eq edition 0u16;
 48  status: success
 49  output: [
 50    0u32,
 51    1u32,
 52    2u32,
 53    3u32,
 54    0u32,
 55    1u32,
 56    2u32,
 57    3u32,
 58    0u32,
 59    1u32,
 60    2u32
 61  ]
 62  status: success
 63  output: [
 64    0u32,
 65    1u32,
 66    2u32,
 67    3u32,
 68    20u32,
 69    1u32,
 70    2u32,
 71    30u32,
 72    0u32,
 73    1u32,
 74    2u32
 75  ]
 76  status: success
 77  output: [
 78    10u32,
 79    1u32,
 80    2u32,
 81    3u32,
 82    10u32,
 83    1u32,
 84    2u32,
 85    3u32,
 86    10u32,
 87    1u32,
 88    2u32
 89  ]
 90  status: success
 91  output: [
 92    10u32,
 93    1u32,
 94    2u32,
 95    3u32,
 96    10u32,
 97    1u32,
 98    2u32,
 99    30u32,
100    50u32,
101    60u32,
102    70u32
103  ]