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

    <tr>
        <th>Summary</th>
        <td>
            SCEV not calculated for `%phi` in the following IR
        </td>
    </tr>

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

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

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

<pre>
    For the IR given in this compiler explorer [link](https://godbolt.org/z/Pbon5a7Yb), the SCEV for `%phi` is not calculated. For the record here is the IR:
```
define ptr addrspace(1) @widget(i32 %arg) {
bb:
  %0 = insertelement <2 x i32> <i32 0, i32 poison>, i32 %arg, i32 1
  %1 = zext <2 x i32> %0 to <2 x i64>
  br label %bb12

bb2:                                              ; preds = %bb12
 br i1 false, label %bb3, label %bb14

bb3: ; preds = %bb2
  %getelementptr = getelementptr float, ptr addrspace(1) null, i64 %phi
  %load = load float, ptr addrspace(1) %getelementptr, align 4
  %getelementptr4 = getelementptr float, ptr addrspace(1) null, i64 %add13
  %load5 = load float, ptr addrspace(1) %getelementptr4, align 4
  %fadd = fadd float %load, %load5
  store float %fadd, ptr addrspace(1) null, align 4
  br label %bb6

bb6: ; preds = %bb3
  %2 = insertelement <2 x i64> <i64 0, i64 poison>, i64 %phi, i32 1
  %3 = icmp ult <2 x i64> %2, %1
  %4 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %phi, i32 0
  %5 = add <2 x i64> <i64 1, i64 0>, %4
  %6 = extractelement <2 x i1> %3, i32 1
  br i1 %6, label %bb9, label %bb14

bb9: ; preds = %bb6
  %7 = extractelement <2 x i64> %5, i32 0
 %getelementptr10 = getelementptr float, ptr addrspace(1) null, i64 %7
  %8 = extractelement <2 x i64> %5, i32 1
  %getelementptr11 = getelementptr i32, ptr addrspace(1) null, i64 %8
  br label %bb12

bb12: ; preds = %bb9, %bb
  %phi = phi i64 [ 0, %bb ], [ %7, %bb9 ]
  %add13 = add i64 %phi, 1
  br label %bb2

bb14: ; preds = %bb6, %bb2
  ret ptr addrspace(1) null
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyklk1v4zYTxz8NfRmswRe9WAcd7CQG9vLgwRYo0CMljSy2tCiQdJLupy9ISXbsyO5uNwhgiS__-Q1nhhrpnDr0iCVJdyR9XsmT74wt_6dsJ-2qMs3f5d5Y8B3C129wUK_Yg-rBd8pBbY6D0mgB3wdtLFog6U6r_i-SPhO-6bwfHBFbwveE7w-mqYz2a2MPhO-_E77_f2X6VOZ_VIQXhD9FG789vfwOrbFAMkp4OnSKZBSUg954qKWuT1p6bNYwQ1msjW2gQ4th2cgZjNJtkBj_6bbBVvUIg7cgm8a6QdZI-IYRXgBJ6JtqDugJ3yjBgfBUBsgCSL4jdFtVox6EGQpEPIPqHVqPGo_YeyDiicM7KMGJeAlvQYUGl8LDYJQzPREv88CsP76xWZlF5e_4_kkwWPXmPJolQSzsqixoWaEOS6qK8eB04OVEbOGn_ojYwWCxcRHiIhdMKAat1A4D8Qdz4uadJbN5EcwvKPLZ1QPOZxcCEuavR1ptpA_yi_HqT1rH08sSmHJk0tVGNlEuPjxWucUIC6VWhx6SRczkVzll0zDxkTT9r6jJAmsrm9H1-BD1Zjth9WwyLnfeWLysCTv-1YmP5q7TLpvDnt0J-9lp_qB2YlLH2smSqXay5KZ2LvG-rR0xKtfHAU76kyhP-XQG5w3Jj6JMBJN5eheFzspjVMdoLOixW6kAM-_N4l5891bWn7DY5Iu49n4s0LD5ph6Lu_VZ3AlUNnPkjzjOh5pe-X6bpIz-asHkM87m53DYYv0ytsATbtgfpNk8vHEZv3OmxRTjqpqphk7F6fAbtdPdmPBxFcRv51McjWcwTxRxZtKId8k50a6zkS2AXjiTu7GfDY23tEX_4FjoluTPHz-xq6YUTSEKucKS5SJjG5ozuurKumXYsoYKgVTwpEpZUmBbU9HSrK2qdqVKTnlKGc1YxlNG17lIs3yTVFinG0FrRhKKR6n0WuvXY2gfVsq5E5aMs7zIVtFLF9sXznt8gzhLOA_djC3Dpi_V6eBIQrVy3l1kvPIay9hxXHcXCw1IHzuL1mht3lR_gK_fViery5sWR_nuVK1rcyR8H8xMP18Ga_7E2hO-j3CO8P1E_1ryfwIAAP__uLSs4A">