From 46f56678239f23fec9da345f86a0b7252e70c17f Mon Sep 17 00:00:00 2001
From: Timotej Kapus <kapust@fb.com>
Date: Thu, 13 Jun 2019 05:13:27 -0700
Subject: [PATCH] [sledge] Relax call instruction arguments

Summary:
Previous change to allow bitcasts in call instructions was too strict
and did not allow for indirect calls.

Reviewed By: jberdine

Differential Revision: D15803262

fbshipit-source-id: 40d828b59
---
 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 63e7e1730..2f3064a6e 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -912,7 +912,7 @@ let xlate_instr :
         in
         let llfunc_valuekind = Llvm.classify_value maybe_llfunc in
         match llfunc_valuekind with
-        | Function -> maybe_llfunc
+        | Function | Instruction _ | InlineAsm | Argument -> maybe_llfunc
         | ConstantExpr ->
             if Llvm.constexpr_opcode maybe_llfunc == BitCast then
               Llvm.operand maybe_llfunc 0