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

    <tr>
        <th>Summary</th>
        <td>
            MachineVerifier should catch inconsistencies in load memory, result, and range metadata type.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            good first issue,
            llvm:globalisel
      </td>
    </tr>

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

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

<pre>
    The MachineVerifier does not catch cases where G_LOAD range metadata is applied to scalar memory types, with vector results and vice versa. The verifier should reject cases like this: 

```
# RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=tahiti -run-pass=amdgpu-prelegalizer-combiner -verify-machineinstrs %s -o -

--- |
  define void @range_metadata_sext_i8_signed_range_i64_load_as_v2i32() {
   ret void
 }

  define void @range_metadata_sext_i8_signed_range_i64_load_as_v2i32_extractlo() {
 ret void
  }

  define void @range_metadata_sext_i33_signed_range_i64_load_as_v2i32() {
    ret void
  }

  !0 = !{i64 -4294967295, i64 4294967296}
  !1 = !{i64 -8589934591, i64 8589934592}

...
---
name: range_metadata_sext_i8_signed_range_i64_load_as_v2i32
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0, $vgpr1

 %1:_(s32) = COPY $vgpr0
    %2:_(s32) = COPY $vgpr1
    %0:_(p1) = G_MERGE_VALUES %1(s32), %2(s32)
    %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)
    %6:_(<2 x s32>) = G_SEXT_INREG %3, 9
    $vgpr0_vgpr1 = COPY %6
    SI_RETURN implicit $vgpr0_vgpr1

...

---
name: range_metadata_sext_i8_signed_range_i64_load_as_v2i32_extractlo
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0, $vgpr1

 %1:_(s32) = COPY $vgpr0
    %2:_(s32) = COPY $vgpr1
    %0:_(p1) = G_MERGE_VALUES %1(s32), %2(s32)
    %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)
    %zero:_(s32) = G_CONSTANT i32 0
    %extract:_(s32) = G_EXTRACT_VECTOR_ELT %3, %zero
 %6:_(s32) = G_SEXT_INREG %zero, 9
    $vgpr0 = COPY %6
    SI_RETURN implicit $vgpr0, implicit $vgpr1

...

---
name: range_metadata_sext_i33_signed_range_i64_load_as_v2i32
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0, $vgpr1

 %1:_(s32) = COPY $vgpr0
    %2:_(s32) = COPY $vgpr1
    %0:_(p1) = G_MERGE_VALUES %1(s32), %2(s32)
    %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !1, addrspace 1)
    $vgpr0_vgpr1 = COPY %3
    SI_RETURN implicit $vgpr0_vgpr1

...
```

Here we have an i64 range value applied to a <2 x i32> result, which should be invalid.
 %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)

We also are not clean about ensuring we have vector element matches between the result and memory type, but I think that's a more difficult issue to fix than verifying the range metadata. 

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsV8tu2zgXfhp6cyBDouSLFl64tpO_QJr8cNxOZyVQ0rHEKUUJJKUkffoBKfnaTItpu-gADQJFIs_l43cu4WFa80IiLsjkDZmsR6w1Za0WTGmU1Sit85fFrkR4x7KSS_yAiu85Kshr1CBrAxkzWQkZ06jhqUSFcJvcPSzXoJgsECo0LGeGAdfAmkZwzMHUoDMmmIIKq1q9gHlpUBO6giduSugwM7UChboVRgOTOXQ8Q-hQaTYGi6Y7wNBl3YocFP6FmRlQCP4JwZRck3AJxF8Tfzk8p_7w23_SELbv762UEBl4lVG8EUjCNavyIpNehZq5R5iDV2VNS8K1YSU3HDzVSq9hWg_STes1CgUWTPDPqLysrlIuUYHnoL54Vc8fl9ooDYRONHg1eOfwPM8DMlv1HwA57rlE6GqeA4l8R2dyoDPR-GwSPk9c8PKk3-XTKBE1yxOmk47ykBI6JzQGMntzsAoKjbM5LJDZ-hzDz3Gb4LNRLDOi_gLAlfvv8x-G__7c3_ZMaOADCdf2hcze8GkEXkTjKJ7OaDyx6WmXjivTowGnGlyrzifzOA6jSRwcVI8r9Mr3eDw-pkD_IlmFNjG_L-rOhI3AJ73F4o53KFG7cjCqxX7bVrZdOf85y740HfskXJ7oE7yz2etqikZd0Sjfnmt4Dy6oJHQSkHCZEDrXNhix42b18P8_T7pHw4RO6NeFgwthfxBugoPsbfJus73dJB-Wd-83j733g7Ee44SeFs5thYMtEq4oPIOVCDcns66POZcnd8uegXlXC2a4QLDU2wU9jQZ_TPBCQtS7Dvo-aJPL7eW50g3LEIJrMNOvg3ncfNwlb--3m9seOV3BhX7Pa-IIO6dwMj1JPb5Ntpvd--098KoRPOPmSvHVrPyZuXnWGn5n6X8xSz-jqr8k4jZZPdw_7pb3O-AhhUvihpC_prX5uNsuV7vkw2a1e9gmm7vdMbkPvo7Bmr5m4LIqnMLrhfEdJeH69tXij1fIt_95_S6MX7Ewgq8Xxj-23_CH2-_VtdU9_2dv2k8IJesQmHT3ix5qx0SL53dtBgM_3PEzXKzddbvkWXm4Q6cIXHZM8Hx8yoNfo_X0zz8QmNA1MIX95CGQSWBp3RpAqVvFZXGkZBgiUGCF0kBlpxTUkKJ5QpRgShx4cPPF2RxiMaStgbd2hJCfwJTMEDrTwKCqFULO93ueWUWudYuW4D1_tmKyH0teLAxn_2IAGg-jyChfhHkcxmyEi2AWxPMwjmk0Khd0SoM8ncZRPJtMsjTGGaWY7qN8Og2ieB6N-IL6NPJnfhCEwTyKxlmGjO0pzdMZpSybkcjHinExFqKrxrUqRg7iIp7R2B8JlqLQbsyjtKjrHPZc6eEYhFJCV4RSq0rCZSHqlAmuUdidyXqkFnbHS9tCk8gXXBt9cmO4Ebi4HhGHvOoHRC6zWmquDcqMowYu-7zombekn9LSRuRqerSRGY9aJRalMY1tY4TeEHpTcFO26TirK0JvHPb-j9eo2o6EhN6482lCb3oaugX9OwAA__8Djj1i">