double asc_neq_B3g_reference(int i) {
  static double asc_neq_B3g[576] = {
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      -0.050532399154, -0.009551973174, -0.071962042607, -0.010643147094,
      -0.089783373467, -0.026341776966, -0.091266072957, -0.010662710196,
      -0.027356074353, -0.075647252100, -0.012239510683, -0.023321910317,
      -0.023579909169, -0.055103832662, -0.029685704578, -0.002608543194,
      -0.041219826083, -0.007025525578, -0.047994090188, -0.025677753050,
      -0.044269146440, -0.020378168898, -0.024350440826, -0.034219175277,
      -0.079259123585, -0.132830670580, -0.211794178476, -0.130275453807,
      -0.092727593074, -0.000900384356, -0.010616419191, -0.040408973071,
      -0.041902118584, -0.031068183493, -0.056669476873, -0.042970206780,
      -0.032940883479, -0.032495171991, -0.042068531698, -0.010473528927,
      -0.042347806882, -0.046158437117, -0.046013993667, -0.040859782010,
      -0.008632259612, -0.011817693694, -0.015399367973, -0.011144478844,
      -0.017582319314, -0.014744833006, -0.007394676012, -0.013954217983,
      -0.015037574239, -0.012429516061, -0.013965993779, -0.017524617968,
      -0.010987983891, -0.016694727259, -0.010877261182, -0.032651752502,
      -0.012526764138, -0.009237600215, -0.017692253347, -0.013515632316,
      -0.017770630907, -0.018351242050, -0.025639062891, -0.010865330530,
      -0.013561584119, -0.002834710324, -0.009548932251, -0.002495370219,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000,
      0.000000000000,  0.000000000000,  0.000000000000,  0.000000000000};
  return asc_neq_B3g[i];
}


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

x86 assembly (clang, -O2):
<asc_neq_B3g_reference>:
movslq %edi,%rax
lea    0xef6(%rip),%rcx
movsd  (%rcx,%rax,8),%xmm0
ret

LLVM IR (-O0):
@asc_neq_B3g_reference.asc_neq_B3g = internal global <{ [288 x double], [288 x double] }> <{ [288 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0xBFA9DF61F3827B72, double 0xBF838FFC232823B0, double 0xBFB26C1ABB8CE88F, double 0xBF85CC13058FDDE4, double 0xBFB6FC0B0CC3EBF4, double 0xBF9AF956BA599894, double 0xBFB75D369E95AC9B, double 0xBF85D654BCA0DC98, double 0xBF9C033B12C5B698, double 0xBFB35D9E49CD40A0, double 0xBF89110750D1FA01, double 0xBF97E1B2E85DF655, double 0xBF982554EAE4DEA3, double 0xBFAC3691CE55C8AC, double 0xBF9E65EDE948EFDB, double 0xBF655E82F6AB7C7D, double 0xBFA51AC3D9F2536E, double 0xBF7CC6CC2983FAB0, double 0xBFA892AE6F8478D9, double 0xBF9A4B44D6568AE7, double 0xBFA6AA72105CFF3D, double 0xBF94DE03C3E08975, double 0xBF98EF526BF6A23A, double 0xBFA1852CFD6BEEDC, double 0xBFB44A536FB50AE1, double 0xBFC100986D05FF29, double 0xBFCB1C125704D04F, double 0xBFC0ACDDB6C94BBC, double 0xBFB7BCFEDBB08B56, double 0xBF4D80F8AE71DE98, double 0xBF85BE0FA9CECA4B, double 0xBFA4B07C239C1A80, double 0xBFA57431C9E71D18, double 0xBF9FD0568031BA40, double 0xBFAD03C81BB3B178, double 0xBFA60030E1A51925, double 0xBFA0DDA0A27CBFEA, double 0xBFA0A33509F55EF9, double 0xBFA58A01AFAAD416, double 0xBF85732541B8ADA8, double 0xBFA5AE9C9B3B249E, double 0xBFA7A21423B437B5, double 0xBFA78F256BEA8E32, double 0xBFA4EB92C6E8C676, double 0xBF81ADCA45CB004B, double 0xBF8833DFFF706288, double 0xBF8F89B42E95B7FA, double 0xBF86D2EAA153DA63, double 0xBF92011979C40DDE, double 0xBF8E3289FC5DB2E5, double 0xBF7E49E13A2D48BF, double 0xBF8C94076F06A2BD, double 0xBF8ECC050C8A9A49, double 0xBF8974A567E59599, double 0xBF8C9A33F44BA988, double 0xBF91F1F9343097C6, double 0xBF8680DE3BAFC24E, double 0xBF91186C2E5F471E, double 0xBF8646D1485FB961, double 0xBFA0B7BB024E6D1C, double 0xBF89A7A1D2611B72, double 0xBF82EB29B6891BCF, double 0xBF921DEB06125767, double 0xBF8BAE1576417F1E, double 0xBF923276DA4CA5F4, double 0xBF92CAAB01C86D72, double 0xBF9A41206277BD14, double 0xBF86408FFA4AEAA3, double 0xBF8BC62D022F3905, double 0xBF6738D18453AB65, double 0xBF838E63FDD68EDB, double 0xBF64712BAF6CAFAA], [288 x double] zeroinitializer }>
define double @asc_neq_B3g_reference(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
%4 = sext i32 %3 to i64
%5 = getelementptr inbounds [576 x double], [576 x double]* bitcast (<{ [288 x double], [288 x double] }>* @asc_neq_B3g_reference.asc_neq_B3g to [576 x double]*), i64 0, i64 %4
%6 = load double, double* %5
ret double %6
}

