#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int const int64_t;
typedef int int32_t;

/* Variables and functions */
int64_t cosrk(int32_t lat) {
  static const int32_t cosrktab[901] = {
      8100,    8100,    8100,    8100,    8100,      8100,   8100,   8100,
      8100,    8100,    8101,    8101,    8101,      8102,   8102,   8102,
      8103,    8103,    8103,    8104,    8104,      8105,   8105,   8106,
      8107,    8107,    8108,    8109,    8109,      8110,   8111,   8111,
      8112,    8113,    8114,    8115,    8116,      8116,   8117,   8118,
      8119,    8120,    8121,    8122,    8123,      8125,   8126,   8127,
      8128,    8129,    8130,    8132,    8133,      8134,   8136,   8137,
      8138,    8140,    8141,    8143,    8144,      8146,   8147,   8149,
      8150,    8152,    8154,    8155,    8157,      8159,   8160,   8162,
      8164,    8166,    8168,    8169,    8171,      8173,   8175,   8177,
      8179,    8181,    8183,    8185,    8187,      8189,   8192,   8194,
      8196,    8198,    8200,    8203,    8205,      8207,   8210,   8212,
      8215,    8217,    8219,    8222,    8224,      8227,   8230,   8232,
      8235,    8237,    8240,    8243,    8246,      8248,   8251,   8254,
      8257,    8260,    8263,    8265,    8268,      8271,   8274,   8277,
      8280,    8284,    8287,    8290,    8293,      8296,   8299,   8303,
      8306,    8309,    8313,    8316,    8319,      8323,   8326,   8330,
      8333,    8337,    8340,    8344,    8347,      8351,   8355,   8358,
      8362,    8366,    8370,    8374,    8377,      8381,   8385,   8389,
      8393,    8397,    8401,    8405,    8409,      8413,   8418,   8422,
      8426,    8430,    8434,    8439,    8443,      8447,   8452,   8456,
      8461,    8465,    8470,    8474,    8479,      8483,   8488,   8493,
      8497,    8502,    8507,    8512,    8516,      8521,   8526,   8531,
      8536,    8541,    8546,    8551,    8556,      8561,   8566,   8571,
      8577,    8582,    8587,    8592,    8598,      8603,   8608,   8614,
      8619,    8625,    8630,    8636,    8642,      8647,   8653,   8658,
      8664,    8670,    8676,    8682,    8687,      8693,   8699,   8705,
      8711,    8717,    8723,    8729,    8736,      8742,   8748,   8754,
      8761,    8767,    8773,    8780,    8786,      8793,   8799,   8806,
      8812,    8819,    8825,    8832,    8839,      8846,   8852,   8859,
      8866,    8873,    8880,    8887,    8894,      8901,   8908,   8915,
      8922,    8930,    8937,    8944,    8951,      8959,   8966,   8974,
      8981,    8989,    8996,    9004,    9012,      9019,   9027,   9035,
      9043,    9050,    9058,    9066,    9074,      9082,   9090,   9098,
      9107,    9115,    9123,    9131,    9140,      9148,   9156,   9165,
      9173,    9182,    9190,    9199,    9208,      9216,   9225,   9234,
      9243,    9252,    9261,    9270,    9279,      9288,   9297,   9306,
      9315,    9325,    9334,    9343,    9353,      9362,   9372,   9381,
      9391,    9400,    9410,    9420,    9430,      9439,   9449,   9459,
      9469,    9479,    9489,    9499,    9510,      9520,   9530,   9540,
      9551,    9561,    9572,    9582,    9593,      9604,   9614,   9625,
      9636,    9647,    9658,    9669,    9680,      9691,   9702,   9713,
      9724,    9736,    9747,    9758,    9770,      9781,   9793,   9805,
      9816,    9828,    9840,    9852,    9864,      9876,   9888,   9900,
      9912,    9924,    9937,    9949,    9961,      9974,   9986,   9999,
      10012,   10024,   10037,   10050,   10063,     10076,  10089,  10102,
      10115,   10128,   10142,   10155,   10169,     10182,  10196,  10209,
      10223,   10237,   10251,   10265,   10279,     10293,  10307,  10321,
      10335,   10350,   10364,   10378,   10393,     10408,  10422,  10437,
      10452,   10467,   10482,   10497,   10512,     10527,  10542,  10558,
      10573,   10589,   10604,   10620,   10636,     10652,  10668,  10684,
      10700,   10716,   10732,   10748,   10765,     10781,  10798,  10815,
      10831,   10848,   10865,   10882,   10899,     10916,  10934,  10951,
      10968,   10986,   11003,   11021,   11039,     11057,  11075,  11093,
      11111,   11129,   11148,   11166,   11185,     11203,  11222,  11241,
      11260,   11279,   11298,   11317,   11337,     11356,  11375,  11395,
      11415,   11435,   11455,   11475,   11495,     11515,  11535,  11556,
      11576,   11597,   11618,   11639,   11660,     11681,  11702,  11724,
      11745,   11767,   11788,   11810,   11832,     11854,  11876,  11899,
      11921,   11944,   11966,   11989,   12012,     12035,  12058,  12081,
      12105,   12128,   12152,   12176,   12200,     12224,  12248,  12272,
      12297,   12321,   12346,   12371,   12396,     12421,  12446,  12472,
      12497,   12523,   12549,   12575,   12601,     12627,  12654,  12680,
      12707,   12734,   12761,   12788,   12815,     12843,  12871,  12898,
      12926,   12954,   12983,   13011,   13040,     13069,  13098,  13127,
      13156,   13186,   13215,   13245,   13275,     13305,  13336,  13366,
      13397,   13428,   13459,   13490,   13522,     13553,  13585,  13617,
      13649,   13682,   13714,   13747,   13780,     13813,  13847,  13880,
      13914,   13948,   13982,   14017,   14051,     14086,  14121,  14157,
      14192,   14228,   14264,   14300,   14337,     14373,  14410,  14447,
      14485,   14522,   14560,   14598,   14637,     14675,  14714,  14753,
      14792,   14832,   14872,   14912,   14952,     14993,  15034,  15075,
      15116,   15158,   15200,   15242,   15285,     15328,  15371,  15414,
      15458,   15502,   15546,   15591,   15636,     15681,  15726,  15772,
      15818,   15865,   15912,   15959,   16006,     16054,  16102,  16151,
      16200,   16249,   16298,   16348,   16398,     16449,  16500,  16551,
      16603,   16655,   16707,   16760,   16813,     16867,  16921,  16975,
      17030,   17085,   17141,   17197,   17253,     17310,  17367,  17425,
      17483,   17542,   17601,   17660,   17720,     17780,  17841,  17903,
      17964,   18027,   18090,   18153,   18217,     18281,  18346,  18411,
      18477,   18543,   18610,   18678,   18746,     18814,  18883,  18953,
      19023,   19094,   19166,   19238,   19310,     19384,  19458,  19532,
      19607,   19683,   19759,   19836,   19914,     19993,  20072,  20151,
      20232,   20313,   20395,   20478,   20561,     20645,  20730,  20815,
      20902,   20989,   21077,   21166,   21255,     21346,  21437,  21529,
      21622,   21716,   21811,   21906,   22003,     22100,  22199,  22298,
      22398,   22500,   22602,   22705,   22810,     22915,  23021,  23129,
      23237,   23347,   23457,   23569,   23682,     23796,  23912,  24028,
      24146,   24265,   24385,   24507,   24630,     24754,  24879,  25006,
      25134,   25264,   25395,   25527,   25661,     25796,  25933,  26072,
      26212,   26353,   26496,   26641,   26788,     26936,  27086,  27238,
      27391,   27547,   27704,   27863,   28024,     28187,  28352,  28519,
      28688,   28859,   29033,   29208,   29386,     29566,  29748,  29933,
      30120,   30310,   30502,   30696,   30893,     31093,  31295,  31501,
      31709,   31920,   32134,   32350,   32570,     32793,  33019,  33249,
      33481,   33717,   33957,   34200,   34447,     34697,  34951,  35209,
      35471,   35737,   36007,   36282,   36560,     36843,  37131,  37423,
      37720,   38022,   38329,   38641,   38958,     39281,  39609,  39943,
      40282,   40628,   40980,   41337,   41702,     42073,  42450,  42835,
      43227,   43626,   44033,   44447,   44870,     45301,  45740,  46188,
      46646,   47112,   47588,   48074,   48570,     49076,  49594,  50122,
      50662,   51214,   51778,   52355,   52946,     53549,  54167,  54800,
      55447,   56111,   56790,   57487,   58200,     58932,  59683,  60453,
      61244,   62056,   62890,   63747,   64627,     65533,  66464,  67423,
      68409,   69426,   70473,   71552,   72665,     73814,  75000,  76225,
      77490,   78799,   80153,   81554,   83006,     84510,  86071,  87690,
      89371,   91119,   92937,   94828,   96799,     98854,  100998, 103238,
      105580,  108030,  110598,  113290,  116118,    119090, 122220, 125518,
      129000,  132681,  136578,  140712,  145105,    149781, 154769, 160101,
      165814,  171950,  178559,  185697,  193429,    201834, 211004, 221047,
      232095,  244305,  257873,  273037,  290097,    309432, 331529, 357027,
      386774,  421931,  464119,  515683,  580138,    663010, 773507, 928203,
      1160248, 1546993, 2320483, 4640960, 2147483647};
  lat /= 1000000;
  if (lat < 0)
    lat = -lat;
  if (lat > 900)
    lat = 900;
  return cosrktab[lat];
}


