// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: xsaveopt 485498096
// CHECK: encoding: [0x0f,0xae,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
xsaveopt 485498096
// CHECK: xsaveopt64 485498096
// CHECK: encoding: [0x48,0x0f,0xae,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
xsaveopt64 485498096
// CHECK: xsaveopt64 64(%rdx)
// CHECK: encoding: [0x48,0x0f,0xae,0x72,0x40]
xsaveopt64 64(%rdx)
// CHECK: xsaveopt64 64(%rdx,%rax,4)
// CHECK: encoding: [0x48,0x0f,0xae,0x74,0x82,0x40]
xsaveopt64 64(%rdx,%rax,4)
// CHECK: xsaveopt64 -64(%rdx,%rax,4)
// CHECK: encoding: [0x48,0x0f,0xae,0x74,0x82,0xc0]
xsaveopt64 -64(%rdx,%rax,4)
// CHECK: xsaveopt64 64(%rdx,%rax)
// CHECK: encoding: [0x48,0x0f,0xae,0x74,0x02,0x40]
xsaveopt64 64(%rdx,%rax)
// CHECK: xsaveopt 64(%rdx)
// CHECK: encoding: [0x0f,0xae,0x72,0x40]
xsaveopt 64(%rdx)
// CHECK: xsaveopt64 (%rdx)
// CHECK: encoding: [0x48,0x0f,0xae,0x32]
xsaveopt64 (%rdx)
// CHECK: xsaveopt 64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0xae,0x74,0x82,0x40]
xsaveopt 64(%rdx,%rax,4)
// CHECK: xsaveopt -64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0xae,0x74,0x82,0xc0]
xsaveopt -64(%rdx,%rax,4)
// CHECK: xsaveopt 64(%rdx,%rax)
// CHECK: encoding: [0x0f,0xae,0x74,0x02,0x40]
xsaveopt 64(%rdx,%rax)
// CHECK: xsaveopt (%rdx)
// CHECK: encoding: [0x0f,0xae,0x32]
xsaveopt (%rdx)