projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9aadfa) | patch
[dfsan] Introduce further optimization to reduce the number of union queries.
authorPeter Collingbourne <peter@pcc.me.uk>
Tue, 15 Jul 2014 22:13:19 +0000 (22:13 +0000)
committerPeter Collingbourne <peter@pcc.me.uk>
Tue, 15 Jul 2014 22:13:19 +0000 (22:13 +0000)
commit9947c49812d83dc6471439f4545b8d82c40e97bd
treecbd7a4a40decf8df6f9f4681c46f09ad69075245tree | snapshot
parentb9aadfa67342daddf81650c3820c2eeadc832084commit | diff
[dfsan] Introduce further optimization to reduce the number of union queries.

Specifically, do not compute a union if it is statically known that one
shadow set subsumes the other.

llvm-svn: 213100
llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp diff | blob | history
llvm/test/Instrumentation/DataFlowSanitizer/union.ll diff | blob | history
Domain: System / Toolchain;