#include "HsVersions.h"
import CoreSyn
-import Id ( mkWildId, isPrimOpId_maybe )
+import Id ( mkWildId, isPrimOpId_maybe, idUnfolding )
import Literal ( Literal(..), mkMachInt, mkMachWord
, literalType
, word2IntLit, int2WordLit
import Type ( tyConAppTyCon, coreEqType )
import OccName ( occNameFS )
import PrelNames ( unpackCStringFoldrName, unpackCStringFoldrIdKey, hasKey,
- eqStringName, unpackCStringIdKey )
+ eqStringName, unpackCStringIdKey, inlineIdName )
import Maybes ( orElse )
import Name ( Name )
import Outputable
-- Rules for non-primops that can't be expressed using a RULE pragma
builtinRules
= [ BuiltinRule FSLIT("AppendLitString") unpackCStringFoldrName match_append_lit,
- BuiltinRule FSLIT("EqString") eqStringName match_eq_string
+ BuiltinRule FSLIT("EqString") eqStringName match_eq_string,
+ BuiltinRule FSLIT("Inline") inlineIdName match_inline
]
+---------------------------------------------------
-- The rule is this:
-- unpackFoldrCString# "foo" c (unpackFoldrCString# "baz" c n) = unpackFoldrCString# "foobaz" c n
match_append_lit other = Nothing
+---------------------------------------------------
-- The rule is this:
-- eqString (unpackCString# (Lit s1)) (unpackCString# (Lit s2) = s1==s2
= Just (if s1 == s2 then trueVal else falseVal)
match_eq_string other = Nothing
+
+
+---------------------------------------------------
+-- The rule is this:
+-- inline (f a b c) = <f's unfolding> a b c
+-- (if f has an unfolding)
+match_inline (e:args2)
+ | (Var f, args1) <- collectArgs e,
+ Just unf <- maybeUnfoldingTemplate (idUnfolding f)
+ = Just (mkApps (mkApps unf args1) args2)
+
+match_inline other = Nothing
\end{code}