mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-08 08:31:26 +00:00
e0cea468fa
Previous version of the boxing/unboxing analysis treated merging boxed and non-boxed values as a hazard.
If such merged values are not used (e.g., early return + local variables reused in inlined calls),
corresponding boxing/unboxing operations still can be optimized out.
All information related to boxed value usage by instructions is moved to 'BoxedValueDescriptor'.
Introduce "tainted" (and "clean") boxed values, with the following rules:
merge(B, B) = B, if unboxed types are compatible,
T, otherwise
merge(B, X) = T
merge(T, X) = T
where
X is a non-boxed value,
B is a "clean" boxed value,
T is a "tainted" boxed value.
Postpone decision about value merge hazards until a "tainted" value is used.
44 lines
832 B
Kotlin
Vendored
44 lines
832 B
Kotlin
Vendored
// FILE: test.kt
|
|
|
|
// @TestKt.class:
|
|
// 0 valueOf
|
|
// 0 Value\s\(\)
|
|
|
|
const val SIZE = 16
|
|
val arr = IntArray(SIZE) { -1 }
|
|
|
|
fun putNonNegInt(x: Int) =
|
|
put(x, SIZE,
|
|
isEmpty = { arr[it] < 0 },
|
|
equals = { x, y -> x == y },
|
|
fetch = { arr[it] },
|
|
store = { i, x -> arr[i] = x }
|
|
)
|
|
|
|
// FILE: inline.kt
|
|
inline fun <T> put(
|
|
x: T,
|
|
maxExclusive: Int,
|
|
isEmpty: (Int) -> Boolean,
|
|
equals: (T, T) -> Boolean,
|
|
fetch: (Int) -> T,
|
|
store: (Int, T) -> Unit
|
|
): Boolean {
|
|
var i = 0
|
|
do {
|
|
if (isEmpty(i)) {
|
|
store(i, x)
|
|
return true
|
|
}
|
|
|
|
val y = fetch(i)
|
|
if (equals(x, y)) {
|
|
return false
|
|
}
|
|
|
|
i++
|
|
if (i >= maxExclusive) return false
|
|
} while (true)
|
|
}
|
|
|