x86 assembly (clang, -O0):
<cosrk>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    $0xf4240,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4(%rbp)
cmpl   $0x0,-0x4(%rbp)
jge    1127 <cosrk+0x27>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x4(%rbp)
cmpl   $0x384,-0x4(%rbp)
jle    113b <cosrk+0x3b>
movl   $0x384,-0x4(%rbp)
movslq -0x4(%rbp),%rcx
lea    0xeba(%rip),%rax
mov    (%rax,%rcx,4),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<cosrk>:
movslq %edi,%rax
imul   $0x431bde83,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
sar    $0x32,%rcx
add    %edx,%ecx
mov    %ecx,%edx
neg    %edx
cmp    $0xfff0bdc1,%eax
cmovge %ecx,%edx
cmp    $0x384,%edx
mov    $0x384,%eax
cmovl  %edx,%eax
cltq
lea    0xec6(%rip),%rcx
mov    (%rcx,%rax,4),%eax
ret

LLVM IR (-O0):
@cosrk.cosrktab = internal constant [901 x i32] [i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8101, i32 8101, i32 8101, i32 8102, i32 8102, i32 8102, i32 8103, i32 8103, i32 8103, i32 8104, i32 8104, i32 8105, i32 8105, i32 8106, i32 8107, i32 8107, i32 8108, i32 8109, i32 8109, i32 8110, i32 8111, i32 8111, i32 8112, i32 8113, i32 8114, i32 8115, i32 8116, i32 8116, i32 8117, i32 8118, i32 8119, i32 8120, i32 8121, i32 8122, i32 8123, i32 8125, i32 8126, i32 8127, i32 8128, i32 8129, i32 8130, i32 8132, i32 8133, i32 8134, i32 8136, i32 8137, i32 8138, i32 8140, i32 8141, i32 8143, i32 8144, i32 8146, i32 8147, i32 8149, i32 8150, i32 8152, i32 8154, i32 8155, i32 8157, i32 8159, i32 8160, i32 8162, i32 8164, i32 8166, i32 8168, i32 8169, i32 8171, i32 8173, i32 8175, i32 8177, i32 8179, i32 8181, i32 8183, i32 8185, i32 8187, i32 8189, i32 8192, i32 8194, i32 8196, i32 8198, i32 8200, i32 8203, i32 8205, i32 8207, i32 8210, i32 8212, i32 8215, i32 8217, i32 8219, i32 8222, i32 8224, i32 8227, i32 8230, i32 8232, i32 8235, i32 8237, i32 8240, i32 8243, i32 8246, i32 8248, i32 8251, i32 8254, i32 8257, i32 8260, i32 8263, i32 8265, i32 8268, i32 8271, i32 8274, i32 8277, i32 8280, i32 8284, i32 8287, i32 8290, i32 8293, i32 8296, i32 8299, i32 8303, i32 8306, i32 8309, i32 8313, i32 8316, i32 8319, i32 8323, i32 8326, i32 8330, i32 8333, i32 8337, i32 8340, i32 8344, i32 8347, i32 8351, i32 8355, i32 8358, i32 8362, i32 8366, i32 8370, i32 8374, i32 8377, i32 8381, i32 8385, i32 8389, i32 8393, i32 8397, i32 8401, i32 8405, i32 8409, i32 8413, i32 8418, i32 8422, i32 8426, i32 8430, i32 8434, i32 8439, i32 8443, i32 8447, i32 8452, i32 8456, i32 8461, i32 8465, i32 8470, i32 8474, i32 8479, i32 8483, i32 8488, i32 8493, i32 8497, i32 8502, i32 8507, i32 8512, i32 8516, i32 8521, i32 8526, i32 8531, i32 8536, i32 8541, i32 8546, i32 8551, i32 8556, i32 8561, i32 8566, i32 8571, i32 8577, i32 8582, i32 8587, i32 8592, i32 8598, i32 8603, i32 8608, i32 8614, i32 8619, i32 8625, i32 8630, i32 8636, i32 8642, i32 8647, i32 8653, i32 8658, i32 8664, i32 8670, i32 8676, i32 8682, i32 8687, i32 8693, i32 8699, i32 8705, i32 8711, i32 8717, i32 8723, i32 8729, i32 8736, i32 8742, i32 8748, i32 8754, i32 8761, i32 8767, i32 8773, i32 8780, i32 8786, i32 8793, i32 8799, i32 8806, i32 8812, i32 8819, i32 8825, i32 8832, i32 8839, i32 8846, i32 8852, i32 8859, i32 8866, i32 8873, i32 8880, i32 8887, i32 8894, i32 8901, i32 8908, i32 8915, i32 8922, i32 8930, i32 8937, i32 8944, i32 8951, i32 8959, i32 8966, i32 8974, i32 8981, i32 8989, i32 8996, i32 9004, i32 9012, i32 9019, i32 9027, i32 9035, i32 9043, i32 9050, i32 9058, i32 9066, i32 9074, i32 9082, i32 9090, i32 9098, i32 9107, i32 9115, i32 9123, i32 9131, i32 9140, i32 9148, i32 9156, i32 9165, i32 9173, i32 9182, i32 9190, i32 9199, i32 9208, i32 9216, i32 9225, i32 9234, i32 9243, i32 9252, i32 9261, i32 9270, i32 9279, i32 9288, i32 9297, i32 9306, i32 9315, i32 9325, i32 9334, i32 9343, i32 9353, i32 9362, i32 9372, i32 9381, i32 9391, i32 9400, i32 9410, i32 9420, i32 9430, i32 9439, i32 9449, i32 9459, i32 9469, i32 9479, i32 9489, i32 9499, i32 9510, i32 9520, i32 9530, i32 9540, i32 9551, i32 9561, i32 9572, i32 9582, i32 9593, i32 9604, i32 9614, i32 9625, i32 9636, i32 9647, i32 9658, i32 9669, i32 9680, i32 9691, i32 9702, i32 9713, i32 9724, i32 9736, i32 9747, i32 9758, i32 9770, i32 9781, i32 9793, i32 9805, i32 9816, i32 9828, i32 9840, i32 9852, i32 9864, i32 9876, i32 9888, i32 9900, i32 9912, i32 9924, i32 9937, i32 9949, i32 9961, i32 9974, i32 9986, i32 9999, i32 10012, i32 10024, i32 10037, i32 10050, i32 10063, i32 10076, i32 10089, i32 10102, i32 10115, i32 10128, i32 10142, i32 10155, i32 10169, i32 10182, i32 10196, i32 10209, i32 10223, i32 10237, i32 10251, i32 10265, i32 10279, i32 10293, i32 10307, i32 10321, i32 10335, i32 10350, i32 10364, i32 10378, i32 10393, i32 10408, i32 10422, i32 10437, i32 10452, i32 10467, i32 10482, i32 10497, i32 10512, i32 10527, i32 10542, i32 10558, i32 10573, i32 10589, i32 10604, i32 10620, i32 10636, i32 10652, i32 10668, i32 10684, i32 10700, i32 10716, i32 10732, i32 10748, i32 10765, i32 10781, i32 10798, i32 10815, i32 10831, i32 10848, i32 10865, i32 10882, i32 10899, i32 10916, i32 10934, i32 10951, i32 10968, i32 10986, i32 11003, i32 11021, i32 11039, i32 11057, i32 11075, i32 11093, i32 11111, i32 11129, i32 11148, i32 11166, i32 11185, i32 11203, i32 11222, i32 11241, i32 11260, i32 11279, i32 11298, i32 11317, i32 11337, i32 11356, i32 11375, i32 11395, i32 11415, i32 11435, i32 11455, i32 11475, i32 11495, i32 11515, i32 11535, i32 11556, i32 11576, i32 11597, i32 11618, i32 11639, i32 11660, i32 11681, i32 11702, i32 11724, i32 11745, i32 11767, i32 11788, i32 11810, i32 11832, i32 11854, i32 11876, i32 11899, i32 11921, i32 11944, i32 11966, i32 11989, i32 12012, i32 12035, i32 12058, i32 12081, i32 12105, i32 12128, i32 12152, i32 12176, i32 12200, i32 12224, i32 12248, i32 12272, i32 12297, i32 12321, i32 12346, i32 12371, i32 12396, i32 12421, i32 12446, i32 12472, i32 12497, i32 12523, i32 12549, i32 12575, i32 12601, i32 12627, i32 12654, i32 12680, i32 12707, i32 12734, i32 12761, i32 12788, i32 12815, i32 12843, i32 12871, i32 12898, i32 12926, i32 12954, i32 12983, i32 13011, i32 13040, i32 13069, i32 13098, i32 13127, i32 13156, i32 13186, i32 13215, i32 13245, i32 13275, i32 13305, i32 13336, i32 13366, i32 13397, i32 13428, i32 13459, i32 13490, i32 13522, i32 13553, i32 13585, i32 13617, i32 13649, i32 13682, i32 13714, i32 13747, i32 13780, i32 13813, i32 13847, i32 13880, i32 13914, i32 13948, i32 13982, i32 14017, i32 14051, i32 14086, i32 14121, i32 14157, i32 14192, i32 14228, i32 14264, i32 14300, i32 14337, i32 14373, i32 14410, i32 14447, i32 14485, i32 14522, i32 14560, i32 14598, i32 14637, i32 14675, i32 14714, i32 14753, i32 14792, i32 14832, i32 14872, i32 14912, i32 14952, i32 14993, i32 15034, i32 15075, i32 15116, i32 15158, i32 15200, i32 15242, i32 15285, i32 15328, i32 15371, i32 15414, i32 15458, i32 15502, i32 15546, i32 15591, i32 15636, i32 15681, i32 15726, i32 15772, i32 15818, i32 15865, i32 15912, i32 15959, i32 16006, i32 16054, i32 16102, i32 16151, i32 16200, i32 16249, i32 16298, i32 16348, i32 16398, i32 16449, i32 16500, i32 16551, i32 16603, i32 16655, i32 16707, i32 16760, i32 16813, i32 16867, i32 16921, i32 16975, i32 17030, i32 17085, i32 17141, i32 17197, i32 17253, i32 17310, i32 17367, i32 17425, i32 17483, i32 17542, i32 17601, i32 17660, i32 17720, i32 17780, i32 17841, i32 17903, i32 17964, i32 18027, i32 18090, i32 18153, i32 18217, i32 18281, i32 18346, i32 18411, i32 18477, i32 18543, i32 18610, i32 18678, i32 18746, i32 18814, i32 18883, i32 18953, i32 19023, i32 19094, i32 19166, i32 19238, i32 19310, i32 19384, i32 19458, i32 19532, i32 19607, i32 19683, i32 19759, i32 19836, i32 19914, i32 19993, i32 20072, i32 20151, i32 20232, i32 20313, i32 20395, i32 20478, i32 20561, i32 20645, i32 20730, i32 20815, i32 20902, i32 20989, i32 21077, i32 21166, i32 21255, i32 21346, i32 21437, i32 21529, i32 21622, i32 21716, i32 21811, i32 21906, i32 22003, i32 22100, i32 22199, i32 22298, i32 22398, i32 22500, i32 22602, i32 22705, i32 22810, i32 22915, i32 23021, i32 23129, i32 23237, i32 23347, i32 23457, i32 23569, i32 23682, i32 23796, i32 23912, i32 24028, i32 24146, i32 24265, i32 24385, i32 24507, i32 24630, i32 24754, i32 24879, i32 25006, i32 25134, i32 25264, i32 25395, i32 25527, i32 25661, i32 25796, i32 25933, i32 26072, i32 26212, i32 26353, i32 26496, i32 26641, i32 26788, i32 26936, i32 27086, i32 27238, i32 27391, i32 27547, i32 27704, i32 27863, i32 28024, i32 28187, i32 28352, i32 28519, i32 28688, i32 28859, i32 29033, i32 29208, i32 29386, i32 29566, i32 29748, i32 29933, i32 30120, i32 30310, i32 30502, i32 30696, i32 30893, i32 31093, i32 31295, i32 31501, i32 31709, i32 31920, i32 32134, i32 32350, i32 32570, i32 32793, i32 33019, i32 33249, i32 33481, i32 33717, i32 33957, i32 34200, i32 34447, i32 34697, i32 34951, i32 35209, i32 35471, i32 35737, i32 36007, i32 36282, i32 36560, i32 36843, i32 37131, i32 37423, i32 37720, i32 38022, i32 38329, i32 38641, i32 38958, i32 39281, i32 39609, i32 39943, i32 40282, i32 40628, i32 40980, i32 41337, i32 41702, i32 42073, i32 42450, i32 42835, i32 43227, i32 43626, i32 44033, i32 44447, i32 44870, i32 45301, i32 45740, i32 46188, i32 46646, i32 47112, i32 47588, i32 48074, i32 48570, i32 49076, i32 49594, i32 50122, i32 50662, i32 51214, i32 51778, i32 52355, i32 52946, i32 53549, i32 54167, i32 54800, i32 55447, i32 56111, i32 56790, i32 57487, i32 58200, i32 58932, i32 59683, i32 60453, i32 61244, i32 62056, i32 62890, i32 63747, i32 64627, i32 65533, i32 66464, i32 67423, i32 68409, i32 69426, i32 70473, i32 71552, i32 72665, i32 73814, i32 75000, i32 76225, i32 77490, i32 78799, i32 80153, i32 81554, i32 83006, i32 84510, i32 86071, i32 87690, i32 89371, i32 91119, i32 92937, i32 94828, i32 96799, i32 98854, i32 100998, i32 103238, i32 105580, i32 108030, i32 110598, i32 113290, i32 116118, i32 119090, i32 122220, i32 125518, i32 129000, i32 132681, i32 136578, i32 140712, i32 145105, i32 149781, i32 154769, i32 160101, i32 165814, i32 171950, i32 178559, i32 185697, i32 193429, i32 201834, i32 211004, i32 221047, i32 232095, i32 244305, i32 257873, i32 273037, i32 290097, i32 309432, i32 331529, i32 357027, i32 386774, i32 421931, i32 464119, i32 515683, i32 580138, i32 663010, i32 773507, i32 928203, i32 1160248, i32 1546993, i32 2320483, i32 4640960, i32 2147483647]
define i32 @cosrk(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = sdiv i32 %3, 1000000
store i32 %4, i32* %2
%5 = load i32, i32* %2
%6 = icmp slt i32 %5, 0
br i1 %6, label %7, label %10
7: ; preds = %1
%8 = load i32, i32* %2
%9 = sub nsw i32 0, %8
store i32 %9, i32* %2
br label %10
10: ; preds = %7, %1
%11 = load i32, i32* %2
%12 = icmp sgt i32 %11, 900
br i1 %12, label %13, label %14
13: ; preds = %10
store i32 900, i32* %2
br label %14
14: ; preds = %13, %10
%15 = load i32, i32* %2
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [901 x i32], [901 x i32]* @cosrk.cosrktab, i64 0, i64 %16
%18 = load i32, i32* %17
ret i32 %18
}

