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:
Evan Cheng 2006-05-19 07:24:32 +00:00
parent a0e82ff9be
commit accb9d0378

View File

@ -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::" +