// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s

// CHECK: prefetchnta 485498096
// CHECK: encoding: [0x0f,0x18,0x04,0x25,0xf0,0x1c,0xf0,0x1c]
prefetchnta 485498096

// CHECK: prefetchnta 64(%rdx)
// CHECK: encoding: [0x0f,0x18,0x42,0x40]
prefetchnta 64(%rdx)

// CHECK: prefetchnta -64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x44,0x82,0xc0]
prefetchnta -64(%rdx,%rax,4)

// CHECK: prefetchnta 64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x44,0x82,0x40]
prefetchnta 64(%rdx,%rax,4)

// CHECK: prefetchnta 64(%rdx,%rax)
// CHECK: encoding: [0x0f,0x18,0x44,0x02,0x40]
prefetchnta 64(%rdx,%rax)

// CHECK: prefetchnta (%rdx)
// CHECK: encoding: [0x0f,0x18,0x02]
prefetchnta (%rdx)

// CHECK: prefetcht0 485498096
// CHECK: encoding: [0x0f,0x18,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
prefetcht0 485498096

// CHECK: prefetcht0 64(%rdx)
// CHECK: encoding: [0x0f,0x18,0x4a,0x40]
prefetcht0 64(%rdx)

// CHECK: prefetcht0 -64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x4c,0x82,0xc0]
prefetcht0 -64(%rdx,%rax,4)

// CHECK: prefetcht0 64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x4c,0x82,0x40]
prefetcht0 64(%rdx,%rax,4)

// CHECK: prefetcht0 64(%rdx,%rax)
// CHECK: encoding: [0x0f,0x18,0x4c,0x02,0x40]
prefetcht0 64(%rdx,%rax)

// CHECK: prefetcht0 (%rdx)
// CHECK: encoding: [0x0f,0x18,0x0a]
prefetcht0 (%rdx)

// CHECK: prefetcht1 485498096
// CHECK: encoding: [0x0f,0x18,0x14,0x25,0xf0,0x1c,0xf0,0x1c]
prefetcht1 485498096

// CHECK: prefetcht1 64(%rdx)
// CHECK: encoding: [0x0f,0x18,0x52,0x40]
prefetcht1 64(%rdx)

// CHECK: prefetcht1 -64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x54,0x82,0xc0]
prefetcht1 -64(%rdx,%rax,4)

// CHECK: prefetcht1 64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x54,0x82,0x40]
prefetcht1 64(%rdx,%rax,4)

// CHECK: prefetcht1 64(%rdx,%rax)
// CHECK: encoding: [0x0f,0x18,0x54,0x02,0x40]
prefetcht1 64(%rdx,%rax)

// CHECK: prefetcht1 (%rdx)
// CHECK: encoding: [0x0f,0x18,0x12]
prefetcht1 (%rdx)

// CHECK: prefetcht2 485498096
// CHECK: encoding: [0x0f,0x18,0x1c,0x25,0xf0,0x1c,0xf0,0x1c]
prefetcht2 485498096

// CHECK: prefetcht2 64(%rdx)
// CHECK: encoding: [0x0f,0x18,0x5a,0x40]
prefetcht2 64(%rdx)

// CHECK: prefetcht2 -64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x5c,0x82,0xc0]
prefetcht2 -64(%rdx,%rax,4)

// CHECK: prefetcht2 64(%rdx,%rax,4)
// CHECK: encoding: [0x0f,0x18,0x5c,0x82,0x40]
prefetcht2 64(%rdx,%rax,4)

// CHECK: prefetcht2 64(%rdx,%rax)
// CHECK: encoding: [0x0f,0x18,0x5c,0x02,0x40]
prefetcht2 64(%rdx,%rax)

// CHECK: prefetcht2 (%rdx)
// CHECK: encoding: [0x0f,0x18,0x1a]
prefetcht2 (%rdx)