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

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

    <tr>
      <th>Labels</th>
      <td>
            metabug,
            HLSL,
            bot:HLSL
      </td>
    </tr>

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

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

<pre>
    - [ ] Implement the `and`  api in `hlsl_intrinsics.h`
- [ ] If a clang builtin is needed add sema checks for `and` to `CheckHLSLBuiltinFunctionCall` in `SemaHLSL.cpp`
- [ ] If codegen is needed, add codegen for `and` to `EmitHLSLBuiltinExpr` in `CGBuiltin.cpp`
- [ ] Add codegen tests to `clang/test/CodeGenHLSL/builtins/and.hlsl`
- [ ] Add sema tests to `clang/test/SemaHLSL/BuiltIns/and-errors.hlsl`

## DirectX

There were no DXIL opcodes found for `and`.

## SPIR-V

There were no SPIR-V opcodes found for `and`.

## Test Case(s)

 
 ### Example 1
```hlsl
//dxc and_test.hlsl -T lib_6_8 -enable-16bit-types -O0

export bool4 fn(bool4 p1, bool4 p2) {
    return and(p1, p2);
}
```
## HLSL:

Logically `and`s a vector and produces a bool vector output


## Syntax


```syntax
bool<> and(bool<> x, bool<> y);
```


## Type Description

| Name  | [**Template Type**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-data-types.md)| [**Component Type**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-data-types.md) | Size |
|-------|--------------------------------------------------------------------|----------------------------------------------------------------------|------|
| *ret* | [**scalar**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-scalar.md), [**vector**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-vector.md), or [**matrix**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-matrix.md) | **bool** | any |
| *x* | [**scalar**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-scalar.md), [**vector**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-vector.md), or [**matrix**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-matrix.md) | **bool** | any |
| *y* | [**scalar**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-scalar.md), [**vector**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-vector.md), or [**matrix**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-matrix.md) | **bool** | any |

## Minimum Shader Model

This function is supported in the following shader models.
|Shader Model | Supported|
|-------------|----------|
|All Shader Models with HLSL 2021 Language Mode  | yes |

## Shader Stages

**All Shader Stages**

## Remarks

In HLSL 2021 `and(X, Y);` is a replacement for
```hlsl
int3 X = {1, 1, 1};
int3 Y = {0, 0, 0};
bool3 Cond = X && Y;
```

## See also


- [**Intrinsic Functions (DirectX HLSL)**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/../direct3dhlsl/dx-graphics-hlsl-intrinsic-functions.md)
- **See [HLSL 2021 Logical operation short-circuiting for scalars](https://github.com/microsoft/DirectXShaderCompiler/wiki/HLSL-2021#logical-operation-short-circuiting-for-scalars)**
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWEFv2zoS_jX0ZSBDpizZOfjg2HE3QLq7aIJFegpoaWxzQ5ECSTV2f_1iSClWWm_fA_oOeUAM16WGw5lvZj4pMxLOyb1GXLD8muXrkWj9wdjFTtjvRqvR1lSnRQIsvwaWr-G2bhTWqD34AwIrUqErVqQAopEgNUkOyqknqb2V2snSjQ-sSFm6HNjYgYBSCb2HbSuVlxqkA41YYQWiqsBhLaA8YPnsYGfswI03dLGirX_c3d9dx-ObVpdeGr0SSpFWxHGPtSClcdk0FyCUpsI9Dlwzvgre-41Lnm9q6QeOb46NPTtcferElzwuB5Y9Ou86iyEPjG9IxvhmZSr8hJp8ML7p0uMY3whdjSmzl-yGfP3CaJ8JxjcB4W1vMUFrjXUDw_TlGeMZrKXF0j9G2cMBLcIL_WgD68fbOzANhUMFanX1NlnjN4bu_337JfnPJTtx589bekDnYSUcMj53jF_FTQj_ggYp3RwFcRQmtFuk8RsCJDsbxjfVsQShqyfKTggdkgdQcvtUPM0hQS22CpNJsZU-8acGHST_6lKDx8ZYD1tj1BR2mvF5XDYTIk-35oxfAZtdEywAsOhbq8kh4_OoGFRYRhpsth7iPMca6pUto987s5elUOp0zowDAd-w9MaSaWisqdoSSUow-i3T-qb1XRLPFTlpL45nae_d9XIywbIVy2463APBsQ-1uz6dYxlG8aZupwZhja60sqH7tNucreCfokYAWtHThy8ZXz5g3SjhMZyKIpavGZ8fvG8cpSQUcS_9od2OS1MzvvksS2uc2fm1KYnaL1JnnO4fZbZU8Cit0D170yTOlh0RAsWzKrCDb8bjn2XVMdlb0Rxk6RISJZXwItJiXFcU-hD7ytSN0fR0_HuAD5m_l9-RFrEkSfycV7_1-YvMDAy9AgXGlxY948u3_HGlUMK-v9xHXB1p-ABwvFXfH-CI6wyYnss95lp4K4_vD3PENSB3hBgeV2EVhEKf4A2Pjh8s-mDRb7Po9MGiDxb9Bote-6XPUsu6reH-ICq08NlUqPr-WTrYdeMOjS6ubaglxYpmEBrJdkYp8yL1Hlw8XdNpN440HVqMbq_uews_tgAX_oK_qiyVeoPOwYv0h9C0Ak_5BO6E3rdij2E7dngndD9F2tm492KPrt-h78BBtxnrOzz8BWthn7tjt3rgveuS-fyRyPK161BpUKMG2WKjRBmn2J2xF-YEqX0Gj8CyNTXyoWfvfmbr2OsGja-9Rkqb3U-vQXXOYGV0FbQegfGC8QK-Xm6Wu3wgglDOvHbQyZnnt_1IDf2864DxeTenxYGB7o73dh-8vgpIeuL2rXMIL-CluFl-PeBPnHjANGhFILs7GOuTUtqylZ74TYNifJC5Pwy37sNlfNMlLLKLOnap0IYUPEvGN4QhIQyMZyqiSF5RJD-iSHbGJj2KPvujapFVV9mVGOFiMsvmBZ-nRTY6LCZpWgh-lWfzXbHjebYt53k5381mucjxajYbyQVPeZ7ydJqmkynPxlkxzaa8rLa5KOYVTtk0xVpINVbqWz02dj-SzrW4mPC8SKcjJbaoXHiVw3mNXmzbPeOc8RXjPDKku9gaz7JlL8rXI7sgk8m23Ts2TZV03p2deOkVLv7fy59Qtp6Uo9aqxS9KQTa7_5LGmv9iSUUJURDlukC-Lfj_AgAA__9N0plf">