Back
unchecked-add (clj)
(source)function
(unchecked-add x y)
Returns the sum of x and y, both long.
Note - uses a primitive operator subject to overflow.
Examples
typedclojure/typedclojure
(ns ^:no-doc typed.ann.clojure
"Type annotations for the base Clojure distribution."
#?(:cljs (:require-macros [typed.ann-macros.clojure :as macros]))
(:require [clojure.core :as cc]
[typed.clojure :as t]
#?(:clj [typed.ann-macros.clojure :as macros])
#?(:clj typed.ann.clojure.jvm) ;; jvm annotations
#?(:clj clojure.core.typed))
#?(:clj
(:import (clojure.lang PersistentHashSet PersistentList
APersistentMap #_IPersistentCollection
#_ITransientSet
IRef)
(java.util Comparator Collection))))
cc/unchecked-inc (t/IFn [t/AnyInteger :-> t/AnyInteger]
[t/Num :-> t/Num])
cc/unchecked-inc-int [t/Num :-> t/AnyInteger]
cc/unchecked-dec (t/IFn [t/AnyInteger :-> t/AnyInteger]
[t/Num :-> t/Num])
cc/unchecked-dec-int [t/Num :-> t/AnyInteger]
cc/unchecked-subtract (t/IFn [t/AnyInteger t/AnyInteger :-> t/AnyInteger]
[t/Num t/Num :-> t/Num])
cc/unchecked-subtract-int [t/Num t/Num :-> t/AnyInteger]
cc/unchecked-negate (t/IFn [t/AnyInteger :-> t/AnyInteger]
[t/Num :-> t/Num])
cc/unchecked-negate-int [t/Num :-> t/AnyInteger]
cc/unchecked-add (t/IFn [t/AnyInteger t/AnyInteger :-> t/AnyInteger]
[t/Num t/Num :-> t/Num])
cc/unchecked-add-int [t/Num t/Num :-> t/AnyInteger]
cc/unchecked-multiply (t/IFn [t/AnyInteger t/AnyInteger :-> t/AnyInteger]
[t/Num t/Num :-> t/Num])
cc/unchecked-multiply-int [t/Num t/Num :-> t/AnyInteger]
cc/unchecked-divide-int [t/Num t/Num :-> t/AnyInteger]
cc/unchecked-remainder-int [t/Num t/Num :-> t/AnyInteger]
cc/rem (t/IFn [t/AnyInteger t/AnyInteger :-> t/AnyInteger]
[t/Num t/Num :-> t/Num])
cc/inc (t/IFn #?(:clj [Long :-> Long])
#?(:clj [Double :-> Double])
[t/AnyInteger :-> t/AnyInteger]
[t/Num :-> t/Num])
cc/dec (t/IFn #?(:clj [Long :-> Long])
#?(:clj [Double :-> Double])
[t/AnyInteger :-> t/AnyInteger]
[t/Num :-> t/Num])
clojure/core.rrb-vector
(ns clojure.core.rrb-vector.transients
(:require [clojure.core.rrb-vector.parameters :as p]
[clojure.core.rrb-vector.nodes :refer [ranges last-range
overflow?]])
(:import (clojure.core.rrb_vector.nodes NodeManager)
(clojure.core ArrayManager)
(java.util.concurrent.atomic AtomicReference)))
;; Note 2: In the worst case, when the tree is nearly full,
;; calling overflow? here takes run time O(tree_depth^2) here.
;; That could be made O(tree_depth). One way would be to call
;; pushTail in hopes that it succeeds, but return some distinctive
;; value indicating a failure on the full condition, and create
;; the node via a .newPath call at most recent recursive pushTail
;; call that has an empty slot available.
(pushTail [this nm am shift cnt root-edit current-node tail-node]
(let [ret (.ensureEditable this nm am root-edit current-node shift)]
(if (.regular nm ret)
(do (loop [n ret shift shift]
(let [arr (.array nm n)
subidx (bit-and (bit-shift-right (dec cnt) shift) 0x1f)]
(if (== shift 5)
(aset ^objects arr subidx tail-node)
(let [child (aget ^objects arr subidx)]
(if (nil? child)
(aset ^objects arr subidx
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift 5)
tail-node))
(let [editable-child
(.ensureEditable this nm am
root-edit
child
(unchecked-subtract-int
shift 5))]
(aset ^objects arr subidx editable-child)
(recur editable-child (- shift (int 5)))))))))
ret)
(let [arr (.array nm ret)
rngs (ranges nm ret)
li (unchecked-dec-int (aget rngs 32))
cret (if (== shift 5)
nil
(let [child (.ensureEditable this nm am
root-edit
(aget ^objects arr li)
(unchecked-subtract-int
shift 5))
ccnt (unchecked-add-int
(int (if (pos? li)
(unchecked-subtract-int
(aget rngs li)
(aget rngs (unchecked-dec-int li)))
(aget rngs 0)))
;; add 32 elems to account for the
;; new full tail we plan to add to
;; the subtree.
(int 32))]
;; See Note 2
(if-not (overflow? nm child
(unchecked-subtract-int shift 5)
ccnt)
(.pushTail this nm am
(unchecked-subtract-int shift 5)
ccnt
root-edit
child
tail-node))))]
(if cret
(do (aset ^objects arr li cret)
(aset rngs li (unchecked-add-int (aget rngs li) 32))
ret)
(do (when (>= li 31)
;; See Note 1
(let [msg (str "Assigning index " (inc li) " of vector"
" object array to become a node, when that"
" index should only be used for storing"
" range arrays.")
data {:shift shift, :cnd cnt,
:current-node current-node,
:tail-node tail-node, :rngs rngs, :li li,
:cret cret}]
(throw (ex-info msg data))))
(aset ^objects arr (inc li)
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift 5)
tail-node))
(aset rngs (unchecked-inc-int li)
(unchecked-add-int (aget rngs li) 32))
(aset rngs 32 (unchecked-inc-int (aget rngs 32)))
ret))))))
(newPath [this nm am tail edit shift current-node]
(if (== (.alength am tail) 32)
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array 32)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(recur (unchecked-add s (int 5)) ret))))
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array 33)
rngs (int-array 33)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(aset ^objects arr 32 rngs)
(aset rngs 32 1)
(aset rngs 0 (.alength am tail))
(recur (unchecked-add s (int 5)) ret))))))))
clojure/core.rrb-vector
(ns clojure.core.rrb-vector.transients
(:require [clojure.core.rrb-vector.parameters :as p]
[clojure.core.rrb-vector.nodes :refer [ranges last-range
overflow?]])
(:import (clojure.core.rrb_vector.nodes NodeManager)
(clojure.core ArrayManager)
(java.util.concurrent.atomic AtomicReference)))
;; Note 2: In the worst case, when the tree is nearly full,
;; calling overflow? here takes run time O(tree_depth^2) here.
;; That could be made O(tree_depth). One way would be to call
;; pushTail in hopes that it succeeds, but return some distinctive
;; value indicating a failure on the full condition, and create
;; the node via a .newPath call at most recent recursive pushTail
;; call that has an empty slot available.
(pushTail [this nm am shift cnt root-edit current-node tail-node]
(let [ret (.ensureEditable this nm am root-edit current-node shift)]
(if (.regular nm ret)
(do (loop [n ret shift shift]
(let [arr (.array nm n)
subidx (bit-and (bit-shift-right (dec cnt) shift) p/branch-mask)]
(if (== shift p/shift-increment)
(aset ^objects arr subidx tail-node)
(let [child (aget ^objects arr subidx)]
(if (nil? child)
(aset ^objects arr subidx
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift p/shift-increment)
tail-node))
(let [editable-child
(.ensureEditable this nm am
root-edit
child
(unchecked-subtract-int
shift p/shift-increment))]
(aset ^objects arr subidx editable-child)
(recur editable-child (- shift (int p/shift-increment)))))))))
ret)
(let [arr (.array nm ret)
rngs (ranges nm ret)
li (unchecked-dec-int (aget rngs p/max-branches))
cret (if (== shift p/shift-increment)
nil
(let [child (.ensureEditable this nm am
root-edit
(aget ^objects arr li)
(unchecked-subtract-int
shift p/shift-increment))
ccnt (unchecked-add-int
(int (if (pos? li)
(unchecked-subtract-int
(aget rngs li)
(aget rngs (unchecked-dec-int li)))
(aget rngs 0)))
;; add p/max-branches elems to account for the
;; new full tail we plan to add to
;; the subtree.
(int p/max-branches))]
;; See Note 2
(if-not (overflow? nm child
(unchecked-subtract-int shift p/shift-increment)
ccnt)
(.pushTail this nm am
(unchecked-subtract-int shift p/shift-increment)
ccnt
root-edit
child
tail-node))))]
(if cret
(do (aset ^objects arr li cret)
(aset rngs li (unchecked-add-int (aget rngs li) p/max-branches))
ret)
(do (when (>= li p/max-branches-minus-1)
;; See Note 1
(let [msg (str "Assigning index " (inc li) " of vector"
" object array to become a node, when that"
" index should only be used for storing"
" range arrays.")
data {:shift shift, :cnd cnt,
:current-node current-node,
:tail-node tail-node, :rngs rngs, :li li,
:cret cret}]
(throw (ex-info msg data))))
(aset ^objects arr (inc li)
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift p/shift-increment)
tail-node))
(aset rngs (unchecked-inc-int li)
(unchecked-add-int (aget rngs li) p/max-branches))
(aset rngs p/max-branches (unchecked-inc-int (aget rngs p/max-branches)))
ret))))))
(newPath [this nm am tail edit shift current-node]
(if (== (.alength am tail) p/max-branches)
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array p/max-branches)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(recur (unchecked-add s (int p/shift-increment)) ret))))
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array p/non-regular-array-len)
rngs (int-array p/non-regular-array-len)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(aset ^objects arr p/max-branches rngs)
(aset rngs p/max-branches 1)
(aset rngs 0 (.alength am tail))
(recur (unchecked-add s (int p/shift-increment)) ret))))))))
datastax/fallout
(ns clojure.core.rrb-vector.transients
(:require [clojure.core.rrb-vector.nodes :refer [ranges last-range]])
(:import (clojure.core.rrb_vector.nodes NodeManager)
(clojure.core ArrayManager)
(java.util.concurrent.atomic AtomicReference)))
(pushTail [this nm am shift cnt root-edit current-node tail-node]
(let [ret (.ensureEditable this nm am root-edit current-node shift)]
(if (.regular nm ret)
(do (loop [n ret shift shift]
(let [arr (.array nm n)
subidx (bit-and (bit-shift-right (dec cnt) shift) 0x1f)]
(if (== shift 5)
(aset ^objects arr subidx tail-node)
(let [child (aget ^objects arr subidx)]
(if (nil? child)
(aset ^objects arr subidx
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift 5)
tail-node))
(let [editable-child
(.ensureEditable this nm am
root-edit
child
(unchecked-subtract-int
shift 5))]
(aset ^objects arr subidx editable-child)
(recur editable-child (- shift 5))))))))
ret)
(let [arr (.array nm ret)
rngs (ranges nm ret)
li (unchecked-dec-int (aget rngs 32))
cret (if (== shift 5)
nil
(let [child (.ensureEditable this nm am
root-edit
(aget ^objects arr li)
(unchecked-subtract-int
shift 5))
ccnt (if (pos? li)
(unchecked-subtract-int
(aget rngs li)
(aget rngs (unchecked-dec-int li)))
(aget rngs 0))]
(if-not (== ccnt (bit-shift-left 1 shift))
(.pushTail this nm am
(unchecked-subtract-int shift 5)
(unchecked-inc-int ccnt)
root-edit
child
tail-node))))]
(if cret
(do (aset ^objects arr li cret)
(aset rngs li (unchecked-add-int (aget rngs li) 32))
ret)
(do (aset ^objects arr (inc li)
(.newPath this nm am
(.array nm tail-node)
root-edit
(unchecked-subtract-int shift 5)
tail-node))
(aset rngs (unchecked-inc-int li)
(unchecked-add-int (aget rngs li) 32))
(aset rngs 32 (unchecked-inc-int (aget rngs 32)))
ret))))))
(newPath [this nm am tail edit shift current-node]
(if (== (.alength am tail) 32)
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array 32)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(recur (unchecked-add s 5) ret))))
(loop [s 0 n current-node]
(if (== s shift)
n
(let [arr (object-array 33)
rngs (int-array 33)
ret (.node nm edit arr)]
(aset ^objects arr 0 n)
(aset ^objects arr 32 rngs)
(aset rngs 32 1)
(aset rngs 0 (.alength am tail))
(recur (unchecked-add s 5) ret))))))))