VERIFY            959 src/arm/disasm-arm.cc       VERIFY(!instr->HasW());
VERIFY            965 src/arm/disasm-arm.cc         VERIFY(instr->Bits(5, 4) == 0x1);
VERIFY           1086 src/arm/disasm-arm.cc   VERIFY((instr->TypeValue() == 7) && (instr->Bit(24) == 0x0) );
VERIFY           1087 src/arm/disasm-arm.cc   VERIFY(instr->Bits(11, 9) == 0x5);
VERIFY           1178 src/arm/disasm-arm.cc   VERIFY((instr->Bit(4) == 1) && (instr->VCValue() == 0x0) &&
VERIFY           1192 src/arm/disasm-arm.cc   VERIFY((instr->Bit(4) == 0) && (instr->Opc1Value() == 0x7));
VERIFY           1193 src/arm/disasm-arm.cc   VERIFY(((instr->Opc2Value() == 0x4) || (instr->Opc2Value() == 0x5)) &&
VERIFY           1215 src/arm/disasm-arm.cc   VERIFY((instr->Bit(4) == 0) && (instr->Opc1Value() == 0x7));
VERIFY           1216 src/arm/disasm-arm.cc   VERIFY((instr->Opc2Value() == 0x7) && (instr->Opc3Value() == 0x3));
VERIFY           1229 src/arm/disasm-arm.cc   VERIFY((instr->Bit(4) == 0) && (instr->Opc1Value() == 0x7));
VERIFY           1230 src/arm/disasm-arm.cc   VERIFY(((instr->Opc2Value() == 0x8) && (instr->Opc3Value() & 0x1)) ||
VERIFY           1277 src/arm/disasm-arm.cc   VERIFY(instr->TypeValue() == 6);