double get_rcov(int z) {
  double rcov;
  if (z == 1)
    rcov = 0.37;
  else if (z == 2)
    rcov = 0.32;
  else if (z == 3)
    rcov = 1.34;
  else if (z == 4)
    rcov = 0.90;
  else if (z == 5)
    rcov = 0.82;
  else if (z == 6)
    rcov = 0.77;
  else if (z == 7)
    rcov = 0.75;
  else if (z == 8)
    rcov = 0.73;
  else if (z == 9)
    rcov = 0.71;
  else if (z == 10)
    rcov = 0.69;
  else if (z == 11)
    rcov = 1.54;
  else if (z == 12)
    rcov = 1.30;
  else if (z == 13)
    rcov = 1.18;
  else if (z == 14)
    rcov = 1.11;
  else if (z == 15)
    rcov = 1.06;
  else if (z == 16)
    rcov = 1.02;
  else if (z == 17)
    rcov = 0.99;
  else if (z == 18)
    rcov = 0.97;
  else if (z == 19)
    rcov = 1.96;
  else if (z == 20)
    rcov = 1.74;
  else if (z == 21)
    rcov = 1.44;
  else if (z == 22)
    rcov = 1.36;
  else if (z == 23)
    rcov = 1.25;
  else if (z == 24)
    rcov = 1.27;
  else if (z == 25)
    rcov = 1.39;
  else if (z == 26)
    rcov = 1.25;
  else if (z == 27)
    rcov = 1.26;
  else if (z == 28)
    rcov = 1.21;
  else if (z == 29)
    rcov = 1.38;
  else if (z == 30)
    rcov = 1.31;
  else if (z == 31)
    rcov = 1.26;
  else if (z == 32)
    rcov = 1.22;
  else if (z == 33)
    rcov = 1.19;
  else if (z == 34)
    rcov = 1.16;
  else if (z == 35)
    rcov = 1.14;
  else if (z == 36)
    rcov = 1.10;
  else if (z == 37)
    rcov = 2.11;
  else if (z == 38)
    rcov = 1.92;
  else if (z == 39)
    rcov = 1.62;
  else if (z == 40)
    rcov = 1.48;
  else if (z == 41)
    rcov = 1.37;
  else if (z == 42)
    rcov = 1.45;
  else if (z == 43)
    rcov = 1.56;
  else if (z == 44)
    rcov = 1.26;
  else if (z == 45)
    rcov = 1.35;
  else if (z == 46)
    rcov = 1.31;
  else if (z == 47)
    rcov = 1.53;
  else if (z == 48)
    rcov = 1.48;
  else if (z == 49)
    rcov = 1.44;
  else if (z == 50)
    rcov = 1.41;
  else if (z == 51)
    rcov = 1.38;
  else if (z == 52)
    rcov = 1.35;
  else if (z == 53)
    rcov = 1.33;
  else if (z == 54)
    rcov = 1.30;
  else if (z == 55)
    rcov = 2.25;
  else if (z == 56)
    rcov = 1.98;
  else if (z == 57)
    rcov = 1.80;
  else if (z == 58)
    rcov = 1.63;
  else if (z == 59)
    rcov = 1.76;
  else if (z == 60)
    rcov = 1.74;
  else if (z == 61)
    rcov = 1.73;
  else if (z == 62)
    rcov = 1.72;
  else if (z == 63)
    rcov = 1.68;
  else if (z == 64)
    rcov = 1.69;
  else if (z == 56)
    rcov = 1.68;
  else if (z == 66)
    rcov = 1.67;
  else if (z == 67)
    rcov = 1.66;
  else if (z == 68)
    rcov = 1.65;
  else if (z == 69)
    rcov = 1.64;
  else if (z == 70)
    rcov = 1.70;
  else if (z == 71)
    rcov = 1.60;
  else if (z == 72)
    rcov = 1.50;
  else if (z == 73)
    rcov = 1.38;
  else if (z == 74)
    rcov = 1.46;
  else if (z == 75)
    rcov = 1.59;
  else if (z == 76)
    rcov = 1.28;
  else if (z == 77)
    rcov = 1.37;
  else if (z == 78)
    rcov = 1.28;
  else if (z == 79)
    rcov = 1.44;
  else if (z == 80)
    rcov = 1.49;
  else if (z == 81)
    rcov = 1.48;
  else if (z == 82)
    rcov = 1.47;
  else if (z == 83)
    rcov = 1.46;
  else if (z == 84)
    rcov = 1.45;
  else if (z == 85)
    rcov = 1.47;
  else if (z == 86)
    rcov = 1.42;
  else if (z == 87)
    rcov = 2.23;
  else if (z == 88)
    rcov = 2.01;
  else if (z == 89)
    rcov = 1.86;
  else if (z == 90)
    rcov = 1.75;
  else if (z == 91)
    rcov = 1.69;
  else if (z == 92)
    rcov = 1.70;
  else if (z == 93)
    rcov = 1.71;
  else if (z == 94)
    rcov = 1.72;
  else if (z == 95)
    rcov = 1.66;
  else if (z == 96)
    rcov = 1.66;
  else if (z == 97)
    rcov = 1.68;
  else if (z == 98)
    rcov = 1.68;
  else if (z == 99)
    rcov = 1.65;
  else if (z == 100)
    rcov = 1.67;
  else if (z == 101)
    rcov = 1.73;
  else if (z == 102)
    rcov = 1.76;
  else if (z == 103)
    rcov = 1.61;
  else if (z == 104)
    rcov = 1.57;
  else if (z == 105)
    rcov = 1.49;
  else if (z == 106)
    rcov = 1.43;
  else if (z == 107)
    rcov = 1.41;
  else if (z == 108)
    rcov = 1.34;
  else if (z == 109)
    rcov = 1.29;
  else if (z == 110)
    rcov = 1.28;
  else if (z == 111)
    rcov = 1.21;
  else if (z == 112)
    rcov = 1.22;
  else
    rcov = 1.0;
  return rcov / 0.52917720859;
}


