double readMarmstk1(int index) {
  static float marmstk1[1024 / 4] = {
      0.000579833984375,  -0.003417968750000, 0.015930175781250,
      -0.037689208984375, 0.062866210937500,  0.168640136718750,
      -0.226287841796875, -0.020233154296875, 0.017120361328125,
      0.032745361328125,  0.028198242187500,  -0.065704345703125,
      0.102355957031250,  -0.135375976562500, -0.088378906250000,
      0.135375976562500,  0.036987304687500,  0.030181884765625,
      -0.023498535156250, -0.050872802734375, 0.120574951171875,
      -0.223419189453125, 0.235260009765625,  -0.296081542968750,
      0.384582519531250,  -0.363708496093750, 0.206207275390625,
      0.076873779296875,  -0.262420654296875, 0.306579589843750,
      -0.349090576171875, 0.359161376953125,  -0.304809570312500,
      0.156860351562500,  0.022552490234375,  -0.063598632812500,
      0.017425537109375,  0.024505615234375,  -0.016296386718750,
      -0.056304931640625, 0.093536376953125,  -0.108825683593750,
      0.215484619140625,  -0.354858398437500, 0.316925048828125,
      -0.164672851562500, 0.028594970703125,  0.095001220703125,
      -0.165679931640625, 0.218811035156250,  -0.239105224609375,
      0.182830810546875,  -0.026275634765625, -0.016601562500000,
      -0.042175292968750, 0.080566406250000,  -0.123352050781250,
      0.071563720703125,  -0.021514892578125, -0.000488281250000,
      0.080139160156250,  -0.188354492187500, 0.230712890625000,
      -0.172271728515625, 0.033325195312500,  0.111236572265625,
      -0.127532958984375, 0.118682861328125,  -0.136383056640625,
      0.068878173828125,  0.041931152343750,  -0.126129150390625,
      0.134155273437500,  -0.024902343750000, -0.094726562500000,
      0.136840820312500,  -0.140930175781250, 0.123962402343750,
      -0.080383300781250, -0.033691406250000, 0.167541503906250,
      -0.194976806640625, 0.151489257812500,  -0.042388916015625,
      -0.028625488281250, 0.030853271484375,  -0.079559326171875,
      0.071166992187500,  0.026977539062500,  -0.075714111328125,
      0.110107421875000,  -0.076507568359375, -0.043426513671875,
      0.063110351562500,  -0.099487304687500, 0.137664794921875,
      -0.086181640625000, 0.047119140625000,  0.022491455078125,
      -0.092956542968750, 0.070709228515625,  -0.036560058593750,
      -0.004943847656250, 0.051208496093750,  -0.042541503906250,
      0.042114257812500,  -0.024414062500000, -0.039916992187500,
      0.082580566406250,  -0.094451904296875, 0.039459228515625,
      0.037048339843750,  -0.061218261718750, 0.080810546875000,
      -0.070159912109375, 0.037139892578125,  0.008789062500000,
      -0.078094482421875, 0.094024658203125,  -0.048431396484375,
      0.009643554687500,  0.020263671875000,  -0.032379150390625,
      0.021820068359375,  -0.021270751953125, -0.033203125000000,
      0.102172851562500,  -0.089721679687500, 0.052856445312500,
      -0.001495361328125, -0.070404052734375, 0.109436035156250,
      -0.104156494140625, 0.116302490234375,  -0.074310302734375,
      -0.004425048828125, 0.061309814453125,  -0.090698242187500,
      0.056732177734375,  -0.015380859375000, -0.010406494140625,
      0.019622802734375,  0.000213623046875,  -0.017272949218750,
      0.065399169921875,  -0.119842529296875, 0.105499267578125,
      -0.051391601562500, -0.024383544921875, 0.085968017578125,
      -0.099731445312500, 0.121948242187500,  -0.098876953125000,
      0.038085937500000,  0.034362792968750,  -0.071441650390625,
      0.039550781250000,  -0.017272949218750, -0.001708984375000,
      0.031402587890625,  -0.027740478515625, 0.013183593750000,
      0.013488769531250,  -0.083831787109375, 0.103637695312500,
      -0.061645507812500, 0.026947021484375,  0.036499023437500,
      -0.078735351562500, 0.089294433593750,  -0.090393066406250,
      0.034820556640625,  0.019500732421875,  -0.070129394531250,
      0.102569580078125,  -0.070922851562500, 0.039672851562500,
      0.020507812500000,  -0.078674316406250, 0.065002441406250,
      -0.045806884765625, 0.027801513671875,  0.012115478515625,
      -0.018829345703125, 0.015594482421875,  -0.010772705078125,
      -0.042938232421875, 0.062103271484375,  -0.032745361328125,
      0.004791259765625,  0.028137207031250,  -0.067687988281250,
      0.078094482421875,  -0.063049316406250, 0.039215087890625,
      0.012359619140625,  -0.052337646484375, 0.074401855468750,
      -0.063629150390625, 0.034362792968750,  0.013732910156250,
      -0.044189453125000, 0.042419433593750,  -0.047210693359375,
      0.019897460937500,  0.020538330078125,  -0.039825439453125,
      0.048675537109375,  -0.025726318359375, -0.016998291015625,
      0.038482666015625,  -0.056060791015625, 0.061584472656250,
      -0.014343261718750, -0.023101806640625, 0.051849365234375,
      -0.069854736328125, 0.043853759765625,  -0.016662597656250,
      0.002380371093750,  0.033721923828125,  -0.039733886718750,
      0.021148681640625,  -0.010375976562500, 0.000000000000000,
      0.000000000000000,  0.000000000000000,  -0.000030517578125,
      0.000030517578125,  0.000000000000000,  0.000000000000000,
      -0.000030517578125, -0.000030517578125, 0.000030517578125,
      0.000030517578125,  -0.000061035156250, 0.000000000000000,
      0.000000000000000,  0.000000000000000,  0.000030517578125,
      -0.000030517578125, 0.000000000000000,  0.000030517578125,
      -0.000030517578125, 0.000000000000000,  0.000061035156250,
      -0.000061035156250, 0.000030517578125,  0.000000000000000,
      -0.000030517578125, 0.000000000000000,  0.000061035156250,
      0.000000000000000,  -0.000030517578125, 0.000000000000000,
      0.000030517578125};
  return marmstk1[index];
}


