test_cases:
  -
    input:
      bytes: [ 0x02, 0x43, 0x38, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "nmi" ]
    expected:
      insns:
        -
          asm_text: "mrs x2, ALLINT"

  -
    input:
      bytes: [ 0x03, 0x43, 0x18, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "nmi" ]
    expected:
      insns:
        -
          asm_text: "msr ALLINT, x3"

  -
    input:
      bytes: [ 0x1f, 0x41, 0x01, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "nmi" ]
    expected:
      insns:
        -
          asm_text: "msr ALLINT, #1"

  -
    input:
      bytes: [ 0xa7, 0xc9, 0x38, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "nmi" ]
    expected:
      insns:
        -
          asm_text: "mrs x7, ICC_NMIAR1_EL1"

  -
    input:
      bytes: [ 0x02, 0x43, 0x38, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "v8.8a" ]
    expected:
      insns:
        -
          asm_text: "mrs x2, ALLINT"

  -
    input:
      bytes: [ 0x03, 0x43, 0x18, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "v8.8a" ]
    expected:
      insns:
        -
          asm_text: "msr ALLINT, x3"

  -
    input:
      bytes: [ 0x1f, 0x41, 0x01, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "v8.8a" ]
    expected:
      insns:
        -
          asm_text: "msr ALLINT, #1"

  -
    input:
      bytes: [ 0xa7, 0xc9, 0x38, 0xd5 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64", "v8.8a" ]
    expected:
      insns:
        -
          asm_text: "mrs x7, ICC_NMIAR1_EL1"
