From f322d92cba0698c1dd24f4f4925e2a98aea32347 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:18:36 -0700
Subject: [PATCH] [sledge] Add nonsupport for preallocated operand bundles

Reviewed By: jvillard

Differential Revision: D27280745

fbshipit-source-id: a7c1a1b93
---
 sledge/cli/frontend.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index eefd3baa5..3f4d27f5f 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -1169,6 +1169,8 @@ let xlate_instr :
               todo "coroutines:@ %a" pp_llvalue instr ()
           | "llvm" :: "experimental" :: "gc" :: "statepoint" :: _ ->
               todo "statepoints:@ %a" pp_llvalue instr ()
+          | "llvm" :: "call" :: "preallocated" :: _ ->
+              todo "preallocated operand bundles:@ %a" pp_llvalue instr ()
           | ["llvm"; ("va_start" | "va_copy" | "va_end")] ->
               skip "variadic function intrinsic"
           | "llvm" :: _ -> skip "intrinsic"