<div dir="ltr"><div>Matt,</div><div><br></div><div>  I would have suspecting the same but it's not matching that. </div><div><br></div><div>For example:</div><div><br></div><div>c = a * b; // this matches mem, mem, reg just fine</div><div><br></div><div>c = a * a; // this does not match</div><div><br></div><div>Maybe because of the chaining up from the TargetGlobalAddress? but the first example has that also for a and b, it's basically the exact same DAG for those two examples except in a * a there is only one chain leading to the ld (and one ld) and the mul's operand 1 and 2 go to the one load. </div><div><br></div><div>It would seem to me it's not matching since it expects two load nodes and there is only one.</div><div><br></div><div>Thanks.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 29, 2015 at 4:00 PM, Matt Arsenault <span dir="ltr"><<a href="mailto:Matthew.Arsenault@amd.com" target="_blank">Matthew.Arsenault@amd.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><span>
    <div>On 09/29/2015 12:25 PM, Ryan Taylor via
      llvm-dev wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">
        <div>It appears that it's impossible to duplicate a node in the
          dag. For example, there is some code:</div>
      </div>
    </blockquote></span>
    Correct, nodes are uniqued and CSEd<span><br>
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <div><br>
        </div>
        <div>b = a * a; // a is a  global int</div>
        <div><br>
        </div>
        <div>A LD node is generated for A and it goes into both Operand
          0 and 1 of the MUL node. The issue is I'm trying to match a
          pattern of:</div>
        <div><br>
        </div>
        <div>set dstReg:$dstD  (OpNode (srcAType (load addr32:$srcA)),
          (srcBType (load addr32:$srcB)))</div>
        <div><br>
        </div>
        <div>so basically a mem, mem, reg operation.</div>
        <div><br>
        </div>
        <div>The issue is this pattern won't match in the above example
          because there is only one LD generated for 'a'. I tried to
          duplicate the LD in the dag but it doesn't show up, it always
          reduces it to only one LD no matter what, even if I have
          multiple loads in the IR also.</div>
        <div><br>
        </div>
        <div>#1. Is it possible to duplicate an exact copy of a node in
          the dag?</div>
      </div>
    </blockquote></span>
    No<span><br>
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <div>#2. How would I go about matching this pattern in table
          gen?</div>
      </div>
    </blockquote></span>
    I would be surprised that patterns that happen to match the same
    node multiple times as operands wouldn't work as is. Maybe there is
    some complexity because these nodes have chains added? Have you
    looked at the generated matching code for why it isn't selecting? If
    all else fails you should be able to use a ComplexPattern<br>
  </div>

</blockquote></div><br></div>