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

    <tr>
        <th>Summary</th>
        <td>
            LSV fails with "SCEVAddExpr operand types don't match!" with AMDGPU address space 7
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:AMDGPU
      </td>
    </tr>

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

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

<pre>
    Test case:
```
; RUN: llc -march=amdgcn -mcpu=gfx1030 < %s
define { float, float } @f() {
bb:
  %l1 = load float, ptr addrspace(7) null
 %l2 = load float, ptr addrspace(7) getelementptr (i8, ptr addrspace(7) null, i64 24)
  %iv1 = insertvalue { float, float } zeroinitializer, float %l1, 0
  %iv2 = insertvalue { float, float } %iv1, float %l2, 1
  ret { float, float } %iv2
}
```
I get:
```
llc: /home/jayfoad2/git/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp:2529: const llvm::SCEV *llvm::ScalarEvolution::getAddExpr(SmallVectorImpl<const llvm::SCEV *> &, SCEV::NoWrapFlags, unsigned int): Assertion `getEffectiveSCEVType(Ops[i]->getType()) == ETy && "SCEVAddExpr operand types don't match!"' failed.
```
It seems to be specific to `addrspace(7)` so I guess it is related to https://reviews.llvm.org/D149776 @krzysz00
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVE2P2zgM_TX0hZhAofwRH3zwjJNFgd3uYmc6e5Zt2lErf0CS02Z-_UJx2k4WnaILGLBJ-j2Rj6SUc7ofmQtI7iGpIrX442SLj-rcTaqN6qk9F0_sPDbKMcgSRAWihFRcn9WU9_j3h_cgSzSmwbtB2eYIslJD2zcj3g3NvICs-u7LVkiBIB8QKHEruOVOj4yQ3WNnJuWBHtYPhKxCiEUHtAPKwx8roq6_JYKByGwRZIVmUu13itlbVG1r3awaBtplgWJcjLkCA45-FdezZ8MDjz6EgXZ69_Mz6AF1GiPFQPmrTPVpTVWPjq0_KbO8WfgL20mP2mtl9AvbV8FQcDDFDTH9KvGaxi0fBXP7lc-y_ymYrl3Pqh9Ow7sg11ujYkwTxgTocJwGBjpcJ42ADr32QAdjTsPdbKeP3Hw1w0vXQIdyVObstAM6PDbKKLs_TWbxeho3zTyDLCmhPPA30-g8XrCyBFk-PuyfEah85bnFr86efdm2-y-zBdo9DsqYZ278ZN8NswH58BYryD0CpUGq4FqD76d_rJoPRvUuBJbxsmgt6tHDmmTpQrP0NCKkome_7zpuvD5xIHk6z2Gk_pwdJPcakuoO5L5nf_UHirATsgpt3z-d1wRSBKIAv5aB08xWjS3688wO22kEyjwOyjdHoC0QAWXYKW243fy4mx4d8-DQT1gzupkb3ekmmJCK_04_pALdhO-wX9g51B61Q8tGeW4D5Oj97II-dAA6WD5p_uw2QdHNZHugQ7WN8yxLw95_si9n9yJE1BayzWWuIi626S7O4jxN8uhYJBTHatelSScoS7NdSm29k3lO2baL07yLdEGCpEiItkKIJN_k2yRpRS4aZplsMwmx4EFp8y2DSDu3cJHSLkkjo2o27nIzEtWq-cRjC7Is_6h---tDkC6pIltc5rVeegexMNr57-VEXnvDxe-PzxeFHX7W_vi_G7Si1kMvt00Q9qI5ZtFiTXGraa_9cak3zTS8Wp7blbrUGHboUua_AQAA__8pYcm4">