From aed87322f6517301e33c8f0785e529e287d70d88 Mon Sep 17 00:00:00 2001 From: Greta Yorsh Date: Wed, 8 Nov 2023 16:00:25 +0000 Subject: [PATCH] Format --- backend/cfg/cfg.mli | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/backend/cfg/cfg.mli b/backend/cfg/cfg.mli index e4e6eba22fa..8b252e7d44a 100644 --- a/backend/cfg/cfg.mli +++ b/backend/cfg/cfg.mli @@ -154,10 +154,10 @@ val print_instruction : exception handling. It has a lot of redundancy and the result of the computation is not used. - CFG instructions still include push/poptraps. - To remove these push/poptraps from CFG IR, we need to split blocks at every - push/poptrap. Then, we can annotate the blocks with the top of the trap - stack, instead of carrying the copy of the stack. *) + CFG instructions still include push/poptraps. To remove these push/poptraps + from CFG IR, we need to split blocks at every push/poptrap. Then, we can + annotate the blocks with the top of the trap stack, instead of carrying the + copy of the stack. *) (* CR-someday gyorsh: store label after separately and update after reordering. *)