Overview
- The noinline attribute instructs the compiler to generate a separate module for a function.
- The module is instantiated each time it's called.
- Use of the noinline attribute can simplify and speed up compilation.
- The attribute can only be applied to functions that are defined at the top level.
- The inputs and outputs of the function must be in Bits.
Example
(* noinline *) function Bit#(LogK) popCK(Bit#(K) x); return (popCountTable(x)); endfunction: popCK
|