From 53866e608875697164363c6243362e6c044c2ac1 Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Mon, 11 Aug 2025 12:46:28 -0700 Subject: [PATCH] CHB: enable more typing rules --- CodeHawk/CHB/bchlib/bCHSystemSettings.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CodeHawk/CHB/bchlib/bCHSystemSettings.ml b/CodeHawk/CHB/bchlib/bCHSystemSettings.ml index b7c4f6fe..f4e7c3ad 100644 --- a/CodeHawk/CHB/bchlib/bCHSystemSettings.ml +++ b/CodeHawk/CHB/bchlib/bCHSystemSettings.ml @@ -71,6 +71,7 @@ let _ = ("RSB-rdef", "enable"); ("SMULL-rdef", "enable"); ("STR-rdef", "enable"); + ("STRB-rdef", "enable"); ("SUB-rdef", "enable"); ("UBFX-rdef", "enable"); @@ -105,6 +106,7 @@ let _ = ("LDRH-def-lhs", "enable"); ("MVN-def-lhs", "enable"); ("SMULL-def-lhs", "enable"); + ("STRB-def-lhs", "enable"); ("UXTH-def-lhs", "enable"); (* misc rules *)