// CHECK: movswl 3735928559(%ebx,%ecx,8), %ecx
movswl 0xdeadbeef(%ebx,%ecx,8),%ecx
-// CHECK: movzbl 3735928559(%ebx,%ecx,8), %ecx # NOREX
+// CHECK: movzbl 3735928559(%ebx,%ecx,8), %ecx
movzbl 0xdeadbeef(%ebx,%ecx,8),%ecx
// CHECK: movzwl 3735928559(%ebx,%ecx,8), %ecx
// CHECK: leave
leave
+// CHECK: leave
+ leavel
+
// CHECK: seto %bl
seto %bl
// CHECK: nop
nop
+// CHECK: flds (%edi)
+// CHECK: encoding: [0xd9,0x07]
+ flds (%edi)
+
+// CHECK: filds (%edi)
+// CHECK: encoding: [0xdf,0x07]
+ filds (%edi)
+
// CHECK: fldl 3735928559(%ebx,%ecx,8)
fldl 0xdeadbeef(%ebx,%ecx,8)
// CHECK: fabs
fabs
-// CHECK: fldcww 3735928559(%ebx,%ecx,8)
+// CHECK: fldcw 3735928559(%ebx,%ecx,8)
fldcw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fnstcww 3735928559(%ebx,%ecx,8)
+// CHECK: fnstcw 3735928559(%ebx,%ecx,8)
fnstcw 0xdeadbeef(%ebx,%ecx,8)
// CHECK: rdtsc
// CHECK: encoding: [0xc9]
leave
+// CHECK: leave
+// CHECK: encoding: [0xc9]
+ leavel
+
// CHECK: seto %bl
// CHECK: encoding: [0x0f,0x90,0xc3]
seto %bl
// CHECK: encoding: [0x0f,0x00,0x0d,0xed,0x7e,0x00,0x00]
strw 0x7eed
-// CHECK: verrw %bx
+// CHECK: verr %bx
// CHECK: encoding: [0x0f,0x00,0xe3]
verr %bx
-// CHECK: verrw 3735928559(%ebx,%ecx,8)
+// CHECK: verr 3735928559(%ebx,%ecx,8)
// CHECK: encoding: [0x0f,0x00,0xa4,0xcb,0xef,0xbe,0xad,0xde]
verr 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: verrw 3133065982
+// CHECK: verr 3133065982
// CHECK: encoding: [0x0f,0x00,0x25,0xfe,0xca,0xbe,0xba]
verr 0xbabecafe
-// CHECK: verrw 305419896
+// CHECK: verr 305419896
// CHECK: encoding: [0x0f,0x00,0x25,0x78,0x56,0x34,0x12]
verr 0x12345678
-// CHECK: verww %bx
+// CHECK: verw %bx
// CHECK: encoding: [0x0f,0x00,0xeb]
verw %bx
-// CHECK: verww 3735928559(%ebx,%ecx,8)
+// CHECK: verw 3735928559(%ebx,%ecx,8)
// CHECK: encoding: [0x0f,0x00,0xac,0xcb,0xef,0xbe,0xad,0xde]
verw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: verww 3133065982
+// CHECK: verw 3133065982
// CHECK: encoding: [0x0f,0x00,0x2d,0xfe,0xca,0xbe,0xba]
verw 0xbabecafe
-// CHECK: verww 305419896
+// CHECK: verw 305419896
// CHECK: encoding: [0x0f,0x00,0x2d,0x78,0x56,0x34,0x12]
verw 0x12345678
// CHECK: encoding: [0xdb,0xe3]
fninit
-// CHECK: fldcww 3735928559(%ebx,%ecx,8)
+// CHECK: fldcw 3735928559(%ebx,%ecx,8)
// CHECK: encoding: [0xd9,0xac,0xcb,0xef,0xbe,0xad,0xde]
fldcw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fldcww 3133065982
+// CHECK: fldcw 3133065982
// CHECK: encoding: [0xd9,0x2d,0xfe,0xca,0xbe,0xba]
fldcw 0xbabecafe
-// CHECK: fldcww 305419896
+// CHECK: fldcw 305419896
// CHECK: encoding: [0xd9,0x2d,0x78,0x56,0x34,0x12]
fldcw 0x12345678
-// CHECK: fnstcww 3735928559(%ebx,%ecx,8)
+// CHECK: fnstcw 3735928559(%ebx,%ecx,8)
// CHECK: encoding: [0xd9,0xbc,0xcb,0xef,0xbe,0xad,0xde]
fnstcw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fnstcww 3133065982
+// CHECK: fnstcw 3133065982
// CHECK: encoding: [0xd9,0x3d,0xfe,0xca,0xbe,0xba]
fnstcw 0xbabecafe
-// CHECK: fnstcww 305419896
+// CHECK: fnstcw 305419896
// CHECK: encoding: [0xd9,0x3d,0x78,0x56,0x34,0x12]
fnstcw 0x12345678
-// CHECK: fnstsww 3735928559(%ebx,%ecx,8)
+// CHECK: fnstsw 3735928559(%ebx,%ecx,8)
// CHECK: encoding: [0xdd,0xbc,0xcb,0xef,0xbe,0xad,0xde]
fnstsw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fnstsww 3133065982
+// CHECK: fnstsw 3133065982
// CHECK: encoding: [0xdd,0x3d,0xfe,0xca,0xbe,0xba]
fnstsw 0xbabecafe
-// CHECK: fnstsww 305419896
+// CHECK: fnstsw 305419896
// CHECK: encoding: [0xdd,0x3d,0x78,0x56,0x34,0x12]
fnstsw 0x12345678
// CHECK: encoding: [0xdb,0xda]
fcmovnu %st(2),%st
-// CHECK: fcomi %st(2), %st(0)
+// CHECK: fcomi %st(2)
// CHECK: encoding: [0xdb,0xf2]
fcomi %st(2),%st
-// CHECK: fucomi %st(2), %st(0)
+// CHECK: fucomi %st(2)
// CHECK: encoding: [0xdb,0xea]
fucomi %st(2),%st
-// CHECK: fcomip %st(2), %st(0)
+// CHECK: fcompi %st(2)
// CHECK: encoding: [0xdf,0xf2]
fcomip %st(2),%st
-// CHECK: fucomip %st(2), %st(0)
+// CHECK: fucompi %st(2)
// CHECK: encoding: [0xdf,0xea]
fucomip %st(2),%st
// CHECK: movswl 305419896, %ecx
movswl 0x12345678,%ecx
-// CHECK: movzbl 3735928559(%ebx,%ecx,8), %ecx # NOREX
+// CHECK: movzbl 3735928559(%ebx,%ecx,8), %ecx
movzbl 0xdeadbeef(%ebx,%ecx,8),%ecx
-// CHECK: movzbl 69, %ecx # NOREX
+// CHECK: movzbl 69, %ecx
movzbl 0x45,%ecx
-// CHECK: movzbl 32493, %ecx # NOREX
+// CHECK: movzbl 32493, %ecx
movzbl 0x7eed,%ecx
-// CHECK: movzbl 3133065982, %ecx # NOREX
+// CHECK: movzbl 3133065982, %ecx
movzbl 0xbabecafe,%ecx
-// CHECK: movzbl 305419896, %ecx # NOREX
+// CHECK: movzbl 305419896, %ecx
movzbl 0x12345678,%ecx
// CHECK: movzbw 3735928559(%ebx,%ecx,8), %bx
// CHECK: strw 32493
strw 0x7eed
-// CHECK: verrw %bx
+// CHECK: verr %bx
verr %bx
-// CHECK: verrw 3735928559(%ebx,%ecx,8)
+// CHECK: verr 3735928559(%ebx,%ecx,8)
verr 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: verrw 3133065982
+// CHECK: verr 3133065982
verr 0xbabecafe
-// CHECK: verrw 305419896
+// CHECK: verr 305419896
verr 0x12345678
-// CHECK: verww %bx
+// CHECK: verw %bx
verw %bx
-// CHECK: verww 3735928559(%ebx,%ecx,8)
+// CHECK: verw 3735928559(%ebx,%ecx,8)
verw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: verww 3133065982
+// CHECK: verw 3133065982
verw 0xbabecafe
-// CHECK: verww 305419896
+// CHECK: verw 305419896
verw 0x12345678
// CHECK: fld %st(2)
// CHECK: fninit
fninit
-// CHECK: fldcww 3735928559(%ebx,%ecx,8)
+// CHECK: fldcw 3735928559(%ebx,%ecx,8)
fldcw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fldcww 3133065982
+// CHECK: fldcw 3133065982
fldcw 0xbabecafe
-// CHECK: fldcww 305419896
+// CHECK: fldcw 305419896
fldcw 0x12345678
-// CHECK: fnstcww 3735928559(%ebx,%ecx,8)
+// CHECK: fnstcw 3735928559(%ebx,%ecx,8)
fnstcw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fnstcww 3133065982
+// CHECK: fnstcw 3133065982
fnstcw 0xbabecafe
-// CHECK: fnstcww 305419896
+// CHECK: fnstcw 305419896
fnstcw 0x12345678
-// CHECK: fnstsww 3735928559(%ebx,%ecx,8)
+// CHECK: fnstsw 3735928559(%ebx,%ecx,8)
fnstsw 0xdeadbeef(%ebx,%ecx,8)
-// CHECK: fnstsww 3133065982
+// CHECK: fnstsw 3133065982
fnstsw 0xbabecafe
-// CHECK: fnstsww 305419896
+// CHECK: fnstsw 305419896
fnstsw 0x12345678
// CHECK: fnclex
// CHECK: fcmovnu %st(2), %st(0)
fcmovnu %st(2),%st
-// CHECK: fcomi %st(2), %st(0)
+// CHECK: fcomi %st(2)
fcomi %st(2),%st
-// CHECK: fucomi %st(2), %st(0)
+// CHECK: fucomi %st(2)
fucomi %st(2),%st
-// CHECK: fcomip %st(2), %st(0)
+// CHECK: fcompi %st(2)
fcomip %st(2),%st
-// CHECK: fucomip %st(2), %st(0)
+// CHECK: fucompi %st(2)
fucomip %st(2),%st
// CHECK: movnti %ecx, 3735928559(%ebx,%ecx,8)