<div dir="ltr">Hi,<div><br></div><div>I'm probably missing something obvious, but it sounds like you want to do this:</div><div><br></div><div>%1 = load i8*, i8** %p, !align !0 ; %1 is pointer-to-value</div><div>%2 = load i8, i8* %1 ; value is %2</div><div><br></div><div>Why can't you instead mark all loads of %1 as aligned?:</div><div><br></div><div><div style="font-size:13.2px;line-height:19.8px">%1 = load i8*, i8** %p, !align !0 ; %1 is pointer-to-value</div></div><div>%2 = load i8, i8* %1, align 4</div><div><br></div><div>Again, I'm probably missing something obvious.</div><div><br></div><div>Cheers,</div><div><br></div><div>James</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, 14 Sep 2015 at 19:03 Artur Pilipenko via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">apilipenko created this revision.<br>
apilipenko added reviewers: hfinkel, reames, sanjoy.<br>
apilipenko added a subscriber: llvm-commits.<br>
<br>
Since D9791 we take alignment into account to decide if it's safe to speculate load. Now pointer has to be both dereferenceable and properly aligned to be speculative loadable. It means that we want to support align attribute everywhere we support dereferenceable attribute.<br>
<br>
Introduce new !value.align metadata for load instruction. This metadata specifies alignment of the loaded pointer value.<br>
<br>
<a href="http://reviews.llvm.org/D12853" rel="noreferrer" target="_blank">http://reviews.llvm.org/D12853</a><br>
<br>
Files:<br>
docs/LangRef.rst<br>
include/llvm/IR/LLVMContext.h<br>
lib/Analysis/ValueTracking.cpp<br>
lib/IR/LLVMContext.cpp<br>
test/Analysis/ValueTracking/memory-dereferenceable.ll<br>
<br>
Index: test/Analysis/ValueTracking/memory-dereferenceable.ll<br>
===================================================================<br>
--- test/Analysis/ValueTracking/memory-dereferenceable.ll<br>
+++ test/Analysis/ValueTracking/memory-dereferenceable.ll<br>
@@ -111,6 +111,14 @@<br>
%load21 = load i8, i8 addrspace(1)* %gep.align1.offset16, align 16<br>
%load22 = load i8, i8 addrspace(1)* %gep.align16.offset16, align 16<br>
<br>
+ ; Load from a dereferenceable and aligned load<br>
+; CHECK: %d4_unaligned_load{{.*}}(unaligned)<br>
+; CHECK: %d4_aligned_load{{.*}}(aligned)<br>
+ %d4_unaligned_load = load i32*, i32** @globali32ptr, !dereferenceable !0<br>
+ %d4_aligned_load = load i32*, i32** @globali32ptr, !dereferenceable !0, !value.align !{i64 16}<br>
+ %load23 = load i32, i32* %d4_unaligned_load, align 16<br>
+ %load24 = load i32, i32* %d4_aligned_load, align 16<br>
+<br>
ret void<br>
}<br>
<br>
Index: lib/IR/LLVMContext.cpp<br>
===================================================================<br>
--- lib/IR/LLVMContext.cpp<br>
+++ lib/IR/LLVMContext.cpp<br>
@@ -116,6 +116,12 @@<br>
assert(UnpredictableID == MD_unpredictable &&<br>
"unpredictable kind id drifted");<br>
(void)UnpredictableID;<br>
+<br>
+ // Create the 'value.align' metadata kind.<br>
+ unsigned ValueAlignID = getMDKindID("value.align");<br>
+ assert(ValueAlignID == MD_value_align &&<br>
+ "value.align kind id drifted");<br>
+ (void)ValueAlignID;<br>
}<br>
LLVMContext::~LLVMContext() { delete pImpl; }<br>
<br>
Index: lib/Analysis/ValueTracking.cpp<br>
===================================================================<br>
--- lib/Analysis/ValueTracking.cpp<br>
+++ lib/Analysis/ValueTracking.cpp<br>
@@ -2952,6 +2952,11 @@<br>
BaseAlign = GV->getAlignment();<br>
else if (const Argument *A = dyn_cast<Argument>(Base))<br>
BaseAlign = A->getParamAlignment();<br>
+ else if (const LoadInst *LI = dyn_cast<LoadInst>(Base))<br>
+ if (MDNode *MD = LI->getMetadata(LLVMContext::MD_value_align)) {<br>
+ ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(0));<br>
+ BaseAlign = CI->getLimitedValue();<br>
+ }<br>
<br>
if (!BaseAlign) {<br>
Type *Ty = Base->getType()->getPointerElementType();<br>
Index: include/llvm/IR/LLVMContext.h<br>
===================================================================<br>
--- include/llvm/IR/LLVMContext.h<br>
+++ include/llvm/IR/LLVMContext.h<br>
@@ -62,7 +62,8 @@<br>
MD_dereferenceable = 12, // "dereferenceable"<br>
MD_dereferenceable_or_null = 13, // "dereferenceable_or_null"<br>
MD_make_implicit = 14, // "make.implicit"<br>
- MD_unpredictable = 15 // "unpredictable"<br>
+ MD_unpredictable = 15, // "unpredictable"<br>
+ MD_value_align = 16 // "value.align"<br>
};<br>
<br>
/// getMDKindID - Return a unique non-zero ID for the specified metadata kind.<br>
Index: docs/LangRef.rst<br>
===================================================================<br>
--- docs/LangRef.rst<br>
+++ docs/LangRef.rst<br>
@@ -6768,9 +6768,10 @@<br>
<br>
::<br>
<br>
- <result> = load [volatile] <ty>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>][, !invariant.load !<index>][, !nonnull !<index>][, !dereferenceable !<index>][, !dereferenceable_or_null !<index>]<br>
+ <result> = load [volatile] <ty>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>][, !invariant.load !<index>][, !nonnull !<index>][, !dereferenceable !<index>][, !dereferenceable_or_null !<index>][, !value.align !<value_align_node>]<br>
<result> = load atomic [volatile] <ty>* <pointer> [singlethread] <ordering>, align <alignment><br>
!<index> = !{ i32 1 }<br>
+ !<value_align_node> = !{ i64 <alignment> }<br>
<br>
Overview:<br>
"""""""""<br>
@@ -6852,6 +6853,14 @@<br>
attribute on parameters and return values. This metadata can only be applied<br>
to loads of a pointer type.<br>
<br>
+The optional ``!value.align`` metadata must reference a single<br>
+metadata name ``<value_align_node>`` corresponding to a metadata node with one<br>
+``i64`` entry. The existence of the ``!value.align`` metadata on the instruction<br>
+tells the optimizer that the value loaded is known to be aligned to a boundary<br>
+specified by the integer value in the metadata node. This is analogous to the<br>
+''align'' attribute on parameters and return values. This metadata can only be<br>
+applied to loads of a pointer type.<br>
+<br>
Semantics:<br>
""""""""""<br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>