<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div class="h5"><blockquote type="cite"><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div>I think you created a cycle, this is easy to do with SelectionDAG :)<br></div><div><div>Basically SelecitonDAG will iterate until it does not see anything to change. So if you insert a transformation on a pattern A, that generates pattern B, while you have another transformation that matches B and generates somehow A, you run into an infinite loop.</div><div><br></div><div><br></div></div><br><blockquote type="cite"><div><div dir="ltr" style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>I'm doing a lot of guess work in trying to understand what is going on. I would really appreciate any help on this.</div></div></div></div></div></blockquote><div><br></div></div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">Here is how I started with SelectionDAG: </div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><br></div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">- small IR (bugpoint can help)</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">- the magic flag: -debug </div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">- read the output of SelectionDAG debugging (especially with cycles)</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">- matching the log to source code</div><div style="font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">- single stepping in a debugger sometimes.</div></blockquote><div><br></div></div></div><div>Also: try to run your experiments with llc so you can easily tweak the input IR to SelectionDAG.</div><span class=""><font color="#888888"><div><br></div><div>-- </div><div>Mehdi</div><div><br></div></font></span></div></blockquote></div><br><br clear="all"><div>I ran a very simple test using llc and the following .ll file</div><div><div>target datalayout = "E-m:e-p:32:32-i64:32-f64:32-v64:32-v128:32-a:0:32-n32"</div><div>target triple = "esencia"</div><div><br></div><div>; Function Attrs: nounwind uwtable</div><div>define i32 @main() {</div><div>entry:</div><div>   %z = alloca <4 x i32></div><div>   %a = alloca <4 x i32></div><div>   %b = alloca <4 x i32></div><div>   %a.l = load <4 x i32>* %a</div><div>   %b.l = load <4 x i32>* %b</div><div>   %z.l = add <4 x i32> %a.l, %b.l</div><div>   store <4 x i32> %z.l, <4 x i32>* %z</div><div>   ret i32 0<br></div><div>}</div></div><div><br></div><div>The test ran successfully (by successfully I mean genration of correct assembly for my target) without any modifications to the code, i.e. I didn't have to add any</div><div><div>  setOperationAction(ISD::BUILD_VECTOR,      MVT::v4i32, Expand);</div><div>  setOperationAction(ISD::EXTRACT_VECTOR_ELT,      MVT::v4i32, Expand);</div><div>  setOperationAction(ISD::VECTOR_SHUFFLE,      MVT::v4i32, Expand);</div></div><div><br></div><div>In other words I left the code as is. </div><div><br></div><div>However if I use a .c code and run it through clang, I don't see any vector instructions. I'm puzzled. What am I doing wrong? There seems to be a step missing, the one that will generate vectorized IR, but I can't seem to find how to do it.</div><div><br></div><div>Any help on this is really appreciated.</div><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Rail Shafigulin<br></div>Software Engineer <br>Esencia Technologies<br></div></div></div></div>
</div></div>