Page MenuHomePhabricator

[PowerPC] handle ISD:TRUNCATE in BitPermutationSelector

Authored by inouehrs on Jul 9 2018, 7:05 AM.



This is the last one in a series of patches to support better code generation for bitfield insert.
BitPermutationSelector already support ISD::ZERO_EXTEND but not TRUNCATE.
This patch add support for ISD:TRUNCATE in BitPermutationSelector.

struct s64b {
  int a:4;
  int b:16;
  int c:24;
void bitfieldinsert64b(struct s64b *p, unsigned char v) {
  p->b = v;

For example of the above test case, the selection DAG loos like:

t14: i32,ch = load<(load 4 from %ir.0)> t0, t2, undef:i64
       t18: i32 = and t14, Constant:i32<-1048561>
            t4: i64,ch = CopyFromReg t0, Register:i64 %1
          t22: i64 = AssertZext t4, ValueType:ch:i8
        t23: i32 = truncate t22
      t16: i32 = shl nuw nsw t23, Constant:i32<4>
    t19: i32 = or t18, t16
  t20: ch = store<(store 4 into %ir.0)> t14:1, t19, t2, undef:i64

By handling truncate in the BitPermutationSelector, we can use information from AssertZext when selecting t19 and skip the mask operation corresponding to t18.
So the generated sequences with and without this patch are

without this patch
	rlwinm 5, 5, 0, 28, 11 # corresponding to t18
	rlwimi 5, 4, 4, 20, 27
with this patch
	rlwimi 5, 4, 4, 12, 27

I am going to withdraw my old patch to do special pattern patching for bitfield insert since all problematic cases I found are handled in BitPermutationSelector.

Diff Detail


Event Timeline

inouehrs updated this revision to Diff 169950.Oct 16 2018, 11:00 PM
inouehrs edited the summary of this revision. (Show Details)Oct 17 2018, 12:39 AM
inouehrs updated this revision to Diff 179603.Dec 27 2018, 9:51 PM
This revision is now accepted and ready to land.Dec 27 2018, 10:14 PM
This revision was automatically updated to reflect the committed changes.