diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-07-19 04:06:33 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-08 02:57:55 -0400 |
commit | beef61351b240967b49169d27a9a19565cf3c4af (patch) | |
tree | 7ef77954391b2babe2772144a5e37cc8d8b4231d /compiler/GHC/CmmToC.hs | |
parent | 6ea9b3ee4454b87ecc017d89f131a80f57ef65aa (diff) | |
download | haskell-beef61351b240967b49169d27a9a19565cf3c4af.tar.gz |
Let LLVM and C handle > native size arithmetic
NCG needs to call slow FFI functions where we "borrow" the C compiler's
implementation, but there is no reason why we need to do that for LLVM,
or the unregisterized backend where everything is via C anyways!
Diffstat (limited to 'compiler/GHC/CmmToC.hs')
-rw-r--r-- | compiler/GHC/CmmToC.hs | 65 |
1 files changed, 34 insertions, 31 deletions
diff --git a/compiler/GHC/CmmToC.hs b/compiler/GHC/CmmToC.hs index 3008f01c5c..e259cdb55d 100644 --- a/compiler/GHC/CmmToC.hs +++ b/compiler/GHC/CmmToC.hs @@ -860,40 +860,43 @@ pprCallishMachOp_for_C mop MO_SubIntC {} -> unsupported MO_U_Mul2 {} -> unsupported MO_Touch -> unsupported + -- we could support prefetch via "__builtin_prefetch" + -- Not adding it for now (MO_Prefetch_Data _ ) -> unsupported - --- we could support prefetch via "__builtin_prefetch" - --- Not adding it for now - MO_I64_ToI -> text "hs_int64ToInt" - MO_I64_FromI -> text "hs_intToInt64" - MO_W64_ToW -> text "hs_word64ToWord" - MO_W64_FromW -> text "hs_wordToWord64" - MO_x64_Neg -> text "hs_neg64" - MO_x64_Add -> text "hs_add64" - MO_x64_Sub -> text "hs_sub64" - MO_x64_Mul -> text "hs_mul64" - MO_I64_Quot -> text "hs_quotInt64" - MO_I64_Rem -> text "hs_remInt64" - MO_W64_Quot -> text "hs_quotWord64" - MO_W64_Rem -> text "hs_remWord64" - MO_x64_And -> text "hs_and64" - MO_x64_Or -> text "hs_xor64" - MO_x64_Xor -> text "hs_xor64" - MO_x64_Not -> text "hs_not64" - MO_x64_Shl -> text "hs_uncheckedShiftL64" - MO_I64_Shr -> text "hs_uncheckedIShiftRA64" - MO_W64_Shr -> text "hs_uncheckedShiftRL64" - MO_x64_Eq -> text "hs_eq64" - MO_x64_Ne -> text "hs_ne64" - MO_I64_Ge -> text "hs_geInt64" - MO_I64_Gt -> text "hs_gtInt64" - MO_I64_Le -> text "hs_leInt64" - MO_I64_Lt -> text "hs_ltInt64" - MO_W64_Ge -> text "hs_geWord64" - MO_W64_Gt -> text "hs_gtWord64" - MO_W64_Le -> text "hs_leWord64" - MO_W64_Lt -> text "hs_ltWord64" + + MO_I64_ToI -> dontReach64 + MO_I64_FromI -> dontReach64 + MO_W64_ToW -> dontReach64 + MO_W64_FromW -> dontReach64 + MO_x64_Neg -> dontReach64 + MO_x64_Add -> dontReach64 + MO_x64_Sub -> dontReach64 + MO_x64_Mul -> dontReach64 + MO_I64_Quot -> dontReach64 + MO_I64_Rem -> dontReach64 + MO_W64_Quot -> dontReach64 + MO_W64_Rem -> dontReach64 + MO_x64_And -> dontReach64 + MO_x64_Or -> dontReach64 + MO_x64_Xor -> dontReach64 + MO_x64_Not -> dontReach64 + MO_x64_Shl -> dontReach64 + MO_I64_Shr -> dontReach64 + MO_W64_Shr -> dontReach64 + MO_x64_Eq -> dontReach64 + MO_x64_Ne -> dontReach64 + MO_I64_Ge -> dontReach64 + MO_I64_Gt -> dontReach64 + MO_I64_Le -> dontReach64 + MO_I64_Lt -> dontReach64 + MO_W64_Ge -> dontReach64 + MO_W64_Gt -> dontReach64 + MO_W64_Le -> dontReach64 + MO_W64_Lt -> dontReach64 where unsupported = panic ("pprCallishMachOp_for_C: " ++ show mop ++ " not supported!") + dontReach64 = panic ("pprCallishMachOp_for_C: " ++ show mop + ++ " should be not be encountered because the regular primop for this 64-bit operation is used instead.") -- --------------------------------------------------------------------- -- Useful #defines |