[sledge] Add a todo for calls with inttoptr

Reviewed By: ngorogiannis

Differential Revision: D15965374

fbshipit-source-id: bbee029d7

sledge/src/llair/frontend.ml

@@ -913,12 +913,13 @@ let xlate_instr :
         let llfunc_valuekind = Llvm.classify_value maybe_llfunc in
         match llfunc_valuekind with
         | Function | Instruction _ | InlineAsm | Argument -> maybe_llfunc
-        | ConstantExpr ->
+        | ConstantExpr -> (
-            if Llvm.constexpr_opcode maybe_llfunc == BitCast then
+          match Llvm.constexpr_opcode maybe_llfunc with
-              Llvm.operand maybe_llfunc 0
+          | BitCast -> Llvm.operand maybe_llfunc 0
-            else
+          | IntToPtr -> todo "maybe handle calls with inttoptr" ()
+          | _ ->
               fail "Unknown value in a call instruction %a" pp_llvalue
-                maybe_llfunc ()
+                maybe_llfunc () )
         | _ ->
             fail "Unhandled operand type in a call instruction %a"
               pp_llvaluekind llfunc_valuekind ()