LLVM IR (-O2):
@asc_neq_B3g_reference.asc_neq_B3g = internal unnamed_addr constant <{ [288 x double], [288 x double] }> <{ [288 x double] [double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0xBFA9DF61F3827B72, double 0xBF838FFC232823B0, double 0xBFB26C1ABB8CE88F, double 0xBF85CC13058FDDE4, double 0xBFB6FC0B0CC3EBF4, double 0xBF9AF956BA599894, double 0xBFB75D369E95AC9B, double 0xBF85D654BCA0DC98, double 0xBF9C033B12C5B698, double 0xBFB35D9E49CD40A0, double 0xBF89110750D1FA01, double 0xBF97E1B2E85DF655, double 0xBF982554EAE4DEA3, double 0xBFAC3691CE55C8AC, double 0xBF9E65EDE948EFDB, double 0xBF655E82F6AB7C7D, double 0xBFA51AC3D9F2536E, double 0xBF7CC6CC2983FAB0, double 0xBFA892AE6F8478D9, double 0xBF9A4B44D6568AE7, double 0xBFA6AA72105CFF3D, double 0xBF94DE03C3E08975, double 0xBF98EF526BF6A23A, double 0xBFA1852CFD6BEEDC, double 0xBFB44A536FB50AE1, double 0xBFC100986D05FF29, double 0xBFCB1C125704D04F, double 0xBFC0ACDDB6C94BBC, double 0xBFB7BCFEDBB08B56, double 0xBF4D80F8AE71DE98, double 0xBF85BE0FA9CECA4B, double 0xBFA4B07C239C1A80, double 0xBFA57431C9E71D18, double 0xBF9FD0568031BA40, double 0xBFAD03C81BB3B178, double 0xBFA60030E1A51925, double 0xBFA0DDA0A27CBFEA, double 0xBFA0A33509F55EF9, double 0xBFA58A01AFAAD416, double 0xBF85732541B8ADA8, double 0xBFA5AE9C9B3B249E, double 0xBFA7A21423B437B5, double 0xBFA78F256BEA8E32, double 0xBFA4EB92C6E8C676, double 0xBF81ADCA45CB004B, double 0xBF8833DFFF706288, double 0xBF8F89B42E95B7FA, double 0xBF86D2EAA153DA63, double 0xBF92011979C40DDE, double 0xBF8E3289FC5DB2E5, double 0xBF7E49E13A2D48BF, double 0xBF8C94076F06A2BD, double 0xBF8ECC050C8A9A49, double 0xBF8974A567E59599, double 0xBF8C9A33F44BA988, double 0xBF91F1F9343097C6, double 0xBF8680DE3BAFC24E, double 0xBF91186C2E5F471E, double 0xBF8646D1485FB961, double 0xBFA0B7BB024E6D1C, double 0xBF89A7A1D2611B72, double 0xBF82EB29B6891BCF, double 0xBF921DEB06125767, double 0xBF8BAE1576417F1E, double 0xBF923276DA4CA5F4, double 0xBF92CAAB01C86D72, double 0xBF9A41206277BD14, double 0xBF86408FFA4AEAA3, double 0xBF8BC62D022F3905, double 0xBF6738D18453AB65, double 0xBF838E63FDD68EDB, double 0xBF64712BAF6CAFAA], [288 x double] zeroinitializer }>
define double @asc_neq_B3g_reference(i32 %0) {
%2 = sext i32 %0 to i64
%3 = getelementptr inbounds [576 x double], [576 x double]* bitcast (<{ [288 x double], [288 x double] }>* @asc_neq_B3g_reference.asc_neq_B3g to [576 x double]*), i64 0, i64 %2
%4 = load double, double* %3
ret double %4
}