#14519: Exponential runtime performance regression in GHC 8.2 + Data.Text.Lazy + Text.RE.TDFA -------------------------------------+------------------------------------- Reporter: ntc2 | Owner: tdammers Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.2.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime | Test Case: performance bug | https://github.com/ntc2/ghc-8.2.1 | -regex-lazy-text- | bug/tree/07b7bb32c6e90e8f2d2eada4b59943f37e632d53 Blocked By: | Blocking: Related Tickets: #13745, #14564 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by tdammers): Compiling with -ddump-rule-firings gives us: {{{ Rule fired: Class op toEnum (BUILTIN) Rule fired: Class op toEnum (BUILTIN) Rule fired: Class op before (BUILTIN) Rule fired: Class op after (BUILTIN) Rule fired: LAZY TEXT drop -> fused (Data.Text.Lazy) Rule fired: LAZY TEXT take -> fused (Data.Text.Lazy) Rule fired: LAZY STREAM stream/unstream fusion (Data.Text.Internal.Lazy.Fusion) Rule fired: Class op makeRegexOptsM (BUILTIN) Rule fired: Class op $p1RegexMaker (BUILTIN) Rule fired: Class op makeRegexOptsM (BUILTIN) Rule fired: Class op defaultCompOpt (BUILTIN) Rule fired: Class op defaultExecOpt (BUILTIN) Rule fired: Class op makeRegexOptsM (BUILTIN) Rule fired: Class op $p1RegexMaker (BUILTIN) Rule fired: Class op makeRegexOpts (BUILTIN) Rule fired: Class op defaultCompOpt (BUILTIN) Rule fired: Class op defaultExecOpt (BUILTIN) Rule fired: unpack (GHC.Base) Rule fired: Class op show (BUILTIN) Rule fired: ++ (GHC.Base) Rule fired: fold/build (GHC.Base) Rule fired: Class op fmap (BUILTIN) Rule fired: Class op matchOnce (BUILTIN) Rule fired: Class op bounds (BUILTIN) Rule fired: Class op unsafeAt (BUILTIN) Rule fired: Class op numElements (BUILTIN) Rule fired: Class op index (BUILTIN) Rule fired: Class op before (BUILTIN) Rule fired: LAZY TEXT take -> fused (Data.Text.Lazy) Rule fired: Class op fmap (BUILTIN) Rule fired: Class op extract (BUILTIN) Rule fired: Class op after (BUILTIN) Rule fired: Class op + (BUILTIN) Rule fired: LAZY TEXT drop -> fused (Data.Text.Lazy) Rule fired: Class op length (BUILTIN) Rule fired: Class op matchAll (BUILTIN) Rule fired: length (GHC.List) Rule fired: unpack (GHC.Base) Rule fired: unpack (GHC.Base) Rule fired: unpack (GHC.Base) Rule fired: unpack (GHC.Base) Rule fired: Class op bounds (BUILTIN) Rule fired: Class op unsafeAt (BUILTIN) Rule fired: Class op numElements (BUILTIN) Rule fired: Class op index (BUILTIN) Rule fired: Class op fmap (BUILTIN) Rule fired: Class op extract (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op after (BUILTIN) Rule fired: Class op + (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: LAZY TEXT drop -> fused (Data.Text.Lazy) Rule fired: Class op + (BUILTIN) Rule fired: Class op matchAll (BUILTIN) Rule fired: Class op matchAll (BUILTIN) Rule fired: Class op matchOnceText (BUILTIN) Rule fired: Class op bounds (BUILTIN) Rule fired: Class op unsafeAt (BUILTIN) Rule fired: Class op numElements (BUILTIN) Rule fired: Class op index (BUILTIN) Rule fired: Class op numElements (BUILTIN) Rule fired: Class op unsafeAt (BUILTIN) Rule fired: map (GHC.Base) Rule fired: Class op matchOnce (BUILTIN) Rule fired: Class op matchOnceText (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: SPEC next @ Int64 (Text.Regex.TDFA.Text.Lazy) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: Class op $p1RegexLike (BUILTIN) Rule fired: Class op empty (BUILTIN) Rule fired: Class op matchOnceText (BUILTIN) Rule fired: Class op $p1RegexLike (BUILTIN) Rule fired: Class op matchOnceText (BUILTIN) Rule fired: Class op empty (BUILTIN) Rule fired: SPEC/Text.Regex.TDFA.Text.Lazy polymatch @ Regex @ Text (Text.Regex.TDFA.Text.Lazy) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: lengthList (GHC.List) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: foldr/app (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: mapList (GHC.Base) Rule fired: unpack-list (GHC.Base) Rule fired: unpack-append (GHC.Base) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op toInteger (BUILTIN) Rule fired: smallIntegerToInt (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op $p1Integral (BUILTIN) Rule fired: Class op $p1Real (BUILTIN) Rule fired: Class op $p2Real (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op <= (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: Class op - (BUILTIN) Rule fired: Class op fromInteger (BUILTIN) Rule fired: integerToInt (BUILTIN) Rule fired: *# (BUILTIN) Rule fired: *# (BUILTIN) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14519#comment:37 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler