[PATCH] Change the way labels are propagated when comparing memory through libc functions
Peter Collingbourne
peter at pcc.me.uk
Fri Nov 22 13:49:32 PST 2013
My opinion is that without a specific reason to pick a specific labeling scheme for a particular function with control dependencies, any scheme is as good as any other. (This is also fundamentally the approach taken by the instrumentation pass, which takes into account only data dependencies but is at the mercy of the LLVM optimisers as to whether a particular control dependency becomes a data dependency or vice versa.)
http://llvm-reviews.chandlerc.com/D2252
More information about the llvm-commits
mailing list