<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/99119>99119</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Implement the `frexp` HLSL Function
</td>
</tr>
<tr>
<th>Labels</th>
<td>
metabug,
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 `frexp` clang builtin,
- [ ] Link `frexp` clang builtin with `hlsl_intrinsics.h`
- [ ] Add sema checks for `frexp` to `CheckHLSLBuiltinFunctionCall` in `SemaChecking.cpp`
- [ ] Add codegen for `frexp` to `EmitHLSLBuiltinExpr` in `CGBuiltin.cpp`
- [ ] Add codegen tests to `clang/test/CodeGenHLSL/builtins/frexp.hlsl`
- [ ] Add sema tests to `clang/test/SemaHLSL/BuiltIns/frexp-errors.hlsl`
- [ ] Create the `int_spv_frexp` intrinsic in `IntrinsicsSPIRV.td`
- [ ] In SPIRVInstructionSelector.cpp create the `frexp` lowering and map it to `int_spv_frexp` in `SPIRVInstructionSelector::selectIntrinsic`.
- [ ] Create SPIR-V backend test case in `llvm/test/CodeGen/SPIRV/hlsl-intrinsics/frexp.ll`
## DirectX
There were no DXIL opcodes found for `frexp`.
## SPIR-V
# FrexpStruct:
## Description:
**FrexpStruct**
Same semantics as in **Frexp**, except that the entire result is in the
instruction’s result; there is not a pointer operand to write through.
*Result Type* must be an **OpTypeStruct** with two members. Member 0
must have the same type as the type of *x*. Member 0 holds the
*significand*. Member 1 must be a scalar or vector with integer
component type, with 32-bit component width. Member 1 holds *exponent*.
These two members must have the same number of components. This
structure type must be explicitly declared by the module.
<table>
<colgroup>
<col style="width: 20%" />
<col style="width: 20%" />
<col style="width: 20%" />
<col style="width: 20%" />
<col style="width: 20%" />
</colgroup>
<thead>
<tr>
<th>Number</th>
<th>Operand 1</th>
<th>Operand 2</th>
<th>Operand 3</th>
<th>Operand 4</th>
</tr>
</thead>
<tbody>
<tr>
<td class="tableblock halign-left valign-top"><p>52</p></td>
<td
class="tableblock halign-left valign-top"><p><em><id></em><br />
<em>x</em></p></td>
<td></td>
<td></td>
<td></td>
</tr>
</tbody>
</table>
## Test Case(s)
### Example 1
```hlsl
//dxc frexp_test.hlsl -T lib_6_8 -enable-16bit-types -O0
export float4 fn(float4 p1, float4 p2) {
return frexp(p1, p2);
}
```
## HLSL:
Returns the mantissa and exponent of the specified floating-point value.
| *ret* frexp(*x*, *exp*) |
|-------------------------|
The return value is the mantissa, and the value returned by *exp* parameter is the exponent.
## Parameters
| Item | Description |
|--------------------------------------------------------------|--------------------------------------------------------------------------------------------------------------------------------------------------|
| <span id="x"></span><span id="X"></span>*x*<br/> | \[in\] The specified floating-point value. If the *x* parameter is 0, this function returns 0 for both the mantissa and the exponent.<br/> |
| <span id="exp"></span><span id="EXP"></span>*exp*<br/> | \[out\] The returned exponent of the *x* parameter.<br/> |
## Return Value
The mantissa of the *x* parameter.
## Type Description
| Name | [**Template Type**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-intrinsic-functions.md) | [**Component Type**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-intrinsic-functions.md) | Size |
|-------|----------------------------------------------------------------------------------------------------------------|----------------------------------------------------------------|--------------------------------|
| *x* | [**scalar**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-intrinsic-functions.md), **vector**, or **matrix** | [**float**](/windows/desktop/WinProg/windows-data-types) | any |
| *exp* | same as input *x* | [**float**](/windows/desktop/WinProg/windows-data-types) | same dimension(s) as input *x* |
| *ret* | same as input *x* | [**float**](/windows/desktop/WinProg/windows-data-types) | same dimension(s) as input *x* |
## Minimum Shader Model
This function is supported in the following shader models.
| Shader Model | Supported |
|------------------------------------------------------------------------------------|---------------------|
| [Shader Model 3 (DirectX HLSL)](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-sm3.md) and higher shader models | yes |
| [Shader Model 2 (DirectX HLSL)](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-sm2.md) | yes (ps\_2\_x only) |
| [Shader Model 1 (DirectX HLSL)](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-sm1.md) | no |
## Remarks
## Requirements
| Requirement | Value |
|-------------------|--------------------------------------------------------------------------------------------|
| Header<br/> | <dl> <dt>Corecrt\_math.h</dt> </dl> |
## See also
<dl> <dt>
[**Intrinsic Functions (DirectX HLSL)**](https://github.com/MicrosoftDocs/win32/blob/docs/desktop-src//direct3dhlsl/dx-graphics-hlsl-intrinsic-functions.md)
</dt> </dl>
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsGV1v2zjy1zAvhA2Zip34wQ-OEu8GaHeLTdDrW0BJY4sXitSRVOLsrz8MScuS7SS9bnvbA04QbJEczjfnQ-LWio0CWJDpFZlen_HWVdos1tz8qZU8y3X5shhRMr2iZHpNb-tGQg3KUTJL1ga2DZkltJBcbWjeCumEIiwjyXK_5YNQj69D02fhKlyupJUPQjkjlBWFHVdklgzwLMuSWqg5LSooHi1dazNA6zQOM1z89cPdh6uAf9WqwgmtMi4lQgmFUHdQcw8p1GZcNM0pWoUuYQPqFTo3tXA9MjfbxuzRZ7_E6fdwO7DORoxeLYStcI6wVaZL-AUU0iBsFbVlCVt5Rsaorlc19AZalDzi9Dze7nGOwBht7EnUmQHugLoKEKdQ7sE2Tw-dTjq7RQXcdna8-3T7x-exKw8R3irql26Vdab1JroDCYXTBpVGiwHBjpDUz2CE2lCuSlrzhlLhoqAnmPKmfoUKSZckXVo_6tgls2R8Sm5EMvpMc148giq9fmnBLUQaUj7VR5ZDZSNtwlao0dHetzsjyqhnvFlKWEqvhYHCfQlz9xUYoM_4ozS9_nL7geoGXQedv1XloWuOB6gCz90UXSHUnVcDyj6gCrYwokH1xCWGd3-Hn6CUJOHnjtfgfU05UVjKrdfEfld4JCyjsC2gcdRV3HlrgnLCADVgW-mo8BtdBSRZir2RyA0jlwmZz20EJOkVQhnAHUo7ymmjhXJgqG7AoDc4TZ-N8D5jdLupxntuCVv-EejdvzSAgtStdTQHyndc_97g0kBYH5ncs6Y11DkYO6Yf_QNFk3kEFX8KLmpRHe6lAdQETvhnvUbkW8KW-6200rK0UWLClhh8xVoUXJV9uMmeQ2oLLrmh2tAn77mBMRR-A4Yky0LXjVYYk52XLgsAKRvlwtH96rMoXdWjEDghbAnbAIEMBLez0BecnhBWtR6LXu8J2DG9r4QlyTLYsTVRDztRYNtIUQgnX2gJheQGSpq_eJy1LlsJOwdOM8dzCSS9CaNCy43RbdOfoNa9IMg1YcxLRtIlZQlhU8IYJWz1Pw1M2OpIaFcBL_cj01sg6c1v3iBhq5_orf0ej8jk7WX29nL69vL50TKOzGA0lABri5PylFgjWBsU5V0hl7p4pBWXYqNGEtaOPoVnpxvCGG5NM1TVNArRhCkk2qNY4nH5VtQkzaDGfzbzAUmUhM02-BQIhcU0y83AlH56OwR5g8G_OHus84GWcaJ3tJJhHrjHvJZxC4RdWsLmYdGH0QCBQDdbjkUgneDqLAm3rxkQz4qwVbktqM9JD5gRfT1BR_dUivxh9nBJR6CQhdFklgs3wghh6ej3mAcxFhlH11Jzd07XirDL-NxMMLTtBoywOSUXVz7EU2rAtUYFqoRdBlgPhOZJluTius_uXmRfC-3S4R8eS4jgPrVZy32lsYuQGO98CGygEGsBZeBHqM3IpyN0nbYLY-G-yDDGGsDw2jEY8wJyGQKwH6BEWdgzeu2KELubdqXCTgeeBUyTfSmQkE-SFUSAAB0icMcCbbjhNWBajQh2kg9ri087MHso6q2Dmn7rhQh6tcg34_mu1_sm-arrLyP4EVcnGyVpZhuuqChDaNx2oY-wFa6EwQDmyymY6NgYBkMU3KuRkmlGpldC-f9rev_-SaK34cBFtEP_TNCrXSUsXccuL3q1pYmvjXONFdzhYR66dY_R17XhT8e7-rj58um0RuL5HpKK2tCt66mjO5WHEedIAeNjFf8Arz8IM_H4hzhJP6OJ9vGnU_LrLA-SDZaG_c7jIJL8hmVmVNRVKMnvoW4k9mOxjMd7ek3YZeVcYzGM-_yzEa5q83GhsSn7KAqjrV67a-07r2ehUoYdtdQ55qowW4J9dLoZWVPEHOYbsbT0iQ1T2mhjeFOJwo6G3dxo53t2XJcYwr9F1XsRs65c_5llRJbvxJ_wvgN1Ue9viH_fgeRXoOhFjejwByYN_dtPaspYgRC2DM3lvnHXJi7U3BmxjU3xQDIfsvuCBYZL_dxjkrDVP4T6ZPRmvzoqueOh9HvjyCAtrl6-Ikxd9Moov833qP6tRNO6nmF-4PXf1owXsRQ1KIvRM1TsxzIPNBSr0P9r6ISGTqe6j0KJuq3pXcVLMPSjLkHuUl6_8BCW2rbB3gXK-EqLrrWU-lmoDbVhd4277VF70Mf9HVV91_EzmP8exex_Fix7Lji9GgibUsIu4zvP0Iqx-d8VIm2dxuyGRWIlNhWYoeG8Vl_AntL2KwKyn0pA9l6JshMQW2hLptkDw58t1Uq-DNrTI0EnP5Wgk68RVOmT82-VvTU3j_Zg7l-tMP6T2FEv3FvzBH29_OYR_MFF0t58vwLa7qgjSbNS-kGalY6kN5k2UBhsUB5q7qpxFTobv0bjs-y1Tgfvk-4AKJdWd691h9jj9C4jdF9h6O6jnT3lVD9pHbV7vXakm7NykZbzdM7PYDG5YJPJLEnS9KxarGfpOr0scyiK8_PZbD254JDC-WWZsxmbpeWZWLCEnScXkxlLcM84gRJyyOec8ctZPivIeQI1F3Is5VM91mZzJqxtYTGfTybzM8lzkNZ_12WsBsfzdoP9KcsIY0GbcRC_a5F0GT8adQvakXS5g51en5kFkhrl7caS80QK6-yeuBNOwmL_ifjw4x3i6Wx71hq5eMOA8ZuaJ9cY_U8oHGErLx9aLoj4tGD_DgAA__8GD45L">