x86 assembly (clang, -O0):
<get_rcov>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
cmpl   $0x1,-0x4(%rbp)
jne    1123 <get_rcov+0x23>
movsd  0x1147(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f7f <get_rcov+0xe7f>
cmpl   $0x2,-0x4(%rbp)
jne    113f <get_rcov+0x3f>
movsd  0x1123(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f7a <get_rcov+0xe7a>
cmpl   $0x3,-0x4(%rbp)
jne    115b <get_rcov+0x5b>
movsd  0xed7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f75 <get_rcov+0xe75>
cmpl   $0x4,-0x4(%rbp)
jne    1177 <get_rcov+0x77>
movsd  0x10e3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f70 <get_rcov+0xe70>
cmpl   $0x5,-0x4(%rbp)
jne    1193 <get_rcov+0x93>
movsd  0x10bf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f6b <get_rcov+0xe6b>
cmpl   $0x6,-0x4(%rbp)
jne    11af <get_rcov+0xaf>
movsd  0x109b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f66 <get_rcov+0xe66>
cmpl   $0x7,-0x4(%rbp)
jne    11cb <get_rcov+0xcb>
movsd  0x1077(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f61 <get_rcov+0xe61>
cmpl   $0x8,-0x4(%rbp)
jne    11e7 <get_rcov+0xe7>
movsd  0x1053(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f5c <get_rcov+0xe5c>
cmpl   $0x9,-0x4(%rbp)
jne    1203 <get_rcov+0x103>
movsd  0x102f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f57 <get_rcov+0xe57>
cmpl   $0xa,-0x4(%rbp)
jne    121f <get_rcov+0x11f>
movsd  0x100b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f52 <get_rcov+0xe52>
cmpl   $0xb,-0x4(%rbp)
jne    123b <get_rcov+0x13b>
movsd  0xfe7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f4d <get_rcov+0xe4d>
cmpl   $0xc,-0x4(%rbp)
jne    1257 <get_rcov+0x157>
movsd  0xf03(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f48 <get_rcov+0xe48>
cmpl   $0xd,-0x4(%rbp)
jne    1273 <get_rcov+0x173>
movsd  0xfa7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f43 <get_rcov+0xe43>
cmpl   $0xe,-0x4(%rbp)
jne    128f <get_rcov+0x18f>
movsd  0xf83(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f3e <get_rcov+0xe3e>
cmpl   $0xf,-0x4(%rbp)
jne    12ab <get_rcov+0x1ab>
movsd  0xf5f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f39 <get_rcov+0xe39>
cmpl   $0x10,-0x4(%rbp)
jne    12c7 <get_rcov+0x1c7>
movsd  0xf3b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f34 <get_rcov+0xe34>
cmpl   $0x11,-0x4(%rbp)
jne    12e3 <get_rcov+0x1e3>
movsd  0xf17(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f2f <get_rcov+0xe2f>
cmpl   $0x12,-0x4(%rbp)
jne    12ff <get_rcov+0x1ff>
movsd  0xef3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f2a <get_rcov+0xe2a>
cmpl   $0x13,-0x4(%rbp)
jne    131b <get_rcov+0x21b>
movsd  0xecf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f25 <get_rcov+0xe25>
cmpl   $0x14,-0x4(%rbp)
jne    1337 <get_rcov+0x237>
movsd  0xdfb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f20 <get_rcov+0xe20>
cmpl   $0x15,-0x4(%rbp)
jne    1353 <get_rcov+0x253>
movsd  0xda7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f1b <get_rcov+0xe1b>
cmpl   $0x16,-0x4(%rbp)
jne    136f <get_rcov+0x26f>
movsd  0xe73(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f16 <get_rcov+0xe16>
cmpl   $0x17,-0x4(%rbp)
jne    138b <get_rcov+0x28b>
movsd  0xe3f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f11 <get_rcov+0xe11>
cmpl   $0x18,-0x4(%rbp)
jne    13a7 <get_rcov+0x2a7>
movsd  0xe33(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f0c <get_rcov+0xe0c>
cmpl   $0x19,-0x4(%rbp)
jne    13c3 <get_rcov+0x2c3>
movsd  0xe0f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f07 <get_rcov+0xe07>
cmpl   $0x1a,-0x4(%rbp)
jne    13df <get_rcov+0x2df>
movsd  0xdeb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1f02 <get_rcov+0xe02>
cmpl   $0x1b,-0x4(%rbp)
jne    13fb <get_rcov+0x2fb>
movsd  0xd87(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1efd <get_rcov+0xdfd>
cmpl   $0x1c,-0x4(%rbp)
jne    1417 <get_rcov+0x317>
movsd  0xc03(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ef8 <get_rcov+0xdf8>
cmpl   $0x1d,-0x4(%rbp)
jne    1433 <get_rcov+0x333>
movsd  0xcdf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ef3 <get_rcov+0xdf3>
cmpl   $0x1e,-0x4(%rbp)
jne    144f <get_rcov+0x34f>
movsd  0xd2b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1eee <get_rcov+0xdee>
cmpl   $0x1f,-0x4(%rbp)
jne    146b <get_rcov+0x36b>
movsd  0xd17(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ee9 <get_rcov+0xde9>
cmpl   $0x20,-0x4(%rbp)
jne    1487 <get_rcov+0x387>
movsd  0xb8b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ee4 <get_rcov+0xde4>
cmpl   $0x21,-0x4(%rbp)
jne    14a3 <get_rcov+0x3a3>
movsd  0xd1f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1edf <get_rcov+0xddf>
cmpl   $0x22,-0x4(%rbp)
jne    14bf <get_rcov+0x3bf>
movsd  0xcfb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1eda <get_rcov+0xdda>
cmpl   $0x23,-0x4(%rbp)
jne    14db <get_rcov+0x3db>
movsd  0xcd7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ed5 <get_rcov+0xdd5>
cmpl   $0x24,-0x4(%rbp)
jne    14f7 <get_rcov+0x3f7>
movsd  0xcb3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ed0 <get_rcov+0xdd0>
cmpl   $0x25,-0x4(%rbp)
jne    1513 <get_rcov+0x413>
movsd  0xc8f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ecb <get_rcov+0xdcb>
cmpl   $0x26,-0x4(%rbp)
jne    152f <get_rcov+0x42f>
movsd  0xc6b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ec6 <get_rcov+0xdc6>
cmpl   $0x27,-0x4(%rbp)
jne    154b <get_rcov+0x44b>
movsd  0xc47(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ec1 <get_rcov+0xdc1>
cmpl   $0x28,-0x4(%rbp)
jne    1567 <get_rcov+0x467>
movsd  0xb8b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ebc <get_rcov+0xdbc>
cmpl   $0x29,-0x4(%rbp)
jne    1583 <get_rcov+0x483>
movsd  0xb7f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1eb7 <get_rcov+0xdb7>
cmpl   $0x2a,-0x4(%rbp)
jne    159f <get_rcov+0x49f>
movsd  0xb43(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1eb2 <get_rcov+0xdb2>
cmpl   $0x2b,-0x4(%rbp)
jne    15bb <get_rcov+0x4bb>
movsd  0xbcf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ead <get_rcov+0xdad>
cmpl   $0x2c,-0x4(%rbp)
jne    15d7 <get_rcov+0x4d7>
movsd  0xbab(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ea8 <get_rcov+0xda8>
cmpl   $0x2d,-0x4(%rbp)
jne    15f3 <get_rcov+0x4f3>
movsd  0xb77(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ea3 <get_rcov+0xda3>
cmpl   $0x2e,-0x4(%rbp)
jne    160f <get_rcov+0x50f>
movsd  0xb6b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e9e <get_rcov+0xd9e>
cmpl   $0x2f,-0x4(%rbp)
jne    162b <get_rcov+0x52b>
movsd  0xb47(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e99 <get_rcov+0xd99>
cmpl   $0x30,-0x4(%rbp)
jne    1647 <get_rcov+0x547>
movsd  0xaab(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e94 <get_rcov+0xd94>
cmpl   $0x31,-0x4(%rbp)
jne    1663 <get_rcov+0x563>
movsd  0xa97(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e8f <get_rcov+0xd8f>
cmpl   $0x32,-0x4(%rbp)
jne    167f <get_rcov+0x57f>
movsd  0x9bb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e8a <get_rcov+0xd8a>
cmpl   $0x33,-0x4(%rbp)
jne    169b <get_rcov+0x59b>
movsd  0xa77(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e85 <get_rcov+0xd85>
cmpl   $0x34,-0x4(%rbp)
jne    16b7 <get_rcov+0x5b7>
movsd  0xab3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e80 <get_rcov+0xd80>
cmpl   $0x35,-0x4(%rbp)
jne    16d3 <get_rcov+0x5d3>
movsd  0xa8f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e7b <get_rcov+0xd7b>
cmpl   $0x36,-0x4(%rbp)
jne    16ef <get_rcov+0x5ef>
movsd  0xa6b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e76 <get_rcov+0xd76>
cmpl   $0x37,-0x4(%rbp)
jne    170b <get_rcov+0x60b>
movsd  0xa47(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e71 <get_rcov+0xd71>
cmpl   $0x38,-0x4(%rbp)
jne    1727 <get_rcov+0x627>
movsd  0xa23(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e6c <get_rcov+0xd6c>
cmpl   $0x39,-0x4(%rbp)
jne    1743 <get_rcov+0x643>
movsd  0x9ff(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e67 <get_rcov+0xd67>
cmpl   $0x3a,-0x4(%rbp)
jne    175f <get_rcov+0x65f>
movsd  0x9db(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e62 <get_rcov+0xd62>
cmpl   $0x3b,-0x4(%rbp)
jne    177b <get_rcov+0x67b>
movsd  0x8e7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e5d <get_rcov+0xd5d>
cmpl   $0x3c,-0x4(%rbp)
jne    1797 <get_rcov+0x697>
movsd  0x99b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e58 <get_rcov+0xd58>
cmpl   $0x3d,-0x4(%rbp)
jne    17b3 <get_rcov+0x6b3>
movsd  0x8b7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e53 <get_rcov+0xd53>
cmpl   $0x3e,-0x4(%rbp)
jne    17cf <get_rcov+0x6cf>
movsd  0x8c3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e4e <get_rcov+0xd4e>
cmpl   $0x3f,-0x4(%rbp)
jne    17eb <get_rcov+0x6eb>
movsd  0x897(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e49 <get_rcov+0xd49>
cmpl   $0x40,-0x4(%rbp)
jne    1807 <get_rcov+0x707>
movsd  0x8a3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e44 <get_rcov+0xd44>
cmpl   $0x38,-0x4(%rbp)
jne    1823 <get_rcov+0x723>
movsd  0x85f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e3f <get_rcov+0xd3f>
cmpl   $0x42,-0x4(%rbp)
jne    183f <get_rcov+0x73f>
movsd  0x833(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e3a <get_rcov+0xd3a>
cmpl   $0x43,-0x4(%rbp)
jne    185b <get_rcov+0x75b>
movsd  0x82f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e35 <get_rcov+0xd35>
cmpl   $0x44,-0x4(%rbp)
jne    1877 <get_rcov+0x777>
movsd  0x803(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e30 <get_rcov+0xd30>
cmpl   $0x45,-0x4(%rbp)
jne    1893 <get_rcov+0x793>
movsd  0x897(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e2b <get_rcov+0xd2b>
cmpl   $0x46,-0x4(%rbp)
jne    18af <get_rcov+0x7af>
movsd  0x7f3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e26 <get_rcov+0xd26>
cmpl   $0x47,-0x4(%rbp)
jne    18cb <get_rcov+0x7cb>
movsd  0x857(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e21 <get_rcov+0xd21>
cmpl   $0x48,-0x4(%rbp)
jne    18e7 <get_rcov+0x7e7>
movsd  0x833(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e1c <get_rcov+0xd1c>
cmpl   $0x49,-0x4(%rbp)
jne    1903 <get_rcov+0x803>
movsd  0x80f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e17 <get_rcov+0xd17>
cmpl   $0x4a,-0x4(%rbp)
jne    191f <get_rcov+0x81f>
movsd  0x7cb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e12 <get_rcov+0xd12>
cmpl   $0x4b,-0x4(%rbp)
jne    193b <get_rcov+0x83b>
movsd  0x7cf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e0d <get_rcov+0xd0d>
cmpl   $0x4c,-0x4(%rbp)
jne    1957 <get_rcov+0x857>
movsd  0x6cb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e08 <get_rcov+0xd08>
cmpl   $0x4d,-0x4(%rbp)
jne    1973 <get_rcov+0x873>
movsd  0x78f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1e03 <get_rcov+0xd03>
cmpl   $0x4e,-0x4(%rbp)
jne    198f <get_rcov+0x88f>
movsd  0x693(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dfe <get_rcov+0xcfe>
cmpl   $0x4f,-0x4(%rbp)
jne    19ab <get_rcov+0x8ab>
movsd  0x74f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1df9 <get_rcov+0xcf9>
cmpl   $0x50,-0x4(%rbp)
jne    19c7 <get_rcov+0x8c7>
movsd  0x683(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1df4 <get_rcov+0xcf4>
cmpl   $0x51,-0x4(%rbp)
jne    19e3 <get_rcov+0x8e3>
movsd  0x70f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1def <get_rcov+0xcef>
cmpl   $0x52,-0x4(%rbp)
jne    19ff <get_rcov+0x8ff>
movsd  0x6db(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dea <get_rcov+0xcea>
cmpl   $0x53,-0x4(%rbp)
jne    1a1b <get_rcov+0x91b>
movsd  0x6cf(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1de5 <get_rcov+0xce5>
cmpl   $0x54,-0x4(%rbp)
jne    1a37 <get_rcov+0x937>
movsd  0x6ab(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1de0 <get_rcov+0xce0>
cmpl   $0x55,-0x4(%rbp)
jne    1a53 <get_rcov+0x953>
movsd  0x687(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1ddb <get_rcov+0xcdb>
cmpl   $0x56,-0x4(%rbp)
jne    1a6f <get_rcov+0x96f>
movsd  0x663(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dd6 <get_rcov+0xcd6>
cmpl   $0x57,-0x4(%rbp)
jne    1a8b <get_rcov+0x98b>
movsd  0x63f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dd1 <get_rcov+0xcd1>
cmpl   $0x58,-0x4(%rbp)
jne    1aa7 <get_rcov+0x9a7>
movsd  0x61b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dcc <get_rcov+0xccc>
cmpl   $0x59,-0x4(%rbp)
jne    1ac3 <get_rcov+0x9c3>
movsd  0x5f7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dc7 <get_rcov+0xcc7>
cmpl   $0x5a,-0x4(%rbp)
jne    1adf <get_rcov+0x9df>
movsd  0x5d3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dc2 <get_rcov+0xcc2>
cmpl   $0x5b,-0x4(%rbp)
jne    1afb <get_rcov+0x9fb>
movsd  0x5af(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dbd <get_rcov+0xcbd>
cmpl   $0x5c,-0x4(%rbp)
jne    1b17 <get_rcov+0xa17>
movsd  0x58b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1db8 <get_rcov+0xcb8>
cmpl   $0x5d,-0x4(%rbp)
jne    1b33 <get_rcov+0xa33>
movsd  0x567(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1db3 <get_rcov+0xcb3>
cmpl   $0x5e,-0x4(%rbp)
jne    1b4f <get_rcov+0xa4f>
movsd  0x543(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1dae <get_rcov+0xcae>
cmpl   $0x5f,-0x4(%rbp)
jne    1b6b <get_rcov+0xa6b>
movsd  0x51f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1da9 <get_rcov+0xca9>
cmpl   $0x60,-0x4(%rbp)
jne    1b87 <get_rcov+0xa87>
movsd  0x503(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1da4 <get_rcov+0xca4>
cmpl   $0x61,-0x4(%rbp)
jne    1ba3 <get_rcov+0xaa3>
movsd  0x4df(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d9f <get_rcov+0xc9f>
cmpl   $0x62,-0x4(%rbp)
jne    1bbf <get_rcov+0xabf>
movsd  0x4c3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d9a <get_rcov+0xc9a>
cmpl   $0x63,-0x4(%rbp)
jne    1bdb <get_rcov+0xadb>
movsd  0x49f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d95 <get_rcov+0xc95>
cmpl   $0x64,-0x4(%rbp)
jne    1bf7 <get_rcov+0xaf7>
movsd  0x47b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d90 <get_rcov+0xc90>
cmpl   $0x65,-0x4(%rbp)
jne    1c13 <get_rcov+0xb13>
movsd  0x457(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d8b <get_rcov+0xc8b>
cmpl   $0x66,-0x4(%rbp)
jne    1c2f <get_rcov+0xb2f>
movsd  0x433(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d86 <get_rcov+0xc86>
cmpl   $0x67,-0x4(%rbp)
jne    1c4b <get_rcov+0xb4b>
movsd  0x40f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d81 <get_rcov+0xc81>
cmpl   $0x68,-0x4(%rbp)
jne    1c67 <get_rcov+0xb67>
movsd  0x3eb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d7c <get_rcov+0xc7c>
cmpl   $0x69,-0x4(%rbp)
jne    1c83 <get_rcov+0xb83>
movsd  0x3c7(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d77 <get_rcov+0xc77>
cmpl   $0x6a,-0x4(%rbp)
jne    1c9f <get_rcov+0xb9f>
movsd  0x3a3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d72 <get_rcov+0xc72>
cmpl   $0x6b,-0x4(%rbp)
jne    1cbb <get_rcov+0xbbb>
movsd  0x37f(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d6d <get_rcov+0xc6d>
cmpl   $0x6c,-0x4(%rbp)
jne    1cd7 <get_rcov+0xbd7>
movsd  0x35b(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d68 <get_rcov+0xc68>
cmpl   $0x6d,-0x4(%rbp)
jne    1cf3 <get_rcov+0xbf3>
movsd  0x337(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d63 <get_rcov+0xc63>
cmpl   $0x6e,-0x4(%rbp)
jne    1d0f <get_rcov+0xc0f>
movsd  0x313(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d5e <get_rcov+0xc5e>
cmpl   $0x6f,-0x4(%rbp)
jne    1d2b <get_rcov+0xc2b>
movsd  0x2ef(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d59 <get_rcov+0xc59>
cmpl   $0x70,-0x4(%rbp)
jne    1d47 <get_rcov+0xc47>
movsd  0x2cb(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d54 <get_rcov+0xc54>
movsd  0x2b1(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    1d59 <get_rcov+0xc59>
jmp    1d5e <get_rcov+0xc5e>
jmp    1d63 <get_rcov+0xc63>
jmp    1d68 <get_rcov+0xc68>
jmp    1d6d <get_rcov+0xc6d>
jmp    1d72 <get_rcov+0xc72>
jmp    1d77 <get_rcov+0xc77>
jmp    1d7c <get_rcov+0xc7c>
jmp    1d81 <get_rcov+0xc81>
jmp    1d86 <get_rcov+0xc86>
jmp    1d8b <get_rcov+0xc8b>
jmp    1d90 <get_rcov+0xc90>
jmp    1d95 <get_rcov+0xc95>
jmp    1d9a <get_rcov+0xc9a>
jmp    1d9f <get_rcov+0xc9f>
jmp    1da4 <get_rcov+0xca4>
jmp    1da9 <get_rcov+0xca9>
jmp    1dae <get_rcov+0xcae>
jmp    1db3 <get_rcov+0xcb3>
jmp    1db8 <get_rcov+0xcb8>
jmp    1dbd <get_rcov+0xcbd>
jmp    1dc2 <get_rcov+0xcc2>
jmp    1dc7 <get_rcov+0xcc7>
jmp    1dcc <get_rcov+0xccc>
jmp    1dd1 <get_rcov+0xcd1>
jmp    1dd6 <get_rcov+0xcd6>
jmp    1ddb <get_rcov+0xcdb>
jmp    1de0 <get_rcov+0xce0>
jmp    1de5 <get_rcov+0xce5>
jmp    1dea <get_rcov+0xcea>
jmp    1def <get_rcov+0xcef>
jmp    1df4 <get_rcov+0xcf4>
jmp    1df9 <get_rcov+0xcf9>
jmp    1dfe <get_rcov+0xcfe>
jmp    1e03 <get_rcov+0xd03>
jmp    1e08 <get_rcov+0xd08>
jmp    1e0d <get_rcov+0xd0d>
jmp    1e12 <get_rcov+0xd12>
jmp    1e17 <get_rcov+0xd17>
jmp    1e1c <get_rcov+0xd1c>
jmp    1e21 <get_rcov+0xd21>
jmp    1e26 <get_rcov+0xd26>
jmp    1e2b <get_rcov+0xd2b>
jmp    1e30 <get_rcov+0xd30>
jmp    1e35 <get_rcov+0xd35>
jmp    1e3a <get_rcov+0xd3a>
jmp    1e3f <get_rcov+0xd3f>
jmp    1e44 <get_rcov+0xd44>
jmp    1e49 <get_rcov+0xd49>
jmp    1e4e <get_rcov+0xd4e>
jmp    1e53 <get_rcov+0xd53>
jmp    1e58 <get_rcov+0xd58>
jmp    1e5d <get_rcov+0xd5d>
jmp    1e62 <get_rcov+0xd62>
jmp    1e67 <get_rcov+0xd67>
jmp    1e6c <get_rcov+0xd6c>
jmp    1e71 <get_rcov+0xd71>
jmp    1e76 <get_rcov+0xd76>
jmp    1e7b <get_rcov+0xd7b>
jmp    1e80 <get_rcov+0xd80>
jmp    1e85 <get_rcov+0xd85>
jmp    1e8a <get_rcov+0xd8a>
jmp    1e8f <get_rcov+0xd8f>
jmp    1e94 <get_rcov+0xd94>
jmp    1e99 <get_rcov+0xd99>
jmp    1e9e <get_rcov+0xd9e>
jmp    1ea3 <get_rcov+0xda3>
jmp    1ea8 <get_rcov+0xda8>
jmp    1ead <get_rcov+0xdad>
jmp    1eb2 <get_rcov+0xdb2>
jmp    1eb7 <get_rcov+0xdb7>
jmp    1ebc <get_rcov+0xdbc>
jmp    1ec1 <get_rcov+0xdc1>
jmp    1ec6 <get_rcov+0xdc6>
jmp    1ecb <get_rcov+0xdcb>
jmp    1ed0 <get_rcov+0xdd0>
jmp    1ed5 <get_rcov+0xdd5>
jmp    1eda <get_rcov+0xdda>
jmp    1edf <get_rcov+0xddf>
jmp    1ee4 <get_rcov+0xde4>
jmp    1ee9 <get_rcov+0xde9>
jmp    1eee <get_rcov+0xdee>
jmp    1ef3 <get_rcov+0xdf3>
jmp    1ef8 <get_rcov+0xdf8>
jmp    1efd <get_rcov+0xdfd>
jmp    1f02 <get_rcov+0xe02>
jmp    1f07 <get_rcov+0xe07>
jmp    1f0c <get_rcov+0xe0c>
jmp    1f11 <get_rcov+0xe11>
jmp    1f16 <get_rcov+0xe16>
jmp    1f1b <get_rcov+0xe1b>
jmp    1f20 <get_rcov+0xe20>
jmp    1f25 <get_rcov+0xe25>
jmp    1f2a <get_rcov+0xe2a>
jmp    1f2f <get_rcov+0xe2f>
jmp    1f34 <get_rcov+0xe34>
jmp    1f39 <get_rcov+0xe39>
jmp    1f3e <get_rcov+0xe3e>
jmp    1f43 <get_rcov+0xe43>
jmp    1f48 <get_rcov+0xe48>
jmp    1f4d <get_rcov+0xe4d>
jmp    1f52 <get_rcov+0xe52>
jmp    1f57 <get_rcov+0xe57>
jmp    1f5c <get_rcov+0xe5c>
jmp    1f61 <get_rcov+0xe61>
jmp    1f66 <get_rcov+0xe66>
jmp    1f6b <get_rcov+0xe6b>
jmp    1f70 <get_rcov+0xe70>
jmp    1f75 <get_rcov+0xe75>
jmp    1f7a <get_rcov+0xe7a>
jmp    1f7f <get_rcov+0xe7f>
movsd  -0x10(%rbp),%xmm0
movsd  0x2dc(%rip),%xmm1
divsd  %xmm1,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_rcov>:
add    $0xffffffff,%edi
cmp    $0x6f,%edi
ja     1120 <get_rcov+0x20>
movslq %edi,%rax
lea    0xefe(%rip),%rcx
movsd  (%rcx,%rax,8),%xmm0
divsd  0xee9(%rip),%xmm0
ret
movsd  0xed8(%rip),%xmm0
divsd  0xed8(%rip),%xmm0
ret

LLVM IR (-O0):
define double @get_rcov(i32 %0) {
%2 = alloca i32
%3 = alloca double
store i32 %0, i32* %2
%4 = load i32, i32* %2
%5 = icmp eq i32 %4, 1
br i1 %5, label %6, label %7
6: ; preds = %1
store double 3.700000e-01, double* %3
br label %563
7: ; preds = %1
%8 = load i32, i32* %2
%9 = icmp eq i32 %8, 2
br i1 %9, label %10, label %11
10: ; preds = %7
store double 3.200000e-01, double* %3
br label %562
11: ; preds = %7
%12 = load i32, i32* %2
%13 = icmp eq i32 %12, 3
br i1 %13, label %14, label %15
14: ; preds = %11
store double 1.340000e+00, double* %3
br label %561
15: ; preds = %11
%16 = load i32, i32* %2
%17 = icmp eq i32 %16, 4
br i1 %17, label %18, label %19
18: ; preds = %15
store double 9.000000e-01, double* %3
br label %560
19: ; preds = %15
%20 = load i32, i32* %2
%21 = icmp eq i32 %20, 5
br i1 %21, label %22, label %23
22: ; preds = %19
store double 8.200000e-01, double* %3
br label %559
23: ; preds = %19
%24 = load i32, i32* %2
%25 = icmp eq i32 %24, 6
br i1 %25, label %26, label %27
26: ; preds = %23
store double 7.700000e-01, double* %3
br label %558
27: ; preds = %23
%28 = load i32, i32* %2
%29 = icmp eq i32 %28, 7
br i1 %29, label %30, label %31
30: ; preds = %27
store double 7.500000e-01, double* %3
br label %557
31: ; preds = %27
%32 = load i32, i32* %2
%33 = icmp eq i32 %32, 8
br i1 %33, label %34, label %35
34: ; preds = %31
store double 7.300000e-01, double* %3
br label %556
35: ; preds = %31
%36 = load i32, i32* %2
%37 = icmp eq i32 %36, 9
br i1 %37, label %38, label %39
38: ; preds = %35
store double 7.100000e-01, double* %3
br label %555
39: ; preds = %35
%40 = load i32, i32* %2
%41 = icmp eq i32 %40, 10
br i1 %41, label %42, label %43
42: ; preds = %39
store double 6.900000e-01, double* %3
br label %554
43: ; preds = %39
%44 = load i32, i32* %2
%45 = icmp eq i32 %44, 11
br i1 %45, label %46, label %47
46: ; preds = %43
store double 1.540000e+00, double* %3
br label %553
47: ; preds = %43
%48 = load i32, i32* %2
%49 = icmp eq i32 %48, 12
br i1 %49, label %50, label %51
50: ; preds = %47
store double 1.300000e+00, double* %3
br label %552
51: ; preds = %47
%52 = load i32, i32* %2
%53 = icmp eq i32 %52, 13
br i1 %53, label %54, label %55
54: ; preds = %51
store double 1.180000e+00, double* %3
br label %551
55: ; preds = %51
%56 = load i32, i32* %2
%57 = icmp eq i32 %56, 14
br i1 %57, label %58, label %59
58: ; preds = %55
store double 1.110000e+00, double* %3
br label %550
59: ; preds = %55
%60 = load i32, i32* %2
%61 = icmp eq i32 %60, 15
br i1 %61, label %62, label %63
62: ; preds = %59
store double 1.060000e+00, double* %3
br label %549
63: ; preds = %59
%64 = load i32, i32* %2
%65 = icmp eq i32 %64, 16
br i1 %65, label %66, label %67
66: ; preds = %63
store double 1.020000e+00, double* %3
br label %548
67: ; preds = %63
%68 = load i32, i32* %2
%69 = icmp eq i32 %68, 17
br i1 %69, label %70, label %71
70: ; preds = %67
store double 0x3FEFAE147AE147AE, double* %3
br label %547
71: ; preds = %67
%72 = load i32, i32* %2
%73 = icmp eq i32 %72, 18
br i1 %73, label %74, label %75
74: ; preds = %71
store double 0x3FEF0A3D70A3D70A, double* %3
br label %546
75: ; preds = %71
%76 = load i32, i32* %2
%77 = icmp eq i32 %76, 19
br i1 %77, label %78, label %79
78: ; preds = %75
store double 1.960000e+00, double* %3
br label %545
79: ; preds = %75
%80 = load i32, i32* %2
%81 = icmp eq i32 %80, 20
br i1 %81, label %82, label %83
82: ; preds = %79
store double 1.740000e+00, double* %3
br label %544
83: ; preds = %79
%84 = load i32, i32* %2
%85 = icmp eq i32 %84, 21
br i1 %85, label %86, label %87
86: ; preds = %83
store double 1.440000e+00, double* %3
br label %543
87: ; preds = %83
%88 = load i32, i32* %2
%89 = icmp eq i32 %88, 22
br i1 %89, label %90, label %91
90: ; preds = %87
store double 1.360000e+00, double* %3
br label %542
91: ; preds = %87
%92 = load i32, i32* %2
%93 = icmp eq i32 %92, 23
br i1 %93, label %94, label %95
94: ; preds = %91
store double 1.250000e+00, double* %3
br label %541
95: ; preds = %91
%96 = load i32, i32* %2
%97 = icmp eq i32 %96, 24
br i1 %97, label %98, label %99
98: ; preds = %95
store double 1.270000e+00, double* %3
br label %540
99: ; preds = %95
%100 = load i32, i32* %2
%101 = icmp eq i32 %100, 25
br i1 %101, label %102, label %103
102: ; preds = %99
store double 1.390000e+00, double* %3
br label %539
103: ; preds = %99
%104 = load i32, i32* %2
%105 = icmp eq i32 %104, 26
br i1 %105, label %106, label %107
106: ; preds = %103
store double 1.250000e+00, double* %3
br label %538
107: ; preds = %103
%108 = load i32, i32* %2
%109 = icmp eq i32 %108, 27
br i1 %109, label %110, label %111
110: ; preds = %107
store double 1.260000e+00, double* %3
br label %537
111: ; preds = %107
%112 = load i32, i32* %2
%113 = icmp eq i32 %112, 28
br i1 %113, label %114, label %115
114: ; preds = %111
store double 1.210000e+00, double* %3
br label %536
115: ; preds = %111
%116 = load i32, i32* %2
%117 = icmp eq i32 %116, 29
br i1 %117, label %118, label %119
118: ; preds = %115
store double 1.380000e+00, double* %3
br label %535
119: ; preds = %115
%120 = load i32, i32* %2
%121 = icmp eq i32 %120, 30
br i1 %121, label %122, label %123
122: ; preds = %119
store double 1.310000e+00, double* %3
br label %534
123: ; preds = %119
%124 = load i32, i32* %2
%125 = icmp eq i32 %124, 31
br i1 %125, label %126, label %127
126: ; preds = %123
store double 1.260000e+00, double* %3
br label %533
127: ; preds = %123
%128 = load i32, i32* %2
%129 = icmp eq i32 %128, 32
br i1 %129, label %130, label %131
130: ; preds = %127
store double 1.220000e+00, double* %3
br label %532
131: ; preds = %127
%132 = load i32, i32* %2
%133 = icmp eq i32 %132, 33
br i1 %133, label %134, label %135
134: ; preds = %131
store double 1.190000e+00, double* %3
br label %531
135: ; preds = %131
%136 = load i32, i32* %2
%137 = icmp eq i32 %136, 34
br i1 %137, label %138, label %139
138: ; preds = %135
store double 1.160000e+00, double* %3
br label %530
139: ; preds = %135
%140 = load i32, i32* %2
%141 = icmp eq i32 %140, 35
br i1 %141, label %142, label %143
142: ; preds = %139
store double 1.140000e+00, double* %3
br label %529
143: ; preds = %139
%144 = load i32, i32* %2
%145 = icmp eq i32 %144, 36
br i1 %145, label %146, label %147
146: ; preds = %143
store double 1.100000e+00, double* %3
br label %528
147: ; preds = %143
%148 = load i32, i32* %2
%149 = icmp eq i32 %148, 37
br i1 %149, label %150, label %151
150: ; preds = %147
store double 2.110000e+00, double* %3
br label %527
151: ; preds = %147
%152 = load i32, i32* %2
%153 = icmp eq i32 %152, 38
br i1 %153, label %154, label %155
154: ; preds = %151
store double 1.920000e+00, double* %3
br label %526
155: ; preds = %151
%156 = load i32, i32* %2
%157 = icmp eq i32 %156, 39
br i1 %157, label %158, label %159
158: ; preds = %155
store double 1.620000e+00, double* %3
br label %525
159: ; preds = %155
%160 = load i32, i32* %2
%161 = icmp eq i32 %160, 40
br i1 %161, label %162, label %163
162: ; preds = %159
store double 1.480000e+00, double* %3
br label %524
163: ; preds = %159
%164 = load i32, i32* %2
%165 = icmp eq i32 %164, 41
br i1 %165, label %166, label %167
166: ; preds = %163
store double 1.370000e+00, double* %3
br label %523
167: ; preds = %163
%168 = load i32, i32* %2
%169 = icmp eq i32 %168, 42
br i1 %169, label %170, label %171
170: ; preds = %167
store double 1.450000e+00, double* %3
br label %522
171: ; preds = %167
%172 = load i32, i32* %2
%173 = icmp eq i32 %172, 43
br i1 %173, label %174, label %175
174: ; preds = %171
store double 1.560000e+00, double* %3
br label %521
175: ; preds = %171
%176 = load i32, i32* %2
%177 = icmp eq i32 %176, 44
br i1 %177, label %178, label %179
178: ; preds = %175
store double 1.260000e+00, double* %3
br label %520
179: ; preds = %175
%180 = load i32, i32* %2
%181 = icmp eq i32 %180, 45
br i1 %181, label %182, label %183
182: ; preds = %179
store double 1.350000e+00, double* %3
br label %519
183: ; preds = %179
%184 = load i32, i32* %2
%185 = icmp eq i32 %184, 46
br i1 %185, label %186, label %187
186: ; preds = %183
store double 1.310000e+00, double* %3
br label %518
187: ; preds = %183
%188 = load i32, i32* %2
%189 = icmp eq i32 %188, 47
br i1 %189, label %190, label %191
190: ; preds = %187
store double 1.530000e+00, double* %3
br label %517
191: ; preds = %187
%192 = load i32, i32* %2
%193 = icmp eq i32 %192, 48
br i1 %193, label %194, label %195
194: ; preds = %191
store double 1.480000e+00, double* %3
br label %516
195: ; preds = %191
%196 = load i32, i32* %2
%197 = icmp eq i32 %196, 49
br i1 %197, label %198, label %199
198: ; preds = %195
store double 1.440000e+00, double* %3
br label %515
199: ; preds = %195
%200 = load i32, i32* %2
%201 = icmp eq i32 %200, 50
br i1 %201, label %202, label %203
202: ; preds = %199
store double 1.410000e+00, double* %3
br label %514
203: ; preds = %199
%204 = load i32, i32* %2
%205 = icmp eq i32 %204, 51
br i1 %205, label %206, label %207
206: ; preds = %203
store double 1.380000e+00, double* %3
br label %513
207: ; preds = %203
%208 = load i32, i32* %2
%209 = icmp eq i32 %208, 52
br i1 %209, label %210, label %211
210: ; preds = %207
store double 1.350000e+00, double* %3
br label %512
211: ; preds = %207
%212 = load i32, i32* %2
%213 = icmp eq i32 %212, 53
br i1 %213, label %214, label %215
214: ; preds = %211
store double 1.330000e+00, double* %3
br label %511
215: ; preds = %211
%216 = load i32, i32* %2
%217 = icmp eq i32 %216, 54
br i1 %217, label %218, label %219
218: ; preds = %215
store double 1.300000e+00, double* %3
br label %510
219: ; preds = %215
%220 = load i32, i32* %2
%221 = icmp eq i32 %220, 55
br i1 %221, label %222, label %223
222: ; preds = %219
store double 2.250000e+00, double* %3
br label %509
223: ; preds = %219
%224 = load i32, i32* %2
%225 = icmp eq i32 %224, 56
br i1 %225, label %226, label %227
226: ; preds = %223
store double 1.980000e+00, double* %3
br label %508
227: ; preds = %223
%228 = load i32, i32* %2
%229 = icmp eq i32 %228, 57
br i1 %229, label %230, label %231
230: ; preds = %227
store double 1.800000e+00, double* %3
br label %507
231: ; preds = %227
%232 = load i32, i32* %2
%233 = icmp eq i32 %232, 58
br i1 %233, label %234, label %235
234: ; preds = %231
store double 1.630000e+00, double* %3
br label %506
235: ; preds = %231
%236 = load i32, i32* %2
%237 = icmp eq i32 %236, 59
br i1 %237, label %238, label %239
238: ; preds = %235
store double 1.760000e+00, double* %3
br label %505
239: ; preds = %235
%240 = load i32, i32* %2
%241 = icmp eq i32 %240, 60
br i1 %241, label %242, label %243
242: ; preds = %239
store double 1.740000e+00, double* %3
br label %504
243: ; preds = %239
%244 = load i32, i32* %2
%245 = icmp eq i32 %244, 61
br i1 %245, label %246, label %247
246: ; preds = %243
store double 1.730000e+00, double* %3
br label %503
247: ; preds = %243
%248 = load i32, i32* %2
%249 = icmp eq i32 %248, 62
br i1 %249, label %250, label %251
250: ; preds = %247
store double 1.720000e+00, double* %3
br label %502
251: ; preds = %247
%252 = load i32, i32* %2
%253 = icmp eq i32 %252, 63
br i1 %253, label %254, label %255
254: ; preds = %251
store double 1.680000e+00, double* %3
br label %501
255: ; preds = %251
%256 = load i32, i32* %2
%257 = icmp eq i32 %256, 64
br i1 %257, label %258, label %259
258: ; preds = %255
store double 1.690000e+00, double* %3
br label %500
259: ; preds = %255
%260 = load i32, i32* %2
%261 = icmp eq i32 %260, 56
br i1 %261, label %262, label %263
262: ; preds = %259
store double 1.680000e+00, double* %3
br label %499
263: ; preds = %259
%264 = load i32, i32* %2
%265 = icmp eq i32 %264, 66
br i1 %265, label %266, label %267
266: ; preds = %263
store double 1.670000e+00, double* %3
br label %498
267: ; preds = %263
%268 = load i32, i32* %2
%269 = icmp eq i32 %268, 67
br i1 %269, label %270, label %271
270: ; preds = %267
store double 1.660000e+00, double* %3
br label %497
271: ; preds = %267
%272 = load i32, i32* %2
%273 = icmp eq i32 %272, 68
br i1 %273, label %274, label %275
274: ; preds = %271
store double 1.650000e+00, double* %3
br label %496
275: ; preds = %271
%276 = load i32, i32* %2
%277 = icmp eq i32 %276, 69
br i1 %277, label %278, label %279
278: ; preds = %275
store double 1.640000e+00, double* %3
br label %495
279: ; preds = %275
%280 = load i32, i32* %2
%281 = icmp eq i32 %280, 70
br i1 %281, label %282, label %283
282: ; preds = %279
store double 1.700000e+00, double* %3
br label %494
283: ; preds = %279
%284 = load i32, i32* %2
%285 = icmp eq i32 %284, 71
br i1 %285, label %286, label %287
286: ; preds = %283
store double 1.600000e+00, double* %3
br label %493
287: ; preds = %283
%288 = load i32, i32* %2
%289 = icmp eq i32 %288, 72
br i1 %289, label %290, label %291
290: ; preds = %287
store double 1.500000e+00, double* %3
br label %492
291: ; preds = %287
%292 = load i32, i32* %2
%293 = icmp eq i32 %292, 73
br i1 %293, label %294, label %295
294: ; preds = %291
store double 1.380000e+00, double* %3
br label %491
295: ; preds = %291
%296 = load i32, i32* %2
%297 = icmp eq i32 %296, 74
br i1 %297, label %298, label %299
298: ; preds = %295
store double 1.460000e+00, double* %3
br label %490
299: ; preds = %295
%300 = load i32, i32* %2
%301 = icmp eq i32 %300, 75
br i1 %301, label %302, label %303
302: ; preds = %299
store double 1.590000e+00, double* %3
br label %489
303: ; preds = %299
%304 = load i32, i32* %2
%305 = icmp eq i32 %304, 76
br i1 %305, label %306, label %307
306: ; preds = %303
store double 1.280000e+00, double* %3
br label %488
307: ; preds = %303
%308 = load i32, i32* %2
%309 = icmp eq i32 %308, 77
br i1 %309, label %310, label %311
310: ; preds = %307
store double 1.370000e+00, double* %3
br label %487
311: ; preds = %307
%312 = load i32, i32* %2
%313 = icmp eq i32 %312, 78
br i1 %313, label %314, label %315
314: ; preds = %311
store double 1.280000e+00, double* %3
br label %486
315: ; preds = %311
%316 = load i32, i32* %2
%317 = icmp eq i32 %316, 79
br i1 %317, label %318, label %319
318: ; preds = %315
store double 1.440000e+00, double* %3
br label %485
319: ; preds = %315
%320 = load i32, i32* %2
%321 = icmp eq i32 %320, 80
br i1 %321, label %322, label %323
322: ; preds = %319
store double 1.490000e+00, double* %3
br label %484
323: ; preds = %319
%324 = load i32, i32* %2
%325 = icmp eq i32 %324, 81
br i1 %325, label %326, label %327
326: ; preds = %323
store double 1.480000e+00, double* %3
br label %483
327: ; preds = %323
%328 = load i32, i32* %2
%329 = icmp eq i32 %328, 82
br i1 %329, label %330, label %331
330: ; preds = %327
store double 1.470000e+00, double* %3
br label %482
331: ; preds = %327
%332 = load i32, i32* %2
%333 = icmp eq i32 %332, 83
br i1 %333, label %334, label %335
334: ; preds = %331
store double 1.460000e+00, double* %3
br label %481
335: ; preds = %331
%336 = load i32, i32* %2
%337 = icmp eq i32 %336, 84
br i1 %337, label %338, label %339
338: ; preds = %335
store double 1.450000e+00, double* %3
br label %480
339: ; preds = %335
%340 = load i32, i32* %2
%341 = icmp eq i32 %340, 85
br i1 %341, label %342, label %343
342: ; preds = %339
store double 1.470000e+00, double* %3
br label %479
343: ; preds = %339
%344 = load i32, i32* %2
%345 = icmp eq i32 %344, 86
br i1 %345, label %346, label %347
346: ; preds = %343
store double 1.420000e+00, double* %3
br label %478
347: ; preds = %343
%348 = load i32, i32* %2
%349 = icmp eq i32 %348, 87
br i1 %349, label %350, label %351
350: ; preds = %347
store double 2.230000e+00, double* %3
br label %477
351: ; preds = %347
%352 = load i32, i32* %2
%353 = icmp eq i32 %352, 88
br i1 %353, label %354, label %355
354: ; preds = %351
store double 2.010000e+00, double* %3
br label %476
355: ; preds = %351
%356 = load i32, i32* %2
%357 = icmp eq i32 %356, 89
br i1 %357, label %358, label %359
358: ; preds = %355
store double 1.860000e+00, double* %3
br label %475
359: ; preds = %355
%360 = load i32, i32* %2
%361 = icmp eq i32 %360, 90
br i1 %361, label %362, label %363
362: ; preds = %359
store double 1.750000e+00, double* %3
br label %474
363: ; preds = %359
%364 = load i32, i32* %2
%365 = icmp eq i32 %364, 91
br i1 %365, label %366, label %367
366: ; preds = %363
store double 1.690000e+00, double* %3
br label %473
367: ; preds = %363
%368 = load i32, i32* %2
%369 = icmp eq i32 %368, 92
br i1 %369, label %370, label %371
370: ; preds = %367
store double 1.700000e+00, double* %3
br label %472
371: ; preds = %367
%372 = load i32, i32* %2
%373 = icmp eq i32 %372, 93
br i1 %373, label %374, label %375
374: ; preds = %371
store double 1.710000e+00, double* %3
br label %471
375: ; preds = %371
%376 = load i32, i32* %2
%377 = icmp eq i32 %376, 94
br i1 %377, label %378, label %379
378: ; preds = %375
store double 1.720000e+00, double* %3
br label %470
379: ; preds = %375
%380 = load i32, i32* %2
%381 = icmp eq i32 %380, 95
br i1 %381, label %382, label %383
382: ; preds = %379
store double 1.660000e+00, double* %3
br label %469
383: ; preds = %379
%384 = load i32, i32* %2
%385 = icmp eq i32 %384, 96
br i1 %385, label %386, label %387
386: ; preds = %383
store double 1.660000e+00, double* %3
br label %468
387: ; preds = %383
%388 = load i32, i32* %2
%389 = icmp eq i32 %388, 97
br i1 %389, label %390, label %391
390: ; preds = %387
store double 1.680000e+00, double* %3
br label %467
391: ; preds = %387
%392 = load i32, i32* %2
%393 = icmp eq i32 %392, 98
br i1 %393, label %394, label %395
394: ; preds = %391
store double 1.680000e+00, double* %3
br label %466
395: ; preds = %391
%396 = load i32, i32* %2
%397 = icmp eq i32 %396, 99
br i1 %397, label %398, label %399
398: ; preds = %395
store double 1.650000e+00, double* %3
br label %465
399: ; preds = %395
%400 = load i32, i32* %2
%401 = icmp eq i32 %400, 100
br i1 %401, label %402, label %403
402: ; preds = %399
store double 1.670000e+00, double* %3
br label %464
403: ; preds = %399
%404 = load i32, i32* %2
%405 = icmp eq i32 %404, 101
br i1 %405, label %406, label %407
406: ; preds = %403
store double 1.730000e+00, double* %3
br label %463
407: ; preds = %403
%408 = load i32, i32* %2
%409 = icmp eq i32 %408, 102
br i1 %409, label %410, label %411
410: ; preds = %407
store double 1.760000e+00, double* %3
br label %462
411: ; preds = %407
%412 = load i32, i32* %2
%413 = icmp eq i32 %412, 103
br i1 %413, label %414, label %415
414: ; preds = %411
store double 1.610000e+00, double* %3
br label %461
415: ; preds = %411
%416 = load i32, i32* %2
%417 = icmp eq i32 %416, 104
br i1 %417, label %418, label %419
418: ; preds = %415
store double 1.570000e+00, double* %3
br label %460
419: ; preds = %415
%420 = load i32, i32* %2
%421 = icmp eq i32 %420, 105
br i1 %421, label %422, label %423
422: ; preds = %419
store double 1.490000e+00, double* %3
br label %459
423: ; preds = %419
%424 = load i32, i32* %2
%425 = icmp eq i32 %424, 106
br i1 %425, label %426, label %427
426: ; preds = %423
store double 1.430000e+00, double* %3
br label %458
427: ; preds = %423
%428 = load i32, i32* %2
%429 = icmp eq i32 %428, 107
br i1 %429, label %430, label %431
430: ; preds = %427
store double 1.410000e+00, double* %3
br label %457
431: ; preds = %427
%432 = load i32, i32* %2
%433 = icmp eq i32 %432, 108
br i1 %433, label %434, label %435
434: ; preds = %431
store double 1.340000e+00, double* %3
br label %456
435: ; preds = %431
%436 = load i32, i32* %2
%437 = icmp eq i32 %436, 109
br i1 %437, label %438, label %439
438: ; preds = %435
store double 1.290000e+00, double* %3
br label %455
439: ; preds = %435
%440 = load i32, i32* %2
%441 = icmp eq i32 %440, 110
br i1 %441, label %442, label %443
442: ; preds = %439
store double 1.280000e+00, double* %3
br label %454
443: ; preds = %439
%444 = load i32, i32* %2
%445 = icmp eq i32 %444, 111
br i1 %445, label %446, label %447
446: ; preds = %443
store double 1.210000e+00, double* %3
br label %453
447: ; preds = %443
%448 = load i32, i32* %2
%449 = icmp eq i32 %448, 112
br i1 %449, label %450, label %451
450: ; preds = %447
store double 1.220000e+00, double* %3
br label %452
451: ; preds = %447
store double 1.000000e+00, double* %3
br label %452
452: ; preds = %451, %450
br label %453
453: ; preds = %452, %446
br label %454
454: ; preds = %453, %442
br label %455
455: ; preds = %454, %438
br label %456
456: ; preds = %455, %434
br label %457
457: ; preds = %456, %430
br label %458
458: ; preds = %457, %426
br label %459
459: ; preds = %458, %422
br label %460
460: ; preds = %459, %418
br label %461
461: ; preds = %460, %414
br label %462
462: ; preds = %461, %410
br label %463
463: ; preds = %462, %406
br label %464
464: ; preds = %463, %402
br label %465
465: ; preds = %464, %398
br label %466
466: ; preds = %465, %394
br label %467
467: ; preds = %466, %390
br label %468
468: ; preds = %467, %386
br label %469
469: ; preds = %468, %382
br label %470
470: ; preds = %469, %378
br label %471
471: ; preds = %470, %374
br label %472
472: ; preds = %471, %370
br label %473
473: ; preds = %472, %366
br label %474
474: ; preds = %473, %362
br label %475
475: ; preds = %474, %358
br label %476
476: ; preds = %475, %354
br label %477
477: ; preds = %476, %350
br label %478
478: ; preds = %477, %346
br label %479
479: ; preds = %478, %342
br label %480
480: ; preds = %479, %338
br label %481
481: ; preds = %480, %334
br label %482
482: ; preds = %481, %330
br label %483
483: ; preds = %482, %326
br label %484
484: ; preds = %483, %322
br label %485
485: ; preds = %484, %318
br label %486
486: ; preds = %485, %314
br label %487
487: ; preds = %486, %310
br label %488
488: ; preds = %487, %306
br label %489
489: ; preds = %488, %302
br label %490
490: ; preds = %489, %298
br label %491
491: ; preds = %490, %294
br label %492
492: ; preds = %491, %290
br label %493
493: ; preds = %492, %286
br label %494
494: ; preds = %493, %282
br label %495
495: ; preds = %494, %278
br label %496
496: ; preds = %495, %274
br label %497
497: ; preds = %496, %270
br label %498
498: ; preds = %497, %266
br label %499
499: ; preds = %498, %262
br label %500
500: ; preds = %499, %258
br label %501
501: ; preds = %500, %254
br label %502
502: ; preds = %501, %250
br label %503
503: ; preds = %502, %246
br label %504
504: ; preds = %503, %242
br label %505
505: ; preds = %504, %238
br label %506
506: ; preds = %505, %234
br label %507
507: ; preds = %506, %230
br label %508
508: ; preds = %507, %226
br label %509
509: ; preds = %508, %222
br label %510
510: ; preds = %509, %218
br label %511
511: ; preds = %510, %214
br label %512
512: ; preds = %511, %210
br label %513
513: ; preds = %512, %206
br label %514
514: ; preds = %513, %202
br label %515
515: ; preds = %514, %198
br label %516
516: ; preds = %515, %194
br label %517
517: ; preds = %516, %190
br label %518
518: ; preds = %517, %186
br label %519
519: ; preds = %518, %182
br label %520
520: ; preds = %519, %178
br label %521
521: ; preds = %520, %174
br label %522
522: ; preds = %521, %170
br label %523
523: ; preds = %522, %166
br label %524
524: ; preds = %523, %162
br label %525
525: ; preds = %524, %158
br label %526
526: ; preds = %525, %154
br label %527
527: ; preds = %526, %150
br label %528
528: ; preds = %527, %146
br label %529
529: ; preds = %528, %142
br label %530
530: ; preds = %529, %138
br label %531
531: ; preds = %530, %134
br label %532
532: ; preds = %531, %130
br label %533
533: ; preds = %532, %126
br label %534
534: ; preds = %533, %122
br label %535
535: ; preds = %534, %118
br label %536
536: ; preds = %535, %114
br label %537
537: ; preds = %536, %110
br label %538
538: ; preds = %537, %106
br label %539
539: ; preds = %538, %102
br label %540
540: ; preds = %539, %98
br label %541
541: ; preds = %540, %94
br label %542
542: ; preds = %541, %90
br label %543
543: ; preds = %542, %86
br label %544
544: ; preds = %543, %82
br label %545
545: ; preds = %544, %78
br label %546
546: ; preds = %545, %74
br label %547
547: ; preds = %546, %70
br label %548
548: ; preds = %547, %66
br label %549
549: ; preds = %548, %62
br label %550
550: ; preds = %549, %58
br label %551
551: ; preds = %550, %54
br label %552
552: ; preds = %551, %50
br label %553
553: ; preds = %552, %46
br label %554
554: ; preds = %553, %42
br label %555
555: ; preds = %554, %38
br label %556
556: ; preds = %555, %34
br label %557
557: ; preds = %556, %30
br label %558
558: ; preds = %557, %26
br label %559
559: ; preds = %558, %22
br label %560
560: ; preds = %559, %18
br label %561
561: ; preds = %560, %14
br label %562
562: ; preds = %561, %10
br label %563
563: ; preds = %562, %6
%564 = load double, double* %3
%565 = fdiv double %564, 0x3FE0EF050A95D806
ret double %565
}

LLVM IR (-O2):
@switch.table.get_rcov = [112 x double] [double 3.700000e-01, double 3.200000e-01, double 1.340000e+00, double 9.000000e-01, double 8.200000e-01, double 7.700000e-01, double 7.500000e-01, double 7.300000e-01, double 7.100000e-01, double 6.900000e-01, double 1.540000e+00, double 1.300000e+00, double 1.180000e+00, double 1.110000e+00, double 1.060000e+00, double 1.020000e+00, double 0x3FEFAE147AE147AE, double 0x3FEF0A3D70A3D70A, double 1.960000e+00, double 1.740000e+00, double 1.440000e+00, double 1.360000e+00, double 1.250000e+00, double 1.270000e+00, double 1.390000e+00, double 1.250000e+00, double 1.260000e+00, double 1.210000e+00, double 1.380000e+00, double 1.310000e+00, double 1.260000e+00, double 1.220000e+00, double 1.190000e+00, double 1.160000e+00, double 1.140000e+00, double 1.100000e+00, double 2.110000e+00, double 1.920000e+00, double 1.620000e+00, double 1.480000e+00, double 1.370000e+00, double 1.450000e+00, double 1.560000e+00, double 1.260000e+00, double 1.350000e+00, double 1.310000e+00, double 1.530000e+00, double 1.480000e+00, double 1.440000e+00, double 1.410000e+00, double 1.380000e+00, double 1.350000e+00, double 1.330000e+00, double 1.300000e+00, double 2.250000e+00, double 1.980000e+00, double 1.800000e+00, double 1.630000e+00, double 1.760000e+00, double 1.740000e+00, double 1.730000e+00, double 1.720000e+00, double 1.680000e+00, double 1.690000e+00, double 1.000000e+00, double 1.670000e+00, double 1.660000e+00, double 1.650000e+00, double 1.640000e+00, double 1.700000e+00, double 1.600000e+00, double 1.500000e+00, double 1.380000e+00, double 1.460000e+00, double 1.590000e+00, double 1.280000e+00, double 1.370000e+00, double 1.280000e+00, double 1.440000e+00, double 1.490000e+00, double 1.480000e+00, double 1.470000e+00, double 1.460000e+00, double 1.450000e+00, double 1.470000e+00, double 1.420000e+00, double 2.230000e+00, double 2.010000e+00, double 1.860000e+00, double 1.750000e+00, double 1.690000e+00, double 1.700000e+00, double 1.710000e+00, double 1.720000e+00, double 1.660000e+00, double 1.660000e+00, double 1.680000e+00, double 1.680000e+00, double 1.650000e+00, double 1.670000e+00, double 1.730000e+00, double 1.760000e+00, double 1.610000e+00, double 1.570000e+00, double 1.490000e+00, double 1.430000e+00, double 1.410000e+00, double 1.340000e+00, double 1.290000e+00, double 1.280000e+00, double 1.210000e+00, double 1.220000e+00]
define double @get_rcov(i32 %0) {
%2 = add i32 %0, -1
%3 = icmp ult i32 %2, 112
br i1 %3, label %4, label %8
4: ; preds = %1
%5 = sext i32 %2 to i64
%6 = getelementptr inbounds [112 x double], [112 x double]* @switch.table.get_rcov, i64 0, i64 %5
%7 = load double, double* %6
br label %8
8: ; preds = %1, %4
%9 = phi double [ %7, %4 ], [ 1.000000e+00, %1 ]
%10 = fdiv double %9, 0x3FE0EF050A95D806
ret double %10
}