OptionalassumedIterations assumed for a loop whose bound is neither a constant nor a parameter.
OptionalminimumNet work a region needs before dispatch, join and validation can pay for themselves; 0 admits every pure region. A loop bounded by a parameter is checked against the call's arguments.
Optionalparalleloff keeps the original module with no plan.
Plan options: whether to optimize, and when a region is worth dispatching.