1 #source: ../x86-64-avx.s
2 #objdump: -drwMintel
3 #name: x86-64 (ILP32) AVX (Intel mode)
4 #dump: ../x86-64-avx-intel.d
5