[TableGen] Fix two bugs in 'defm' when complex 'assert' is involved.

This patch fixes two bugs that arise when a 'defm' inherits from a multiclass
and also from a class with assertions.

Differential Revision: https://reviews.llvm.org/D101626
This commit is contained in:
Paul C. Anagnostopoulos 2021-04-30 09:19:08 -04:00
parent c9c4676a45
commit 985ab6e1fa
3 changed files with 19 additions and 1 deletions

View File

@ -1529,7 +1529,7 @@ public:
// original record. All other fields can be copied normally.
Record(const Record &O)
: Name(O.Name), Locs(O.Locs), TemplateArgs(O.TemplateArgs),
Values(O.Values), SuperClasses(O.SuperClasses),
Values(O.Values), Assertions(O.Assertions), SuperClasses(O.SuperClasses),
TrackedRecords(O.TrackedRecords), ID(LastID++),
IsAnonymous(O.IsAnonymous), IsClass(O.IsClass) { }

View File

@ -292,6 +292,9 @@ bool TGParser::AddSubClass(RecordsEntry &Entry, SubClassReference &SubClass) {
if (Entry.Rec)
return AddSubClass(Entry.Rec.get(), SubClass);
if (Entry.Assertion)
return false;
for (auto &E : Entry.Loop->Entries) {
if (AddSubClass(E, SubClass))
return true;

View File

@ -189,3 +189,18 @@ multiclass MC4<string phr> : MC2<phr> {
}
defm Rec44 : MC4<"xecret code">;
// Test a defm in a multiclass that inherits from a class with asserts.
// CHECK: assertion failed
// CHECK: note: MC5 name must include a space: Ada_Lovelace
// CHECK: assertion failed
// CHECK: note: person age is invalid: 666
multiclass MC5<string phr, string name, int age> {
assert !ne(!find(name, " "), -1), "MC5 name must include a space: " # name;
defm _mc5 : MC2<phr>, Person<name, age>;
}
defm Rec45 : MC5<"secret password", "Ada_Lovelace", 666>;