Implement the WaveActiveAnyTrue HLSL Function

[farzonl]

• Implement WaveActiveAnyTrue clang builtin,
• Link WaveActiveAnyTrue clang builtin with hlsl_intrinsics.h
• Add sema checks for WaveActiveAnyTrue to CheckHLSLBuiltinFunctionCall in SemaChecking.cpp
• Add codegen for WaveActiveAnyTrue to EmitHLSLBuiltinExpr in CGBuiltin.cpp
• Add codegen tests to clang/test/CodeGenHLSL/builtins/WaveActiveAnyTrue.hlsl
• Add sema tests to clang/test/SemaHLSL/BuiltIns/WaveActiveAnyTrue-errors.hlsl
• Create the int_dx_WaveActiveAnyTrue intrinsic in IntrinsicsDirectX.td
• Create the DXILOpMapping of int_dx_WaveActiveAnyTrue to 113 in DXIL.td
• Create the WaveActiveAnyTrue.ll and WaveActiveAnyTrue_errors.ll tests in llvm/test/CodeGen/DirectX/
• Create the int_spv_WaveActiveAnyTrue intrinsic in IntrinsicsSPIRV.td
• In SPIRVInstructionSelector.cpp create the WaveActiveAnyTrue lowering and map it to int_spv_WaveActiveAnyTrue in SPIRVInstructionSelector::selectIntrinsic.
• Create SPIR-V backend test case in llvm/test/CodeGen/SPIRV/hlsl-intrinsics/WaveActiveAnyTrue.ll

DirectX

DXIL Opcode	DXIL OpName	Shader Model	Shader Stages
113	WaveAnyTrue	6.0	('library', 'compute', 'amplification', 'mesh', 'pixel', 'vertex', 'hull', 'domain', 'geometry', 'raygeneration', 'intersection', 'anyhit', 'closesthit', 'miss', 'callable', 'node')

SPIR-V

OpGroupNonUniformAny:

Description:

Evaluates a predicate for all active invocations in the group,
resulting in true if predicate evaluates to true for any active
invocation in the group, otherwise the result is
false.

Result Type must be a Boolean type.

Execution is a Scope that identifies the group of
invocations affected by this command. It must be Subgroup.

Predicate must be a Boolean type.

Capability:
GroupNonUniformVote

Missing before version 1.3.

Word Count	Opcode	Results	Operands
5	335	<id> Result Type	Result <id>	Scope <id> Execution	<id> Predicate

Test Case(s)

Example 1

//dxc WaveActiveAnyTrue_test.hlsl -T lib_6_8 -enable-16bit-types -O0

export bool fn(bool p1) {
    return WaveActiveAnyTrue(p1);
}

HLSL:

Returns true if the expression is true in any of the active lanes in the current wave.

Syntax

bool WaveActiveAnyTrue(
   bool expr
);

Parameters

expr

The boolean expression to evaluate.

Return value

True if the expression is true in any lane.

Remarks

This function is supported from shader model 6.0 in all shader stages.

 

See also

Overview of Shader Model 6

Shader Model 6

[V-FEXrt]

Looking at this!

[llvmbot]

@llvm/issue-subscribers-clang-codegen

Author: Farzon Lotfi (farzonl)

- [ ] Implement `WaveActiveAnyTrue` clang builtin, - [ ] Link `WaveActiveAnyTrue` clang builtin with `hlsl_intrinsics.h` - [ ] Add sema checks for `WaveActiveAnyTrue` to `CheckHLSLBuiltinFunctionCall` in `SemaChecking.cpp` - [ ] Add codegen for `WaveActiveAnyTrue` to `EmitHLSLBuiltinExpr` in `CGBuiltin.cpp` - [ ] Add codegen tests to `clang/test/CodeGenHLSL/builtins/WaveActiveAnyTrue.hlsl` - [ ] Add sema tests to `clang/test/SemaHLSL/BuiltIns/WaveActiveAnyTrue-errors.hlsl` - [ ] Create the `int_dx_WaveActiveAnyTrue` intrinsic in `IntrinsicsDirectX.td` - [ ] Create the `DXILOpMapping` of `int_dx_WaveActiveAnyTrue` to `113` in `DXIL.td` - [ ] Create the `WaveActiveAnyTrue.ll` and `WaveActiveAnyTrue_errors.ll` tests in `llvm/test/CodeGen/DirectX/` - [ ] Create the `int_spv_WaveActiveAnyTrue` intrinsic in `IntrinsicsSPIRV.td` - [ ] In SPIRVInstructionSelector.cpp create the `WaveActiveAnyTrue` lowering and map it to `int_spv_WaveActiveAnyTrue` in `SPIRVInstructionSelector::selectIntrinsic`. - [ ] Create SPIR-V backend test case in `llvm/test/CodeGen/SPIRV/hlsl-intrinsics/WaveActiveAnyTrue.ll`

DirectX

DXIL Opcode	DXIL OpName	Shader Model	Shader Stages
113	WaveAnyTrue	6.0	('library', 'compute', 'amplification', 'mesh', 'pixel', 'vertex', 'hull', 'domain', 'geometry', 'raygeneration', 'intersection', 'anyhit', 'closesthit', 'miss', 'callable', 'node')

SPIR-V

OpGroupNonUniformAny:

Description:

Evaluates a predicate for all active invocations in the group,
resulting in true if predicate evaluates to true for any active
invocation in the group, otherwise the result is
false.

Result Type must be a Boolean type.

Execution is a Scope that identifies the group of
invocations affected by this command. It must be Subgroup.

Predicate must be a Boolean type.

Capability:
GroupNonUniformVote

Missing before version 1.3.

<table style="width:100%;">
<colgroup>
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
</colgroup>
<thead>
<tr>
<th>Word Count</th>
<th>Opcode</th>
<th>Results</th>
<th>Operands</th>
<th></th>
<th></th>
</tr>
</thead>
<tbody>
<tr>
<td class="tableblock halign-left valign-top"><p>5</p></td>
<td class="tableblock halign-left valign-top"><p>335</p></td>
<td
class="tableblock halign-left valign-top"><p><em>&lt;id&gt;</em><br />
<em>Result Type</em></p></td>
<td class="tableblock halign-left valign-top"><p><a
href="#ResultId"><em>Result &lt;id&gt;</em></a></p></td>
<td class="tableblock halign-left valign-top"><p><a
href="#Scope_-id-"><em>Scope &lt;id&gt;</em></a><br />
<em>Execution</em></p></td>
<td
class="tableblock halign-left valign-top"><p><em>&lt;id&gt;</em><br />
<em>Predicate</em></p></td>
</tr>
</tbody>
</table>

Test Case(s)

Example 1

//dxc WaveActiveAnyTrue_test.hlsl -T lib_6_8 -enable-16bit-types -O0

export bool fn(bool p1) {
    return WaveActiveAnyTrue(p1);
}

HLSL:

Returns true if the expression is true in any of the active lanes in the current wave.

Syntax

bool WaveActiveAnyTrue(
   bool expr
);

Parameters

<dl> <dt>

expr
</dt> <dd>

The boolean expression to evaluate.

</dd> </dl>

Return value

True if the expression is true in any lane.

Remarks

This function is supported from shader model 6.0 in all shader stages.

 

See also

<dl> <dt>

Overview of Shader Model 6
</dt> <dt>

Shader Model 6
</dt> </dl>