- ghc-commits - Haskell.org

[Git][ghc/ghc][master] 2 commits: NCG: Implement constant folding for vector simd ops (Issue #25030)
by Marge Bot (＠marge-bot) 21 Apr '26

21 Apr '26

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 72d6dc74 by aparker at 2026-04-20T20:15:44-04:00 NCG: Implement constant folding for vector simd ops (Issue #25030) - - - - - b9cab907 by sheaf at 2026-04-20T20:15:44-04:00 Mark some SIMD tests as broken on i386 optllvm As seen in #25498, several SIMD tests are broken on i386 in the optllvm way. This commit marks them as "expect_broken". - - - - - 7 changed files: - + changelog.d/simd_constant_folding - compiler/GHC/Cmm/Opt.hs - compiler/GHC/Utils/Misc.hs - + testsuite/tests/simd/should_run/Makefile - + testsuite/tests/simd/should_run/T25030.hs - + testsuite/tests/simd/should_run/T25030.stdout - testsuite/tests/simd/should_run/all.T Changes: ===================================== changelog.d/simd_constant_folding ===================================== @@ -0,0 +1,14 @@ +section: codegen +synopsis: Implement Cmm constant folding for some SIMD vector instructions +issues: #25030 #26915 +mrs: !15512 + +description: { +The Cmm constant folding pass now handles the following vector operations: + +- insert and extract (broadcast was already supported) +- integer arithmetic operations: negation, addition, subtraction, multiplication, + minimum, maximum +- logical operations: and, or, xor +} + ===================================== compiler/GHC/Cmm/Opt.hs ===================================== @@ -24,6 +24,7 @@ import GHC.Platform import GHC.Types.Literal.Floating import Data.Maybe +import Control.Monad (zipWithM, guard) import GHC.Float @@ -47,7 +48,6 @@ cmmMachOpFold -> MachOp -- The operation from an CmmMachOp -> [CmmExpr] -- The optimized arguments -> CmmExpr - cmmMachOpFold platform op args = fromMaybe (CmmMachOp op args) (cmmMachOpFoldM platform op args) -- Returns Nothing if no changes, useful for Hoopl, also reduces @@ -65,6 +65,30 @@ cmmMachOpFoldM _ (MO_VF_Broadcast lg _w) exprs = case exprs of [CmmLit l] -> Just $! CmmLit (CmmVec $ replicate lg l) _ -> Nothing + +cmmMachOpFoldM plat (MO_V_Extract l _) [v, (CmmLit (CmmInt idx W32))] + | idx >= 0, idx < fromIntegral l + = do + es <- vectorElements_maybe plat v + es !! fromInteger idx + +cmmMachOpFoldM plat (MO_VF_Extract l _) [v, (CmmLit (CmmInt idx W32))] + | idx >= 0, idx < fromIntegral l + = do + es <- vectorElements_maybe plat v + es !! fromInteger idx + +cmmMachOpFoldM plat op [v, newval@(CmmLit _), CmmLit (CmmInt idx W32)] + | MO_V_Insert l _ <- op = foldToVecLit l + | MO_VF_Insert l _ <- op = foldToVecLit l + where foldToVecLit l = do + guard (idx >= 0 && idx < fromIntegral l) + ls <- vectorElements_maybe plat v + lits <- sequence $ map toLit_maybe (replaceAt (fromIntegral idx) (Just newval) ls) + Just $! CmmLit (CmmVec lits) + toLit_maybe (Just (CmmLit l)) = Just l + toLit_maybe _ = Nothing + cmmMachOpFoldM _ op [CmmLit (CmmInt x rep)] | MO_WF_Bitcast width <- op = case width of W32 | res <- castWord32ToFloat (fromInteger x) @@ -457,6 +481,64 @@ cmmMachOpFoldM platform mop [x, (CmmLit (CmmInt n _w))] x2 = if p == 1 then x1 else CmmMachOp (MO_And rep) [x1, CmmLit (CmmInt (n-1) rep)] +-- Many vector MachOps are simply element-wise scalar MachOps. For these, we reduce +-- to the scalar case using 'vectorMachOpScalarMachOp_maybe' and 'vectorElements_maybe'. + +-- Unary vector MachOps. +cmmMachOpFoldM plat op [v] + | Just scalar_op <- vectorMachOpToScalarMachOp_maybe op + = do es <- vectorElements_maybe plat v + ls <- mapM (foldToLit plat scalar_op) es + Just $! CmmLit $ CmmVec ls + + where foldToLit plat mop (Just a) = do + CmmLit l <- cmmMachOpFoldM plat mop [a] + return l + foldToLit _ _ _ = Nothing + +-- Binary vector MachOps. +cmmMachOpFoldM plat op [v1, v2] + | Just scalar_op <- vectorMachOpToScalarMachOp_maybe op + = do + es1 <- vectorElements_maybe plat v1 + es2 <- vectorElements_maybe plat v2 + ls <- zipWithM (foldToLit plat scalar_op) es1 es2 + Just $! CmmLit $ CmmVec ls + -- MIN/MAX don't have scalar equivalents, so handle them manually. + | MO_VS_Max _ w <- op = do + es1 <- vectorElements_maybe plat v1 + es2 <- vectorElements_maybe plat v2 + ls <- zipWithM (foldOp (narrowS w) max) es1 es2 + Just $! CmmLit $ CmmVec ls + | MO_VU_Max _ w <- op = do + es1 <- vectorElements_maybe plat v1 + es2 <- vectorElements_maybe plat v2 + ls <- zipWithM (foldOp (narrowU w) max) es1 es2 + Just $! CmmLit $ CmmVec ls + | MO_VS_Min _ w <- op = do + es1 <- vectorElements_maybe plat v1 + es2 <- vectorElements_maybe plat v2 + ls <- zipWithM (foldOp (narrowS w) min) es1 es2 + Just $! CmmLit $ CmmVec ls + | MO_VU_Min _ w <- op = do + es1 <- vectorElements_maybe plat v1 + es2 <- vectorElements_maybe plat v2 + ls <- zipWithM (foldOp (narrowU w) min) es1 es2 + Just $! CmmLit $ CmmVec ls + + where + foldToLit plat mop (Just a1) (Just a2) = do + CmmLit l <- cmmMachOpFoldM plat mop [a1, a2] + return l + foldToLit _ _ _ _ = Nothing + + foldOp do_narrow op + (Just (CmmLit (CmmInt x rep))) + (Just (CmmLit (CmmInt y _))) + = Just $! CmmInt (do_narrow x `op` do_narrow y) rep + foldOp _ _ _ _ = Nothing + + -- ToDo (#7116): optimise floating-point multiplication, e.g. x*2.0 -> x+x -- Unfortunately this needs a unique supply because x might not be a -- register. See #2253 (program 6) for an example. @@ -473,6 +555,59 @@ validOffsetRep :: Width -> Bool validOffsetRep rep = widthInBits rep <= finiteBitSize (undefined :: Int) +-- Is this a vector 'MachOp' that is an element-wise lift of +-- a scalar 'MachOp'? If so, returns the corresponding scalar 'MachOp'. +vectorMachOpToScalarMachOp_maybe :: MachOp -> Maybe MachOp +vectorMachOpToScalarMachOp_maybe m = case m of + MO_VS_Neg _ w -> Just $ MO_S_Neg w + MO_VF_Neg _ w -> Just $ MO_F_Neg w + MO_V_Add _ w -> Just $ MO_Add w + MO_V_Sub _ w -> Just $ MO_Sub w + MO_V_Mul _ w -> Just $ MO_Mul w + MO_VF_Add _ w -> Just $ MO_F_Add w + MO_VF_Sub _ w -> Just $ MO_F_Sub w + MO_VF_Mul _ w -> Just $ MO_F_Mul w + MO_VF_Min _ w -> Just $ MO_F_Min w + MO_VF_Max _ w -> Just $ MO_F_Max w + MO_V_And _ w -> Just $ MO_And w + MO_V_Or _ w -> Just $ MO_Or w + MO_V_Xor _ w -> Just $ MO_Xor w + _ -> Nothing + + +-- | Helper function that tells us what we know about the elements of a vector. +-- +-- Returns 'Nothing' for non-vectors, and @[Nothing, Nothing, ...]@ for vectors +-- with unknown elements. +vectorElements_maybe :: Platform -> CmmExpr -> Maybe [Maybe CmmExpr] +vectorElements_maybe _plat (CmmLit (CmmVec es)) = Just $! map (Just . CmmLit) es + +vectorElements_maybe _plat (CmmMachOp (MO_V_Broadcast l _) args) + | [CmmLit v] <- args = Just $! replicate l (Just $! CmmLit v) +vectorElements_maybe _plat (CmmMachOp (MO_VF_Broadcast l _) args) + | [CmmLit v] <- args = Just $! replicate l (Just $! CmmLit v) + +vectorElements_maybe plat (CmmMachOp (MO_V_Insert _ _) args) + | [v, e, (CmmLit (CmmInt i _w))] <- args + , Just es <- vectorElements_maybe plat v + = Just $! (replaceAt (fromInteger i) (Just $! e) es) + +vectorElements_maybe plat (CmmMachOp (MO_VF_Insert _ _) args) + | [v, e, (CmmLit (CmmInt i _w))] <- args + , Just es <- vectorElements_maybe plat v + = Just $! (replaceAt (fromInteger i) (Just $! e) es) + +vectorElements_maybe plat (CmmMachOp mop _) + | isVecType result_type = Just $! replicate (vecLength result_type) Nothing + where result_type = machOpResultType plat mop [] + +vectorElements_maybe _plat (CmmReg reg) + | isVecType reg_type = Just $! replicate (vecLength reg_type) Nothing + where reg_type = cmmRegType reg + +vectorElements_maybe _ _ = Nothing + + {- Note [Comparison operators] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ If we have ===================================== compiler/GHC/Utils/Misc.hs ===================================== @@ -56,7 +56,7 @@ module GHC.Utils.Misc ( -- * List operations controlled by another list takeList, dropList, splitAtList, split, - dropTail, capitalise, + replaceAt, dropTail, capitalise, -- * Sorting sortWith, minWith, nubSort, ordNub, ordNubOn, @@ -718,6 +718,14 @@ splitAtList xs ys = go 0# xs ys go n [] bs = (take (I# n) ys, bs) -- = splitAt n ys go n (_:as) (_:bs) = go (n +# 1#) as bs +-- | given an index n and element y, replace the nth element of list xs with y +replaceAt :: Int -> a -> [a] -> [a] +replaceAt n y xs + | n >= length xs = xs + | n < 0 = xs + | otherwise = before ++ (y : drop 1 after) + where (before, after) = splitAt n xs + -- | drop from the end of a list dropTail :: Int -> [a] -> [a] -- Specification: dropTail n = reverse . drop n . reverse ===================================== testsuite/tests/simd/should_run/Makefile ===================================== @@ -0,0 +1,42 @@ +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +T25030: + '$(TEST_HC)' $(TEST_HC_OPTS) T25030.hs -v0 -O1 -fforce-recomp -ddump-cmm > T25030.cmm 2>&1 + + # testFoldPlus: 111111+121212=232323, 121212+131313=252525 should be folded + grep -m 1 -o "232323" T25030.cmm + grep -m 1 -o "252525" T25030.cmm + # operands should not appear in the output + grep -o "111111" T25030.cmm || echo "Does not appear: 111111" + grep -o "121212" T25030.cmm || echo "Does not appear: 121212" + grep -o "131313" T25030.cmm || echo "Does not appear: 131313" + + # testFoldMax: max(333333,333332)=333333 should be folded + grep -m 1 -o "333333" T25030.cmm + # lesser operand should not appear + grep -o "333332" T25030.cmm || echo "Does not appear: 333332" + + # testNeg: negate(343434)=-343434 should be folded + grep -m 1 -o -- "-343434" T25030.cmm + + # testInserts: insert 363636 into broadcast(353535) and extract it; + # should fold to constant 363636 + grep -m 1 -o "363636" T25030.cmm + # broadcast operand should not appear + grep -o "353535" T25030.cmm || echo "Does not appear: 353535" + + # testInserts2: 383838+393939=777777 should be folded + grep -m 1 -o "777777" T25030.cmm + # addends should not appear + grep -o "383838" T25030.cmm || echo "Does not appear: 383838" + + # testOverwrite: inserting 404040,404041 into broadcast(414141) should fold to <404040,404041> + grep -m 1 -o "404040" T25030.cmm + grep -m 1 -o "404041" T25030.cmm + # original broadcast value should not appear + grep -o "414141" T25030.cmm || echo "Does not appear: 414141" + + # testExtractFromInsert: extract(insert(unknown_v, 454545, 3), 3) should fold to 454545 + grep -m 1 -o "454545" T25030.cmm ===================================== testsuite/tests/simd/should_run/T25030.hs ===================================== @@ -0,0 +1,79 @@ +{-# LANGUAGE MagicHash, UnboxedTuples, LexicalNegation, ExtendedLiterals #-} + +import GHC.Prim +import GHC.Int + +-- Cmm constant folding tests for vector operations + +data IntX2 = IX2# Int64X2# +data IntX4 = IX4# Int32X4# + +instance Show IntX2 where + show (IX2# d) = case (unpackInt64X2# d) of + (# a, b #) -> show ((I64# a), (I64# b)) + +instance Show IntX4 where + show (IX4# v) = case (unpackInt32X4# v) of + (# a, b, c, d #) -> show ((I32# a), (I32# b), (I32# c), (I32# d)) + +testFoldPlus = do + let v1 = packInt64X2# (# 111111#Int64, 121212#Int64 #) + let v2 = packInt64X2# (# 121212#Int64, 131313#Int64 #) + print $ IX2# $ plusInt64X2# v1 v2 -- expect to see 232323 and 252525 here, + -- and not 111111, 121212, or 131313 + +testFoldMax = do + let v1 = broadcastInt32X4# 333333#Int32 + let v2 = broadcastInt32X4# 333332#Int32 + print $ IX4# $ maxInt32X4# v1 v2 -- expect to see 333333 here and not 333332 + +testFoldMin = do + let v1 = broadcastInt32X4# 474747#Int32 + let v2 = broadcastInt32X4# 474748#Int32 + print $ IX4# $ minInt32X4# v1 v2 -- expect to see 474747 here and not 474748 + +testNeg = do + let v1 = broadcastInt32X4# 343434#Int32 + print $ IX4# $ negateInt32X4# v1 -- expect to see -343434 here, not positive 343434 + + +testInserts = do + let v1 = broadcastInt32X4# 353535#Int32 + let v2 = insertInt32X4# v1 363636#Int32 0# + let (# a, _, _, _ #) = unpackInt32X4# v2 + print $ (I32# a) -- expect to see 363636 here, not 353535 + + +testInserts2 = do + let v1 = broadcastInt32X4# 373737#Int32 + let v2 = insertInt32X4# v1 383838#Int32 0# + let v3 = plusInt32X4# v2 (broadcastInt32X4# 393939#Int32) + let (# a, _, _, _ #) = unpackInt32X4# v3 + print $ (I32# a) -- expect to see 777777 == 383838+393939 here, and not 373737, 383838, or 393939 + +{-# INLINE testOverwrite #-} +testOverwrite :: Int64X2# -> IO () +testOverwrite v = do + let v1 = insertInt64X2# v 404040#Int64 0# + let v2 = insertInt64X2# v1 404041#Int64 1# + print $ IX2# v2 -- expect <404040, 404041> to appear in the cmm as a single assignment, + -- rather than a series of inserts + +{-# NOINLINE testExtractFromInsert #-} +testExtractFromInsert :: Int32X4# -> IO () +testExtractFromInsert v = do + let v2 = insertInt32X4# v 454545#Int32 3# + let (# _, _, _, d #) = unpackInt32X4# v2 + print (I32# d) -- 454545 should fold as a constant even though v is a runtime value + + +main = do + testFoldPlus + testFoldMax + testFoldMin + testNeg + testInserts + testInserts2 + testOverwrite (broadcastInt64X2# 414141#Int64) + testExtractFromInsert (broadcastInt32X4# 464646#Int32) + ===================================== testsuite/tests/simd/should_run/T25030.stdout ===================================== @@ -0,0 +1,20 @@ +232323 +252525 +Does not appear: 111111 +Does not appear: 121212 +Does not appear: 131313 +333333 +333333 +333333 +Does not appear: 333332 +-343434 +-343434 +-343434 +363636 +Does not appear: 353535 +777777 +Does not appear: 383838 +404040 +404041 +Does not appear: 414141 +454545 ===================================== testsuite/tests/simd/should_run/all.T ===================================== @@ -49,6 +49,8 @@ test('int16x8_shuffle_baseline', [], compile_and_run, ['']) test('int32x4_shuffle_baseline', [], compile_and_run, ['']) test('int64x2_shuffle_baseline', [], compile_and_run, ['']) +test('T25030', [when(arch('i386'), expect_broken_for(25498, ['optllvm']))], makefile_test, []) + test('T25658', [], compile_and_run, ['']) # #25658 is a bug with SSE2 code generation test('T25659', [], compile_and_run, ['']) @@ -83,6 +85,7 @@ test('simd007', [], compile_and_run, ['']) test('simd008', [], compile_and_run, ['']) test('simd009', [ req_th , extra_files(['Simd009b.hs', 'Simd009c.hs']) + , when(arch('i386'), expect_broken_for(25498, ['optllvm'])) ] , multimod_compile_and_run, ['simd009', '']) test('simd010', [], compile_and_run, ['']) @@ -174,7 +177,7 @@ test('T25062_V64' , compile_and_run if have_cpu_feature('avx512f') else compile , ['']) -test('T25169', [], compile_and_run, ['']) +test('T25169', [when(arch('i386'), expect_broken_for(25498, ['optllvm']))], compile_and_run, ['']) test('T25455', [], compile_and_run, ['']) test('T25486', [], compile_and_run, ['']) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/86ca6c2cf93147ed67a39be1112911… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/86ca6c2cf93147ed67a39be1112911… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/andreask/build-opt] 4 commits: SOURCE-import HsInstances inside ghc.
by Andreas Klebinger (＠AndreasK) 20 Apr '26

20 Apr '26

Andreas Klebinger pushed to branch wip/andreask/build-opt at Glasgow Haskell Compiler / GHC Commits: 74e4e745 by Andreas Klebinger at 2026-04-20T20:04:26+00:00 SOURCE-import HsInstances inside ghc. Fixes #27198 by SOURCE importing HsInstances unlocking more build paralleism. - - - - - 2bfb4ced by Andreas Klebinger at 2026-04-20T20:04:48+00:00 SOURCE import GHC.Types.Error in some places for build parallelism. Performance for these interfaces is not very relevant since it's only used for error handling. This means we can use SOURCE imports to shorten the critical build path by a non trivial amount. - - - - - 0be2e78a by Andreas Klebinger at 2026-04-20T20:04:48+00:00 Split GHC.Driver.Main.hs up into multiple components. This module was getting far too large to reason about, it split it into components that all are re-exported from GHC.Driver.Main I mostly did this for clarity but it also helps (slightly) with build times. - - - - - b4b25892 by Andreas Klebinger at 2026-04-20T20:04:48+00:00 Add a few boot files and SOURCE import them to improve build parallelism. See the Note [hs-boot files as "header" files] for details. Modules with new SOURCE exports: * GHC.HsToCore (deSugar) * GHC.Tc.Deriv.hs-boot * GHC.Driver.Main.Compile/Passes - - - - - 24 changed files: - compiler/GHC/Core/Opt/Stats.hs - compiler/GHC/Driver/Backpack.hs - compiler/GHC/Driver/Env/Types.hs - compiler/GHC/Driver/Errors/Types.hs - compiler/GHC/Driver/Main.hs - + compiler/GHC/Driver/Main/Compile.hs - compiler/GHC/Driver/Main.hs-boot → compiler/GHC/Driver/Main/Compile.hs-boot - + compiler/GHC/Driver/Main/Hsc.hs - + compiler/GHC/Driver/Main/Interactive.hs - + compiler/GHC/Driver/Main/Passes.hs - + compiler/GHC/Driver/Main/Passes.hs-boot - compiler/GHC/Driver/Session.hs - compiler/GHC/Hs.hs - compiler/GHC/Hs/Instances.hs - + compiler/GHC/Hs/Instances.hs-boot - + compiler/GHC/HsToCore.hs-boot - compiler/GHC/Iface/Load.hs - + compiler/GHC/Tc/Deriv.hs-boot - compiler/GHC/Tc/TyCl.hs - compiler/GHC/Tc/TyCl/Instance.hs - compiler/GHC/Tc/TyCl/Instance.hs-boot - compiler/GHC/Types/Error.hs - compiler/GHC/Types/Error.hs-boot - compiler/ghc.cabal.in The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/613871fdec67e432a70bf148f57907… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/613871fdec67e432a70bf148f57907… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: NCG: Implement constant folding for vector simd ops (Issue #25030)
by Marge Bot (＠marge-bot) 20 Apr '26

20 Apr '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: c32aacb0 by aparker at 2026-04-20T16:05:03-04:00 NCG: Implement constant folding for vector simd ops (Issue #25030) - - - - - 8ed41a6c by sheaf at 2026-04-20T16:05:04-04:00 Mark some SIMD tests as broken on i386 optllvm As seen in #25498, several SIMD tests are broken on i386 in the optllvm way. This commit marks them as "expect_broken". - - - - - d52b3d45 by Wolfgang Jeltsch at 2026-04-20T16:05:05-04:00 Move most of the `System.IO` implementation into `base` This involves a rewrite of the `combine` helper function to avoid the use of `last`, which would now be flagged as an error. Metric Decrease: LinkableUsage01 T3294 Metric Increase: T12227 T12707 T5642 - - - - - 34 changed files: - + changelog.d/simd_constant_folding - compiler/GHC/Cmm/Opt.hs - compiler/GHC/Utils/Misc.hs - libraries/base/src/Control/Concurrent.hs - libraries/base/src/GHC/IO/Handle.hs - libraries/base/src/Prelude.hs - libraries/base/src/System/IO.hs - libraries/base/src/Text/Printf.hs - libraries/ghc-internal/src/GHC/Internal/System/IO.hs - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simd/should_run/Makefile - + testsuite/tests/simd/should_run/T25030.hs - + testsuite/tests/simd/should_run/T25030.stdout - testsuite/tests/simd/should_run/all.T - testsuite/tests/typecheck/should_compile/T9497a.stderr - testsuite/tests/typecheck/should_compile/holes.stderr - testsuite/tests/typecheck/should_compile/holes3.stderr - testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr - testsuite/tests/typecheck/should_fail/T9497d.stderr - testsuite/tests/typecheck/should_run/T9497a-run.stderr - testsuite/tests/typecheck/should_run/T9497b-run.stderr - testsuite/tests/typecheck/should_run/T9497c-run.stderr - utils/haddock/html-test/ref/Bug1004.html - utils/haddock/html-test/ref/Bug973.html - utils/haddock/html-test/ref/ConstructorPatternExport.html - utils/haddock/html-test/ref/DefaultSignatures.html - utils/haddock/html-test/ref/Hash.html - utils/haddock/html-test/ref/PatternSyns.html - utils/haddock/html-test/ref/PatternSyns2.html - utils/haddock/html-test/ref/QuasiExpr.html - utils/haddock/html-test/ref/Test.html The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/82d2f00ecbe315c01a922ad8d63c37… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/82d2f00ecbe315c01a922ad8d63c37… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/andreask/build-opt] 2 commits: Clean up Instances.hs-boot a bit
by Andreas Klebinger (＠AndreasK) 20 Apr '26

20 Apr '26

Andreas Klebinger pushed to branch wip/andreask/build-opt at Glasgow Haskell Compiler / GHC Commits: 6aa2e67e by Andreas Klebinger at 2026-04-20T19:45:21+00:00 Clean up Instances.hs-boot a bit - - - - - 613871fd by Andreas Klebinger at 2026-04-20T19:48:08+00:00 Even better note - - - - - 1 changed file: - compiler/GHC/Hs/Instances.hs-boot Changes: ===================================== compiler/GHC/Hs/Instances.hs-boot ===================================== @@ -2,35 +2,8 @@ {-# LANGUAGE UndecidableInstances #-} {-# OPTIONS_GHC -fno-warn-orphans #-} --- This module contains exclusively Data instances, which are going to be slow --- no matter what we do. Furthermore, they are incredibly slow to compile with --- optimisation (see #9557). Consequently we compile this with -O0. --- See #18254. - module GHC.Hs.Instances where --- This module defines the Data instances for the hsSyn AST. - --- It happens here to avoid massive constraint types on the AST with concomitant --- slow GHC bootstrap times. - --- UndecidableInstances ? - -{- Note [Data.Data instances for GHC AST Types] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -We give all of the frontend types and their instantiations (HsSyn) and -some other types Data.Data instances. There are two main motivations to -do so: - -* For users of the GHC API it allows to write Generic code over the GHC AST. -* GHC itself has a few uses of these as well: - * In the showAstData, showAstDataFull helpers to print a representation of - the actual AST using it's constructors rather than just user facing pretty printing. - * It's used to some degree for HIE file generation in the ToHIE instances. - * TH serialization uses it for serialization of Annotations (GHC.Serialized) - * Some of the dump flags use showAstData to produce the actual dump output. --} - {- Note [hs-boot files as "header" files] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We can use hs-boot files like C header files to unlock parallel @@ -64,8 +37,10 @@ inlining things from TakesForever.hs or needs to know the exact representation o types for unboxing or similar this trick will do more harm than good. For GHC itself we can figure out where it makes sense to insert such "header" boot -files by looking at a build profile and look for places where the build sequentializes -to one or two concurrent GHC invocations. +files by looking at a build profile generated by shake. +They can be generated via `--profile=report.trace` and looking for places where +the build sequentializes to one or two concurrent GHC invocations is visually +pretty obvious in those cases. -} import Data.Data hiding ( Fixity ) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c930572d0e0d369147ba23f99f8e3a… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c930572d0e0d369147ba23f99f8e3a… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/andreask/build-opt] 2 commits: Update note
by Andreas Klebinger (＠AndreasK) 20 Apr '26

20 Apr '26

Andreas Klebinger pushed to branch wip/andreask/build-opt at Glasgow Haskell Compiler / GHC Commits: 2b309962 by Andreas Klebinger at 2026-04-20T19:42:42+00:00 Update note - - - - - c930572d by Andreas Klebinger at 2026-04-20T19:43:41+00:00 Reference Note more places - - - - - 2 changed files: - compiler/GHC/Driver/Session.hs - compiler/GHC/Hs/Instances.hs-boot Changes: ===================================== compiler/GHC/Driver/Session.hs ===================================== @@ -280,6 +280,7 @@ import GHC.Utils.Error (emptyDiagOpts, logInfo) import GHC.Settings import GHC.CmmToAsm.CFG.Weight import GHC.Core.Opt.CallerCC +-- See Note [hs-boot files as "header" files] import {-# SOURCE #-} GHC.Parser (parseIdentifier) -- build time optimization import GHC.Parser.Lexer (mkParserOpts, initParserState, P(..), ParseResult(..)) import GHC.Stg.Debug.Types ===================================== compiler/GHC/Hs/Instances.hs-boot ===================================== @@ -49,10 +49,10 @@ TakesForver.hs -> Depends.hs -> Step2-1.hs If inlining thinks from `TakesForever` isn't performance critical we can change it using SOURCE imports such that we have: -TakesForver.hs -> Depends.hs -> Step2-1.hs - | -> Step2-2.hs - | -> Step2-3.hs - | -> Step2-4.hs +TakesForver.hs-boot -> Depends.hs -> Step2-1.hs + | -> Step2-2.hs + | -> Step2-3.hs + | -> Step2-4.hs This replaces TakesForever.hs with TakesForever.hs-boot which will compile in no time at all reducing the compile time along the critical path significantly. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ee3550f91f54aa9e783edca1292f52… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ee3550f91f54aa9e783edca1292f52… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/andreask/build-opt] 17 commits: Migrate `ghc-pkg` to use `OsPath` and `file-io`
by Andreas Klebinger (＠AndreasK) 20 Apr '26

20 Apr '26

Andreas Klebinger pushed to branch wip/andreask/build-opt at Glasgow Haskell Compiler / GHC Commits: 7666f4a9 by Fendor at 2026-04-17T22:29:51-04:00 Migrate `ghc-pkg` to use `OsPath` and `file-io` `ghc-pkg` should use UNC paths as much as possible to avoid MAX_PATH issues on windows. `file-io` uses UNC Paths by default on windows, ensuring we use the correct APIs and that we finally are no longer plagued by MAX_PATH issues in CI and private machines. On top of it, the higher correctness of `OsPath` is appreciated in this small codebase. Also, we improve memory usage very slightly, due to the more efficient memory representation of `OsPath` over `FilePath` Adds `ghc-pkg` regression test for MAX_PATH on windows Make sure `ghc-pkg` behaves as expected when long paths (> 255) are involved on windows. Let's generate a testcase where we can actually observe that `ghc-pkg` behaves as epxected. See the documentation for windows on Maximum Path Length Limitation: * `https://learn.microsoft.com/en-us/windows/win32/fileio/maximum-file-path-limitation` Adds changelog entry for long path support in ghc-pkg. - - - - - 78434e8c by Simon Peyton Jones at 2026-04-17T22:30:38-04:00 Kill off the substitution in Lint Now that we have invariant (NoTypeShadowing) we no longer need Lint to carry an ambient substitution. This makes it simpler and faster. A really worthwhile refactor. There are some knock-on effects * Linting join points after worker/wrapper. See Note [Join points and beta redexes] * Running a type substitution after the desugarer. See Note [Substituting type-lets] in the new module GHC.Core.SubstTypeLets Implements #27078 Most perf tests don't use Lint so we won't see a perf incresae. But T1969, which uses -O0 and Lint, gets 1.3% worse because it has to run the SubstTypeLets pass which is a somewhat expensive no-op Overall though compile-time allocations are down 0.1%. Metric Increase: T1969 - - - - - 86ca6c2c by mangoiv at 2026-04-17T22:31:22-04:00 testsuite: inline elemCoreTest Some weird (probably python scoping) rule caused elemCoreTest, a regex being out of scope on ubuntu, presumably because of a newer python version. This patch just inlines the regex, which fixes the issue. Fixes #27193 - - - - - 1f30005b by Andreas Klebinger at 2026-04-19T21:48:05+00:00 SOURCE import parseIdentifer to improve parallelism. - - - - - e96b8d63 by Andreas Klebinger at 2026-04-19T21:48:05+00:00 CallerCC: Remove CoreM dependency Pass DynFlags directly, making the dependency graph more parallel. - - - - - 26090197 by Andreas Klebinger at 2026-04-19T21:58:28+00:00 SOURCE-import HsInstances inside ghc. Fixes #27198 by SOURCE importing HsInstances unlocking more build paralleism. (cherry picked from commit 7e53835977538e3c37e5d78502ff422ad87d4f9d) - - - - - cb679710 by Andreas Klebinger at 2026-04-19T22:06:08+00:00 HsInstances - fix a warning - - - - - f5722894 by Andreas Klebinger at 2026-04-20T15:11:06+00:00 SOURCE import GHC.Types.Error in some places for build parallelism. Performance for these interfaces is not very relevant since it's only used for error handling. This means we can use SOURCE imports to shorten the critical build path by a non trivial amount. - - - - - a64cd962 by Andreas Klebinger at 2026-04-20T15:11:26+00:00 Split GHC.Driver.Main.hs up into multiple components. This module was getting far too large to reason about, it split it into components that all are re-exported from GHC.Driver.Main - - - - - cf62c053 by Andreas Klebinger at 2026-04-20T15:42:58+00:00 Fix hs-boot import - - - - - e6550ad1 by Andreas Klebinger at 2026-04-20T15:45:33+00:00 Fix hs-boot import2 - - - - - 900317b2 by Andreas Klebinger at 2026-04-20T15:54:23+00:00 Use SOURCE header for Driver.Main.Compiler import - - - - - 8de7314b by Andreas Klebinger at 2026-04-20T16:23:24+00:00 more hs-boot workarounds - - - - - c6ce86ca by Andreas Klebinger at 2026-04-20T17:15:07+00:00 Driver interactive boot import - - - - - 19fd9f7e by Andreas Klebinger at 2026-04-20T17:18:27+00:00 deSugar SOURCE header - - - - - eff8fd32 by Andreas Klebinger at 2026-04-20T17:27:00+00:00 Add GHC.Tc.Deriv.hs-boot - - - - - ee3550f9 by Andreas Klebinger at 2026-04-20T18:56:35+00:00 Remove a potentially pointless import - - - - - 44 changed files: - + changelog.d/ghc-pkg-long-path-support - compiler/GHC/Core/Lint.hs - + compiler/GHC/Core/Lint/SubstTypeLets.hs - compiler/GHC/Core/Opt/CallerCC.hs - compiler/GHC/Core/Opt/OccurAnal.hs - compiler/GHC/Core/Opt/Pipeline.hs - compiler/GHC/Core/Opt/Stats.hs - compiler/GHC/Core/Opt/WorkWrap/Utils.hs - compiler/GHC/Core/Subst.hs - compiler/GHC/Driver/Backpack.hs - compiler/GHC/Driver/Config/Core/Lint.hs - compiler/GHC/Driver/Env/Types.hs - compiler/GHC/Driver/Errors/Types.hs - compiler/GHC/Driver/Main.hs - + compiler/GHC/Driver/Main/Compile.hs - compiler/GHC/Driver/Main.hs-boot → compiler/GHC/Driver/Main/Compile.hs-boot - + compiler/GHC/Driver/Main/Hsc.hs - + compiler/GHC/Driver/Main/Interactive.hs - + compiler/GHC/Driver/Main/Passes.hs - + compiler/GHC/Driver/Main/Passes.hs-boot - compiler/GHC/Driver/Session.hs - compiler/GHC/Hs.hs - compiler/GHC/Hs/Instances.hs - + compiler/GHC/Hs/Instances.hs-boot - + compiler/GHC/HsToCore.hs-boot - compiler/GHC/Iface/Load.hs - + compiler/GHC/Tc/Deriv.hs-boot - compiler/GHC/Tc/TyCl.hs - compiler/GHC/Tc/TyCl/Instance.hs - compiler/GHC/Tc/TyCl/Instance.hs-boot - compiler/GHC/Types/Error.hs - compiler/GHC/Types/Error.hs-boot - compiler/GHC/Unit/State.hs - compiler/ghc.cabal.in - libraries/base/tests/perf/all.T - libraries/ghc-boot/GHC/Unit/Database.hs - libraries/ghc-boot/ghc-boot.cabal.in - testsuite/tests/cabal/Makefile - testsuite/tests/cabal/all.T - + testsuite/tests/cabal/ghcpkg10.stdout - testsuite/tests/corelint/LintEtaExpand.stderr - testsuite/tests/corelint/T21115b.stderr - utils/ghc-pkg/Main.hs - utils/ghc-pkg/ghc-pkg.cabal.in The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3c622f0df932d3d0e0a36ec171499a… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/3c622f0df932d3d0e0a36ec171499a… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/spj-reinstallable-base2] Wibbles
by Simon Peyton Jones (＠simonpj) 20 Apr '26

20 Apr '26

Simon Peyton Jones pushed to branch wip/spj-reinstallable-base2 at Glasgow Haskell Compiler / GHC Commits: 9af7210e by Simon Peyton Jones at 2026-04-20T17:41:41+01:00 Wibbles ... around (>>>) and Floating class - - - - - 6 changed files: - compiler/GHC/Builtin/KnownOccs.hs - compiler/GHC/Builtin/TH.hs - compiler/GHC/HsToCore/Monad.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/Iface/Errors/Ppr.hs - libraries/base/src/GHC/KnownKeyNames.hs Changes: ===================================== compiler/GHC/Builtin/KnownOccs.hs ===================================== @@ -86,6 +86,11 @@ have the correct one in scope when looking up a known-occ name. module GHC.Internal.Base where foldrList = foldr make `foldrList` known-occ, and refer to that in desugaring list comprehensions. + +* (>>>). You might think that the known-occ version is the one defined in + GHC.Internal.Control.Category. But no, it isn't. We have a different one + (albeit with the same definitino!) in GHC.Internal.Desugar, whose type + has the right "shape" type for `newKnownOccMethod`. Sigh. -} ===================================== compiler/GHC/Builtin/TH.hs ===================================== @@ -903,11 +903,6 @@ forallEIdKey = mkPreludeMiscIdUnique 802 forallVisEIdKey = mkPreludeMiscIdUnique 803 constrainedEIdKey = mkPreludeMiscIdUnique 804 --- data Guard = ... -normalGEIdKey, patGEIdKey :: Unique -normalGEIdKey = mkPreludeMiscIdUnique 310 -patGEIdKey = mkPreludeMiscIdUnique 311 - -- data Dec = ... funDIdKey, valDIdKey, dataDIdKey, newtypeDIdKey, tySynDIdKey, classDIdKey, instanceWithOverlapDIdKey, instanceDIdKey, sigDIdKey, forImpDIdKey, ===================================== compiler/GHC/HsToCore/Monad.hs ===================================== @@ -629,7 +629,7 @@ dsLookupKnownKeyName uniq Succeeded name -> return name Failed msg -> failIfM (pprDiagnostic msg) } } -dsLookupKnownKeyThing :: KnownKey -> DsM TyThing +dsLookupKnownKeyThing :: HasDebugCallStack => KnownKey -> DsM TyThing dsLookupKnownKeyThing uniq = do { rebindable_src <- dsGetKnownKeySource ; dsToIfL $ @@ -638,13 +638,13 @@ dsLookupKnownKeyThing uniq Succeeded thing -> return thing Failed msg -> failIfM (pprDiagnostic msg) } } -dsLookupKnownKeyTyCon :: KnownKey -> DsM TyCon +dsLookupKnownKeyTyCon :: HasDebugCallStack => KnownKey -> DsM TyCon dsLookupKnownKeyTyCon uniq = tyThingTyCon <$> dsLookupKnownKeyThing uniq -dsLookupKnownKeyDataCon :: KnownKey -> DsM DataCon +dsLookupKnownKeyDataCon :: HasDebugCallStack => KnownKey -> DsM DataCon dsLookupKnownKeyDataCon uniq = tyThingDataCon <$> dsLookupKnownKeyThing uniq -dsLookupKnownKeyId :: KnownKey -> DsM Id +dsLookupKnownKeyId :: HasDebugCallStack => KnownKey -> DsM Id dsLookupKnownKeyId uniq = tyThingId <$> dsLookupKnownKeyThing uniq -------------------------------------- ===================================== compiler/GHC/HsToCore/Quote.hs ===================================== @@ -2370,10 +2370,10 @@ lookupType :: KnownOcc -- Name of type constructor (e.g. (M TH.Exp)) lookupType tc_name = do { tc <- lift $ dsLookupKnownOccTyCon tc_name ; return (mkTyConTy tc) } -lookupKnownKeyType :: Unique -- Unique of type constructor (e.g. (M TH.Exp)) +lookupKnownOccType :: KnownOcc -- Occ-name of type constructor (e.g. (M TH.Exp)) -> MetaM Type -- The type -lookupKnownKeyType tc_key - = do { tc <- lift $ dsLookupKnownKeyTyCon tc_key +lookupKnownOccType tc_key + = do { tc <- lift $ dsLookupKnownOccTyCon tc_key ; return (mkTyConApp tc []) } wrapGenSyms :: [GenSymBind] @@ -3133,7 +3133,7 @@ mk_integer :: Integer -> MetaM (HsLit GhcTc) mk_integer i = return $ XLit $ HsInteger NoSourceText i integerTy mk_rational :: FractionalLit -> MetaM (HsLit GhcTc) -mk_rational r = do rat_ty <- lookupKnownKeyType rationalTyConKey +mk_rational r = do rat_ty <- lookupKnownOccType rationalTyConOcc return $ XLit $ HsRat r rat_ty mk_string :: FastString -> MetaM (HsLit GhcRn) ===================================== compiler/GHC/Iface/Errors/Ppr.hs ===================================== @@ -299,7 +299,8 @@ interfaceErrorDiagnostic opts = \ case MissingKnownKey1 key -> hang (text "Could not find known key" <+> quotes (pprKnownKey key)) 2 (vcat [ text "in the exports of GHC.KnownKeys" - , text "occname:" <+> pp_occ (knownKeyOccName_maybe key) ]) + , text "occname:" <+> pp_occ (knownKeyOccName_maybe key) + , text "REMEMBER: for tycons, divide by 2!!"]) where pp_occ (Just occ) = ppr occ pp_occ Nothing = text "Yikes: that key isn't in the known-key table" ===================================== libraries/base/src/GHC/KnownKeyNames.hs ===================================== @@ -92,7 +92,7 @@ module GHC.KnownKeyNames , error -- Numbers - , Num, Integral, Real, Fractional, RealFloat, RealFrac + , Num, Integral, Real, Floating, Fractional, RealFloat, RealFrac , (+), (-), (*), negate, fromInteger , divInt#, modInt# @@ -204,6 +204,7 @@ module GHC.KnownKeyNames , Clause, clause , Stmt, bindS, letS, noBindS, parS, recS , Body, normalB, guardedB + , Guard, normalGE, patGE ) where import GHC.Internal.Base hiding( foldr ) @@ -226,7 +227,8 @@ import GHC.Internal.IO( seq# ) import GHC.Internal.Control.Monad( fail, guard ) import GHC.Internal.Control.Monad.Fix( mfix, loop ) import GHC.Internal.Control.Monad.Zip( mzip ) -import GHC.Internal.Control.Arrow( arr, (>>>), first, app, (|||) ) +import GHC.Internal.Control.Arrow( arr, first, app, (|||) ) +import GHC.Internal.Desugar( (>>>) ) -- See Note [Tricky known-occ cases] import GHC.Internal.OverloadedLabels( fromLabel ) import GHC.Internal.Records import GHC.Internal.CString as CS View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9af7210e9c2adf040bf4ea4466c6035… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9af7210e9c2adf040bf4ea4466c6035… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: NCG: Implement constant folding for vector simd ops (Issue #25030)
by Marge Bot (＠marge-bot) 20 Apr '26

20 Apr '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: 311c6d60 by aparker at 2026-04-20T11:33:14-04:00 NCG: Implement constant folding for vector simd ops (Issue #25030) - - - - - e5743d44 by sheaf at 2026-04-20T11:33:14-04:00 Mark some SIMD tests as broken on i386 optllvm As seen in #25498, several SIMD tests are broken on i386 in the optllvm way. This commit marks them as "expect_broken". - - - - - 82d2f00e by Wolfgang Jeltsch at 2026-04-20T11:33:15-04:00 Move most of the `System.IO` implementation into `base` This involves a rewrite of the `combine` helper function to avoid the use of `last`, which would now be flagged as an error. Metric Decrease: LinkableUsage01 T3294 Metric Increase: T12227 T12707 T5642 - - - - - 34 changed files: - + changelog.d/simd_constant_folding - compiler/GHC/Cmm/Opt.hs - compiler/GHC/Utils/Misc.hs - libraries/base/src/Control/Concurrent.hs - libraries/base/src/GHC/IO/Handle.hs - libraries/base/src/Prelude.hs - libraries/base/src/System/IO.hs - libraries/base/src/Text/Printf.hs - libraries/ghc-internal/src/GHC/Internal/System/IO.hs - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simd/should_run/Makefile - + testsuite/tests/simd/should_run/T25030.hs - + testsuite/tests/simd/should_run/T25030.stdout - testsuite/tests/simd/should_run/all.T - testsuite/tests/typecheck/should_compile/T9497a.stderr - testsuite/tests/typecheck/should_compile/holes.stderr - testsuite/tests/typecheck/should_compile/holes3.stderr - testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr - testsuite/tests/typecheck/should_fail/T9497d.stderr - testsuite/tests/typecheck/should_run/T9497a-run.stderr - testsuite/tests/typecheck/should_run/T9497b-run.stderr - testsuite/tests/typecheck/should_run/T9497c-run.stderr - utils/haddock/html-test/ref/Bug1004.html - utils/haddock/html-test/ref/Bug973.html - utils/haddock/html-test/ref/ConstructorPatternExport.html - utils/haddock/html-test/ref/DefaultSignatures.html - utils/haddock/html-test/ref/Hash.html - utils/haddock/html-test/ref/PatternSyns.html - utils/haddock/html-test/ref/PatternSyns2.html - utils/haddock/html-test/ref/QuasiExpr.html - utils/haddock/html-test/ref/Test.html The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6d2aa4ad60064eefc2156b369120c2… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/6d2aa4ad60064eefc2156b369120c2… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: NCG: Implement constant folding for vector simd ops (Issue #25030)
by Marge Bot (＠marge-bot) 20 Apr '26

20 Apr '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: c236fd68 by aparker at 2026-04-20T07:27:47-04:00 NCG: Implement constant folding for vector simd ops (Issue #25030) - - - - - 6665c649 by sheaf at 2026-04-20T07:27:48-04:00 Mark some SIMD tests as broken on i386 optllvm As seen in #25498, several SIMD tests are broken on i386 in the optllvm way. This commit marks them as "expect_broken". - - - - - 6d2aa4ad by Wolfgang Jeltsch at 2026-04-20T07:27:49-04:00 Move most of the `System.IO` implementation into `base` This involves a rewrite of the `combine` helper function to avoid the use of `last`, which would now be flagged as an error. Metric Decrease: LinkableUsage01 T3294 Metric Increase: T12227 T12707 T5642 - - - - - 34 changed files: - + changelog.d/simd_constant_folding - compiler/GHC/Cmm/Opt.hs - compiler/GHC/Utils/Misc.hs - libraries/base/src/Control/Concurrent.hs - libraries/base/src/GHC/IO/Handle.hs - libraries/base/src/Prelude.hs - libraries/base/src/System/IO.hs - libraries/base/src/Text/Printf.hs - libraries/ghc-internal/src/GHC/Internal/System/IO.hs - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simd/should_run/Makefile - + testsuite/tests/simd/should_run/T25030.hs - + testsuite/tests/simd/should_run/T25030.stdout - testsuite/tests/simd/should_run/all.T - testsuite/tests/typecheck/should_compile/T9497a.stderr - testsuite/tests/typecheck/should_compile/holes.stderr - testsuite/tests/typecheck/should_compile/holes3.stderr - testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr - testsuite/tests/typecheck/should_fail/T9497d.stderr - testsuite/tests/typecheck/should_run/T9497a-run.stderr - testsuite/tests/typecheck/should_run/T9497b-run.stderr - testsuite/tests/typecheck/should_run/T9497c-run.stderr - utils/haddock/html-test/ref/Bug1004.html - utils/haddock/html-test/ref/Bug973.html - utils/haddock/html-test/ref/ConstructorPatternExport.html - utils/haddock/html-test/ref/DefaultSignatures.html - utils/haddock/html-test/ref/Hash.html - utils/haddock/html-test/ref/PatternSyns.html - utils/haddock/html-test/ref/PatternSyns2.html - utils/haddock/html-test/ref/QuasiExpr.html - utils/haddock/html-test/ref/Test.html The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/bbf4abb9729bfa017faacd4d9ea673… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/bbf4abb9729bfa017faacd4d9ea673… You're receiving this email because of your account on gitlab.haskell.org.

1 0

[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: NCG: Implement constant folding for vector simd ops (Issue #25030)
by Marge Bot (＠marge-bot) 20 Apr '26

20 Apr '26

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: 42fba2df by aparker at 2026-04-20T00:57:05-04:00 NCG: Implement constant folding for vector simd ops (Issue #25030) - - - - - 0962dc2a by sheaf at 2026-04-20T00:57:06-04:00 Mark some SIMD tests as broken on i386 optllvm As seen in #25498, several SIMD tests are broken on i386 in the optllvm way. This commit marks them as "expect_broken". - - - - - bbf4abb9 by Wolfgang Jeltsch at 2026-04-20T00:57:07-04:00 Move most of the `System.IO` implementation into `base` This involves a rewrite of the `combine` helper function to avoid the use of `last`, which would now be flagged as an error. Metric Decrease: LinkableUsage01 T3294 Metric Increase: T12227 T12707 T5642 - - - - - 34 changed files: - + changelog.d/simd_constant_folding - compiler/GHC/Cmm/Opt.hs - compiler/GHC/Utils/Misc.hs - libraries/base/src/Control/Concurrent.hs - libraries/base/src/GHC/IO/Handle.hs - libraries/base/src/Prelude.hs - libraries/base/src/System/IO.hs - libraries/base/src/Text/Printf.hs - libraries/ghc-internal/src/GHC/Internal/System/IO.hs - testsuite/tests/interface-stability/base-exports.stdout - testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs - testsuite/tests/interface-stability/base-exports.stdout-mingw32 - testsuite/tests/interface-stability/base-exports.stdout-ws-32 - + testsuite/tests/simd/should_run/Makefile - + testsuite/tests/simd/should_run/T25030.hs - + testsuite/tests/simd/should_run/T25030.stdout - testsuite/tests/simd/should_run/all.T - testsuite/tests/typecheck/should_compile/T9497a.stderr - testsuite/tests/typecheck/should_compile/holes.stderr - testsuite/tests/typecheck/should_compile/holes3.stderr - testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr - testsuite/tests/typecheck/should_fail/T9497d.stderr - testsuite/tests/typecheck/should_run/T9497a-run.stderr - testsuite/tests/typecheck/should_run/T9497b-run.stderr - testsuite/tests/typecheck/should_run/T9497c-run.stderr - utils/haddock/html-test/ref/Bug1004.html - utils/haddock/html-test/ref/Bug973.html - utils/haddock/html-test/ref/ConstructorPatternExport.html - utils/haddock/html-test/ref/DefaultSignatures.html - utils/haddock/html-test/ref/Hash.html - utils/haddock/html-test/ref/PatternSyns.html - utils/haddock/html-test/ref/PatternSyns2.html - utils/haddock/html-test/ref/QuasiExpr.html - utils/haddock/html-test/ref/Test.html The diff was not included because it is too large. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/371ac8b6d4904a11214229b4c0d4d1… -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/371ac8b6d4904a11214229b4c0d4d1… You're receiving this email because of your account on gitlab.haskell.org.

1 0