diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-08 22:17:56 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-08 22:17:56 +0100 |
| commit | cbe6472a14cc0887295034bb29546dd1a1f083fd (patch) | |
| tree | 2fa6a20f584d58ac3b89074673990a16cdc7d5b2 /src/Simplify.hs | |
| parent | 4fcdb7118e0084f192753ea6c70394352a27d5ed (diff) | |
WIP maximum/minimum
Diffstat (limited to 'src/Simplify.hs')
| -rw-r--r-- | src/Simplify.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Simplify.hs b/src/Simplify.hs index e32ba8c..3e14aaf 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -115,6 +115,8 @@ simplify' = \case ESum1Inner _ e -> ESum1Inner ext <$> simplify' e EUnit _ e -> EUnit ext <$> simplify' e EReplicate1Inner _ a b -> EReplicate1Inner ext <$> simplify' a <*> simplify' b + EMaximum1Inner _ e -> EMaximum1Inner ext <$> simplify' e + EMinimum1Inner _ e -> EMinimum1Inner ext <$> simplify' e EConst _ t v -> pure $ EConst ext t v EIdx0 _ e -> EIdx0 ext <$> simplify' e EIdx1 _ a b -> EIdx1 ext <$> simplify' a <*> simplify' b @@ -166,6 +168,8 @@ hasAdds = \case ESum1Inner _ e -> hasAdds e EUnit _ e -> hasAdds e EReplicate1Inner _ a b -> hasAdds a || hasAdds b + EMaximum1Inner _ e -> hasAdds e + EMinimum1Inner _ e -> hasAdds e ECustom _ _ _ _ a b c d e -> hasAdds a || hasAdds b || hasAdds c || hasAdds d || hasAdds e EConst _ _ _ -> False EIdx0 _ e -> hasAdds e |