Now that iPTR is a fully resolved type. We end up losing the type check for
patterns that look like this: def : Pat<(i32 (X86Wrapper tconstpool :$dst)), (MOV32ri tconstpool :$dst)>; InsertOneTypeCheck should copy the type from the resolved pattern to the unresolved one as long as there types are different. llvm-svn: 28389
This commit is contained in:
parent
b15597b59a
commit
886e8f35aa
|
@ -2808,7 +2808,7 @@ public:
|
|||
bool InsertOneTypeCheck(TreePatternNode *Pat, TreePatternNode *Other,
|
||||
const std::string &Prefix) {
|
||||
// Did we find one?
|
||||
if (!Pat->hasTypeSet()) {
|
||||
if (Pat->getExtTypes() != Other->getExtTypes()) {
|
||||
// Move a type over from 'other' to 'pat'.
|
||||
Pat->setTypes(Other->getExtTypes());
|
||||
emitCheck(Prefix + ".Val->getValueType(0) == MVT::" +
|
||||
|
|
Loading…
Reference in New Issue