From aeca13145a7aa451475f897f023b1a93fccae4da Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:18:00 -0700
Subject: [PATCH] [sledge] Update operand index of Invoke callee

Summary: It seems to have changed in llvm.

Reviewed By: jvillard

Differential Revision: D27280737

fbshipit-source-id: 818869ede
---
 sledge/cli/frontend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index 9e2d57d0c..b078fb2a8 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -1179,7 +1179,7 @@ let xlate_instr :
                   let cmnd = IArray.of_list insts in
                   (pre_0 @ pre_1, call, [Block.mk ~lbl ~cmnd ~term]) ) ) ) )
   | Invoke -> (
-      let llcallee = Llvm.operand instr (Llvm.num_operands instr - 3) in
+      let llcallee = Llvm.operand instr (Llvm.num_operands instr - 1) in
       let lltyp = Llvm.type_of llcallee in
       let llcallee = norm_callee llcallee in
       let num_actuals = num_actuals instr lltyp llcallee in