3 + 9 + (k + m + mk) loads, m + mk + m, 2m, 1 + m + 3, mk + mk, 1 + mk + mk, exit
286def linearStepSM86InstructionCountFor =
287 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
288 (naturalAdd 18 (naturalAdd k (naturalAdd (naturalMultiply 6 m) (naturalMultiply 6 (naturalMultiply m k)))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.