From 2331e8d68a9a1a6928885cd7bd0b428c1f5090de Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 15 Oct 2019 11:30:57 -0700 Subject: [PATCH] [sledge] Fix frontend bug in trampoline creation Reviewed By: ngorogiannis Differential Revision: D17844327 fbshipit-source-id: 18a1c4fbe --- sledge/src/llair/frontend.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml index b1c9336a4..efe9b0822 100644 --- a/sledge/src/llair/frontend.ml +++ b/sledge/src/llair/frontend.ml @@ -1171,13 +1171,13 @@ let xlate_instr : let mov = Llair.Inst.move ~reg_exps:(Vector.of_array [|(reg, exp)|]) ~loc in - let lbl = lbl ^ "." ^ Int.to_string i in + let lbl_i = lbl ^ "." ^ Int.to_string i in let blk = - Llair.Block.mk ~lbl + Llair.Block.mk ~lbl:lbl_i ~cmnd:(Vector.of_array [|mov|]) ~term:(Llair.Term.goto ~dst:(Llair.Jump.mk lbl) ~loc) in - (Llair.Jump.mk lbl, blk :: rev_blocks) + (Llair.Jump.mk lbl_i, blk :: rev_blocks) in let goto_unwind i sel blocks = let dst, blocks = jump_unwind i sel blocks in