This is an archive of the discontinued LLVM Phabricator instance.

[PowerPC] Combine select_cc (x, 0, t, f, lt) to avoid generating `isel`
AbandonedPublic

Authored by lkail on Oct 8 2020, 5:44 PM.

Details

Reviewers
shchenz
steven.zhang
Group Reviewers
Restricted Project
Summary

We can combine select_cc (x, 0, t, f, lt) to avoid generating expensive isel instruction.

Diff Detail

Event Timeline

lkail created this revision.Oct 8 2020, 5:44 PM
lkail requested review of this revision.Oct 8 2020, 5:44 PM
lkail updated this revision to Diff 297097.Oct 8 2020, 6:24 PM

Thanks for doing this. This is what we should do for PPC target.

llvm/lib/Target/PowerPC/PPCISelLowering.cpp
13624

I think it is not a win transformation for the worst case?

li
li
cmp
select

VS

srl
ext
not
shl
sub
shchenz added inline comments.Oct 8 2020, 10:18 PM
llvm/test/CodeGen/PowerPC/select.ll
56

This seems to be always profitable. Maybe we can do this transformation in void PPCDAGToDAGISel::Select(SDNode *N) {}?
We can transform it like:

select_cc (x, 0, t, f, lt)

-> subfic (rlwinm) if (f > t)
or
-> addi (rlwinm) if (f <= t)?

lkail updated this revision to Diff 297126.Oct 8 2020, 11:13 PM

Tune codegen.

lkail updated this revision to Diff 297797.Oct 13 2020, 2:34 AM

Add tests to cover zext/trunc.

I guess this opt should also be profitable for opcode SELECT, is there any reason we don't do this?

llvm/lib/Target/PowerPC/PPCISelLowering.cpp
13595

is it possible to put some conditions in early returns and put some comments there?

13604

same as above, put some contidions in early returns and put some comments there?

13610

can getZExtOrTrunc be used here?

lkail added a comment.Nov 3 2020, 9:26 PM

I guess this opt should also be profitable for opcode SELECT, is there any reason we don't do this?

The complete form of select is select cond, true_value, false_value and cond usually comes from comparison. Most comparisons can't be transformed to shift ops easily. For current ppc backend without this ptch, such pattern is transformed into a select_cc node before pattern-matching instruction selector.

llvm/lib/Target/PowerPC/PPCISelLowering.cpp
13595

Well, it might require some refactor work if adding more select_cc related patterns.

13610

Good one.

lkail updated this revision to Diff 302739.Nov 3 2020, 9:28 PM
lkail planned changes to this revision.Nov 25 2020, 9:52 PM

Gonna to add more patterns and refine current code.

lkail abandoned this revision.Dec 23 2020, 6:14 PM

Functionality of this patch can be covered by https://reviews.llvm.org/D93191.