In alloca, is it required that NumElements be a literal integer, or can
it be a computed result?
The real question is whether the current IR can support a one-stack
implementation of Ada's dynamically sized stack frames.
shap
The LLVM alloca instruction works with non-constant integers. It's
used for stuff like calls to the alloca function and VLAs in llvm-gcc.
-Eli
In alloca, is it required that NumElements be a literal integer, or can
it be a computed result?
It can be a computed result.
The real question is whether the current IR can support a one-stack
implementation of Ada's dynamically sized stack frames.
The Ada front-end in llvm-gcc does make use of this but it also uses
a secondary stack in order to return function results for which the
size is not known at call time, eg for a function returning String.
Ciao,
Duncan.