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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Default literal floating point types to smallest supported type
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            HLSL
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          llvm-beanz
      </td>
    </tr>
</table>

<pre>
    In C/C++ literal floating point values default as double. In HLSL the behavior is a bit more complicated.

In DXC, literal types were given their own type which was then preserved through instantiation of builtin functions. This ends up being extremely complicated and fragile as templates and other type inference were added to the language.

For Clang, we can accomplish a comparable source-compatible implementation by having the default type for floating point literals resolve to the smallest supported type (i.e. 32-bits by default or 16-bit if 16-bit types are enabled).

This implementation will prevent some bugs that exist in DXC today like the bugs described in [this issue](https://github.com/microsoft/hlsl-specs/issues/73) or [this one](https://github.com/microsoft/DirectXShaderCompiler/issues/2432), which incorrectly emit 64-bit types instead of 32-bit.

It also is a _way_ simpler approach to the problem that will not collide with template type deduction or other language features that rely on type inference.

### Acceptance Criteria

A set of tests that demonstrate floating point literal values resolving to the smallest appropriate floating point type and code generation verifying correctness.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVEGP2zgP_TXKhZjAkeMmOeQwkyD4CvTW79BbQUu0zV1ZMiQ6afbXLyQn3cGgXWCBADEoiXyP75GYEvee6KiaN9WcVzjLEOLRuev40hL6v1ZtsPfjZw8npS8npd-UfgPHQhEddC6gsO9hCuwFruhmSmCpw9kJYAIb5tbRGj57-N-Xr19ABoKWBrxyiMAJEFoWGEMkMGGcHBsUsmtVvarq9bOH87eT0qef9eQ-UYIbRYKer-RzPo4Qbr4cwW1gM8ANUz7wMEVKFK9kQYYY5n4A9knQC6Nw8BA6aGd2wh662ZscS2v4_8AJyNsE8wQtZXr0QyKN5O7vUQJ6C13Enh1lrkLj5FAolYMgA8UFFfuOInlDC3K0NiMKpRkOfT9jTw_KlxDhlGOZ9Y3AoAc0S9E0AJb6GLF1BCnM0dBLiQjnCI-To5G8LPTaO-RO-75UeqpSIHUhfhTv0eMEkVJwV3oiTCM6R0kgzdMUYiZeUii95zWtodYvLUvK1Z4lQoTNpxwF7p5fi3QYCchn-Fbpw4N0afgH7Dd2Lut3JS-QwkjQzn2WFQXoBycBLu4ACRbv4PhPWsyVb1lKJnJLNl9SzZuUAinNpJqz0vtBZEqqflX6ovSlZxnmdm3CqPRlZBNDCp0ofRlcci9pIpOUvpTn-WNXK33IFJ-Jg_9vac8cyci3rwNaiqcwTuwovq-gt7VW-lAsUAzN3oSYH7k70MgCn7bvepo9TWizmxctnuMjgC6FZcy-3_D-HVLpcgScphjQDE-NpxhaR-PS3tJ6HwRMcI4twY1l-OnuRXxLdjbLDMWH1Z9Oho5Q5kgPsWKemuA_TMIDotL18oNXY2gSzENyitmJjMuVV0gkmZtQkkdOS2PwSWKG82sXP1fR4uUyAh_cXFowRf5FjgI1z7AJlqAnT3Ex5ZUid_d88aGHp5TWK3us7aE-4IqOm92m2ldaN9vVcNzb1hzq_W5fWbOtLO2QaGexrffbevOpq1Z81JXeVvVmr3VTNdt119BhQ1RtbGNb3XVqW9GI7NZ5H69D7FfFJMd9s9tsVw5bcqlsbq3zelVa5x3-XN9zn9S2cpwk_ZNAWFzZ9uVBc4bzY2h_s9MXj0n43R5YzdEd_8X5ufDj72WK4Q8y8t7rhcnfAQAA__-9zkdw">