Version 1 (modified by nomeata, 12 months ago) (diff)


Notes on more aggressive CSE

Joachim did some experiments trying to achieve more CSE, but could not achieve a uniform win in the benchmarks. This page holds some of the notes of what has been tried, and what happened. Some of this has also been noted at #7596. This is more a list of anecdotal insights; full insights would have led to a patch to master... :-)

The main idea was to make the float out phase flout out more stuff, so that later on the CSE pass sees more possibilities to CSE expressions up. In itself, this works as expected, and solves the motivating example from #7596, but for various reasons the results were not as good as hoped-for.

Some reasons why more CSE could hurt:

  • When one very aggressively, this will float things like GHC.Classes.<= @ a sc, which is of no use.
  • Sharing across case branches. (ticket:7596#comment:3) The code in question has multiple case branches, all of which called reverse rev. Floating this expression out and sharing it does not gain anything in terms of saved work or allocations, but can increase allocation, i.e. if the value is not used in all branches.
  • Different arguments to a function behave similar as case branches, if the function may only evaluate one of them. Floating out subexpression of the arguments can then increase allocation.
  • An additional CSE pass as the end, even without further floating, made puzzle worse: The thunks were OnceL before, so after CSE the whole thunk-updating-machinery was added. Even worse: The second occurrence of the expression was dead code (which the compiler cannot know).

There were also effects that I did not fully understand:

  • In kahan, the two calls to newArray were shared (as functions, of course, as they are ST actions). This (or something else) caused the inner loop to be moved inside the outer loop, causing many allocations of that loop’s function.
  • Even only floating saturated constructor applications (which had only a little effect for most benchmarks) made things works; the cause is hidden somewhere in GHC.Show and I did not find out why.


More floating and/or CSE is tricky, as there are a few way this can make things worse. Also, it is difficult to find out what goes wrong, as the Core tend to change a lot even with small adjustments of the code.

It might be worth trying to implement a very careful floating/CSE pass that will make sure that only expressions that are going to be allocated in every case (i.e. because they are in a strict context, or arguments to functions in strict context) can be CSEd. There might be some small gains to achieve without too many regressions.