Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Unit Tests
Unit Tests
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?