LLVM IR (-O2):
@cosrk.cosrktab = internal unnamed_addr constant [901 x i32] [i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8100, i32 8101, i32 8101, i32 8101, i32 8102, i32 8102, i32 8102, i32 8103, i32 8103, i32 8103, i32 8104, i32 8104, i32 8105, i32 8105, i32 8106, i32 8107, i32 8107, i32 8108, i32 8109, i32 8109, i32 8110, i32 8111, i32 8111, i32 8112, i32 8113, i32 8114, i32 8115, i32 8116, i32 8116, i32 8117, i32 8118, i32 8119, i32 8120, i32 8121, i32 8122, i32 8123, i32 8125, i32 8126, i32 8127, i32 8128, i32 8129, i32 8130, i32 8132, i32 8133, i32 8134, i32 8136, i32 8137, i32 8138, i32 8140, i32 8141, i32 8143, i32 8144, i32 8146, i32 8147, i32 8149, i32 8150, i32 8152, i32 8154, i32 8155, i32 8157, i32 8159, i32 8160, i32 8162, i32 8164, i32 8166, i32 8168, i32 8169, i32 8171, i32 8173, i32 8175, i32 8177, i32 8179, i32 8181, i32 8183, i32 8185, i32 8187, i32 8189, i32 8192, i32 8194, i32 8196, i32 8198, i32 8200, i32 8203, i32 8205, i32 8207, i32 8210, i32 8212, i32 8215, i32 8217, i32 8219, i32 8222, i32 8224, i32 8227, i32 8230, i32 8232, i32 8235, i32 8237, i32 8240, i32 8243, i32 8246, i32 8248, i32 8251, i32 8254, i32 8257, i32 8260, i32 8263, i32 8265, i32 8268, i32 8271, i32 8274, i32 8277, i32 8280, i32 8284, i32 8287, i32 8290, i32 8293, i32 8296, i32 8299, i32 8303, i32 8306, i32 8309, i32 8313, i32 8316, i32 8319, i32 8323, i32 8326, i32 8330, i32 8333, i32 8337, i32 8340, i32 8344, i32 8347, i32 8351, i32 8355, i32 8358, i32 8362, i32 8366, i32 8370, i32 8374, i32 8377, i32 8381, i32 8385, i32 8389, i32 8393, i32 8397, i32 8401, i32 8405, i32 8409, i32 8413, i32 8418, i32 8422, i32 8426, i32 8430, i32 8434, i32 8439, i32 8443, i32 8447, i32 8452, i32 8456, i32 8461, i32 8465, i32 8470, i32 8474, i32 8479, i32 8483, i32 8488, i32 8493, i32 8497, i32 8502, i32 8507, i32 8512, i32 8516, i32 8521, i32 8526, i32 8531, i32 8536, i32 8541, i32 8546, i32 8551, i32 8556, i32 8561, i32 8566, i32 8571, i32 8577, i32 8582, i32 8587, i32 8592, i32 8598, i32 8603, i32 8608, i32 8614, i32 8619, i32 8625, i32 8630, i32 8636, i32 8642, i32 8647, i32 8653, i32 8658, i32 8664, i32 8670, i32 8676, i32 8682, i32 8687, i32 8693, i32 8699, i32 8705, i32 8711, i32 8717, i32 8723, i32 8729, i32 8736, i32 8742, i32 8748, i32 8754, i32 8761, i32 8767, i32 8773, i32 8780, i32 8786, i32 8793, i32 8799, i32 8806, i32 8812, i32 8819, i32 8825, i32 8832, i32 8839, i32 8846, i32 8852, i32 8859, i32 8866, i32 8873, i32 8880, i32 8887, i32 8894, i32 8901, i32 8908, i32 8915, i32 8922, i32 8930, i32 8937, i32 8944, i32 8951, i32 8959, i32 8966, i32 8974, i32 8981, i32 8989, i32 8996, i32 9004, i32 9012, i32 9019, i32 9027, i32 9035, i32 9043, i32 9050, i32 9058, i32 9066, i32 9074, i32 9082, i32 9090, i32 9098, i32 9107, i32 9115, i32 9123, i32 9131, i32 9140, i32 9148, i32 9156, i32 9165, i32 9173, i32 9182, i32 9190, i32 9199, i32 9208, i32 9216, i32 9225, i32 9234, i32 9243, i32 9252, i32 9261, i32 9270, i32 9279, i32 9288, i32 9297, i32 9306, i32 9315, i32 9325, i32 9334, i32 9343, i32 9353, i32 9362, i32 9372, i32 9381, i32 9391, i32 9400, i32 9410, i32 9420, i32 9430, i32 9439, i32 9449, i32 9459, i32 9469, i32 9479, i32 9489, i32 9499, i32 9510, i32 9520, i32 9530, i32 9540, i32 9551, i32 9561, i32 9572, i32 9582, i32 9593, i32 9604, i32 9614, i32 9625, i32 9636, i32 9647, i32 9658, i32 9669, i32 9680, i32 9691, i32 9702, i32 9713, i32 9724, i32 9736, i32 9747, i32 9758, i32 9770, i32 9781, i32 9793, i32 9805, i32 9816, i32 9828, i32 9840, i32 9852, i32 9864, i32 9876, i32 9888, i32 9900, i32 9912, i32 9924, i32 9937, i32 9949, i32 9961, i32 9974, i32 9986, i32 9999, i32 10012, i32 10024, i32 10037, i32 10050, i32 10063, i32 10076, i32 10089, i32 10102, i32 10115, i32 10128, i32 10142, i32 10155, i32 10169, i32 10182, i32 10196, i32 10209, i32 10223, i32 10237, i32 10251, i32 10265, i32 10279, i32 10293, i32 10307, i32 10321, i32 10335, i32 10350, i32 10364, i32 10378, i32 10393, i32 10408, i32 10422, i32 10437, i32 10452, i32 10467, i32 10482, i32 10497, i32 10512, i32 10527, i32 10542, i32 10558, i32 10573, i32 10589, i32 10604, i32 10620, i32 10636, i32 10652, i32 10668, i32 10684, i32 10700, i32 10716, i32 10732, i32 10748, i32 10765, i32 10781, i32 10798, i32 10815, i32 10831, i32 10848, i32 10865, i32 10882, i32 10899, i32 10916, i32 10934, i32 10951, i32 10968, i32 10986, i32 11003, i32 11021, i32 11039, i32 11057, i32 11075, i32 11093, i32 11111, i32 11129, i32 11148, i32 11166, i32 11185, i32 11203, i32 11222, i32 11241, i32 11260, i32 11279, i32 11298, i32 11317, i32 11337, i32 11356, i32 11375, i32 11395, i32 11415, i32 11435, i32 11455, i32 11475, i32 11495, i32 11515, i32 11535, i32 11556, i32 11576, i32 11597, i32 11618, i32 11639, i32 11660, i32 11681, i32 11702, i32 11724, i32 11745, i32 11767, i32 11788, i32 11810, i32 11832, i32 11854, i32 11876, i32 11899, i32 11921, i32 11944, i32 11966, i32 11989, i32 12012, i32 12035, i32 12058, i32 12081, i32 12105, i32 12128, i32 12152, i32 12176, i32 12200, i32 12224, i32 12248, i32 12272, i32 12297, i32 12321, i32 12346, i32 12371, i32 12396, i32 12421, i32 12446, i32 12472, i32 12497, i32 12523, i32 12549, i32 12575, i32 12601, i32 12627, i32 12654, i32 12680, i32 12707, i32 12734, i32 12761, i32 12788, i32 12815, i32 12843, i32 12871, i32 12898, i32 12926, i32 12954, i32 12983, i32 13011, i32 13040, i32 13069, i32 13098, i32 13127, i32 13156, i32 13186, i32 13215, i32 13245, i32 13275, i32 13305, i32 13336, i32 13366, i32 13397, i32 13428, i32 13459, i32 13490, i32 13522, i32 13553, i32 13585, i32 13617, i32 13649, i32 13682, i32 13714, i32 13747, i32 13780, i32 13813, i32 13847, i32 13880, i32 13914, i32 13948, i32 13982, i32 14017, i32 14051, i32 14086, i32 14121, i32 14157, i32 14192, i32 14228, i32 14264, i32 14300, i32 14337, i32 14373, i32 14410, i32 14447, i32 14485, i32 14522, i32 14560, i32 14598, i32 14637, i32 14675, i32 14714, i32 14753, i32 14792, i32 14832, i32 14872, i32 14912, i32 14952, i32 14993, i32 15034, i32 15075, i32 15116, i32 15158, i32 15200, i32 15242, i32 15285, i32 15328, i32 15371, i32 15414, i32 15458, i32 15502, i32 15546, i32 15591, i32 15636, i32 15681, i32 15726, i32 15772, i32 15818, i32 15865, i32 15912, i32 15959, i32 16006, i32 16054, i32 16102, i32 16151, i32 16200, i32 16249, i32 16298, i32 16348, i32 16398, i32 16449, i32 16500, i32 16551, i32 16603, i32 16655, i32 16707, i32 16760, i32 16813, i32 16867, i32 16921, i32 16975, i32 17030, i32 17085, i32 17141, i32 17197, i32 17253, i32 17310, i32 17367, i32 17425, i32 17483, i32 17542, i32 17601, i32 17660, i32 17720, i32 17780, i32 17841, i32 17903, i32 17964, i32 18027, i32 18090, i32 18153, i32 18217, i32 18281, i32 18346, i32 18411, i32 18477, i32 18543, i32 18610, i32 18678, i32 18746, i32 18814, i32 18883, i32 18953, i32 19023, i32 19094, i32 19166, i32 19238, i32 19310, i32 19384, i32 19458, i32 19532, i32 19607, i32 19683, i32 19759, i32 19836, i32 19914, i32 19993, i32 20072, i32 20151, i32 20232, i32 20313, i32 20395, i32 20478, i32 20561, i32 20645, i32 20730, i32 20815, i32 20902, i32 20989, i32 21077, i32 21166, i32 21255, i32 21346, i32 21437, i32 21529, i32 21622, i32 21716, i32 21811, i32 21906, i32 22003, i32 22100, i32 22199, i32 22298, i32 22398, i32 22500, i32 22602, i32 22705, i32 22810, i32 22915, i32 23021, i32 23129, i32 23237, i32 23347, i32 23457, i32 23569, i32 23682, i32 23796, i32 23912, i32 24028, i32 24146, i32 24265, i32 24385, i32 24507, i32 24630, i32 24754, i32 24879, i32 25006, i32 25134, i32 25264, i32 25395, i32 25527, i32 25661, i32 25796, i32 25933, i32 26072, i32 26212, i32 26353, i32 26496, i32 26641, i32 26788, i32 26936, i32 27086, i32 27238, i32 27391, i32 27547, i32 27704, i32 27863, i32 28024, i32 28187, i32 28352, i32 28519, i32 28688, i32 28859, i32 29033, i32 29208, i32 29386, i32 29566, i32 29748, i32 29933, i32 30120, i32 30310, i32 30502, i32 30696, i32 30893, i32 31093, i32 31295, i32 31501, i32 31709, i32 31920, i32 32134, i32 32350, i32 32570, i32 32793, i32 33019, i32 33249, i32 33481, i32 33717, i32 33957, i32 34200, i32 34447, i32 34697, i32 34951, i32 35209, i32 35471, i32 35737, i32 36007, i32 36282, i32 36560, i32 36843, i32 37131, i32 37423, i32 37720, i32 38022, i32 38329, i32 38641, i32 38958, i32 39281, i32 39609, i32 39943, i32 40282, i32 40628, i32 40980, i32 41337, i32 41702, i32 42073, i32 42450, i32 42835, i32 43227, i32 43626, i32 44033, i32 44447, i32 44870, i32 45301, i32 45740, i32 46188, i32 46646, i32 47112, i32 47588, i32 48074, i32 48570, i32 49076, i32 49594, i32 50122, i32 50662, i32 51214, i32 51778, i32 52355, i32 52946, i32 53549, i32 54167, i32 54800, i32 55447, i32 56111, i32 56790, i32 57487, i32 58200, i32 58932, i32 59683, i32 60453, i32 61244, i32 62056, i32 62890, i32 63747, i32 64627, i32 65533, i32 66464, i32 67423, i32 68409, i32 69426, i32 70473, i32 71552, i32 72665, i32 73814, i32 75000, i32 76225, i32 77490, i32 78799, i32 80153, i32 81554, i32 83006, i32 84510, i32 86071, i32 87690, i32 89371, i32 91119, i32 92937, i32 94828, i32 96799, i32 98854, i32 100998, i32 103238, i32 105580, i32 108030, i32 110598, i32 113290, i32 116118, i32 119090, i32 122220, i32 125518, i32 129000, i32 132681, i32 136578, i32 140712, i32 145105, i32 149781, i32 154769, i32 160101, i32 165814, i32 171950, i32 178559, i32 185697, i32 193429, i32 201834, i32 211004, i32 221047, i32 232095, i32 244305, i32 257873, i32 273037, i32 290097, i32 309432, i32 331529, i32 357027, i32 386774, i32 421931, i32 464119, i32 515683, i32 580138, i32 663010, i32 773507, i32 928203, i32 1160248, i32 1546993, i32 2320483, i32 4640960, i32 2147483647]
define i32 @cosrk(i32 %0) {
%2 = sdiv i32 %0, 1000000
%3 = icmp slt i32 %0, -999999
%4 = sub nsw i32 0, %2
%5 = select i1 %3, i32 %4, i32 %2
%6 = icmp slt i32 %5, 900
%7 = select i1 %6, i32 %5, i32 900
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds [901 x i32], [901 x i32]* @cosrk.cosrktab, i64 0, i64 %8
%10 = load i32, i32* %9
ret i32 %10
}