projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 427c5cb) | 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)
commit110748bbb4a290e10e3d8246edd717bcfe3ca380
tree99c9bcaec7884741358e85e45b038a0fb4e71660tree | snapshot
parent427c5cb4f9887097578704423d740bbcf366f539commit | 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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@213100 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Instrumentation/DataFlowSanitizer.cpp diff | blob | history
test/Instrumentation/DataFlowSanitizer/union.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors