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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR][LLVM] Incorrect #llvm.constant_range import
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

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

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

<pre>
    See godbolt: https://godbolt.org/z/x34YarsrE

`range(i32 0, -2147483648)` is imported as `#llvm.constant_range<i32, 0, -2147483648>`, but `-2147483648` is internally stored as a 40-bit integer, causing the verifier to fail: https://github.com/llvm/llvm-project/blob/ebef44067bd0a2cd776b8baea39cffa7f602ce7b/mlir/lib/Dialect/LLVMIR/IR/LLVMAttrs.cpp#L290-L293
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUkk2L2zwQxz_N-CIS5JHfdPAhu1nD8mQv-0ChpyLJY0dFsYIkh24_fZETaKF7KeiFYaTfvP1VjHZeiHqon6A-FmpNZx_6_9ZAVGg_fvT_E7HZj9q7BOLAzildI4gD4AA4PBx7H2bA4Sfg8ENUX1WI4QX4Ia-GB7XMBNhZgYwDPrMdllVbdaKpOkAJDWc2Mnu5-pBoZCoyaDigcO522Ru_xKSW9O1OEc9WYGb8BRIv269npteUAX_6HhGWRGFRzn2wmHy4h1Ks4jtt0-adKWSCUWu0y8zSmdiNgp0sBZY8m5R1n7TApvOq98ZfAIec8-PaXYP_TiYBDtp5DTiQpqmqeNPqkSs0Y9s2utOKlJBmmlQ7NRwNtfnpxdmQOTYbR6vcHXQ6fXl7fQcctiNbh5RC3JvrFVCcUPLdCaUoxl6MUkhVUF-2opFcdNgU576WpmqlMgIrJbkhQ9x0hrAtdT1NXVnYHjnWvCzzbnmzl1rLaWq1IFRTKwkqThdl3X6bjg9zYWNcqS8RpWwKpzS5uIkJ8V4EZlmFfmuJXucIFXc2pvibkGxymwDfTq_vUB-hfsqlQX1kr4vxIZBJ7HNBPGRTrMH1_zyWLfMIODySv_X4KwAA__8Vm_BL">