From 94395d9bec7f193125fb76b0ab3f12405a320b59 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 24 Mar 2021 14:18:30 -0700
Subject: [PATCH] [sledge] Add support for ScalableVector type

Reviewed By: jvillard

Differential Revision: D27280746

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

diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index 529f6545a..eefd3baa5 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -321,7 +321,7 @@ let rec xlate_type : x -> Llvm.lltype -> Typ.t =
             in
             Typ.struct_ ~name elts ~bits ~byts
       | Function -> fail "expected to be unsized: %a" pp_lltype llt ()
-      | Vector -> todo "vector types: %a" pp_lltype llt ()
+      | Vector | ScalableVector -> todo "vector types: %a" pp_lltype llt ()
       | Void | Label | Metadata | Token -> assert false
     else
       match Llvm.classify_type llt with
@@ -335,7 +335,7 @@ let rec xlate_type : x -> Llvm.lltype -> Typ.t =
           Typ.function_ ~return ~args
       | Struct when Llvm.is_opaque llt -> Typ.opaque ~name:(struct_name llt)
       | Token -> Typ.opaque ~name:"token"
-      | Vector | Array | Struct ->
+      | Vector | ScalableVector | Array | Struct ->
           todo "unsized non-opaque aggregate types: %a" pp_lltype llt ()
       | Half | BFloat | Float | Double | X86fp80 | Fp128 | Ppc_fp128
        |Integer | X86_mmx | Pointer ->