[
	{
		"description": "Test MPX instruction in 64 bit mode",
		"id": "mpx-64",
		"format": "elf64",
		"source": "mpx-64.asm",
		"option": "-O0",
		"target": [
			{ "output": "mpx-64.o" }
		]
	}
]