ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity
642ad32e99
leo/tests/compiler/additional_benches/big_if_else.leo

394 lines
9.1 KiB
Plaintext
Raw Blame History

/*
namespace: Bench
expectation: Skip
*/
function main() -> u8 {
const x: u8 = 191;
if x == 0 {
return x;
} else if x == 1 {
return x - 1;
} else if x == 2 {
return x - 2;
} else if x == 3 {
return x - 3;
} else if x == 4 {
return x - 4;
} else if x == 5 {
return x - 5;
} else if x == 6 {
return x - 6;
} else if x == 7 {
return x - 7;
} else if x == 8 {
return x - 8;
} else if x == 9 {
return x - 9;
} else if x == 10 {
return x - 10;
} else if x == 11 {
return x - 11;
} else if x == 12 {
return x - 12;
} else if x == 13 {
return x - 13;
} else if x == 14 {
return x - 14;
} else if x == 15 {
return x - 15;
} else if x == 16 {
return x - 16;
} else if x == 17 {
return x - 17;
} else if x == 18 {
return x - 18;
} else if x == 19 {
return x - 19;
} else if x == 20 {
return x - 20;
} else if x == 21 {
return x - 21;
} else if x == 22 {
return x - 22;
} else if x == 23 {
return x - 23;
} else if x == 24 {
return x - 24;
} else if x == 25 {
return x - 25;
} else if x == 26 {
return x - 26;
} else if x == 27 {
return x - 27;
} else if x == 28 {
return x - 28;
} else if x == 29 {
return x - 29;
} else if x == 30 {
return x - 30;
} else if x == 31 {
return x - 31;
} else if x == 32 {
return x - 32;
} else if x == 33 {
return x - 33;
} else if x == 34 {
return x - 34;
} else if x == 35 {
return x - 35;
} else if x == 36 {
return x - 36;
} else if x == 37 {
return x - 37;
} else if x == 38 {
return x - 38;
} else if x == 39 {
return x - 39;
} else if x == 40 {
return x - 40;
} else if x == 41 {
return x - 41;
} else if x == 42 {
return x - 42;
} else if x == 43 {
return x - 43;
} else if x == 44 {
return x - 44;
} else if x == 45 {
return x - 45;
} else if x == 46 {
return x - 46;
} else if x == 47 {
return x - 47;
} else if x == 48 {
return x - 48;
} else if x == 49 {
return x - 49;
} else if x == 50 {
return x - 50;
} else if x == 51 {
return x - 51;
} else if x == 52 {
return x - 52;
} else if x == 53 {
return x - 53;
} else if x == 54 {
return x - 54;
} else if x == 55 {
return x - 55;
} else if x == 56 {
return x - 56;
} else if x == 57 {
return x - 57;
} else if x == 58 {
return x - 58;
} else if x == 59 {
return x - 59;
} else if x == 60 {
return x - 60;
} else if x == 61 {
return x - 61;
} else if x == 62 {
return x - 62;
} else if x == 63 {
return x - 63;
} else if x == 64 {
return x - 64;
} else if x == 65 {
return x - 65;
} else if x == 66 {
return x - 66;
} else if x == 67 {
return x - 67;
} else if x == 68 {
return x - 68;
} else if x == 69 {
return x - 69;
} else if x == 70 {
return x - 70;
} else if x == 71 {
return x - 71;
} else if x == 72 {
return x - 72;
} else if x == 73 {
return x - 73;
} else if x == 74 {
return x - 74;
} else if x == 75 {
return x - 75;
} else if x == 76 {
return x - 76;
} else if x == 77 {
return x - 77;
} else if x == 78 {
return x - 78;
} else if x == 79 {
return x - 79;
} else if x == 80 {
return x - 80;
} else if x == 81 {
return x - 81;
} else if x == 82 {
return x - 82;
} else if x == 83 {
return x - 83;
} else if x == 84 {
return x - 84;
} else if x == 85 {
return x - 85;
} else if x == 86 {
return x - 86;
} else if x == 87 {
return x - 87;
} else if x == 88 {
return x - 88;
} else if x == 89 {
return x - 89;
} else if x == 90 {
return x - 90;
} else if x == 91 {
return x - 91;
} else if x == 92 {
return x - 92;
} else if x == 93 {
return x - 93;
} else if x == 94 {
return x - 94;
} else if x == 95 {
return x - 95;
} else if x == 96 {
return x - 96;
} else if x == 97 {
return x - 97;
} else if x == 98 {
return x - 98;
} else if x == 99 {
return x - 99;
} else if x == 100 {
return x - 100;
} else if x == 101 {
return x - 101;
} else if x == 102 {
return x - 102;
} else if x == 103 {
return x - 103;
} else if x == 104 {
return x - 104;
} else if x == 105 {
return x - 105;
} else if x == 106 {
return x - 106;
} else if x == 107 {
return x - 107;
} else if x == 108 {
return x - 108;
} else if x == 109 {
return x - 109;
} else if x == 110 {
return x - 110;
} else if x == 111 {
return x - 111;
} else if x == 112 {
return x - 112;
} else if x == 113 {
return x - 113;
} else if x == 114 {
return x - 114;
} else if x == 115 {
return x - 115;
} else if x == 116 {
return x - 116;
} else if x == 117 {
return x - 117;
} else if x == 118 {
return x - 118;
} else if x == 119 {
return x - 119;
} else if x == 120 {
return x - 120;
} else if x == 121 {
return x - 121;
} else if x == 122 {
return x - 122;
} else if x == 123 {
return x - 123;
} else if x == 124 {
return x - 124;
} else if x == 125 {
return x - 125;
} else if x == 126 {
return x - 126;
} else if x == 127 {
return x - 127;
} else if x == 128 {
return x - 128;
} else if x == 129 {
return x - 129;
} else if x == 130 {
return x - 130;
} else if x == 131 {
return x - 131;
} else if x == 132 {
return x - 132;
} else if x == 133 {
return x - 133;
} else if x == 134 {
return x - 134;
} else if x == 135 {
return x - 135;
} else if x == 136 {
return x - 136;
} else if x == 137 {
return x - 137;
} else if x == 138 {
return x - 138;
} else if x == 139 {
return x - 139;
} else if x == 140 {
return x - 140;
} else if x == 141 {
return x - 141;
} else if x == 142 {
return x - 142;
} else if x == 143 {
return x - 143;
} else if x == 144 {
return x - 144;
} else if x == 145 {
return x - 145;
} else if x == 146 {
return x - 146;
} else if x == 147 {
return x - 147;
} else if x == 148 {
return x - 148;
} else if x == 149 {
return x - 149;
} else if x == 150 {
return x - 150;
} else if x == 151 {
return x - 151;
} else if x == 152 {
return x - 152;
} else if x == 153 {
return x - 153;
} else if x == 154 {
return x - 154;
} else if x == 155 {
return x - 155;
} else if x == 156 {
return x - 156;
} else if x == 157 {
return x - 157;
} else if x == 158 {
return x - 158;
} else if x == 159 {
return x - 159;
} else if x == 160 {
return x - 160;
} else if x == 161 {
return x - 161;
} else if x == 162 {
return x - 162;
} else if x == 163 {
return x - 163;
} else if x == 164 {
return x - 164;
} else if x == 165 {
return x - 165;
} else if x == 166 {
return x - 166;
} else if x == 167 {
return x - 167;
} else if x == 168 {
return x - 168;
} else if x == 169 {
return x - 169;
} else if x == 170 {
return x - 170;
} else if x == 171 {
return x - 171;
} else if x == 172 {
return x - 172;
} else if x == 173 {
return x - 173;
} else if x == 174 {
return x - 174;
} else if x == 175 {
return x - 175;
} else if x == 176 {
return x - 176;
} else if x == 177 {
return x - 177;
} else if x == 178 {
return x - 178;
} else if x == 179 {
return x - 179;
} else if x == 180 {
return x - 180;
} else if x == 181 {
return x - 181;
} else if x == 182 {
return x - 182;
} else if x == 183 {
return x - 183;
} else if x == 184 {
return x - 184;
} else if x == 185 {
return x - 185;
} else if x == 186 {
return x - 186;
} else if x == 187 {
return x - 187;
} else if x == 188 {
return x - 188;
} else if x == 189 {
return x - 189;
} else if x == 190 {
return x - 190;
} else if x == 191 {
return x - 191;
}
}
Reference in New Issue View Git Blame Copy Permalink