Skip to content



  • Specifying -march=x86-64-v3 implies -mtune=generic, check with:
gcc -march=x86-64-v3 -Q --help=target | grep -- '-mtune=' | cut -f3
  • isl and libffi use -with-gcc-arch which specifies the passed value to march only (and does not pass it to mtune) which is needed to prevent the configure script from guessing the wrong architecture (it detects the native architecture e.g. haswell or amdfam10 instead)

  • Output when passing -with-gcc-arch=x86-64-v3 to isl and libffi

checking whether C compiler accepts -march=x86-64-v3... yes
checking for gcc architecture flag... -march=x86-64-v3
checking whether C compiler accepts -O3 -fomit-frame-pointer -fstrict-aliasing -ffast-math -march=x86-64-v3... yes
  • To verify if the build was successful, try with qemu, when targeting x86-64-v3 regular qemu will not work without passing cpu being host