[DAGCombine] Don't check the legality of type when combine the SIGN_EXTEND_INREG
authorQingShan Zhang <qshanz@cn.ibm.com>
Mon, 6 Jan 2020 03:00:58 +0000 (03:00 +0000)
committerQingShan Zhang <qshanz@cn.ibm.com>
Mon, 6 Jan 2020 03:00:58 +0000 (03:00 +0000)
commitb9780f4f80ba82c6271b6b87fbfe6ea32d154e49
tree00a8a21a8aa720294538dbfe536865cc49258a53
parent2c053109fa83dc260042552c9132f3f528eb894e
[DAGCombine] Don't check the legality of type when combine the SIGN_EXTEND_INREG

This is the DAG node for SIGN_EXTEND_INREG :

t21: v4i32 = sign_extend_inreg t18, ValueType:ch:v4i16

It has two operands. The first one is the value it want to extend, and the second
one is the type to specify how to extend the value. For this example, it means
that, it is signed extend the t18(v4i32) from v4i16 to v4i32. That is
the semantics of c code:

vector int foo(vector int m) {
   return m << 16 >> 16;
}

And it could be any vector type that hardware support the operation, though
the type 'v4i16' is NOT legal for the target. When we are trying to combine
the srl + sra, what we did now is calling the TLI.isOperationLegal(), which
will also check the legality of the type. That doesn't make sense.

Differential Revision: https://reviews.llvm.org/D70230
llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
llvm/test/CodeGen/PowerPC/sext-vector-inreg.ll