diff options
author | Ben Gamari <ben@smart-cactus.org> | 2023-01-22 08:11:02 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2023-03-02 12:31:12 -0500 |
commit | cbdc5d515c6e1761e055106875d30f82098e4098 (patch) | |
tree | 955af49faff4848b4ea6a1188c557a7074497712 | |
parent | 4bda8c6c28470345c66b71df55305d554a8c09df (diff) | |
download | haskell-cbdc5d515c6e1761e055106875d30f82098e4098.tar.gz |
nativeGen: Disable asm-shortcutting on Darwin
Asm-shortcutting may produce relative references to symbols defined in
other compilation units. This is not something that MachO relocations
support (see #21972). For this reason we disable the optimisation on
Darwin. We do so without a warning since this flag is enabled by `-O2`.
Another way to address this issue would be to rather implement a
PLT-relocatable jump-table strategy. However, this would only benefit
Darwin and does not seem worth the effort.
Closes #21972.
(cherry picked from commit 8bed166bb79445f90015757fd5baac69a7b835df)
-rw-r--r-- | compiler/GHC/CmmToAsm.hs | 15 | ||||
-rw-r--r-- | docs/users_guide/using-optimisation.rst | 6 |
2 files changed, 19 insertions, 2 deletions
diff --git a/compiler/GHC/CmmToAsm.hs b/compiler/GHC/CmmToAsm.hs index c0ac96fa79..94bdaa648b 100644 --- a/compiler/GHC/CmmToAsm.hs +++ b/compiler/GHC/CmmToAsm.hs @@ -812,6 +812,19 @@ generateJumpTables ncgImpl xs = concatMap f xs -- ----------------------------------------------------------------------------- -- Shortcut branches +-- Note [No asm-shortcutting on Darwin] +-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +-- Asm-shortcutting may produce relative references to symbols defined in +-- other compilation units. This is not something that MachO relocations +-- support (see #21972). For this reason we disable the optimisation on Darwin. +-- We do so in the backend without a warning since this flag is enabled by +-- `-O2`. +-- +-- Another way to address this issue would be to rather implement a +-- PLT-relocatable jump-table strategy. However, this would only benefit Darwin +-- and does not seem worth the effort as this optimisation generally doesn't +-- offer terribly great benefits. + shortcutBranches :: forall statics instr jumpDest. (Outputable jumpDest) => NCGConfig @@ -822,6 +835,8 @@ shortcutBranches shortcutBranches config ncgImpl tops weights | ncgEnableShortcutting config + -- See Note [No asm-shortcutting on Darwin] + , not $ osMachOTarget $ platformOS $ ncgPlatform config = ( map (apply_mapping ncgImpl mapping) tops' , shortcutWeightMap mappingBid <$!> weights ) | otherwise diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index d3ca68a1df..df87fdb6a3 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -262,8 +262,10 @@ by saying ``-fno-wombat``. of a unconditionally jump, we replace all jumps to A by jumps to the successor of A. - This is mostly done during Cmm passes. However this can miss corner cases. So at -O2 - we run the pass again at the asm stage to catch these. + This is mostly done during Cmm passes. However this can miss corner cases. + So at ``-O2`` this flag runs the pass again at the assembly stage to catch + these. Note that due to platform limitations (:ghc-ticket:`21972`) this flag + does nothing on macOS. .. ghc-flag:: -fblock-layout-cfg :shortdesc: Use the new cfg based block layout algorithm. |