[PATCH] Correctly combine alias.scope metadata by a union instead of intersecting

Björn Steinbrink bsteinbr at gmail.com
Sun Feb 8 07:36:35 PST 2015


Hi hfinkel,

The alias.scope metadata represents sets of things an instruction might
alias with. When generically combining the metadata from two
instructions the result must be the union of the original sets, because
the new instruction might alias with anything any of the original
instructions aliased with.

http://reviews.llvm.org/D7490

Files:
  include/llvm/IR/Metadata.h
  lib/Analysis/TypeBasedAliasAnalysis.cpp
  lib/IR/Metadata.cpp
  lib/Transforms/Utils/Local.cpp
  lib/Transforms/Vectorize/SLPVectorizer.cpp
  test/Transforms/Util/combine-alias-scope-metadata.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D7490.19547.patch
Type: text/x-patch
Size: 4168 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150208/f0b6cad9/attachment.bin>


More information about the llvm-commits mailing list