AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.StallCompaction

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/StallCompaction.alpha

269 lines32 declarations15.0 KiBSHA-256 46e30c2c60d2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 212–218

scWithStall

Full file
the instruction with another stall
212def scWithStall =
213  (lambda unrestricted instruction : (family SM86Instruction) .
214    (lambda unrestricted stall : Nat .
215      (eliminate SM86Instruction (lambda unrestricted current : (family SM86Instruction) . (family SM86Instruction)) instruction
216        (branch SM86InstructionValue guard body .
217          (constructor SM86Instruction SM86InstructionValue guard
218            (sm86BodyWithControl body (sm86ControlWithStall (sm86BodyControlOf body) stall)))))))

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.