idris-llvm icon indicating copy to clipboard operation
idris-llvm copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Unbox small Integers

Open Ralith opened this issue 11 years ago • 0 comments

Integer performance is presently quite slow because all values of Integer type are full heap-allocated boxed GMP integers. The standard optimization to use tagged pointers to unbox small integers should be applied. Due to the Nat -> Integer optimization Idris performs, this should improve general performance substantially.

Ralith avatar Aug 26 '14 15:08 Ralith