kit

kit
git clone https://git.ryansepassi.com/git/kit.git
Log | Files | Refs | README

129_o2_pressure_coalesce.toy (714B)


      1 fn pressure(n0: i64): i64 {
      2   var n: i64 = n0;
      3   let a0: i64 = n0 + 1;
      4   let a1: i64 = n0 + 2;
      5   let a2: i64 = n0 + 3;
      6   let a3: i64 = n0 + 4;
      7   let a4: i64 = n0 + 5;
      8   let a5: i64 = n0 + 6;
      9   let a6: i64 = n0 + 7;
     10   let a7: i64 = n0 + 8;
     11   let a8: i64 = n0 + 9;
     12   let a9: i64 = n0 + 10;
     13   let a10: i64 = n0 + 11;
     14   let a11: i64 = n0 + 12;
     15   let a12: i64 = n0 + 13;
     16   let a13: i64 = n0 + 14;
     17   let a14: i64 = n0 + 15;
     18   let a15: i64 = n0 + 16;
     19   var s: i64 = 0;
     20   while n > 0 {
     21     s = s + a0 + a1 + a2 + a3 + a4 + a5 + a6 + a7 +
     22         a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15;
     23     n = n - 1;
     24   }
     25   return s;
     26 }
     27 
     28 fn __user_main(): i64 {
     29   return pressure(3);
     30 }
     31 
     32 fn main(): i32 { return __user_main() as i32; }