Nicholas Curtis <nicholas.curtis(a)uconn.edu> writes:
- Does this seem like a workable patch to force
temporaries to scalar /
It seems simply incorrect to me that that 'test' would become a
vector. Can you point to the logic that makes that happen?
- Should I code up the mentioned heuristic (i.e,, only
temporaries if they directly depend on the vector-iname)?
That seems sensible. If the current behavior is not outright nonsense
(and if we deem it reasonable that some code 'out there' might be
depending on this behavior), we might need a language version bump.
- Should we throw an exception for a vector-dependent
if statement that
contains instructions that are not simple assignments?
Yeah--this should throw Unvectorizable.
What about multiple instructions?
Same, I'm thinking.
Thanks for thinking about/working on these things!