http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/CLJ-47 Clojure <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">Reported by Levente.Santha, Jan 11, 2009 The bug was described in detail in <span class="code-keyword">this</span> thread: http:<span class="code-comment">//groups.google.com/ </span>group/clojure/browse_thread/thread/81ba15d7e9130441 For clojure.core$last__2954.invoke the correct bytecode would be (notice the removed <span class="code-quote">"<span class="code-keyword">goto</span> 65"</span> after <span class="code-quote">"41: <span class="code-keyword">goto</span> 0"</span>): <span class="code-keyword">public</span> java.lang.<span class="code-object">Object</span> invoke(java.lang.<span class="code-object">Object</span>) <span class="code-keyword">throws</span> java.lang.Exception; Code: 0: getstatic #22; <span class="code-comment">//Field const__0:Lclojure/lang/Var; </span> 3: invokevirtual #37; <span class="code-comment">//Method clojure/lang/Var.get:()Ljava/lang/ </span><span class="code-object">Object</span>; 6: checkcast #39; <span class="code-comment">//class clojure/lang/IFn </span> 9: aload_1 10: invokeinterface #41, 2; <span class="code-comment">//InterfaceMethod clojure/lang/IFn.invoke: </span>(Ljava/lang/<span class="code-object">Object</span>;)Ljava/lang/<span class="code-object">Object</span>; 15: dup 16: ifnull 44 19: getstatic #47; <span class="code-comment">//Field java/lang/<span class="code-object">Boolean</span>.FALSE:Ljava/lang/ </span><span class="code-object">Boolean</span>; 22: if_acmpeq 45 25: getstatic #22; <span class="code-comment">//Field const__0:Lclojure/lang/Var; </span> 28: invokevirtual #37; <span class="code-comment">//Method clojure/lang/Var.get:()Ljava/lang/ </span><span class="code-object">Object</span>; 31: checkcast #39; <span class="code-comment">//class clojure/lang/IFn </span> 34: aload_1 35: invokeinterface #41, 2; <span class="code-comment">//InterfaceMethod clojure/lang/IFn.invoke: </span>(Ljava/lang/<span class="code-object">Object</span>;)Ljava/lang/<span class="code-object">Object</span>; 40: astore_1 41: <span class="code-keyword">goto</span> 0 44: pop 45: getstatic #26; <span class="code-comment">//Field const__1:Lclojure/lang/Var; </span> 48: invokevirtual #37; <span class="code-comment">//Method clojure/lang/Var.get:()Ljava/lang/ </span><span class="code-object">Object</span>; 51: checkcast #39; <span class="code-comment">//class clojure/lang/IFn </span> 54: aload_1 55: aconst_null 56: astore_1 57: invokeinterface #41, 2; <span class="code-comment">//InterfaceMethod clojure/lang/IFn.invoke: </span>(Ljava/lang/<span class="code-object">Object</span>;)Ljava/lang/<span class="code-object">Object</span>; 62: areturn Our JIT reported incorrect stack size along the basic block introduced by the unneeded <span class="code-keyword">goto</span>. The bug was present in SVN rev 1205.</pre> </div></div> CLJ-47

GC Issue 43: Dead code in generated bytecode

Defect Open Unresolved Unassigned None Wed, 17 Jun 2009 15:18:00 -0500 Fri, 8 Oct 2010 10:21:00 -0500 Approved Backlog 0 0 <p>Converted from <a href="http://www.assembla.com/spaces/clojure/tickets/47">http://www.assembla.com/spaces/clojure/tickets/47</a></p> <p>richhickey said: Updating tickets (#8, #19, #30, #31, #126, #17, #42, #47, #50, #61, #64, #69, #71, #77, #79, #84, #87, #89, #96, #99, #103, #107, #112, #113, #114, #115, #118, #119, #121, #122, #124)</p> <p>aredington said: This appears to still be a problem with the generated bytecode in 1.3.0. Examining the bytecode for last, the problem has moved to invokeStatic:</p> <p>&lt;pre&gt;<br/> public static java.lang.Object invokeStatic(java.lang.Object) throws java.lang.Exception;<br/> Code:<br/> 0: aload_0<br/> 1: invokestatic #50; //Method clojure/core$next.invokeStatic:(Ljava/lang/Object;)Ljava/lang/Object;<br/> 4: dup<br/> 5: ifnull 25<br/> 8: getstatic #56; //Field java/lang/Boolean.FALSE:Ljava/lang/Boolean;<br/> 11: if_acmpeq 26<br/> 14: aload_0<br/> 15: invokestatic #50; //Method clojure/core$next.invokeStatic:(Ljava/lang/Object;)Ljava/lang/Object;<br/> 18: astore_0<br/> 19: goto 0<br/> 22: goto 30<br/> 25: pop<br/> 26: aload_0<br/> 27: invokestatic #59; //Method clojure/core$first.invokeStatic:(Ljava/lang/Object;)Ljava/lang/Object;<br/> 30: areturn<br/> &lt;/pre&gt;</p> <p>Line number 22 is an unreachable goto given the prior goto on line 19.</p> Approval Vetted Global Rank