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

    <tr>
        <th>Summary</th>
        <td>
            [GlobalOpt][AMDGPU] Assertion hit while handling global constructor
        </td>
    </tr>

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

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

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

<pre>
    This IR hits an assertion when run through `opt`. It came from compiling a global constructor with a virtual member.

```llvm-ir
target triple = "amdgcn-amd-amdhsa"

@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @ctor, ptr null }]
@x = internal addrspace(1) global ptr null

define internal void @ctor() {
entry:
  tail call void @init(ptr addrspacecast (ptr addrspace(1) null to ptr))
  ret void
}

define internal void @init(ptr %T) {
entry:
  %0 = load ptr, ptr addrspace(1) @x, align 8
  %cmp = icmp eq ptr %0, null
  store ptr %T, ptr addrspace(1) @x, align 8
  ret void
}
```
```
$> opt -O1 bug.ll
opt: llvm/lib/IR/Constants.cpp:2215: static llvm::Constant* llvm::ConstantExpr::getBitCast(llvm::Constant*, llvm::Type*, bool): Assertion `CastInst::castIsValid(Instruction::BitCast, C, DstTy) && "Invalid constantexpr bitcast!"' failed.
```

Here's a link to the reproducer https://godbolt.org/z/h7PrfdWhW.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVc2u2zYTfRp6M7iCNDIleeGFfR3n8-JDguC2WRaUSEtMKFIlR_enT19Qkn-a3hQtINMWyTNz5nB4LELQrVVqy_ie8cNKjNQ5v_3WjbXyxap28m371OkApy_QaQogLIgQlCftLLx0yoIfLVDn3dh2wIrUDcSKNIETQSN6BWfvemhcP2ijbQsCWuNqYaBxNpAfG3IeXjR1IOBZexqFgV71tfIJSw8s3S1jkc6PMc_9g_bzLAnfKgLyejAKWH4Ahih62Tb2QfQyfrogGOJfQq2nIMnM47dIIExYMQzKykhyocj4PoNXYOUedI4MH2Egv3wBKw-MH-Ken65fkFBwnvPrwjqNOS-vdjRmCXbl9zrx0ZaUt8KAkNKHQTSKYZUx3Fz4XeD31Ul11lbdsM9Oy1vKKqJZuZ_3Kkv-jeULEoCENtAIc0Npq4lhFRNdSTQiEPw4eWE2VUNuFmITnyW2VzRFXbiWh39D-i49Q_70j-QZ8nSSzTgh7w_ibxyjwHFRGN1aqO4CNP0wKx9_qN9hSZzG3TehAQI5r-BG678l-pkUlxZ__xXXLP8AbiB4-JRBPbbJhU-8cfkOYlMzPBpdMzyevjA8PsYrJiyFpBkGlu8QMx53BhKkmxmQ71i-u2xkuHtn9sPr4OeZVtFe06MI8VTehcdybwtPb4NaJmvnTGyHfAe7q3-wIo3BTjbQDIi9dQq_CqMlw-q0OIR2dl6-Jn-ExzgcAj29TUpjwbCIt_9knyN6thdhSb0OHmpNzYTLohdgCWehjZLJ-0pP4_-UVwzLAAKMtt9jT1OnwKvBOzk2ykNHNITIC48Mj62TtTOUON8yPP7B8NiVn_1Zfu2-Jiu5zeUm34iV2mZFhTzLqrRYdduSl02-2Ugu1qLghSpRnfOM83N9zus04yu9xRTzdI1FhphjkVRVlXFsyqKRWVZvarZOVS-0SSZLc75d6RBGtS0wr9YrI2plwuTtiLVovisrWb7b_f_w8fMvUQp-WPntZKn12IbojDpQuAUjTWb6b_g4Oc6ngaJN8f0SgR_uDrPTBC-dNgo6YaW589E7q1-N3mx_UE5TN9ZJ46buXZo4Uhq8-6YaYnicagoMj1NZfwYAAP__1oYGLA">