From c9de012b07426435b8bd3bb29082fbceddf403a3 Mon Sep 17 00:00:00 2001 From: Pavel Date: Tue, 29 Mar 2022 12:03:02 +0400 Subject: Support arguments of width 128, 256 and 512 bits for external calls --- include/klee/Expr/Expr.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/klee/Expr/Expr.h b/include/klee/Expr/Expr.h index b509294c..ae2760a2 100644 --- a/include/klee/Expr/Expr.h +++ b/include/klee/Expr/Expr.h @@ -95,7 +95,9 @@ public: /// The type of an expression is simply its width, in bits. typedef unsigned Width; - + + // NOTE: The prefix "Int" in no way implies the integer type of expression. + // For example, Int64 can indicate i64, double or <2 * i32> in different cases. static const Width InvalidWidth = 0; static const Width Bool = 1; static const Width Int8 = 8; @@ -103,6 +105,10 @@ public: static const Width Int32 = 32; static const Width Int64 = 64; static const Width Fl80 = 80; + static const Width Int128 = 128; + static const Width Int256 = 256; + static const Width Int512 = 512; + static const Width MaxWidth = Int512; enum Kind { -- cgit 1.4.1