summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorJohn Ericson <git@JohnEricson.me>2019-10-19 18:59:48 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-04-10 05:31:49 -0400
commitc363108e13f4b198b77cea870cb8d9e76c8a7e55 (patch)
treed3d59270b516b8625210ae210ac54369897b7faf /testsuite
parenteb1a86bbbb622c557fadf2fb33188c6724c7eaab (diff)
downloadhaskell-c363108e13f4b198b77cea870cb8d9e76c8a7e55.tar.gz
Add missing relational constant folding for sized numeric types
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/primops/should_run/NonNativeSwitch.hs47
-rw-r--r--testsuite/tests/primops/should_run/NonNativeSwitch.stdout3
-rw-r--r--testsuite/tests/primops/should_run/all.T1
3 files changed, 51 insertions, 0 deletions
diff --git a/testsuite/tests/primops/should_run/NonNativeSwitch.hs b/testsuite/tests/primops/should_run/NonNativeSwitch.hs
new file mode 100644
index 0000000000..eae37d949d
--- /dev/null
+++ b/testsuite/tests/primops/should_run/NonNativeSwitch.hs
@@ -0,0 +1,47 @@
+{-# LANGUAGE BangPatterns #-}
+{-# LANGUAGE MagicHash #-}
+{-# LANGUAGE UnboxedTuples #-}
+
+import GHC.Exts
+import GHC.Word (Word8(..), Word16(..), Word32(..))
+
+-- We expect these ifs to be rewritten into core switches. Then they
+-- will become C-- switches possibly after ifs again. Either way, C--
+-- switches only supported native comparisons before, so this tests that
+-- non-native ones work.
+
+main :: IO ()
+main = do
+ let W8# five = 5
+ switch8 five
+ let W16# five = 5
+ switch16 five
+ let W32# five = 5
+ switch32 five
+
+{-# NOINLINE switch8 #-}
+switch8 :: Word8# -> IO ()
+switch8 n =
+ if isTrue# (n `eqWord8#` three)
+ then putStrLn "Word8 is 3"
+ else putStrLn "Word8 is not 3"
+ where
+ W8# three = 3
+
+{-# NOINLINE switch16 #-}
+switch16 :: Word16# -> IO ()
+switch16 n =
+ if isTrue# (n `eqWord16#` three)
+ then putStrLn "Word16 is 3"
+ else putStrLn "Word16 is not 3"
+ where
+ W16# three = 3
+
+{-# NOINLINE switch32 #-}
+switch32 :: Word32# -> IO ()
+switch32 n =
+ if isTrue# (n `eqWord32#` three)
+ then putStrLn "Word32 is 3"
+ else putStrLn "Word32 is not 3"
+ where
+ W32# three = 3
diff --git a/testsuite/tests/primops/should_run/NonNativeSwitch.stdout b/testsuite/tests/primops/should_run/NonNativeSwitch.stdout
new file mode 100644
index 0000000000..45d7461794
--- /dev/null
+++ b/testsuite/tests/primops/should_run/NonNativeSwitch.stdout
@@ -0,0 +1,3 @@
+Word8 is not 3
+Word16 is not 3
+Word32 is not 3
diff --git a/testsuite/tests/primops/should_run/all.T b/testsuite/tests/primops/should_run/all.T
index dbb82fd11e..954cc30ef9 100644
--- a/testsuite/tests/primops/should_run/all.T
+++ b/testsuite/tests/primops/should_run/all.T
@@ -36,3 +36,4 @@ test('ShrinkSmallMutableArrayA', normal, compile_and_run, [''])
test('ShrinkSmallMutableArrayB', normal, compile_and_run, [''])
test('T14664', normal, compile_and_run, [''])
test('CStringLength', normal, compile_and_run, ['-O2'])
+test('NonNativeSwitch', normal, compile_and_run, ['-O2'])