[sledge] Fix typo llvm.memmove

Summary: Overlooked codemod casualty Reviewed By: mbouaziz Differential Revision: D14385599 fbshipit-source-id: c6323722b
6 years ago · d10d30c5f0
parent b59f444023
commit d10d30c5f0
1 changed files with 1 additions and 1 deletions
--- 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