From 9d1c170b34c6ffddeec485568aeba7938b0f9019 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 26 Feb 2008 18:09:21 +0000
Subject: [PATCH] Added a size suffix to the code generated for C/C++ integer
 and real literals (where needed)

---
 backends/GenerateC.hs      | 37 +++++++++++++++++++++++++------------
 backends/GenerateCBased.hs |  4 ++--
 backends/GenerateCPPCSP.hs |  2 +-
 3 files changed, 28 insertions(+), 15 deletions(-)

diff --git a/backends/GenerateC.hs b/backends/GenerateC.hs
index b94c9df..245f722 100644
--- a/backends/GenerateC.hs
+++ b/backends/GenerateC.hs
@@ -445,15 +445,15 @@ cgenConversionSymbol fromT toT cm
 --}}}
 
 --{{{  literals
-cgenLiteral :: A.LiteralRepr -> CGen ()
-cgenLiteral lr
+cgenLiteral :: A.LiteralRepr -> A.Type -> CGen ()
+cgenLiteral lr t
     = if isStringLiteral lr
         then do tell ["\""]
                 let A.ArrayLiteral _ aes = lr
                 sequence_ [genByteLiteral s
                            | A.ArrayElemExpr (A.Literal _ _ (A.ByteLiteral _ s)) <- aes]
                 tell ["\""]
-        else call genLiteralRepr lr
+        else call genLiteralRepr lr t
 
 -- | Does a LiteralRepr represent something that can be a plain string literal?
 isStringLiteral :: A.LiteralRepr -> Bool
@@ -464,16 +464,29 @@ isStringLiteral (A.ArrayLiteral _ aes)
            | ae <- aes]
 isStringLiteral _ = False
 
-cgenLiteralRepr :: A.LiteralRepr -> CGen ()
-cgenLiteralRepr (A.RealLiteral m s) = tell [s]
-cgenLiteralRepr (A.IntLiteral m s) = genDecimal s
-cgenLiteralRepr (A.HexLiteral m s) = tell ["0x", s]
-cgenLiteralRepr (A.ByteLiteral m s) = tell ["'"] >> genByteLiteral s >> tell ["'"]
-cgenLiteralRepr (A.ArrayLiteral m aes)
+genLitSuffix :: A.Type -> CGen ()
+genLitSuffix A.Int = tell ["L"]
+genLitSuffix A.Int32 = tell ["L"]
+genLitSuffix A.UInt32 = tell ["UL"]
+genLitSuffix A.Int64 = tell ["LL"]
+genLitSuffix A.UInt64 = tell ["ULL"]
+genLitSuffix A.Real32 = tell ["F"]
+genLitSuffix _ = return ()
+
+cgenLiteralRepr :: A.LiteralRepr -> A.Type -> CGen ()
+cgenLiteralRepr (A.RealLiteral m s) t = tell [s] >> genLitSuffix t
+cgenLiteralRepr (A.IntLiteral m s) t
+  = do genDecimal s
+       genLitSuffix t
+cgenLiteralRepr (A.HexLiteral m s) t
+  = do tell ["0x", s]
+       genLitSuffix t
+cgenLiteralRepr (A.ByteLiteral m s) _ = tell ["'"] >> genByteLiteral s >> tell ["'"]
+cgenLiteralRepr (A.ArrayLiteral m aes) _
     =  do genLeftB
           call genArrayLiteralElems aes
           genRightB
-cgenLiteralRepr (A.RecordLiteral _ es)
+cgenLiteralRepr (A.RecordLiteral _ es) _
     =  do genLeftB
           seqComma $ map (call genUnfoldedExpression) es
           genRightB
@@ -488,7 +501,7 @@ cgenLiteralRepr (A.RecordLiteral _ es)
 -- Yuck!
 cgenUnfoldedExpression :: A.Expression -> CGen ()
 cgenUnfoldedExpression (A.Literal _ t lr)
-    =  do call genLiteralRepr lr
+    =  do call genLiteralRepr lr t
           case t of
             A.Array ds _ ->
               do genComma
@@ -752,7 +765,7 @@ cgenExpression (A.SizeVariable m v)
           call genSizeSuffix "0"
 cgenExpression (A.Conversion m cm t e) = call genConversion m cm t e
 cgenExpression (A.ExprVariable m v) = call genVariable v
-cgenExpression (A.Literal _ _ lr) = call genLiteral lr
+cgenExpression (A.Literal _ t lr) = call genLiteral lr t
 cgenExpression (A.True m) = tell ["true"]
 cgenExpression (A.False m) = tell ["false"]
 --cgenExpression (A.FunctionCall m n es)
diff --git a/backends/GenerateCBased.hs b/backends/GenerateCBased.hs
index 1a6f593..98c9445 100644
--- a/backends/GenerateCBased.hs
+++ b/backends/GenerateCBased.hs
@@ -129,8 +129,8 @@ data GenOps = GenOps {
     genInputItem :: A.Variable -> A.InputItem -> CGen (),
     genIntrinsicFunction :: Meta -> String -> [A.Expression] -> CGen (),
     genIntrinsicProc :: Meta -> String -> [A.Actual] -> CGen (),
-    genLiteral :: A.LiteralRepr -> CGen (),
-    genLiteralRepr :: A.LiteralRepr -> CGen (),
+    genLiteral :: A.LiteralRepr -> A.Type -> CGen (),
+    genLiteralRepr :: A.LiteralRepr -> A.Type -> CGen (),
     genMissing :: String -> CGen (),
     genMissingC :: CGen String -> CGen (),
     genMonadic :: Meta -> A.MonadicOp -> A.Expression -> CGen (),
diff --git a/backends/GenerateCPPCSP.hs b/backends/GenerateCPPCSP.hs
index 40ca3ff..054a280 100644
--- a/backends/GenerateCPPCSP.hs
+++ b/backends/GenerateCPPCSP.hs
@@ -1023,7 +1023,7 @@ cppgenArraySubscript checkValid v es
 -- | Changed to remove array size:
 cppgenUnfoldedExpression :: A.Expression -> CGen ()
 cppgenUnfoldedExpression (A.Literal _ t lr)
-    =  call genLiteralRepr lr
+    =  call genLiteralRepr lr t
 cppgenUnfoldedExpression (A.ExprVariable m var) = call genUnfoldedVariable m var
 cppgenUnfoldedExpression e = call genExpression e