Add encodeInteger{Double,Float} to the integerConstantFolding test

testsuite/tests/lib/integer/Makefile

@@ -32,5 +32,7 @@ integerConstantFolding:
 	$(call CHECK,\<68\>,remInteger)
 	$(call CHECK,\<200131.0\>,doubleFromInteger)
 	$(call CHECK,\<200135.0\>,floatFromInteger)
+	$(call CHECK,\<400276.0\>,encodeIntegerDouble)
+	$(call CHECK,\<400280.0\>,encodeIntegerFloat)
 	./integerConstantFolding
 

testsuite/tests/lib/integer/integerConstantFolding.hs

@@ -48,6 +48,8 @@ main = do p "plusInteger"        plusInteger
           p "remInteger"        remInteger
           p "doubleFromInteger" doubleFromInteger
           p "floatFromInteger"  floatFromInteger
+          p "encodeIntegerDouble" encodeIntegerDouble
+          p "encodeIntegerFloat"  encodeIntegerFloat
 
     where p :: Show a => String -> a -> IO ()
           p str x = putStrLn (str ++ ": " ++ show x)
@@ -171,3 +173,9 @@ doubleFromInteger = fromInteger 100065 + 100066
 floatFromInteger :: Float
 floatFromInteger = fromInteger 100067 + 100068
 
+encodeIntegerDouble :: Double
+encodeIntegerDouble = encodeFloat 100069 2
+
+encodeIntegerFloat :: Float
+encodeIntegerFloat = encodeFloat 100070 2
+

testsuite/tests/lib/integer/integerConstantFolding.stdout

@@ -42,3 +42,5 @@ quotInteger: 641
 remInteger: 68
 doubleFromInteger: 200131.0
 floatFromInteger: 200135.0
+encodeIntegerDouble: 400276.0
+encodeIntegerFloat: 400280.0