Implement function llvm_sizeof : LLVMModule -> LLVMType -> Int.

Fixes #803.

Author: Brian Huffman

src/SAWScript/Crucible/LLVM/Builtins.hs

@@ -55,6 +55,7 @@ module SAWScript.Crucible.LLVM.Builtins
     , crucible_symbolic_alloc
     , crucible_alloc_global
     , crucible_fresh_expanded_val
+    , llvm_sizeof
 
     --
     -- These function are common to LLVM & JVM implementation (not for external use)
@@ -1662,6 +1663,22 @@ memTypeForLLVMType loc _bic lty =
       , err
       ]
 
+llvm_sizeof ::
+  Some LLVMModule ->
+  L.Type ->
+  TopLevel Integer
+llvm_sizeof (Some lm) lty =
+  do let mtrans = modTrans lm
+     let ?lc = mtrans ^. Crucible.transContext . Crucible.llvmTypeCtx
+     let dl = Crucible.llvmDataLayout ?lc
+     case Crucible.liftMemType lty of
+       Right mty -> pure (Crucible.bytesToInteger (Crucible.memTypeSize dl mty))
+       Left err -> fail $ unlines
+         [ "llvm_sizeof: Unsupported type: " ++ show (L.ppType lty)
+         , "Details:"
+         , err
+         ]
+
 llvmTypeAlias :: L.Type -> Maybe Crucible.Ident
 llvmTypeAlias (L.Alias i) = Just i
 llvmTypeAlias _ = Nothing

src/SAWScript/Interpreter.hs

@@ -1634,6 +1634,13 @@ primitives = Map.fromList
     , "scalar argument and return types are currently supported."
     ]
 
+  , prim "llvm_sizeof"         "LLVMModule -> LLVMType -> Int"
+    (funVal2 llvm_sizeof)
+    Current
+    [ "In the context of the given LLVM module, compute the size of the"
+    , "given LLVM type in bytes. The module determines details of struct"
+    , "layout and the meaning of type aliases." ]
+
   , prim "llvm_type"           "String -> LLVMType"
     (funVal1 llvm_type)
     Current