Cheng Shao pushed to branch wip/foundation-improve-coverage at Glasgow Haskell Compiler / GHC
Commits:
3c001377 by Cheng Shao at 2025-12-13T05:03:15-05:00
ci: use treeless fetch for perf notes
This patch improves the ci logic for fetching perf notes by using
treeless fetch
(https://github.blog/open-source/git/get-up-to-speed-with-partial-clone-and-s...),
to avoid downloading all blobs of the perf notes repo at once, and
only fetch the actually required blobs on-demand when needed. This
makes the initial `test-metrics.sh pull` operation much faster, and
also more robust, since we are seeing an increasing rate of 504 errors
in CI when fetching all perf notes at once, which is a major source of
CI flakiness at this point.
Co-authored-by: Codex
- - - - -
123a8d77 by Peter Trommler at 2025-12-13T05:03:57-05:00
Cmm: remove restriction in MachOp folding
- - - - -
0b54b5fd by Andreas Klebinger at 2025-12-13T05:04:38-05:00
Remove explicit Typeable deriviations.
- - - - -
08b13f7b by Cheng Shao at 2025-12-13T05:05:18-05:00
ci: set gc.auto=0 during setup stage
This patch sets `gc.auto=0` during `setup` stage of CI, see added
comment for detailed explanation.
- - - - -
1a841641 by Cheng Shao at 2025-12-13T23:34:32+01:00
testsuite: improve coverage of foundation test
This patch refactors the `foundation` test a bit to improve coverage:
- Instead of using a hard-coded seed, a random seed is now taken from
the command line, and printed upon test failure. This improves test
coverage over many future CI runs, and shall a failure occur, the
seed is available in the CI log for local reproduction.
- The iterations count is bumped to 10000 instead of 100, similar to
the bump in `test-primops`. Runtime timeout is bumped 2x just to be
safe, though it's 2m39s on my machine and well within default
timeout 300s.
- Improve `newLCGGen` by using non-atomic loads/stores on a
`MutableByteArray#` for storing mutable `Word64`, this test doesn't
use parallelism in the first place
- Fixed a few compiler warnings and removed redundant pragmas and
imports
Co-authored-by: Codex
- - - - -
16 changed files:
- .gitlab/ci.sh
- .gitlab/test-metrics.sh
- compiler/GHC/Cmm/Opt.hs
- hadrian/src/Hadrian/Haskell/Cabal/Type.hs
- hadrian/src/Hadrian/Haskell/Hash.hs
- hadrian/src/Hadrian/Oracles/ArgsHash.hs
- hadrian/src/Hadrian/Oracles/Cabal/Type.hs
- hadrian/src/Hadrian/Oracles/DirectoryContents.hs
- hadrian/src/Hadrian/Oracles/Path.hs
- hadrian/src/Hadrian/Oracles/TextFile.hs
- hadrian/src/Hadrian/Utilities.hs
- hadrian/src/Oracles/Flavour.hs
- hadrian/src/Oracles/ModuleFiles.hs
- testsuite/tests/numeric/should_run/all.T
- testsuite/tests/numeric/should_run/foundation.hs
- testsuite/tests/numeric/should_run/foundation.stdout
Changes:
=====================================
.gitlab/ci.sh
=====================================
@@ -259,6 +259,12 @@ function setup() {
git config user.email "ghc-ci@gitlab-haskell.org"
git config user.name "GHC GitLab CI"
+ # Disable auto gc. Useless in a temporary checkout, and
+ # non-deterministic "Auto packing the repository in background for
+ # optimum performance." message could pop up that confuses the
+ # testsuite driver!
+ git config gc.auto 0
+
info "====================================================="
info "Toolchain versions"
info "====================================================="
=====================================
.gitlab/test-metrics.sh
=====================================
@@ -17,12 +17,14 @@ fail() {
function pull() {
local ref="refs/notes/$REF"
- # 2023-10-04: `git fetch` started failing, first on Darwin in CI and then on
- # Linux locally, both using git version 2.40.1. See #24055. One workaround is
- # to set a larger http.postBuffer, although this is definitely a workaround.
- # The default should work just fine. The error could be in git, GitLab, or
- # perhaps the networking tube (including all proxies etc) between the two.
- run git -c http.postBuffer=2097152 fetch -f "$NOTES_ORIGIN" "$ref:$ref"
+
+ # Fetch performance notes from a dedicated promisor remote using a
+ # treeless filter, so that individual note blobs are fetched lazily
+ # as needed.
+ git remote add perf-notes "$NOTES_ORIGIN" || true
+ git config fetch.recurseSubmodules false
+ git config remote.perf-notes.partialclonefilter tree:0
+ run git fetch --force perf-notes "$ref:$ref"
echo "perf notes ref $ref is $(git rev-parse $ref)"
}
@@ -81,4 +83,3 @@ case $1 in
pull) pull ;;
*) fail "Invalid mode $1" ;;
esac
-
=====================================
compiler/GHC/Cmm/Opt.hs
=====================================
@@ -290,9 +290,7 @@ cmmMachOpFoldM _ (MO_Sub _) [CmmLit lit, CmmLit (CmmInt i rep)]
-- the same comparison at the larger size.
cmmMachOpFoldM platform cmp [CmmMachOp conv [x], CmmLit (CmmInt i _)]
- | -- powerPC NCG has a TODO for I8/I16 comparisons, so don't try
- platformArch platform `elem` [ArchX86, ArchX86_64],
- -- if the operand is widened:
+ | -- if the operand is widened:
Just (rep, signed, narrow_fn) <- maybe_conversion conv,
-- and this is a comparison operation:
Just narrow_cmp <- maybe_comparison cmp rep signed,
=====================================
hadrian/src/Hadrian/Haskell/Cabal/Type.hs
=====================================
@@ -31,7 +31,7 @@ data PackageData = PackageData
, description :: String
, packageDependencies :: [Package]
, genericPackageDescription :: GenericPackageDescription
- } deriving (Eq, Generic, Show, Typeable)
+ } deriving (Eq, Generic, Show)
-- | Haskell package metadata obtained after resolving package configuration
-- flags and associated conditionals according to the current build context.
@@ -75,7 +75,7 @@ data ContextData = ContextData
, contextLibdir :: FilePath
-- The location where dynamic libraries go
, contextDynLibdir :: FilePath
- } deriving (Eq, Generic, Show, Typeable)
+ } deriving (Eq, Generic, Show)
instance Binary PackageData
instance Hashable PackageData where hashWithSalt salt = hashWithSalt salt . show
=====================================
hadrian/src/Hadrian/Haskell/Hash.hs
=====================================
@@ -108,7 +108,7 @@ data PackageHashConfigInputs = PackageHashConfigInputs {
deriving Show
newtype PkgHashKey = PkgHashKey (Stage, Package)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult PkgHashKey = String
pkgHash :: Stage -> Package -> Action String
=====================================
hadrian/src/Hadrian/Oracles/ArgsHash.hs
=====================================
@@ -38,7 +38,7 @@ trackArgsHash t = do
void (askOracle $ ArgsHash hashedTarget :: Action Int)
newtype ArgsHash c b = ArgsHash (Target c b)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult (ArgsHash c b) = Int
-- | This oracle stores per-target argument list hashes in the Shake database,
=====================================
hadrian/src/Hadrian/Oracles/Cabal/Type.hs
=====================================
@@ -26,13 +26,13 @@ import Stage
-- | This type of oracle key is used by 'Hadrian.Oracles.Cabal.readPackageData'
-- to cache reading and parsing of 'Hadrian.Haskell.Cabal.Type.PackageData'.
newtype PackageDataKey = PackageDataKey Package
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult PackageDataKey = PackageData
-- | This type of oracle key is used by 'Hadrian.Oracles.Cabal.readContextData'
-- to cache reading and parsing of 'Hadrian.Haskell.Cabal.Type.ContextData'.
newtype ContextDataKey = ContextDataKey Context
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult ContextDataKey = ContextData
-- TODO: Should @PackageConfiguration@ be simply @()@? Presumably the pair
@@ -40,7 +40,7 @@ type instance RuleResult ContextDataKey = ContextData
-- | The result of Cabal package configuration produced by the oracle
-- 'Hadrian.Oracles.Cabal.configurePackageGHC'.
newtype PackageConfiguration = PackageConfiguration (C.Compiler, C.Platform)
- deriving (Binary, Eq, Show, Typeable)
+ deriving (Binary, Eq, Show)
instance NFData PackageConfiguration where
rnf (PackageConfiguration (c, p)) =
@@ -58,5 +58,5 @@ instance Hashable PackageConfiguration where
-- | This type of oracle key is used by 'Hadrian.Oracles.Cabal.configurePackageGHC'
-- to cache configuration of a Cabal package.
newtype PackageConfigurationKey = PackageConfigurationKey (Package, Stage)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult PackageConfigurationKey = PackageConfiguration
=====================================
hadrian/src/Hadrian/Oracles/DirectoryContents.hs
=====================================
@@ -15,7 +15,7 @@ import Hadrian.Utilities
import qualified System.Directory.Extra as IO
data Match = Test FilePattern | Not Match | And [Match] | Or [Match]
- deriving (Generic, Eq, Show, Typeable)
+ deriving (Generic, Eq, Show)
instance Binary Match
instance Hashable Match
@@ -54,7 +54,7 @@ copyDirectoryContentsUntracked expr source target = do
mapM_ cp =<< directoryContents expr source
newtype DirectoryContents = DirectoryContents (Match, FilePath)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult DirectoryContents = [FilePath]
-- | This oracle answers 'directoryContents' queries and tracks the results.
=====================================
hadrian/src/Hadrian/Oracles/Path.hs
=====================================
@@ -34,11 +34,11 @@ fixAbsolutePathOnWindows path =
return path
newtype LookupInPath = LookupInPath String
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult LookupInPath = String
newtype WindowsPath = WindowsPath FilePath
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult WindowsPath = String
-- | Oracles for looking up paths. These are slow and require caching.
=====================================
hadrian/src/Hadrian/Oracles/TextFile.hs
=====================================
@@ -118,15 +118,15 @@ queryTargetTarget :: (Toolchain.Target -> a) -> Action a
queryTargetTarget f = f <$> getTargetTarget
newtype KeyValue = KeyValue (FilePath, String)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult KeyValue = Maybe String
newtype KeyValues = KeyValues (FilePath, String)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult KeyValues = Maybe [String]
newtype TargetFile = TargetFile FilePath
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult TargetFile = Toolchain.Target
-- | These oracle rules are used to cache and track answers to the following
=====================================
hadrian/src/Hadrian/Utilities.hs
=====================================
@@ -298,7 +298,7 @@ userSettingRules defaultValue = do
extra <- shakeExtra <$> getShakeOptionsRules
return $ lookupExtra defaultValue extra
-newtype BuildRoot = BuildRoot FilePath deriving (Typeable, Eq, Show)
+newtype BuildRoot = BuildRoot FilePath deriving (Eq, Show)
-- | All build results are put into the 'buildRoot' directory.
buildRoot :: Action FilePath
@@ -484,7 +484,6 @@ putColoured code msg = do
else putInfo msg
newtype BuildProgressColour = BuildProgressColour String
- deriving Typeable
-- | By default, Hadrian tries to figure out if the current terminal
-- supports colors using this function. The default can be overridden
@@ -511,7 +510,6 @@ putBuild msg = do
putColoured code msg
newtype SuccessColour = SuccessColour String
- deriving Typeable
-- | Generate an encoded colour for successful output from names
mkSuccessColour :: Colour -> SuccessColour
@@ -528,7 +526,6 @@ putSuccess msg = do
putColoured code msg
newtype FailureColour = FailureColour String
- deriving Typeable
-- | Generate an encoded colour for failure output messages
mkFailureColour :: Colour -> FailureColour
@@ -544,7 +541,7 @@ putFailure msg = do
FailureColour code <- userSetting red
putColoured code msg
-data ProgressInfo = None | Brief | Normal | Unicorn deriving (Eq, Show, Typeable)
+data ProgressInfo = None | Brief | Normal | Unicorn deriving (Eq, Show)
-- | Version of 'putBuild' controlled by @--progress-info@ command line argument.
putProgressInfo :: String -> Action ()
=====================================
hadrian/src/Oracles/Flavour.hs
=====================================
@@ -14,11 +14,11 @@ import Flavour
import Settings (flavour)
newtype DynGhcPrograms =
- DynGhcPrograms () deriving (Show, Typeable, Eq, Hashable, Binary, NFData)
+ DynGhcPrograms () deriving (Show, Eq, Hashable, Binary, NFData)
type instance RuleResult DynGhcPrograms = Bool
newtype GhcProfiled =
- GhcProfiled Stage deriving (Show, Typeable, Eq, Hashable, Binary, NFData)
+ GhcProfiled Stage deriving (Show, Eq, Hashable, Binary, NFData)
type instance RuleResult GhcProfiled = Bool
oracles :: Rules ()
=====================================
hadrian/src/Oracles/ModuleFiles.hs
=====================================
@@ -16,11 +16,11 @@ import Expression
type ModuleName = String
newtype ModuleFiles = ModuleFiles (Stage, Package)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult ModuleFiles = [Maybe FilePath]
newtype Generator = Generator (Stage, Package, FilePath)
- deriving (Binary, Eq, Hashable, NFData, Show, Typeable)
+ deriving (Binary, Eq, Hashable, NFData, Show)
type instance RuleResult Generator = Maybe FilePath
-- | We scan for the following Haskell source extensions when looking for module
=====================================
testsuite/tests/numeric/should_run/all.T
=====================================
@@ -3,6 +3,8 @@
# extra run flags
# expected process return value, if not zero
+import random
+
test('arith001', normal, compile_and_run, [''])
test('arith002', normal, compile_and_run, [''])
test('arith003', normal, compile_and_run, [''])
@@ -82,7 +84,7 @@ test('IntegerToFloat', normal, compile_and_run, [''])
test('T20291', normal, compile_and_run, [''])
test('T22282', normal, compile_and_run, [''])
test('T22671', js_fragile(24259), compile_and_run, [''])
-test('foundation', [when(js_arch(), run_timeout_multiplier(2)), js_fragile(24259), extra_ways(['optasm','ghci','ghci-opt'])], compile_and_run, ['-package transformers -fno-break-points'])
+test('foundation', [run_timeout_multiplier(2), js_fragile(24259), extra_ways(['optasm','ghci','ghci-opt']), extra_run_opts(str(random.getrandbits(64)))], compile_and_run, ['-fno-break-points'])
test('T24066', normal, compile_and_run, [''])
test('div01', normal, compile_and_run, [''])
test('T24245', normal, compile_and_run, [''])
=====================================
testsuite/tests/numeric/should_run/foundation.hs
=====================================
@@ -10,9 +10,7 @@
compare the result of the primop wrappers with the results of interpretation.
-}
-{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeAbstractions #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DerivingStrategies #-}
@@ -25,28 +23,23 @@ module Main
( main
) where
+import Data.Array.Byte
import Data.Bits (Bits((.&.), bit), FiniteBits, finiteBitSize)
import Data.Word
import Data.Int
import GHC.Natural
import Data.Typeable
-import Data.Proxy
import GHC.Int
import GHC.Word
-import GHC.Word
import Data.Function
import GHC.Prim
import Control.Monad.Reader
-import System.IO
-import Foreign.Marshal.Alloc
-import Foreign.Storable
-import Foreign.Ptr
import Data.List (intercalate)
-import Data.IORef
+import System.Environment (getArgs)
+import Text.Read (readMaybe)
import Unsafe.Coerce
import GHC.Types
import Data.Char
-import Data.Semigroup
import System.Exit
import qualified GHC.Internal.PrimopWrappers as Wrapper
@@ -194,11 +187,16 @@ newtype LCGGen = LCGGen { randomWord64 :: IO Word64 }
data LCGParams = LCGParams { seed :: Word64, a :: Word64, c :: Word64, m :: Word64 }
newLCGGen :: LCGParams -> IO LCGGen
-newLCGGen LCGParams{..} = do
- var <- newIORef (fromIntegral seed)
- return $ LCGGen $ do
- atomicModifyIORef' var (\old_v -> let new_val = (old_v * a + c) `mod` m in (new_val, new_val))
-
+newLCGGen LCGParams {seed = W64# seed#, ..} = do
+ MutableByteArray mba# <- IO $ \s0 -> case newByteArray# 8# s0 of
+ (# s1, mba# #) -> case writeWord64Array# mba# 0# seed# s1 of
+ s2 -> (# s2, MutableByteArray mba# #)
+ pure $ LCGGen $ IO $ \s0 -> case readWord64Array# mba# 0# s0 of
+ (# s1, old_val# #) ->
+ let old_val = W64# old_val#
+ !new_val@(W64# new_val#) = (old_val * a + c) `mod` m
+ in case writeWord64Array# mba# 0# new_val# s1 of
+ s2 -> (# s2, new_val #)
runPropertyCheck (PropertyBinaryOp res desc s1 s2) =
if res then return Success
@@ -211,7 +209,7 @@ runPropertyCheck (PropertyAnd a1 a2) = (<>) <$> runPropertyCheck a1 <*> runPrope
runProperty :: Property -> ReaderT RunS IO Result
runProperty (Prop p) = do
- let iterations = 100
+ let iterations = 10000 :: Int
loop iterations iterations
where
loop iterations 0 = do
@@ -257,14 +255,15 @@ runTestInternal (Property name p) = do
nest label $ runProperty (property p)
-runTests :: Test -> IO ()
-runTests t = do
+runTests :: Word64 -> Test -> IO ()
+runTests seed t = do
-- These params are the same ones as glibc uses.
- h <- newLCGGen (LCGParams { seed = 1238123213, m = 2^31, a = 1103515245, c = 12345 })
+ h <- newLCGGen (LCGParams { seed, m = 2 ^ (31 :: Int), a = 1103515245, c = 12345 })
res <- runReaderT (runTestInternal t) (RunS 0 h [])
case res of
Success -> return ()
Failure tests -> do
+ putStrLn $ "Seed: " ++ show seed
putStrLn $ "These tests failed: \n" ++ intercalate " \n" (map (showStack 0 . reverse) tests)
exitFailure
@@ -455,7 +454,19 @@ instance TestPrimop LowerBitsAreDefined where
twoNonZero :: (a -> a -> b) -> a -> NonZero a -> b
twoNonZero f x (NonZero y) = f x y
-main = runTests (Group "ALL" [testNumberRefs, testPrimops])
+getSeedFromArgs :: IO Word64
+getSeedFromArgs = do
+ args <- getArgs
+ case args of
+ [arg] -> case readMaybe arg of
+ Just seed -> pure seed
+ Nothing -> die $ "Invalid seed (expected Word64): " ++ show arg
+ _ -> die "Usage: foundation <seed>"
+
+main :: IO ()
+main = do
+ seed <- getSeedFromArgs
+ runTests seed (Group "ALL" [testNumberRefs, testPrimops])
-- Test an interpreted primop vs a compiled primop
testPrimops = Group "primop"
=====================================
testsuite/tests/numeric/should_run/foundation.stdout
=====================================
@@ -3,1048 +3,1048 @@ Group ALL
Group Int
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Int8
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Int16
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Int32
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Int64
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Integer
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Word
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Word8
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Word16
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Word32
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group Word64
Group Integral
Running FromIntegral(Integer(a)) == a
- Passed 100 iterations
+ Passed 10000 iterations
Group Property
Running Eq
- Passed 100 iterations
+ Passed 10000 iterations
Running Show
- Passed 100 iterations
+ Passed 10000 iterations
Running Ord
- Passed 100 iterations
+ Passed 10000 iterations
Running <
- Passed 100 iterations
+ Passed 10000 iterations
Group Additive
Running a + azero == a
- Passed 100 iterations
+ Passed 10000 iterations
Running azero + a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running a + b == b + a
- Passed 100 iterations
+ Passed 10000 iterations
Group Multiplicative
Running a * 1 == a
- Passed 100 iterations
+ Passed 10000 iterations
Running 1 * a == a
- Passed 100 iterations
+ Passed 10000 iterations
Running multiplication commutative
- Passed 100 iterations
+ Passed 10000 iterations
Running a * b == Integer(a) * Integer(b)
- Passed 100 iterations
+ Passed 10000 iterations
Group Divisible
Running (x `div` y) * y + (x `mod` y) == x
- Passed 100 iterations
+ Passed 10000 iterations
Group Precedence
Running + and - (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and - (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running + and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running - and * (2)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (1)
- Passed 100 iterations
+ Passed 10000 iterations
Running * and ^ (2)
- Passed 100 iterations
+ Passed 10000 iterations
Group primop
Running gtChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running geChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running neChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running leChar#
- Passed 100 iterations
+ Passed 10000 iterations
Running ord#
- Passed 100 iterations
+ Passed 10000 iterations
Running int8ToInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running intToInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running negateInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running subInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running remInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRAInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running int8ToWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running geInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running leInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running neInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running word8ToWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running wordToWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running subWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running remWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running andWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running orWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running xorWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running notWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running word8ToInt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running geWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running leWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running neWord8#
- Passed 100 iterations
+ Passed 10000 iterations
Running int16ToInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running intToInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running negateInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running subInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running remInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRAInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running int16ToWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running geInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running leInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running neInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running word16ToWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running wordToWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running subWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running remWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running andWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running orWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running xorWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running notWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running word16ToInt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running geWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running leWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running neWord16#
- Passed 100 iterations
+ Passed 10000 iterations
Running int32ToInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running intToInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running negateInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running subInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running remInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRAInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running int32ToWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running geInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running leInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running neInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running word32ToWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running wordToWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running subWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running remWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running andWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running orWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running xorWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running notWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftLWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRLWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running word32ToInt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running geWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running leWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running neWord32#
- Passed 100 iterations
+ Passed 10000 iterations
Running int64ToInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running intToInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running negateInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running subInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running remInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftL64#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftRA64#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftRL64#
- Passed 100 iterations
+ Passed 10000 iterations
Running int64ToWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running geInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running leInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running neInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running word64ToWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running wordToWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running subWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running remWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running and64#
- Passed 100 iterations
+ Passed 10000 iterations
Running or64#
- Passed 100 iterations
+ Passed 10000 iterations
Running xor64#
- Passed 100 iterations
+ Passed 10000 iterations
Running not64#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftL64#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRL64#
- Passed 100 iterations
+ Passed 10000 iterations
Running word64ToInt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running geWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running leWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running neWord64#
- Passed 100 iterations
+ Passed 10000 iterations
Running +#
- Passed 100 iterations
+ Passed 10000 iterations
Running -#
- Passed 100 iterations
+ Passed 10000 iterations
Running *#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesInt2#
- Passed 100 iterations
+ Passed 10000 iterations
Running mulIntMayOflo#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running remInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running andI#
- Passed 100 iterations
+ Passed 10000 iterations
Running orI#
- Passed 100 iterations
+ Passed 10000 iterations
Running xorI#
- Passed 100 iterations
+ Passed 10000 iterations
Running notI#
- Passed 100 iterations
+ Passed 10000 iterations
Running negateInt#
- Passed 100 iterations
+ Passed 10000 iterations
Running addIntC#
- Passed 100 iterations
+ Passed 10000 iterations
Running subIntC#
- Passed 100 iterations
+ Passed 10000 iterations
Running >#
- Passed 100 iterations
+ Passed 10000 iterations
Running >=#
- Passed 100 iterations
+ Passed 10000 iterations
Running ==#
- Passed 100 iterations
+ Passed 10000 iterations
Running /=#
- Passed 100 iterations
+ Passed 10000 iterations
Running <#
- Passed 100 iterations
+ Passed 10000 iterations
Running <=#
- Passed 100 iterations
+ Passed 10000 iterations
Running chr#
- Passed 100 iterations
+ Passed 10000 iterations
Running int2Word#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftL#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftRA#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedIShiftRL#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running addWordC#
- Passed 100 iterations
+ Passed 10000 iterations
Running subWordC#
- Passed 100 iterations
+ Passed 10000 iterations
Running plusWord2#
- Passed 100 iterations
+ Passed 10000 iterations
Running minusWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running timesWord2#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running remWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running quotRemWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running and#
- Passed 100 iterations
+ Passed 10000 iterations
Running or#
- Passed 100 iterations
+ Passed 10000 iterations
Running xor#
- Passed 100 iterations
+ Passed 10000 iterations
Running not#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftL#
- Passed 100 iterations
+ Passed 10000 iterations
Running uncheckedShiftRL#
- Passed 100 iterations
+ Passed 10000 iterations
Running word2Int#
- Passed 100 iterations
+ Passed 10000 iterations
Running gtWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running geWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running eqWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running neWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running ltWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running leWord#
- Passed 100 iterations
+ Passed 10000 iterations
Running popCnt8#
- Passed 100 iterations
+ Passed 10000 iterations
Running popCnt16#
- Passed 100 iterations
+ Passed 10000 iterations
Running popCnt32#
- Passed 100 iterations
+ Passed 10000 iterations
Running popCnt64#
- Passed 100 iterations
+ Passed 10000 iterations
Running popCnt#
- Passed 100 iterations
+ Passed 10000 iterations
Running pdep8#
- Passed 100 iterations
+ Passed 10000 iterations
Running pdep16#
- Passed 100 iterations
+ Passed 10000 iterations
Running pdep32#
- Passed 100 iterations
+ Passed 10000 iterations
Running pdep64#
- Passed 100 iterations
+ Passed 10000 iterations
Running pdep#
- Passed 100 iterations
+ Passed 10000 iterations
Running pext8#
- Passed 100 iterations
+ Passed 10000 iterations
Running pext16#
- Passed 100 iterations
+ Passed 10000 iterations
Running pext32#
- Passed 100 iterations
+ Passed 10000 iterations
Running pext64#
- Passed 100 iterations
+ Passed 10000 iterations
Running pext#
- Passed 100 iterations
+ Passed 10000 iterations
Running clz8#
- Passed 100 iterations
+ Passed 10000 iterations
Running clz16#
- Passed 100 iterations
+ Passed 10000 iterations
Running clz32#
- Passed 100 iterations
+ Passed 10000 iterations
Running clz64#
- Passed 100 iterations
+ Passed 10000 iterations
Running clz#
- Passed 100 iterations
+ Passed 10000 iterations
Running ctz8#
- Passed 100 iterations
+ Passed 10000 iterations
Running ctz16#
- Passed 100 iterations
+ Passed 10000 iterations
Running ctz32#
- Passed 100 iterations
+ Passed 10000 iterations
Running ctz64#
- Passed 100 iterations
+ Passed 10000 iterations
Running ctz#
- Passed 100 iterations
+ Passed 10000 iterations
Running byteSwap16#
- Passed 100 iterations
+ Passed 10000 iterations
Running byteSwap32#
- Passed 100 iterations
+ Passed 10000 iterations
Running byteSwap64#
- Passed 100 iterations
+ Passed 10000 iterations
Running byteSwap#
- Passed 100 iterations
+ Passed 10000 iterations
Running bitReverse8#
- Passed 100 iterations
+ Passed 10000 iterations
Running bitReverse16#
- Passed 100 iterations
+ Passed 10000 iterations
Running bitReverse32#
- Passed 100 iterations
+ Passed 10000 iterations
Running bitReverse64#
- Passed 100 iterations
+ Passed 10000 iterations
Running bitReverse#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow8Int#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow16Int#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow32Int#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow8Word#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow16Word#
- Passed 100 iterations
+ Passed 10000 iterations
Running narrow32Word#
- Passed 100 iterations
+ Passed 10000 iterations
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ed6a6375079f1c92a5ba5dfe5b6a68...
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ed6a6375079f1c92a5ba5dfe5b6a68...
You're receiving this email because of your account on gitlab.haskell.org.
