// RUN: llvm-mc -triple aarch64 -show-encoding < %s | FileCheck %s
mrs x0, FGWTE3_EL3
// CHECK: mrs x0, FGWTE3_EL3 // encoding: [0xa0,0x11,0x3e,0xd5]
msr FGWTE3_EL3, x0
// CHECK: msr FGWTE3_EL3, x0 // encoding: [0xa0,0x11,0x1e,0xd5]