x86 assembly (clang, -O0):
<readMarmstk1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movslq -0x4(%rbp),%rcx
lea    0x2f1e(%rip),%rax
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<readMarmstk1>:
movslq %edi,%rax
lea    0xef6(%rip),%rcx
movss  (%rcx,%rax,4),%xmm0
cvtss2sd %xmm0,%xmm0
ret

LLVM IR (-O0):
@readMarmstk1.marmstk1 = internal global [256 x float] [float 0x3F43000000000000, float 0xBF6C000000000000, float 0x3F90500000000000, float 0xBFA34C0000000000, float 0x3FB0180000000000, float 0x3FC5960000000000, float 0xBFCCF70000000000, float 0xBF94B80000000000, float 0x3F91880000000000, float 0x3FA0C40000000000, float 0x3F9CE00000000000, float 0xBFB0D20000000000, float 0x3FBA340000000000, float 0xBFC1540000000000, float 0xBFB6A00000000000, float 0x3FC1540000000000, float 0x3FA2F00000000000, float 0x3F9EE80000000000, float 0xBF98100000000000, float 0xBFAA0C0000000000, float 0x3FBEDE0000000000, float 0xBFCC990000000000, float 0x3FCE1D0000000000, float 0xBFD2F30000000000, float 0x3FD89D0000000000, float 0xBFD7470000000000, float 0x3FCA650000000000, float 0x3FB3AE0000000000, float 0xBFD0CB8000000000, float 0x3FD39F0000000000, float 0xBFD6578000000000, float 0x3FD6FC8000000000, float 0xBFD3820000000000, float 0x3FC4140000000000, float 0x3F97180000000000, float 0xBFB0480000000000, float 0x3F91D80000000000, float 0x3F99180000000000, float 0xBF90B00000000000, float 0xBFACD40000000000, float 0x3FB7F20000000000, float 0xBFBBDC0000000000, float 0x3FCB950000000000, float 0xBFD6B60000000000, float 0x3FD4488000000000, float 0xBFC5140000000000, float 0x3F9D480000000000, float 0x3FB8520000000000, float 0xBFC5350000000000, float 0x3FCC020000000000, float 0xBFCE9B0000000000, float 0x3FC7670000000000, float 0xBF9AE80000000000, float 0xBF91000000000000, float 0xBFA5980000000000, float 0x3FB4A00000000000, float 0xBFBF940000000000, float 0x3FB2520000000000, float 0xBF96080000000000, float 0xBF40000000000000, float 0x3FB4840000000000, float 0xBFC81C0000000000, float 0x3FCD880000000000, float 0xBFC60D0000000000, float 0x3FA1100000000000, float 0x3FBC7A0000000000, float 0xBFC0530000000000, float 0x3FBE620000000000, float 0xBFC1750000000000, float 0x3FB1A20000000000, float 0x3FA5780000000000, float 0xBFC0250000000000, float 0x3FC12C0000000000, float 0xBF99800000000000, float 0xBFB8400000000000, float 0x3FC1840000000000, float 0xBFC20A0000000000, float 0x3FBFBC0000000000, float 0xBFB4940000000000, float 0xBFA1400000000000, float 0x3FC5720000000000, float 0xBFC8F50000000000, float 0x3FC3640000000000, float 0xBFA5B40000000000, float 0xBF9D500000000000, float 0x3F9F980000000000, float 0xBFB45E0000000000, float 0x3FB2380000000000, float 0x3F9BA00000000000, float 0xBFB3620000000000, float 0x3FBC300000000000, float 0xBFB3960000000000, float 0xBFA63C0000000000, float 0x3FB0280000000000, float 0xBFB9780000000000, float 0x3FC19F0000000000, float 0xBFB6100000000000, float 0x3FA8200000000000, float 0x3F97080000000000, float 0xBFB7CC0000000000, float 0x3FB21A0000000000, float 0xBFA2B80000000000, float 0xBF74400000000000, float 0x3FAA380000000000, float 0xBFA5C80000000000, float 0x3FA5900000000000, float 0xBF99000000000000, float 0xBFA4700000000000, float 0x3FB5240000000000, float 0xBFB82E0000000000, float 0x3FA4340000000000, float 0x3FA2F80000000000, float 0xBFAF580000000000, float 0x3FB4B00000000000, float 0xBFB1F60000000000, float 0x3FA3040000000000, float 0x3F82000000000000, float 0xBFB3FE0000000000, float 0x3FB8120000000000, float 0xBFA8CC0000000000, float 0x3F83C00000000000, float 0x3F94C00000000000, float 0xBFA0940000000000, float 0x3F96580000000000, float 0xBF95C80000000000, float 0xBFA1000000000000, float 0x3FBA280000000000, float 0xBFB6F80000000000, float 0x3FAB100000000000, float 0xBF58800000000000, float 0xBFB2060000000000, float 0x3FBC040000000000, float 0xBFBAAA0000000000, float 0x3FBDC60000000000, float 0xBFB3060000000000, float 0xBF72200000000000, float 0x3FAF640000000000, float 0xBFB7380000000000, float 0x3FAD0C0000000000, float 0xBF8F800000000000, float 0xBF85500000000000, float 0x3F94180000000000, float 0x3F2C000000000000, float 0xBF91B00000000000, float 0x3FB0BE0000000000, float 0xBFBEAE0000000000, float 0x3FBB020000000000, float 0xBFAA500000000000, float 0xBF98F80000000000, float 0x3FB6020000000000, float 0xBFB9880000000000, float 0x3FBF380000000000, float 0xBFB9500000000000, float 0x3FA3800000000000, float 0x3FA1980000000000, float 0xBFB24A0000000000, float 0x3FA4400000000000, float 0xBF91B00000000000, float 0xBF5C000000000000, float 0x3FA0140000000000, float 0xBF9C680000000000, float 0x3F8B000000000000, float 0x3F8BA00000000000, float 0xBFB5760000000000, float 0x3FBA880000000000, float 0xBFAF900000000000, float 0x3F9B980000000000, float 0x3FA2B00000000000, float 0xBFB4280000000000, float 0x3FB6DC0000000000, float 0xBFB7240000000000, float 0x3FA1D40000000000, float 0x3F93F80000000000, float 0xBFB1F40000000000, float 0x3FBA420000000000, float 0xBFB2280000000000, float 0x3FA4500000000000, float 0x3F95000000000000, float 0xBFB4240000000000, float 0x3FB0A40000000000, float 0xBFA7740000000000, float 0x3F9C780000000000, float 0x3F88D00000000000, float 0xBF93480000000000, float 0x3F8FF00000000000, float 0xBF86100000000000, float 0xBFA5FC0000000000, float 0x3FAFCC0000000000, float 0xBFA0C40000000000, float 0x3F73A00000000000, float 0x3F9CD00000000000, float 0xBFB1540000000000, float 0x3FB3FE0000000000, float 0xBFB0240000000000, float 0x3FA4140000000000, float 0x3F89500000000000, float 0xBFAACC0000000000, float 0x3FB30C0000000000, float 0xBFB04A0000000000, float 0x3FA1980000000000, float 0x3F8C200000000000, float 0xBFA6A00000000000, float 0x3FA5B80000000000, float 0xBFA82C0000000000, float 0x3F94600000000000, float 0x3F95080000000000, float 0xBFA4640000000000, float 0x3FA8EC0000000000, float 0xBF9A580000000000, float 0xBF91680000000000, float 0x3FA3B40000000000, float 0xBFACB40000000000, float 0x3FAF880000000000, float 0xBF8D600000000000, float 0xBF97A80000000000, float 0x3FAA8C0000000000, float 0xBFB1E20000000000, float 0x3FA6740000000000, float 0xBF91100000000000, float 0x3F63800000000000, float 0x3FA1440000000000, float 0xBFA4580000000000, float 0x3F95A80000000000, float 0xBF85400000000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0xBF00000000000000, float 0x3F00000000000000, float 0.000000e+00, float 0.000000e+00, float 0xBF00000000000000, float 0xBF00000000000000, float 0x3F00000000000000, float 0x3F00000000000000, float 0xBF10000000000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0x3F00000000000000, float 0xBF00000000000000, float 0.000000e+00, float 0x3F00000000000000, float 0xBF00000000000000, float 0.000000e+00, float 0x3F10000000000000, float 0xBF10000000000000, float 0x3F00000000000000, float 0.000000e+00, float 0xBF00000000000000, float 0.000000e+00, float 0x3F10000000000000, float 0.000000e+00, float 0xBF00000000000000, float 0.000000e+00, float 0x3F00000000000000]
define double @readMarmstk1(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = sext i32 %3 to i64
%5 = getelementptr inbounds [256 x float], [256 x float]* @readMarmstk1.marmstk1, i64 0, i64 %4
%6 = load float, float* %5
%7 = fpext float %6 to double
ret double %7
}

