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

    <tr>
        <th>Summary</th>
        <td>
            [SPIRV] Floating point select operands cause the machine verifier to trip
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    Here's a minimal test case that results in the failure when using `llc -verify-machineinstrs`:

```
define spir_func float @test(float %x, float %y, float %z) {
entry:
   %0 = call float @llvm.maxnum.f32(float %x, float %y)
   %1 = fcmp ogt float %0, %z
   %2 = select i1 %1, float %y, float %0
   ret float %2
}
```

Godbolt: https://godbolt.org/z/54K5KvdfP
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx8Uk1vnDAQ_TXmMlpkxnyEA4dNV7RVLlEr9VoZM4ArYyPbbLL59RVkk21ziGQJjWbeezOPJ0PQoyVqWHHPilMi1zg53zxp69ScdK6_NN_IE8MqgIRZWz1LA5FCBCUDQZxkBE9hNTGAthAngkFqs3qCp4ksrEHbEVjJjVFwOJPXw-UwSzVpS9qG6AMrORNHxvdX8uvjx54GbQnCov3vYbUKBuNkBJbzTZ7h3bXG4pnhF3ivLv9VLwxrYNU940ey0V9epQC2HgcmTqCkMTduY85zOstnu87pIPBTmfqdKduZBjUv4MZ4G-IbZN_ibRL3yUCGVASd7eBP1uevQE__kOJmVHX6YBfjx6-u75yJTBxhinEJ263YMmzH10bq_MiwfWHYFvlD8XDuh8ekb0Rfi1om1GRVnhd3WFRVMjW5rFSHqsMsI9l1dSmRSJXiTuSyFnWe6AY5FjzPBGJWZlVKvchIZFU5lJRLpVjOaZbapLunzo-JDmGlJhNFUWFiZEcm7MFDtPQEe5chbjn0zQY6dOsYtp-iQww3mqij2RP78_H7j1-sOEG7ebMFbXHaxjd73UJe2j6AkuueVYJr8mAPoiYP0UH0eklWb5oPpuk4rV2q3Myw3bSvn8Pi3R9SkWG7bxwYtteTzg3-DQAA___BqQO8">