Chris Fallin

icon indicating a website link https://cfallin.org/ icon indicating an email [email protected]

icon company F5 icon location Sunnyvale, CA, USA icon location Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

Results 413 comments of Chris Fallin

[Cranelift] fold `(or ...) + (neg ...)` to `(and ...)`

I'll note that the mid-end does keep both around, rather than destructively rewriting (because egraphs!), so in the future if we have a more sophisticated cost function extractor there may...

[Cranelift] fold `(or ...) + (neg ...)` to `(and ...)`

> So basically, what I'm doing now is observe the discrepancy between the LLVM InstCombine pass and Cranelift's mid-end optimizer and then add rules to Cranelift for such missed optimization...

[Cranelift] fold `(or ...) + (neg ...)` to `(and ...)`

To the immediate question of making this rule actually fire: since we already rewrite `(iadd _ x (ineg _ y))` to `(isub _ x y)`, could you rewrite the left-hand...