1  program bubble_sort.alpha;
  2  
  3  function sort:
  4      input r0 as [u32; 8u32].private;
  5      lt r0[1u32] r0[0u32] into r1;
  6      ternary r1 r0[1u32] r0[0u32] into r2;
  7      ternary r1 r0[0u32] r0[1u32] into r3;
  8      lt r0[2u32] r3 into r4;
  9      ternary r4 r0[2u32] r3 into r5;
 10      ternary r4 r3 r0[2u32] into r6;
 11      lt r0[3u32] r6 into r7;
 12      ternary r7 r0[3u32] r6 into r8;
 13      ternary r7 r6 r0[3u32] into r9;
 14      lt r0[4u32] r9 into r10;
 15      ternary r10 r0[4u32] r9 into r11;
 16      ternary r10 r9 r0[4u32] into r12;
 17      lt r0[5u32] r12 into r13;
 18      ternary r13 r0[5u32] r12 into r14;
 19      ternary r13 r12 r0[5u32] into r15;
 20      lt r0[6u32] r15 into r16;
 21      ternary r16 r0[6u32] r15 into r17;
 22      ternary r16 r15 r0[6u32] into r18;
 23      lt r0[7u32] r18 into r19;
 24      ternary r19 r0[7u32] r18 into r20;
 25      ternary r19 r18 r0[7u32] into r21;
 26      lt r5 r2 into r22;
 27      ternary r22 r5 r2 into r23;
 28      ternary r22 r2 r5 into r24;
 29      lt r8 r24 into r25;
 30      ternary r25 r8 r24 into r26;
 31      ternary r25 r24 r8 into r27;
 32      lt r11 r27 into r28;
 33      ternary r28 r11 r27 into r29;
 34      ternary r28 r27 r11 into r30;
 35      lt r14 r30 into r31;
 36      ternary r31 r14 r30 into r32;
 37      ternary r31 r30 r14 into r33;
 38      lt r17 r33 into r34;
 39      ternary r34 r17 r33 into r35;
 40      ternary r34 r33 r17 into r36;
 41      lt r20 r36 into r37;
 42      ternary r37 r20 r36 into r38;
 43      ternary r37 r36 r20 into r39;
 44      lt r26 r23 into r40;
 45      ternary r40 r26 r23 into r41;
 46      ternary r40 r23 r26 into r42;
 47      lt r29 r42 into r43;
 48      ternary r43 r29 r42 into r44;
 49      ternary r43 r42 r29 into r45;
 50      lt r32 r45 into r46;
 51      ternary r46 r32 r45 into r47;
 52      ternary r46 r45 r32 into r48;
 53      lt r35 r48 into r49;
 54      ternary r49 r35 r48 into r50;
 55      ternary r49 r48 r35 into r51;
 56      lt r38 r51 into r52;
 57      ternary r52 r38 r51 into r53;
 58      ternary r52 r51 r38 into r54;
 59      lt r44 r41 into r55;
 60      ternary r55 r44 r41 into r56;
 61      ternary r55 r41 r44 into r57;
 62      lt r47 r57 into r58;
 63      ternary r58 r47 r57 into r59;
 64      ternary r58 r57 r47 into r60;
 65      lt r50 r60 into r61;
 66      ternary r61 r50 r60 into r62;
 67      ternary r61 r60 r50 into r63;
 68      lt r53 r63 into r64;
 69      ternary r64 r53 r63 into r65;
 70      ternary r64 r63 r53 into r66;
 71      lt r59 r56 into r67;
 72      ternary r67 r59 r56 into r68;
 73      ternary r67 r56 r59 into r69;
 74      lt r62 r69 into r70;
 75      ternary r70 r62 r69 into r71;
 76      ternary r70 r69 r62 into r72;
 77      lt r65 r72 into r73;
 78      ternary r73 r65 r72 into r74;
 79      ternary r73 r72 r65 into r75;
 80      lt r71 r68 into r76;
 81      ternary r76 r71 r68 into r77;
 82      ternary r76 r68 r71 into r78;
 83      lt r74 r78 into r79;
 84      ternary r79 r74 r78 into r80;
 85      ternary r79 r78 r74 into r81;
 86      lt r80 r77 into r82;
 87      ternary r82 r80 r77 into r83;
 88      ternary r82 r77 r80 into r84;
 89      cast r83 r84 r81 r75 r66 r54 r39 r21 into r85 as [u32; 8u32];
 90      output r85 as [u32; 8u32].public;
 91  
 92  constructor:
 93      assert.eq edition 0u16;
 94  status: success
 95  output: [
 96    0u32,
 97    0u32,
 98    2u32,
 99    5u32,
100    10u32,
101    100u32,
102    200u32,
103    300u32
104  ]
105  status: success
106  output: [
107    1u32,
108    2u32,
109    3u32,
110    4u32,
111    5u32,
112    6u32,
113    7u32,
114    8u32
115  ]
116  status: success
117  output: [
118    1u32,
119    2u32,
120    3u32,
121    4u32,
122    5u32,
123    6u32,
124    7u32,
125    8u32
126  ]