AMD64 structs in registers problem

[GoogleCodeExporter]

compare output of running daikon/tests/kvasir/tests/TypedefTest on x86 vs. 
amd64.  The later passes small structs in registers.  Current implementation of 
kvasir only assigns a single value tag field to an entire register.  Hence, 
when the struct is loaded into the register to pass as argument we mark all 
struct fields that happen to map to the same register as having an interaction 
when in fact they do not.  Test case needs to be modifed back to have first 
struct element (a) being an int instead of a long.  decls output will then show 
a and b in same compare set on amd64 but in separate sets on x86 (correctly).

This is a serious problem, but is part of the current design.  Fix will be a 
major work item.

Original issue reported on code.google.com by mar...@cs.washington.edu on 5 Aug 2013 at 10:22

[GoogleCodeExporter]

Original comment by mar...@cs.washington.edu on 5 Aug 2013 at 10:25

• Added labels: CPU-AMD-64

[GoogleCodeExporter]

Original comment by mar...@cs.washington.edu on 5 Aug 2013 at 10:33

• Added labels: CPU-AMD64
• Removed labels: CPU-AMD-64