diff options
Diffstat (limited to 'backend/PrintRTL.ml')
-rw-r--r-- | backend/PrintRTL.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backend/PrintRTL.ml b/backend/PrintRTL.ml index 429199e0..137f65b9 100644 --- a/backend/PrintRTL.ml +++ b/backend/PrintRTL.ml @@ -133,3 +133,6 @@ let print_constprop = print_if destination_constprop let destination_cse : string option ref = ref None let print_cse = print_if destination_cse +let destination_deadcode : string option ref = ref None +let print_deadcode = print_if destination_deadcode + |