Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
It'd be useful to add tests to see if the relevant ternlog patterns get correctly canonicalized to the useful patterns listed here: http://www.0x80.pl/articles/avx512-ternary-functions.html
In particular - ensuring we fold ternlog -> bitselect -> regular select (if driven by a compare / sign-extended bool vector), and maybe the one-bit-set pattern are of particular interest?
Comment Actions
So we already have tests for one_bit_set/two_bits_set/bitselect just as a function of exhaustive through all imm values, but I added carry-save-add and vselect (cmp; sext; bitselect) patterns.
Maybe run another test with a version that does opt -O3 as well? Just in case phase ordering is messing us up?