LLVM IR (-O2):
@readMarmstk1.marmstk1 = internal unnamed_addr constant [256 x float] [float 0x3F43000000000000, float 0xBF6C000000000000, float 0x3F90500000000000, float 0xBFA34C0000000000, float 0x3FB0180000000000, float 0x3FC5960000000000, float 0xBFCCF70000000000, float 0xBF94B80000000000, float 0x3F91880000000000, float 0x3FA0C40000000000, float 0x3F9CE00000000000, float 0xBFB0D20000000000, float 0x3FBA340000000000, float 0xBFC1540000000000, float 0xBFB6A00000000000, float 0x3FC1540000000000, float 0x3FA2F00000000000, float 0x3F9EE80000000000, float 0xBF98100000000000, float 0xBFAA0C0000000000, float 0x3FBEDE0000000000, float 0xBFCC990000000000, float 0x3FCE1D0000000000, float 0xBFD2F30000000000, float 0x3FD89D0000000000, float 0xBFD7470000000000, float 0x3FCA650000000000, float 0x3FB3AE0000000000, float 0xBFD0CB8000000000, float 0x3FD39F0000000000, float 0xBFD6578000000000, float 0x3FD6FC8000000000, float 0xBFD3820000000000, float 0x3FC4140000000000, float 0x3F97180000000000, float 0xBFB0480000000000, float 0x3F91D80000000000, float 0x3F99180000000000, float 0xBF90B00000000000, float 0xBFACD40000000000, float 0x3FB7F20000000000, float 0xBFBBDC0000000000, float 0x3FCB950000000000, float 0xBFD6B60000000000, float 0x3FD4488000000000, float 0xBFC5140000000000, float 0x3F9D480000000000, float 0x3FB8520000000000, float 0xBFC5350000000000, float 0x3FCC020000000000, float 0xBFCE9B0000000000, float 0x3FC7670000000000, float 0xBF9AE80000000000, float 0xBF91000000000000, float 0xBFA5980000000000, float 0x3FB4A00000000000, float 0xBFBF940000000000, float 0x3FB2520000000000, float 0xBF96080000000000, float 0xBF40000000000000, float 0x3FB4840000000000, float 0xBFC81C0000000000, float 0x3FCD880000000000, float 0xBFC60D0000000000, float 0x3FA1100000000000, float 0x3FBC7A0000000000, float 0xBFC0530000000000, float 0x3FBE620000000000, float 0xBFC1750000000000, float 0x3FB1A20000000000, float 0x3FA5780000000000, float 0xBFC0250000000000, float 0x3FC12C0000000000, float 0xBF99800000000000, float 0xBFB8400000000000, float 0x3FC1840000000000, float 0xBFC20A0000000000, float 0x3FBFBC0000000000, float 0xBFB4940000000000, float 0xBFA1400000000000, float 0x3FC5720000000000, float 0xBFC8F50000000000, float 0x3FC3640000000000, float 0xBFA5B40000000000, float 0xBF9D500000000000, float 0x3F9F980000000000, float 0xBFB45E0000000000, float 0x3FB2380000000000, float 0x3F9BA00000000000, float 0xBFB3620000000000, float 0x3FBC300000000000, float 0xBFB3960000000000, float 0xBFA63C0000000000, float 0x3FB0280000000000, float 0xBFB9780000000000, float 0x3FC19F0000000000, float 0xBFB6100000000000, float 0x3FA8200000000000, float 0x3F97080000000000, float 0xBFB7CC0000000000, float 0x3FB21A0000000000, float 0xBFA2B80000000000, float 0xBF74400000000000, float 0x3FAA380000000000, float 0xBFA5C80000000000, float 0x3FA5900000000000, float 0xBF99000000000000, float 0xBFA4700000000000, float 0x3FB5240000000000, float 0xBFB82E0000000000, float 0x3FA4340000000000, float 0x3FA2F80000000000, float 0xBFAF580000000000, float 0x3FB4B00000000000, float 0xBFB1F60000000000, float 0x3FA3040000000000, float 0x3F82000000000000, float 0xBFB3FE0000000000, float 0x3FB8120000000000, float 0xBFA8CC0000000000, float 0x3F83C00000000000, float 0x3F94C00000000000, float 0xBFA0940000000000, float 0x3F96580000000000, float 0xBF95C80000000000, float 0xBFA1000000000000, float 0x3FBA280000000000, float 0xBFB6F80000000000, float 0x3FAB100000000000, float 0xBF58800000000000, float 0xBFB2060000000000, float 0x3FBC040000000000, float 0xBFBAAA0000000000, float 0x3FBDC60000000000, float 0xBFB3060000000000, float 0xBF72200000000000, float 0x3FAF640000000000, float 0xBFB7380000000000, float 0x3FAD0C0000000000, float 0xBF8F800000000000, float 0xBF85500000000000, float 0x3F94180000000000, float 0x3F2C000000000000, float 0xBF91B00000000000, float 0x3FB0BE0000000000, float 0xBFBEAE0000000000, float 0x3FBB020000000000, float 0xBFAA500000000000, float 0xBF98F80000000000, float 0x3FB6020000000000, float 0xBFB9880000000000, float 0x3FBF380000000000, float 0xBFB9500000000000, float 0x3FA3800000000000, float 0x3FA1980000000000, float 0xBFB24A0000000000, float 0x3FA4400000000000, float 0xBF91B00000000000, float 0xBF5C000000000000, float 0x3FA0140000000000, float 0xBF9C680000000000, float 0x3F8B000000000000, float 0x3F8BA00000000000, float 0xBFB5760000000000, float 0x3FBA880000000000, float 0xBFAF900000000000, float 0x3F9B980000000000, float 0x3FA2B00000000000, float 0xBFB4280000000000, float 0x3FB6DC0000000000, float 0xBFB7240000000000, float 0x3FA1D40000000000, float 0x3F93F80000000000, float 0xBFB1F40000000000, float 0x3FBA420000000000, float 0xBFB2280000000000, float 0x3FA4500000000000, float 0x3F95000000000000, float 0xBFB4240000000000, float 0x3FB0A40000000000, float 0xBFA7740000000000, float 0x3F9C780000000000, float 0x3F88D00000000000, float 0xBF93480000000000, float 0x3F8FF00000000000, float 0xBF86100000000000, float 0xBFA5FC0000000000, float 0x3FAFCC0000000000, float 0xBFA0C40000000000, float 0x3F73A00000000000, float 0x3F9CD00000000000, float 0xBFB1540000000000, float 0x3FB3FE0000000000, float 0xBFB0240000000000, float 0x3FA4140000000000, float 0x3F89500000000000, float 0xBFAACC0000000000, float 0x3FB30C0000000000, float 0xBFB04A0000000000, float 0x3FA1980000000000, float 0x3F8C200000000000, float 0xBFA6A00000000000, float 0x3FA5B80000000000, float 0xBFA82C0000000000, float 0x3F94600000000000, float 0x3F95080000000000, float 0xBFA4640000000000, float 0x3FA8EC0000000000, float 0xBF9A580000000000, float 0xBF91680000000000, float 0x3FA3B40000000000, float 0xBFACB40000000000, float 0x3FAF880000000000, float 0xBF8D600000000000, float 0xBF97A80000000000, float 0x3FAA8C0000000000, float 0xBFB1E20000000000, float 0x3FA6740000000000, float 0xBF91100000000000, float 0x3F63800000000000, float 0x3FA1440000000000, float 0xBFA4580000000000, float 0x3F95A80000000000, float 0xBF85400000000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0xBF00000000000000, float 0x3F00000000000000, float 0.000000e+00, float 0.000000e+00, float 0xBF00000000000000, float 0xBF00000000000000, float 0x3F00000000000000, float 0x3F00000000000000, float 0xBF10000000000000, float 0.000000e+00, float 0.000000e+00, float 0.000000e+00, float 0x3F00000000000000, float 0xBF00000000000000, float 0.000000e+00, float 0x3F00000000000000, float 0xBF00000000000000, float 0.000000e+00, float 0x3F10000000000000, float 0xBF10000000000000, float 0x3F00000000000000, float 0.000000e+00, float 0xBF00000000000000, float 0.000000e+00, float 0x3F10000000000000, float 0.000000e+00, float 0xBF00000000000000, float 0.000000e+00, float 0x3F00000000000000]
define double @readMarmstk1(i32 %0) {
%2 = sext i32 %0 to i64
%3 = getelementptr inbounds [256 x float], [256 x float]* @readMarmstk1.marmstk1, i64 0, i64 %2
%4 = load float, float* %3
%5 = fpext float %4 to double
ret double %5
}