finite-wasm icon indicating copy to clipboard operation
finite-wasm copied to clipboard

gas: Change the Aggregate instrumentation kind to represent cost as `a*x + b`

Open nagisa opened this issue 1 year ago • 0 comments

Aggregate instrumentation points can represent a fixed cost to start executing the instruction and then an incremental cost to continue execution based on the size or amplitude of the inputs. For that reason the usual single constant cost is not sufficient for this instrumentation kind.

Furthermore, implementing this would potentially allow merging Aggregate with some other instrumentation kinds, such as would be the case in:

loop
    aggregate
end

nagisa avatar May 09 '23 10:05 nagisa