GitLab

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

Commits:

be6a65cb

by fendor at 2026-07-01T09:14:31+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

5 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.stderr
+ 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'])
 +# bytecode backend doesn't support '-finfo-table-map' (#27039)
 +test('bytecodeIPE',
 +     [ 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.stderr

	1	+when making flags consistent: warning: [GHC-74335] [-Winconsistent-flags (in -Wdefault)]
	2	+ -finfo-table-map is incompatible with -fbyte-code and is disabled

testsuite/tests/ghci/scripts/bytecodeIPE.stdout

+False