[PATCH] CFLAA -- ConstantExpr Awareness

George Burgess IV george.burgess.iv at gmail.com
Thu Mar 5 23:04:27 PST 2015


Hi dberlin, hfinkel,

// Hal already LGTM'ed an earlier version of this patch -- there are a few minor revisions that have been made to it.

Makes CFLAA aware of ConstantExpr Value*s, and how to traverse into them to get to properly handle their non-ConstantExpr parts.

Accuracy drop in tests is part of a minor bug fix where we wouldn't properly tag arguments with StratifiedAttrs if said arguments were never otherwise put in the Stratified Sets.

http://reviews.llvm.org/D8099

Files:
  lib/Analysis/CFLAliasAnalysis.cpp
  test/Analysis/CFLAliasAnalysis/asm-global-bugfix.ll
  test/Analysis/CFLAliasAnalysis/const-expr-gep.ll
  test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8099.21333.patch
Type: text/x-patch
Size: 12534 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150306/813c419e/attachment.bin>


More information about the llvm-commits mailing list