{
bool loop_external = false;
for(AssignmentInfo *a: var_info.assignments)
- {
- bool covered = true;
- for(unsigned j=0; (covered && j<a->target.chain_len && j<target.chain_len); ++j)
- {
- Assignment::Target::ChainType type1 = static_cast<Assignment::Target::ChainType>(a->target.chain[j]&0xC0);
- Assignment::Target::ChainType type2 = static_cast<Assignment::Target::ChainType>(target.chain[j]&0xC0);
- unsigned index1 = a->target.chain[j]&0x3F;
- unsigned index2 = target.chain[j]&0x3F;
- if(type1==Assignment::Target::SWIZZLE || type2==Assignment::Target::SWIZZLE)
- {
- if(type1==Assignment::Target::SWIZZLE && type2==Assignment::Target::SWIZZLE)
- covered = index1&index2;
- else if(type1==Assignment::Target::ARRAY && index1<4)
- covered = index2&(1<<index1);
- else if(type2==Assignment::Target::ARRAY && index2<4)
- covered = index1&(1<<index2);
- /* If it's some other combination (shouldn't happen), leave
- covered as true */
- }
- else
- covered = (type1==type2 && (index1==index2 || index1==0x3F || index2==0x3F));
- }
-
- if(covered)
+ if(targets_overlap(a->target, target))
{
a->used_by.push_back(&node);
if(a->in_loop<in_loop)
loop_external = true;
}
- }
if(loop_external)
loop_ext_refs.push_back(&node);
++target.chain_len;
}
+bool targets_overlap(const Assignment::Target &target1, const Assignment::Target &target2)
+{
+ bool overlap = (target1.declaration==target2.declaration);
+ for(unsigned i=0; (overlap && i<target1.chain_len && i<target2.chain_len); ++i)
+ {
+ Assignment::Target::ChainType type1 = static_cast<Assignment::Target::ChainType>(target1.chain[i]&0xC0);
+ Assignment::Target::ChainType type2 = static_cast<Assignment::Target::ChainType>(target2.chain[i]&0xC0);
+ unsigned index1 = target1.chain[i]&0x3F;
+ unsigned index2 = target2.chain[i]&0x3F;
+ if(type1==Assignment::Target::SWIZZLE || type2==Assignment::Target::SWIZZLE)
+ {
+ if(type1==Assignment::Target::SWIZZLE && type2==Assignment::Target::SWIZZLE)
+ overlap = index1&index2;
+ else if(type1==Assignment::Target::ARRAY && index1<4)
+ overlap = index2&(1<<index1);
+ else if(type2==Assignment::Target::ARRAY && index2<4)
+ overlap = index1&(1<<index2);
+ // Treat other combinations as overlapping (shouldn't happen)
+ }
+ else
+ overlap = (type1==type2 && (index1==index2 || index1==0x3F || index2==0x3F));
+ }
+
+ return overlap;
+}
+
} // namespace SL
} // namespace GL
} // namespace Msp
int get_layout_value(const Layout &, const std::string &, int = -1);
void add_to_chain(Assignment::Target &, Assignment::Target::ChainType, unsigned);
+bool targets_overlap(const Assignment::Target &, const Assignment::Target &);
} // namespace SL
} // namespace GL