<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/99160>99160</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Implement the `WaveActiveAnyTrue` HLSL Function
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            metabug,
            backend:DirectX,
            HLSL,
            backend:SPIR-V,
            bot:HLSL
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          farzonl
      </td>
    </tr>
</table>

<pre>
    - [ ] 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](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#OpGroupNonUniformAny):

## Description:
  
Evaluates a predicate for all active invocations in the [group](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Group),
resulting in **true** if predicate evaluates to **true** for any active
[invocation](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Invocation) in the group, otherwise the result is
**false**.  
  
*Result Type* must be a [*Boolean type*](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Boolean).  
  
*Execution* is a [*Scope*](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Scope_-id-) that identifies the group of
invocations affected by this command. It must be **Subgroup**.  
  
*Predicate* must be a [*Boolean type*](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Boolean).

[Capability](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Capability):  
**GroupNonUniformVote**  
  
[Missing before](https://registry.khronos.org/SPIR-V/specs/unified1/SPIRV.html#Unified) **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
```hlsl
//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

``` 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](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/hlsl-shader-model-6-0-features-for-direct3d-12.md)
</dt> <dt>

[Shader Model 6](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/shader-model-6-0.md)
</dt> </dl>
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkWc1u4zgSfhrmQsiQqbacHHyQnXg2QPd0o9PTM7eAkkoWNxQpkJRj79MvipQtOXF-ZrHZPmxgxGJVqX6-KpJFmlsrNgpgQWZLMru-4J2rtVlU3PxLK3mR63K_iCiZLSmZXdPbppXQgHKUpPGffAtZ4cQWMrX_YTogaUwLydWG5p2QTijCViTOhtc_C_Xwvjfpo3A1itbSynuhnBHKisJOapLGJzqzsqQWGk6LGooHSyttXjThNLJWKPiPz3efl8HWulOFE1qtuJQoJRRK3UHDvaRQm0nRtufsFrqEDah32LxphBuZvNm1ZjC1-q0nv2XHgXW21-jhImyNNMLWK13Cb6DQBmHrHkVL2PqZUxOE9EUUXzGBiPT6vb-35_VHYIw29qyZlQHugLoaUL9Q7r7c3Z-F7ZjyHqPbYwlcCwOF-2viyte1X_91-_lr-4W3rVAbVKmrt4w6TVFkOk2G5KCa122dTf0k1BJX5Vn2fQ9SkAqgB3tSbptnaSVs3YdN2PptUG27_buo3n27_f7zTJy3inrWrbLOdH6e3IGEwmmD1UqLE-NnjUr9CEaojQej4S2lwvUV9oazfh6-YJ0kGUky60fHMEgaT85hg0qinzTnxQOo0uNNC27hDcy9bcLWWMrRsAidnVWyL3b8sISwhB4yFmjzFcVSol9bnM10NP6dN2F8V_MSDP2iS5Bjwp3jG7BI6RVFwx99Y_ycEI0UTaeJ5_twQiB-nE5i_03YJWFzKXLDzZ6wOWFImxe6aTsHA4E3rRSVKDhmaCA3YOth1IodyGG4BeNgN4zrTo64pW64GKnagG7AjZ0wfL8BBeaJTaEcGAvFKZWrfS3cKAKpLVh3QmuEtSMJLiXP5ShIpcswujogeEx1qK8jCcvva_ub0V37u1Z_KFFp02RqT2bXhF3WzrUWy5etCVsb2AjrzH7yUButtJ1os-lLL8Lasy34iuuUqASU00NZTmrXSMKSs3bYFeo_KUawhRGtR8WzKCVxdrPlsuMOLOW0NVBiBsFvZ1xKyn2BU6G2OmTWr1F-qs-WG7T6EQH5cDAC3zwYsB1uZRs_VVlGWOZwffBPVFQjt-EYDC4uT0V9UGrfB4XAzJZDZB8RyO2gnV0dkAuwsRXVrgbzKGxYO0OYVFifMfxUXNre94nPlf9HWPY9iP7Yt8imTWcdzYFyTAph2VJrCVxRF_gfEVhvgrCrU89udlB0Id6MCnt06a7QH-aL130fiTJCkF3NHRUlKIfSdkCc6orE2biSeVVB4aCk-Z66Wlha6KbhqpzQW3cENeB_1-V92p5n49uh_H59Lvr5PluueMtzIYX7kAVnpN0vMwckCMuerEQ_tTvMvgGy2fKLsBYndA6VNvARLv4R6H6l9va3YKzQik4nSZ_EHqxk5XCRp9btJZDkmjD2KEpXkySbxjFhM5IsCWMkuQnShZahFEaEcy_TaYovM0Yxov8bYcLWzxByNfByGJkRgyQ3f2pT0pXulAuve-KIH9ql87ywEtqXXgTDVfkC951UHJmT0WkweDw-G1qJx1lrA2a-xHKpiwdacyk2KpJQOboNz063fYUlK0RtFiy1gz_lf0VvkryumcTZf6ybJCto8Jul0pFkKUrC0g0-BUOBmaxyc1Iunjzez06EPwIEkqw4ibPaQBVeJywJDtyWR8GxW29FRNia_2_dHe94Y4c9_W_4ey4Xww7-zkz8qqIZtt13Ofp8Hp_MXCT4Xj8Q4tPW-QeeFlccu7FLi3ueZ_odLUig0M0Oz0BAp8hN4_DxVyBxv6mVu4I-vwfAM6e_KqHRDypFfp_eX9IIFLoTTdNcuAi7B0ujr_3pEnatNo7mWktaKcIu_VM7DeeSpd9oKTXgOqOeGyTs0osiyngGvB77O8Ts73kOR4jvXpel2E1jy41dFexaA9ZvquLAUb7B1kGgPzxIruB4bCg6Y0A5-si3MDk9QO2V47uedHCH2gPVh3gultBWrBjJYi-DbnmthwDHoR2tfeOGN4DnxGMbUEqS3FB8cEMVsMzrYz7ZoU4828uVR7kfNfh0YKs3wsXp45FkaDdQRdmrwGc5suZ9C2DjnOmgV_8u2BHoyRNNDTcP9uCjsLTqbzrxXdu1WEdQ0srohtpw1dD4uwc8_qNaKQ90668gJvRkenjYT9MIQLm0-nVYZ8uvWzBbAY9YLCe3Hum5dnAjXN3lk0I3hK2_iMJoqyt3rX0P-ChUwghb51LnCGiglmAfnG4ja4p-9vnLmKT0U7K_0QmxRT7mKI3iqALuOgM2qrSJDm9EUzZpyn7eP6mBk6B-SSBPY3jJ1UOtXZSLpLxKrvgFLKZzNp2mcXI5v6gXl2WaplVV5vM8ZtOr_AqS-FORlvPZrMir_PJCLFjMPsXzacriOGXzCZt_gpjPimLGpmXFZ-RTDA0XciLltsGW_UJY28Hi6mqaxheS5yCt_5mBsQYcz7uN39BWhLH-Yo4k2fGas-eEC-dnYoejwIGhHUmyg-zs-sIs0Iko7zaWfIqlsM4ObjnhJCyG3zJeu7xEnfTwC8FFZ-TilZT294jedGv0P6FwhK09CpjLAMR2wf4dAAD__-ecqEs">