From d10d30c5f0beb778b3b4227b461c09ceaaab29b1 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Sat, 9 Mar 2019 05:17:42 -0800 Subject: [PATCH] [sledge] Fix typo llvm.memmove Summary: Overlooked codemod casualty Reviewed By: mbouaziz Differential Revision: D14385599 fbshipit-source-id: c6323722b --- sledge/src/llair/frontend.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml index e565fef93..c1cdf0370 100644 --- a/sledge/src/llair/frontend.ml +++ b/sledge/src/llair/frontend.ml @@ -923,7 +923,7 @@ let xlate_instr : let len = xlate_value x (Llvm.operand instr 2) in continue (fun (insts, term) -> (Llair.Inst.memcpy ~dst ~src ~len ~loc :: insts, term, []) ) - | "llvm" :: "memmov" :: _ -> + | "llvm" :: "memmove" :: _ -> let dst = xlate_value x (Llvm.operand instr 0) in let src = xlate_value x (Llvm.operand instr 1) in let len = xlate_value x (Llvm.operand instr 2) in