summaryrefslogtreecommitdiff
path: root/compiler/GHC/Cmm/Opt.hs
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-05-05 11:57:26 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-05-15 10:42:46 -0400
commit568d7279a80cf945271f0659f11a94eea3f1433d (patch)
tree9e2c73c659012098755bbeaeeff0a9a6980a56e1 /compiler/GHC/Cmm/Opt.hs
parent9bd20e83ff9b65bd5496fbb29d27072c9e4e84b9 (diff)
downloadhaskell-568d7279a80cf945271f0659f11a94eea3f1433d.tar.gz
GHC.Cmm.Opt: Handle MO_XX_Conv
This MachOp was introduced by 2c959a1894311e59cd2fd469c1967491c1e488f3 but a wildcard match in cmmMachOpFoldM hid the fact that it wasn't handled. Ideally we would eliminate the match but this appears to be a larger task. Fixes #18141.
Diffstat (limited to 'compiler/GHC/Cmm/Opt.hs')
-rw-r--r--compiler/GHC/Cmm/Opt.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/GHC/Cmm/Opt.hs b/compiler/GHC/Cmm/Opt.hs
index 4ac24523c1..493122024c 100644
--- a/compiler/GHC/Cmm/Opt.hs
+++ b/compiler/GHC/Cmm/Opt.hs
@@ -69,6 +69,7 @@ cmmMachOpFoldM _ op [CmmLit (CmmInt x rep)]
MO_SF_Conv _from to -> CmmLit (CmmFloat (fromInteger x) to)
MO_SS_Conv from to -> CmmLit (CmmInt (narrowS from x) to)
MO_UU_Conv from to -> CmmLit (CmmInt (narrowU from x) to)
+ MO_XX_Conv from to -> CmmLit (CmmInt (narrowS from x) to)
_ -> panic $ "cmmMachOpFoldM: unknown unary op: " ++ show op
@@ -76,6 +77,7 @@ cmmMachOpFoldM _ op [CmmLit (CmmInt x rep)]
-- Eliminate conversion NOPs
cmmMachOpFoldM _ (MO_SS_Conv rep1 rep2) [x] | rep1 == rep2 = Just x
cmmMachOpFoldM _ (MO_UU_Conv rep1 rep2) [x] | rep1 == rep2 = Just x
+cmmMachOpFoldM _ (MO_XX_Conv rep1 rep2) [x] | rep1 == rep2 = Just x
-- Eliminate nested conversions where possible
cmmMachOpFoldM platform conv_outer [CmmMachOp conv_inner [x]]