summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
diff options
context:
space:
mode:
authorChandler Carruth <chandlerc@gmail.com>2014-07-08 07:19:55 +0000
committerChandler Carruth <chandlerc@gmail.com>2014-07-08 07:19:55 +0000
commitb844e72e8548a4afc8b69664fef31d2672bae28c (patch)
treec443c4dd0b2912ed6e77b84fdf0fb827999548e9 /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
parent3f0a360f1823927d4f2a85f4d9f10b56c9dcda0d (diff)
downloadbcm5719-llvm-b844e72e8548a4afc8b69664fef31d2672bae28c.tar.gz
bcm5719-llvm-b844e72e8548a4afc8b69664fef31d2672bae28c.zip
[SDAG] Build up a more rich set of APIs for querying build-vector SDAG
nodes about whether they are splats. This is factored out and improved from r212324 which got reverted as it was far too aggressive. The new API should help more conservatively handle buildvectors that are a mixture of splatted and undef values. No functionality change at this point. The hope is to slowly re-introduce the undef-tolerant optimization of splats, but each time being forced to make a concious decision about how to handle the undefs in a way that doesn't lead to contradicting assumptions about the collapsed value. Hal has pointed out in discussions that this may not end up being the desired API and instead it may be more convenient to get a mask of the undef elements or something similar. I'm starting simple and will expand the API as I adapt actual callers and see exactly what they need. llvm-svn: 212514
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions
OpenPOWER on IntegriCloud