Add more tests to integerConstantFolding
authorIan Lynagh <igloo@earth.li>
Wed, 6 Jun 2012 21:33:43 +0000 (22:33 +0100)
committerIan Lynagh <igloo@earth.li>
Wed, 6 Jun 2012 21:33:43 +0000 (22:33 +0100)
testsuite/tests/lib/integer/integerConstantFolding.hs
testsuite/tests/lib/integer/integerConstantFolding.stdout

index 16aecfe..975a587 100644 (file)
@@ -2,6 +2,7 @@
 module Main (main) where
 
 import Data.Bits
+import Data.Word
 
 main :: IO ()
 main = do p "plusInteger"        plusInteger
@@ -50,6 +51,10 @@ main = do p "plusInteger"        plusInteger
           p "floatFromInteger"  floatFromInteger
           p "encodeIntegerDouble" encodeIntegerDouble
           p "encodeIntegerFloat"  encodeIntegerFloat
+          p "integerToWord"       integerToWord
+          p "integerToInt"        integerToInt
+          p "wordToInteger"       wordToInteger
+          p "intToInteger"        intToInteger
 
     where p :: Show a => String -> a -> IO ()
           p str x = putStrLn (str ++ ": " ++ show x)
@@ -179,3 +184,15 @@ encodeIntegerDouble = encodeFloat 100069 2
 encodeIntegerFloat :: Float
 encodeIntegerFloat = encodeFloat 100070 2
 
+integerToWord :: Word
+integerToWord = fromInteger 100071 + 100072
+
+integerToInt :: Int
+integerToInt = fromInteger 100073 + 100074
+
+wordToInteger :: Integer
+wordToInteger = toInteger (100075 :: Word) + 100076
+
+intToInteger :: Integer
+intToInteger = toInteger (100077 :: Int) + 100078
+
index 2a241a3..ae7d5d7 100644 (file)
@@ -44,3 +44,7 @@ doubleFromInteger: 200131.0
 floatFromInteger: 200135.0
 encodeIntegerDouble: 400276.0
 encodeIntegerFloat: 400280.0
+integerToWord: 200143
+integerToInt: 200147
+wordToInteger: 200151
+intToInteger: 200155