Lines Matching refs:post
934 As such, arm_CONFIG is not automatically introduced in the post-condition.
935 This is achieved with some post-processing.
1096 arm_spec_hex "E4921004"; (* LDR post imm *)
1097 arm_spec_hex "E4121004"; (* LDR post -imm *)
1098 arm_spec_hex "E6921002"; (* LDR post reg *)
1099 arm_spec_hex "E6121002"; (* LDR post -reg *)
1100 arm_spec_hex "E6121003"; (* LDR post -reg *)
1101 arm_spec_hex "E6921103"; (* LDR post reg *)
1110 arm_spec_hex "E6D21102"; (* LDRB reg post *)
1113 arm_spec_hex "E09210F3"; (* LDRSH reg post *)
1114 arm_spec_hex "E09210F2"; (* LDRSH reg post *)
1119 arm_spec_hex "E0C200D4"; (* LDRD post *)
1120 arm_spec_hex "E04200D4"; (* LDRD post *)
1121 arm_spec_hex "E08200D3"; (* LDRD post reg *)
1122 arm_spec_hex "E00200D3"; (* LDRD post reg *)
1132 arm_spec_hex "E4821004"; (* STR post imm *)
1133 arm_spec_hex "E4021004"; (* STR post -imm *)
1134 arm_spec_hex "E6821002"; (* STR post reg *)
1135 arm_spec_hex "E6021002"; (* STR post -reg *)
1136 arm_spec_hex "E6021003"; (* STR post -reg *)
1137 arm_spec_hex "E6821103"; (* STR post reg *)
1141 arm_spec_hex "E6C21102"; (* STRB reg post *)
1147 arm_spec_hex "E0C200F4"; (* STRD post *)
1148 arm_spec_hex "E04200F4"; (* STRD post *)
1149 arm_spec_hex "E08200F3"; (* STRD post reg *)
1150 arm_spec_hex "E00200F3"; (* STRD post reg *)