2024 年 Clojure 调研!分享您的想法。

欢迎!请参阅关于页面以获取更多关于如何操作的详细信息。

0
Clojure

{{clojure.core/not=}} 的文档字符串表示 "等价于 (not (= obj1 obj2))"。但由于 {{clojure.core/=}} 有内联算术,生成的代码可能会有所不同

`
user=> (defn v1 [] (not= (bit-and 0 0) 0))

'user/v1

user=> (println (disassemble v1))
...
public static java.lang.Object invokeStatic();

 0  getstatic indy_type_hint.core$v1.const__0 : clojure.lang.Var [15]
 3  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [20]
 6  checkcast clojure.lang.IFn [22]
 9  lconst_0
10  lconst_0
11  invokestatic clojure.lang.Numbers.and(long, long) : long [28]       <<<<<<< doesn't use land intrinsic
14  invokestatic clojure.lang.Numbers.num(long) : java.lang.Number [32]
17  getstatic indy_type_hint.core$v1.const__2 : java.lang.Object [36]
20  invokeinterface clojure.lang.IFn.invoke(java.lang.Object, java.lang.Object) : java.lang.Object [40] [nargs: 3]
25  areturn

...

user=> (defn v2 [] (not (= (bit-and 0 0) 0)))

'user/v1

user=> (println (disassemble v2))
...
public static java.lang.Object invokeStatic();

 0  getstatic indy_type_hint.core$v2.const__0 : clojure.lang.Var [15]
 3  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [20]
 6  checkcast clojure.lang.IFn [22]
 9  lconst_0
10  lconst_0
11  land               <<<<<<< uses land intrinsic
12  lconst_0
13  invokestatic clojure.lang.Util.equiv(long, long) : boolean [28]
16  ifeq 25
19  getstatic java.lang.Boolean.TRUE : java.lang.Boolean [34]
22  goto 28
25  getstatic java.lang.Boolean.FALSE : java.lang.Boolean [37]
28  invokeinterface clojure.lang.IFn.invoke(java.lang.Object) : java.lang.Object [41] [nargs: 2]
33  areturn

...
`

补丁将 {{clojure.core/=}} 的相同内联算术添加到 {{clojure.core/not=}}。在应用补丁后,编译器会为 {{v1}} 和 {{v2}} 都生成 {{v2}} 字节码。

2 个答案

0

由:schmee 发表的评论

这是我第一次提交补丁,请告知如果我有做错的地方。另外,我尚未签署 CLA,但几周内就能这样做。

0
参考:https://clojure.atlassian.net/browse/CLJ-2340(由 schmee 报告)
...