// CHECK: encoding: [0x48,0x8b,0x04,0xe1]
movq (%rcx,%riz,8), %rax
+// CHECK: fxsaveq (%rax)
+// CHECK: encoding: [0x48,0x0f,0xae,0x00]
+ fxsaveq (%rax)
+
+// CHECK: fxrstorq (%rax)
+// CHECK: encoding: [0x48,0x0f,0xae,0x08]
+ fxrstorq (%rax)
+
+// CHECK: leave
+// CHECK: encoding: [0xc9]
+ leave
+
+// CHECK: leave
+// CHECK: encoding: [0xc9]
+ leaveq
+
+// CHECK: flds (%edi)
+// CHECK: encoding: [0x67,0xd9,0x07]
+ flds (%edi)
+
+// CHECK: filds (%edi)
+// CHECK: encoding: [0x67,0xdf,0x07]
+ filds (%edi)
+
+// CHECK: flds (%rdi)
+// CHECK: encoding: [0xd9,0x07]
+ flds (%rdi)
+
+// CHECK: filds (%rdi)
+// CHECK: encoding: [0xdf,0x07]
+ filds (%rdi)