maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Allow Operator Arguments 

When resolving an operator list element reference, resolve all
operator operands and try to fold the operator first.  This allows the
operator to collapse to a list which may then be indexed.

Before, it was not possible to do this:
class D<int a, int b> { ... }
class C<list<int> A> : D<A[0], A[1]>;
class B<list<int> b> : C<!foreach(...,b)>;

Now it is.

llvm-svn: 141101
This commit is contained in:
David Greene 2011-10-04 18:55:36 +00:00
parent f2a7b0eade
commit a8b8ab6b20
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
llvm/lib/TableGen/Record.cpp
View File

@ -700,12 +700,20 @@ Init *OpInit::resolveBitReference(Record &R, const RecordVal *IRV,
Init *OpInit::resolveListElementReference(Record &R, const RecordVal *IRV,
unsigned Elt) const {
Init *Folded = Fold(&R, 0);
Init *Resolved = resolveReferences(R, IRV);
OpInit *OResolved = dynamic_cast<OpInit *>(Resolved);
if (OResolved) {
Resolved = OResolved->Fold(&R, 0);
}
if (Folded != this) {
TypedInit *Typed = dynamic_cast<TypedInit *>(Folded);
if (Resolved != this) {
TypedInit *Typed = dynamic_cast<TypedInit *>(Resolved);
assert(Typed && "Expected typed init for list reference");
if (Typed) {
return Typed->resolveListElementReference(R, IRV, Elt);
Init *New = Typed->resolveListElementReference(R, IRV, Elt);
if (New)
return New;
return VarListElementInit::get(Typed, Elt);
}
}
@ -1332,7 +1340,7 @@ Init *VarInit::resolveListElementReference(Record &R,
assert(RV && "Reference to a non-existent variable?");
ListInit *LI = dynamic_cast<ListInit*>(RV->getValue());
if (!LI) {
VarInit *VI = dynamic_cast<VarInit*>(RV->getValue());
TypedInit *VI = dynamic_cast<TypedInit*>(RV->getValue());
assert(VI && "Invalid list element!");
return VarListElementInit::get(VI, Elt);
}