#as:
#objdump: -dw
#name: x86_64 UINTR insns
#source: x86-64-uintr.s

.*: +file format .*

Disassembly of section \.text:

0+ <_start>:
 +[a-f0-9]+:	f3 0f 01 ec          	uiret *
 +[a-f0-9]+:	f3 0f 01 ed          	testui *
 +[a-f0-9]+:	f3 0f 01 ee          	clui *
 +[a-f0-9]+:	f3 0f 01 ef          	stui *
 +[a-f0-9]+:	f3 0f c7 f0          	senduipi %rax
 +[a-f0-9]+:	f3 41 0f c7 f2       	senduipi %r10
#pass