<div dir="ltr"><div><div><div>I am wondering if there is a good/easy way to recover the original type of a pointer parameter in the SDAG. Here's the problem that I am dealing with:<br><br><span style="font-family:monospace,monospace">define <4 x i32> @test(i32* nocapture readonly %a) local_unnamed_addr #0 {<br>entry:<br>  %0 = bitcast i32* %a to <4 x i32>*<br>  %1 = load <4 x i32>, <4 x i32>* %0, align 16, !tbaa !2<br>  ret <4 x i32> %1<br>}</span><br><br></div>The problem is that the alignment requirements on my target for a load of an i32* are different from those on a <4 x i32>*. I don't see a way to specify that with the DataLayout and when the SelectionDAG is built, the bitcast goes away because both the source and destination types are the same (i64 according to the DataLayout).<br><br></div><div>So I end up with this as the initial SDAG:<br><span style="font-family:monospace,monospace">Initial selection DAG: BB#0 'test:entry'<br>SelectionDAG has 9 nodes:<br>  t0: ch = EntryToken<br>  t3: i64 = Constant<0><br>      t2: i64,ch = CopyFromReg t0, Register:i64 %vreg0<br>    t5: v4i32,ch = load<LD16[%0](tbaa=<0x10038f18a98>)> t0, t2, undef:i64<br>  t7: ch,glue = CopyToReg t0, Register:v4i32 %V2, t5<br>  t8: ch = PPCISD::RET_FLAG t7, Register:v4i32 %V2, t7:1 </span><br></div><div><br></div>What I would like to do is emit efficient code for cases where the parameter pointer has the same alignment requirements as the load and emit the conservative but less efficient code in other cases.<br><br></div>Nemanja<br></div>