[PATCH] Take alignment into account for speculative loads

[Artur Pilipenko]

Hi hfinkel, reames, sanjoy,

Take alignment into account in isSafeToSpeculativelyExecute and isSafeToLoadUnconditionally. 

I assume that pointers without explicit alignment have ABI alignment. I'm not sure that it's correct but for now it reduces the impact of the change. Otherwise we can't speculate on pointers without explicit alignment because loads without explicit alignment require ABI aligned pointers.

As a next step I'm going to common isDereferenceableAndAlignedPointer and isSafeToLoadUnconditionally code.

http://reviews.llvm.org/D9791

Files:
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/Loads.cpp
  lib/Analysis/ValueTracking.cpp

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9791.25858.patch
Type: text/x-patch
Size: 12639 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150515/c3c9dd19/attachment.bin>