@-1 デフォルト設定(Release)

【コード】

#include "stdafx.h"
#include <stdio.h>
#include <stdint.h>
#include <math.h>

int main(array<System::String ^> ^args)
{
  __int64 inputs_hex[16] = {
    0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1fedb1530240aa54,
    0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x1ff0af0d95025bc3,
    0x1fc9353df6af376b, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
    0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000
  };
  double* r = (double*)inputs_hex;
  double norm = 0;

  for (int i = 0; i < 16; i++) {
    norm += (double)r[i] * (double)r[i];
//    fprintf(stdout, "[1]0x%016llX:%.19lg\n", *(uint64_t*)&norm, norm);
  }
  fprintf(stdout, "0x%016llX:%.19lg\n", *(uint64_t*)&norm, norm);
  return 0;
}