Skip to main content

BRINGUP_PRELOAD

Constant BRINGUP_PRELOAD 

Source
pub const BRINGUP_PRELOAD: &str = "## To native loaded () -> Seq of Int\n## To sumw (n: Int) -> Int:\n    Let s be 0.\n    Let i be 0.\n    While i is less than n:\n        Set s to s + item (i + 1) of loaded().\n        Set i to i + 1.\n    Return s.\n";
Expand description

A weighted sum over a streamed preload of 40 weights: 41 heap words, more than a heap cache of eight two-word lines holds, so the weights come back from the part.