GitLab

Hannes Siebenhandl pushed to branch wip/fendor/no-code-output-constr at Glasgow Haskell Compiler / GHC

Commits:

a376a1c9

by Matthew Pickering at 2026-06-22T13:46:47+02:00

Add failing test for `-finfo-table-map` and bytecode backend

If you compile a module using the bytecode backend, with
-finfo-table-map, then the info table map doesn't get populated for the
module.

This is because the -finfo-table-map code path is implemented mostly in
the StgToCmm phase which isn't run when creating bytecode.

Ticket #27039

4 changed files:

testsuite/tests/ghci/scripts/all.T
+ testsuite/tests/ghci/scripts/bytecodeIPE.hs
+ testsuite/tests/ghci/scripts/bytecodeIPE.script
+ testsuite/tests/ghci/scripts/bytecodeIPE.stdout

Changes:

testsuite/tests/ghci/scripts/all.T

@@ -385,6 +385,14 @@ test('ListTuplePunsPpr', normal, ghci_script, ['ListTuplePunsPpr.script'])
  test('ListTuplePunsPprNoAbbrevTuple', [limit_stdout_lines(14)], ghci_script, ['ListTuplePunsPprNoAbbrevTuple.script'])
  test('T24459', normal, ghci_script, ['T24459.script'])
  test('T24632', normal, ghci_script, ['T24632.script'])
 +test('bytecodeIPE',
 +     [ expect_broken(27039)
 +     , extra_hc_opts('-finfo-table-map')
 +     , extra_files(['bytecodeIPE.hs'])
 +     , req_rts_linker
 +     , when(arch('wasm32') or arch('javascript'), skip)
 +     ],
 +     ghci_script, ['bytecodeIPE.script'])
  # Test package renaming in GHCi session
  test('GhciPackageRename',

testsuite/tests/ghci/scripts/bytecodeIPE.hs

 +module BytecodeIPE where
++
 +import Data.Maybe (isJust)
 +import GHC.InfoProv (whereFrom)
++
 +marker :: String
 +marker = id "bytecode-stub-init"
 +{-# NOINLINE marker #-}
++
 +-- `whereFrom` only succeeds if the module's IPE initializer ran.
 +probe :: IO Bool
 +probe = isJust <$> whereFrom marker

testsuite/tests/ghci/scripts/bytecodeIPE.script

	1	+:load bytecodeIPE.hs
	2	+probe

testsuite/tests/ghci/scripts/bytecodeIPE.stdout

+True