Linus Torvalds writes: (Summary)
No, they do not.
No, they do not.
Do you believe in fairies and Santa Claus?
Do you believe in fairies and Santa Claus?
Because quite frankly, the likelihood of either of those being true is _way_ higher than the likelihood of any normal human ever getting those things right.
those things right.
So asking a programmer to annotate whether two memory accesses have a data dependency or a control dependency is completely inappropriate. You won't get people understanding it to begin with, much less then figure out subtle things like whether a control dependency is an actual branch, or might be turned into a data dependency through select, or whatever.
select, or whatever.
We've had really smart people who wrote core code that couldn't get it right, and that weren't sure if a control dependency was really guaranteed or not.
guaranteed or not.
That is *exactly* the kinds of thing that _automation_ should handle.
No, they do not.
Do you believe in fairies and Santa Claus?
Do you believe in fairies and Santa Claus?
Because quite frankly, the likelihood of either of those being true is _way_ higher than the likelihood of any normal human ever getting those things right.
those things right.
So asking a programmer to annotate whether two memory accesses have a data dependency or a control dependency is completely inappropriate. You won't get people understanding it to begin with, much less then figure out subtle things like whether a control dependency is an actual branch, or might be turned into a data dependency through select, or whatever.
select, or whatever.
We've had really smart people who wrote core code that couldn't get it right, and that weren't sure if a control dependency was really guaranteed or not.
guaranteed or not.
That is *exactly* the kinds of thing that _automation_ should handle.