gcc seems to do something similar for -Ofast. Adding something like

  printf("x[0][0]=%f\n", x[0][0]);

at the end of main fixes this.

Benchmarking is hard.