<div dir="ltr">Hi,<div><br></div><div>Thanks for your reply. I did verify that all my calls are using the correct *InContext api calls.</div><div>I discovered that the types were in different context by testing with:</div><div><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)"> auto t1 = LLVMInt1TypeInContext(context);
auto t2 = LLVMInt1Type();<br></pre><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;white-space:normal">The substituted value type in GVN.cpp equals to t2 instead of t1. So It somehow is using a global context instead of my own during the GVN pass. So I think it's a bug. It could be C api related.</span></pre><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;white-space:normal">I willing to spend time on it and patch it if someone can point me to the part where this might happen. I'm quite new to LLVM and unfamiliar with the source tree.</span><br></pre><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)"><br></pre><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)">Regards</pre><pre class="" id="comment_text_2" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)"><br></pre></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 26, 2015 at 2:18 AM, John Criswell <span dir="ltr"><<a href="mailto:jtcriswel@gmail.com" target="_blank">jtcriswel@gmail.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 class="">
<div>On 8/25/15 10:28 AM, koffie drinker via
llvm-dev wrote:<br>
</div>
<blockquote type="cite">
<div dir="ltr">Hi,
<div><br>
</div>
<div>I'm experiencing a weird problem with llvm 3.7(rc2/rc3)
that did not occur in llvm 3.6.2</div>
<div>I created a bug for it: <a href="https://llvm.org/bugs/show_bug.cgi?id=24521" target="_blank">https://llvm.org/bugs/show_bug.cgi?id=24521</a></div>
<div><br>
</div>
<div>
<div>I'm building a app where multiple code gen can happen in
parallel. The documentation state that I need to use
separate context. Each thread has it's own context.</div>
<div><br>
</div>
<div>When code generating a constant number I use the
*InContext() calls to create the types. The assert fails
since the optimizer replaces some numbers with a global
type. The values are equal but the types are not. I did
patch some calls to compare on getTypeID() but got another
assert a couple of days later in another source file.</div>
</div>
</div>
</blockquote>
<br></span>
It sounds like the two values (or the types of the values) are in
different contexts. If you are creating the Types, make sure each
type is created in the correct context. If some LLVM API function
is creating the type for you, then it may be creating it in the
wrong context (i.e., you have found a bug) or the LLVM API function
has to assume a context (i.e., there is a limitation in the API for
your application).<br>
<br>
If you determine that it is a bug, you should file a bug report. If
it's a limitation, you should file an enhancement request.<br>
<br>
Sorry I can't be more helpful than that; I haven't used LLVM 3.7
yet, and I haven't used multiple contexts within a multi-threaded
application. These are educated guesses on my part.<br>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
<blockquote type="cite"><span class="">
<div dir="ltr">
<div><br>
</div>
<div>I needed 3.7 because of the LLVMAddGlobalMapping C api
fixes. </div>
<div>Could someone help me out ? Or point me in the right
direction? I'm using the C api.</div>
</div>
<br>
<fieldset></fieldset>
<br>
</span><pre>_______________________________________________
LLVM Developers mailing list
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><span class="HOEnZb"><font color="#888888">
</font></span></pre><span class="HOEnZb"><font color="#888888">
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
<br>
<pre cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a href="http://www.cs.rochester.edu/u/criswell" target="_blank">http://www.cs.rochester.edu/u/criswell</a></pre>
</font></span></div>
</blockquote></div><br></div>