How do I use SPV_KHR_expect_assume in slang?

[Cazadorro]

How do I use assume/ spv expect assume in slang? Its a hard keyword to search for, so I'm having difficulty finding out how to use it.

[csyonghe]

This is not yet supported in Slang. However, you can use this SPIRV inst in Slang by defining the intrinsic yourself:

[ForceInline]
void assume(bool value)
{
     spirv_asm
     {
           OpExtension "SPV_KHR_expect_assume";
           OpCapability ExpectAssumeKHR;
           OpAssumeTrueKHR $value
     };
}

[ForceInline]
T expect<T>(T value, T expectedValue)
{
     return spirv_asm
     {
           OpExtension "SPV_KHR_expect_assume";
           OpCapability ExpectAssumeKHR;
           result:$$T = OpExpectKHR $value $expectedValue;
     };
}

See an example here.