Displaying 2 results from an estimated 2 matches for "langdev".
Did you mean:
landev
2017 Jul 14
2
failing to optimize boolean ops on cmps
On 07/13/2017 06:40 PM, Daniel Berlin via llvm-dev wrote:
> Ah yes, it can only return one instruction and you need two.
>
> NewGVN could still handle it if instsimplify was changed to return the
> right binary operators because it has infrastructure that can handle
> insertion.
> (it would need a little work).
>
>
> (At this point, InstCombine seems to have become
2017 Jul 14
2
failing to optimize boolean ops on cmps
...graph rewrites", that pass is in fact, your compiler :)
>
> That's not such a bad thing, mind you, there are entire
> libraries/languages centered around this (see, e.g., stratego,
> https://en.wikipedia.org/wiki/Stratego/XT and
> http://www.metaborg.org/en/latest/source/langdev/meta/lang/stratego/strategoxt/index.html),
> but it should be a deliberate thing.
>
> e problem we have, however, is that we have phase-ordering
> problems (even within the fixed-point iteration scheme): Patterns
> being matched depend on a canonical form, instructions n...