trusted/validator_arm/armv7.table

77 # safety: How safety is defined for the class (missing implies true).
109   safety := true => DEPRECATED;
112   safety := true => FORBIDDEN;
115   safety := true => UNDEFINED;
118   safety := true => UNPREDICTABLE;
122   safety := true => NOT_IMPLEMENTED;
129   safety := true => FORBIDDEN;
151   safety := Rd=1111 => UNPREDICTABLE;
184    safety := (Rd=1111 & S=1) => DECODER_ERROR &  # ARM
196    safety := (Rd=1111 & S=1) => DECODER_ERROR &  # ARM
280    safety := Pc in {Rd, Rm, Rs} => UNPREDICTABLE;
284    safety := Pc in {Rn, Rd, Rm, Rs} => UNPREDICTABLE;
290    safety := Pc in {Rn, Rm, Rs} => UNPREDICTABLE;
296    safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
371    safety := (Rd=1111 & S=1) => DECODER_ERROR &
385    # safety checks.
386    safety := (Rd=1111 & S=1) => DECODER_ERROR &
402    safety := Rd=1111 => FORBIDDEN_OPERANDS;
469    safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE &
475    safety := Pc in {Rd, Rn, Rm, Ra} => UNPREDICTABLE;
482    safety := Pc in {Rd, Rn, Rm, Ra} => UNPREDICTABLE &
488    safety := Pc in {RdLo, RdHi, Rn, Rm} => UNPREDICTABLE &
495    safety := Pc in {RdLo, RdHi, Rn, Rm} => UNPREDICTABLE &
503    safety := Pc in {RdLo, RdHi, Rn, Rm} => UNPREDICTABLE &
546    safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
571    safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
576    safety := Pc in {Rd, Rn, Rm, Ra} => UNPREDICTABLE;
581    safety := Pc in {RdLo, RdHi, Rn, Rm} => UNPREDICTABLE &
631   safety := P=0 & W=1 => DECODER_ERROR &
637   safety := Rt(0)=1 => UNPREDICTABLE &
651   safety := Rn=1111 => DECODER_ERROR &
658   safety := Rn=1111 => DECODER_ERROR &
667   safety := P=0 & W=1 => DECODER_ERROR &
673   safety := Rt(0)=1 => UNPREDICTABLE &
686   safety := Rt(0)=1 => UNPREDICTABLE &
699   safety := Rt(0)=1 => UNPREDICTABLE &
713   safety := P=0 & W=1 => DECODER_ERROR &
723   safety := P=0 & W=1 => DECODER_ERROR &
798   safety := Pc in {Rt, Rn} => UNPREDICTABLE;
802   safety := Rt(0)=1 | Rt == Lr | Rn == Pc => UNPREDICTABLE;
809   safety := Pc in {Rd, Rt, Rn} => UNPREDICTABLE &
814   safety := Pc in {Rd, Rn} | Rt(0)=1 | Rt == Lr  => UNPREDICTABLE &
860   safety := mask=00 => DECODER_ERROR;
916    safety := R=1 => FORBIDDEN_OPERANDS &
925    safety := mask=00 => UNPREDICTABLE &
929    safety := Rm=1111 => FORBIDDEN_OPERANDS;
939    safety := Pc in {Rd, Rm} => UNPREDICTABLE;
949    safety := cond=~1110 => UNPREDICTABLE &
1016   safety := Rt == Pc => FORBIDDEN_OPERANDS;
1018   safety := Rt == Pc => UNPREDICTABLE;
1030   safety := Rn == Pc => DECODER_ERROR &
1037   safety := Rn == Pc => DECODER_ERROR &
1046   safety := P=0 & W=1 => DECODER_ERROR &
1051   safety := P=0 & W=1 => DECODER_ERROR &
1065   safety := P=0 & W=1 => DECODER_ERROR &
1072   safety := P=0 & W=1 => DECODER_ERROR &
1080   safety := P=0 & W=1 => DECODER_ERROR &
1086   safety := P=0 & W=1 => DECODER_ERROR &
1158   safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
1163   safety := Ra == Pc => DECODER_ERROR &
1169   safety := Rn == Pc => DECODER_ERROR &
1176   safety := Pc in {Rd, Rn} => UNPREDICTABLE &
1182   safety := Rd == Pc => UNPREDICTABLE &
1187   safety := not IsUDFNaClSafe(inst) => FORBIDDEN_OPERANDS;
1236   safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
1305   safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
1374   safety := Pc in {Rd, Rm} => UNPREDICTABLE;
1381   safety := Pc in {Rd, Rn, Rm} => UNPREDICTABLE;
1394   safety := Rn=1111 => DECODER_ERROR &
1401   safety := Pc in {Rd, Rn} => UNPREDICTABLE;
1490   safety := Ra == Pc => DECODER_ERROR &
1497   safety := Pc in {Rd, Rm, Rn} => UNPREDICTABLE;
1503   safety := Pc in { RdHi, RdLo, Rn, Rm} => UNPREDICTABLE &
1578   safety := Rn == Pc | NumGPRs(registers) < 1 => UNPREDICTABLE;
1582   safety := super.safety &
1588   safety := super.safety &
1600   safety := true => MAY_BE_SAFE;
1742    # Note: we have explicitly added that cond(31:28)=~1111 to safety to meet
1744    safety := cond=1111 => DECODER_ERROR;
1798    safety := true => MAY_BE_SAFE;
1828    safety := opc2=~000 & opc2=~10x => DECODER_ERROR;
1838    safety := frac_bits < 0 => UNPREDICTABLE;
1937   safety := n == Pc => FORBIDDEN_OPERANDS;
1956   safety := regs == 0 | d + regs > 32 => UNPREDICTABLE;
1961   safety := regs == 0 | regs > 16 | d + regs > 32 => UNPREDICTABLE &
1969   safety := regs == 0 | d + regs > 32 => UNPREDICTABLE;
1974   safety := regs == 0 | regs > 16 | d + regs > 32 => UNPREDICTABLE &
1990   safety := P=0 & U=0 & W=0 => DECODER_ERROR &
1997   safety := super.safety &
2002   safety := super.safety &
2008   safety := super.safety &
2015   safety := super.safety &
2021   safety := super.safety &
2027   safety := super.safety &
2109   safety := t == Pc => UNPREDICTABLE;
2116   safety := t == Pc => UNPREDICTABLE;
2132   safety := cond != cond_AL => DEPRECATED &
2152   safety := sel=0x10 => UNDEFINED &
2174   safety := sel in bitset {10x00, x0x10} => UNDEFINED &
2213   safety := Pc in {t, t2} | m == 31 => UNPREDICTABLE &
2218   safety := Pc in {t, t2} => UNPREDICTABLE &
2282   safety := not option in
2286   safety := option=~1111 => FORBIDDEN_OPERANDS;
2294   safety := true => MAY_BE_SAFE;
2300   safety := Rn=1111 => DECODER_ERROR;
2309   safety :=  Rm == Pc | (Rn == Pc & is_pldw) => UNPREDICTABLE &
2317   safety := true => MAY_BE_SAFE;
2326   safety :=  Rm == Pc => UNPREDICTABLE &
2432    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED &
2439    safety := n+length > 32 => UNPREDICTABLE;
2455    safety := imm4=x000 => UNDEFINED &
2494    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED;
2503    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED &
2508    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED &
2514    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED &
2520    safety := sz=1 | Q=1 => UNDEFINED;
2523    safety := Q=1 & (Vd(0)=1 | Vn(0)=1 | Vm(0)=1) => UNDEFINED &
2529    safety := size=11 => UNDEFINED & Q=1 => UNDEFINED;
2720    safety := size=11 => DECODER_ERROR &
2725    safety := size=11 => DECODER_ERROR &
2731    safety := size=11 => DECODER_ERROR &
2739    safety := size=11 => DECODER_ERROR &
2744    safety := size=11 => DECODER_ERROR &
2808    safety := size=11 => DECODER_ERROR &
2816    safety := size=11 => DECODER_ERROR &
2824    safety := size=11 => DECODER_ERROR &
2897    safety := L:imm6=0000xxx => DECODER_ERROR &
2918    safety := L:imm6=0000xxx => DECODER_ERROR &
2941    safety := imm6=000xxx => DECODER_ERROR &
2948    safety := imm6=000xxx => DECODER_ERROR &
2960    safety := imm6=000xxx => DECODER_ERROR &
2968    safety := imm6=000xxx => DECODER_ERROR &
3048    safety := op + size >= 3 => UNDEFINED &
3053    safety := size=11 => UNDEFINED &
3063    safety := size=~00 => UNDEFINED &
3068    safety := Q=1 & (Vd(0)=1 | Vm(0)=1) => UNDEFINED &
3076    safety := d == m => UNKNOWN &
3083    safety := d == m => UNKNOWN &
3090    safety := d == m => UNKNOWN &
3096    safety := size=11 => UNDEFINED &
3103    safety := size=11 | Vd(0)=1 => UNDEFINED;
3112    safety := op=00 => DECODER_ERROR &
3124    safety := size=~01 => UNDEFINED &
3132    safety := Q=1 & (Vd(0)=1 | Vm(0)=1) => UNDEFINED &
3261    safety := op=0 & cmode(0)=1 & cmode(3:2)=~11 => DECODER_ERROR &
3265    safety := cmode(0)=0 | cmode(3:2)=11 => DECODER_ERROR &
3268    safety := (cmode(0)=1 & cmode(3:2)=~11) | cmode(3:1)=111 => DECODER_ERROR &
3330    safety := type=0111 & align(1)=1 => UNDEFINED &
3339    safety := size=11 => UNDEFINED &
3347    safety := size=11 | align(1)=1 => UNDEFINED &
3353    safety := size=11 => UNDEFINED &
3383    safety := size=11 => UNDEFINED &
3396    safety := size=11 => UNDEFINED &
3402    safety := size=11 => UNDEFINED &
3414    safety := size=11 => UNDEFINED &
3434    safety := size=11 | (size=00 & a=1) => UNDEFINED &
3440    safety := size=11 => UNDEFINED &
3446    safety := size=11 | a=1 => UNDEFINED &
3454    safety := size=11 & a=0 => UNDEFINED &