<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>I'd have expected the command you ran to work.  I'm guessing
      there's some bug that's crept in.</p>
    <p>If you want to spend some time tracking it down, I'd be happy to
      review a patch.</p>
    <p>Philip<br>
    </p>
    <div class="moz-cite-prefix">On 3/7/19 3:15 AM, Juneyoung Lee via
      llvm-dev wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAGwnbJSGB9PDW=fN2b82qELMNypcT-9V=jzBboACgJw06Vyb8Q@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">
        <div dir="ltr">
          <div dir="ltr">
            <div dir="ltr">Hello all,
              <div><br>
              </div>
              <div>How can I see the result of lazy value info analysis?</div>
              <div><br>
              </div>
              <div>I ran a command `opt -lazy-value-info
                -correlated-propagation -print-lazy-value-info
                example.ll -disable-output` with a following program as
                the input:</div>
              <div><br>
              </div>
              <div>```</div>
              <div>
                <div>define i32 @f(i32 %a, i32 %b) {</div>
                <div>  %i = icmp eq i32 %a, 10</div>
                <div>  br i1 %i, label %A, label %B</div>
                <div>A:</div>
                <div>  %c = add i32 %a, 20</div>
                <div>  ret i32 %c</div>
                <div>B:</div>
                <div>  ret i32 0</div>
                <div>}</div>
                <div>```</div>
                <div><br>
                </div>
              </div>
              <div>However, it shows a following line only:</div>
              <div><br>
              </div>
              <div>```</div>
              <div>LVI for function 'f':<br>
              </div>
              <div>```</div>
              <div><br>
              </div>
              <div>Thank you :)</div>
              <div>Juneyoung Lee</div>
              <div><br>
              </div>
            </div>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
    </blockquote>
  </body>
</html>