diff options
| author | Cheng Shao <terrorjack@type.dance> | 2022-11-28 09:58:36 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-11-28 23:48:14 -0500 |
| commit | d4134e920a79ddfe7abb291964614e4f428c1a24 (patch) | |
| tree | b0ff9569232a8ee1fb59e68add81e949202a2e48 /compiler/GHC/Cmm | |
| parent | 36b53a9db6d8e7537a8e956a703e3ec3c5081fc3 (diff) | |
| download | haskell-d4134e920a79ddfe7abb291964614e4f428c1a24.tar.gz | |
compiler: remove unused MO_U_MulMayOflo
We actually only emit MO_S_MulMayOflo and never emit MO_U_MulMayOflo anywhere.
Diffstat (limited to 'compiler/GHC/Cmm')
| -rw-r--r-- | compiler/GHC/Cmm/MachOp.hs | 4 | ||||
| -rw-r--r-- | compiler/GHC/Cmm/Parser.y | 1 |
2 files changed, 0 insertions, 5 deletions
diff --git a/compiler/GHC/Cmm/MachOp.hs b/compiler/GHC/Cmm/MachOp.hs index 632165b6b2..7bb84972a6 100644 --- a/compiler/GHC/Cmm/MachOp.hs +++ b/compiler/GHC/Cmm/MachOp.hs @@ -65,7 +65,6 @@ data MachOp | MO_S_Neg Width -- unary - -- Unsigned multiply/divide - | MO_U_MulMayOflo Width -- nonzero if unsigned multiply overflows | MO_U_Quot Width -- unsigned / (same semantics as WordQuotOp) | MO_U_Rem Width -- unsigned % (same semantics as WordRemOp) @@ -251,7 +250,6 @@ isCommutableMachOp mop = MO_Ne _ -> True MO_Mul _ -> True MO_S_MulMayOflo _ -> True - MO_U_MulMayOflo _ -> True MO_And _ -> True MO_Or _ -> True MO_Xor _ -> True @@ -379,7 +377,6 @@ machOpResultType platform mop tys = MO_S_Quot r -> cmmBits r MO_S_Rem r -> cmmBits r MO_S_Neg r -> cmmBits r - MO_U_MulMayOflo r -> cmmBits r MO_U_Quot r -> cmmBits r MO_U_Rem r -> cmmBits r @@ -473,7 +470,6 @@ machOpArgReps platform op = MO_S_Quot r -> [r,r] MO_S_Rem r -> [r,r] MO_S_Neg r -> [r] - MO_U_MulMayOflo r -> [r,r] MO_U_Quot r -> [r,r] MO_U_Rem r -> [r,r] diff --git a/compiler/GHC/Cmm/Parser.y b/compiler/GHC/Cmm/Parser.y index 553dd59f24..4915c47408 100644 --- a/compiler/GHC/Cmm/Parser.y +++ b/compiler/GHC/Cmm/Parser.y @@ -961,7 +961,6 @@ machOps = listToUFM $ ( "ne", MO_Ne ), ( "mul", MO_Mul ), ( "mulmayoflo", MO_S_MulMayOflo ), - ( "mulmayoflou", MO_U_MulMayOflo ), ( "neg", MO_S_Neg ), ( "quot", MO_S_Quot ), ( "rem", MO_S_Rem ), |