| Index: src/trusted/validator_arm/armv7.table
|
| diff --git a/src/trusted/validator_arm/armv7.table b/src/trusted/validator_arm/armv7.table
|
| index de58d5cc33ba1f13ec2c3814abc9697282fec794..5c67f816c83a5a8375973918869ccd2458beeb32 100644
|
| --- a/src/trusted/validator_arm/armv7.table
|
| +++ b/src/trusted/validator_arm/armv7.table
|
| @@ -1015,7 +1015,7 @@ class VectorBinary2RegisterScalar_I16_32L : VectorBinary2RegisterScalar
|
| Ubfx_Rule_236_A1_P466
|
| cccc0111111mmmmmddddlllll101nnnn
|
| RegsNotPc (v6T2)
|
| -| 11111 111 - - = Roadblock # Permanently Undefined
|
| +| 11111 111 - - = PermanentlyUndefined
|
| # Note: the UDF mnemonic only applies
|
| # when cond == 0b1110, but all
|
| # encodings are permanently undefined.
|
|
|