Skip to content

Commit f2e2341

Browse files
committed
CHB: enable more typing rules
1 parent e49da83 commit f2e2341

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

CodeHawk/CHB/bchlib/bCHSystemSettings.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,7 @@ let _ =
7171
("RSB-rdef", "enable");
7272
("SMULL-rdef", "enable");
7373
("STR-rdef", "enable");
74+
("STRB-rdef", "enable");
7475
("SUB-rdef", "enable");
7576
("UBFX-rdef", "enable");
7677

@@ -105,6 +106,7 @@ let _ =
105106
("LDRH-def-lhs", "enable");
106107
("MVN-def-lhs", "enable");
107108
("SMULL-def-lhs", "enable");
109+
("STRB-def-lhs", "enable");
108110
("UXTH-def-lhs", "enable");
109111

110112
(* misc rules *)

0 commit comments

Comments
 (0)