add __int128, __float128 to lexer and typeSpecifier (also added Tint6…

…4), unclear if all this is needed #8
goblint · Nov 6, 2019 · 225f65d · 225f65d
1 parent 53946cd
commit 225f65d
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 3 deletions.
diff --git a/src/frontc/cabs.ml b/src/frontc/cabs.ml
@@ -60,8 +60,10 @@ type typeSpecifier = (* Merge all specifiers into one type *)
   | Tshort
   | Tint
   | Tlong
-  | Tint64
+  | Tint64 (* TODO needed? *)
+  | Tint128 (* TODO needed? *)
   | Tfloat
+  | Tfloat128 (* TODO needed? *)
   | Tdouble
   | Tsigned
   | Tsizet    (* used temporarily to translate offsetof() *)

diff --git a/src/frontc/clexer.mll b/src/frontc/clexer.mll
@@ -138,6 +138,7 @@ let init_lexicon _ =
       ("char", fun loc -> CHAR loc);
       ("int", fun loc -> INT loc);
       ("float", fun loc -> FLOAT loc);
+      ("__float128", fun loc -> FLOAT128 loc);
       ("double", fun loc -> DOUBLE loc);
       ("void", fun loc -> VOID loc);
       ("enum", fun loc -> ENUM loc);
@@ -193,8 +194,9 @@ let init_lexicon _ =
       ("restrict", fun loc -> RESTRICT loc);
 (*      ("__extension__", EXTENSION); *)
       (**** MS VC ***)
-      ("__int64", fun _ -> INT64 (currentLoc ()));
       ("__int32", fun loc -> INT loc);
+      ("__int64", fun _ -> INT64 (currentLoc ()));
+      ("__int128", fun _ -> INT128 (currentLoc ()));
       ("_cdecl",  fun _ -> MSATTR ("_cdecl", currentLoc ())); 
       ("__cdecl", fun _ -> MSATTR ("__cdecl", currentLoc ()));
       ("_stdcall", fun _ -> MSATTR ("_stdcall", currentLoc ())); 

diff --git a/src/frontc/cparser.mly b/src/frontc/cparser.mly
@@ -255,9 +255,10 @@ let transformOffsetOf (speclist, dtype) member =
 
 %token EOF
 %token<Cabs.cabsloc> CHAR INT BOOL DOUBLE FLOAT VOID INT64 INT32
+%token<Cabs.cabsloc> INT128 FLOAT128 COMPLEX /* C99 */
 %token<Cabs.cabsloc> ENUM STRUCT TYPEDEF UNION
 %token<Cabs.cabsloc> SIGNED UNSIGNED LONG SHORT
-%token<Cabs.cabsloc> VOLATILE EXTERN STATIC CONST RESTRICT AUTO REGISTER COMPLEX HIDDEN
+%token<Cabs.cabsloc> VOLATILE EXTERN STATIC CONST RESTRICT AUTO REGISTER HIDDEN
 %token<Cabs.cabsloc> THREAD
 
 %token<Cabs.cabsloc> SIZEOF ALIGNOF
@@ -977,8 +978,13 @@ type_spec:   /* ISO 6.7.2 */
 |   INT             { Tint, $1 }
 |   LONG            { Tlong, $1 }
 |   INT64           { Tint64, $1 }
+|   INT128          { Tint128, $1 }
 |   FLOAT           { Tfloat, $1 }
+|   FLOAT128        { Tfloat128, $1 }
 |   DOUBLE          { Tdouble, $1 }
+/* |   COMPLEX FLOAT   { Tfloat, $2 } */
+/* |   COMPLEX FLOAT128{ Tfloat128, $2 } */
+/* |   COMPLEX DOUBLE  { Tdouble, $2 } */
 |   SIGNED          { Tsigned, $1 }
 |   UNSIGNED        { Tunsigned, $1 }
 |   STRUCT                 id_or_typename

diff --git a/src/frontc/cprint.ml b/src/frontc/cprint.ml
@@ -174,7 +174,9 @@ and print_type_spec = function
   | Tint -> print "int "
   | Tlong -> print "long "
   | Tint64 -> print "__int64 "
+  | Tint128 -> print "__int128 "
   | Tfloat -> print "float "
+  | Tfloat128 -> print "__float128"
   | Tdouble -> print "double "
   | Tsigned -> printu "signed"
   | Tunsigned -> print "unsigned "