remove the too restrictive assertion

llvm · Jan 8, 2024 · 2bca2f4 · 2bca2f4
1 parent 0766623
commit 2bca2f4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/clang/lib/CIR/CodeGen/CIRGenModule.cpp b/clang/lib/CIR/CodeGen/CIRGenModule.cpp
@@ -518,7 +518,8 @@ void CIRGenModule::replaceGlobal(mlir::cir::GlobalOp Old,
     if (OldSymUses.has_value()) {
       for (auto Use : *OldSymUses) {
         auto UseOp = dyn_cast<mlir::cir::GetGlobalOp>(Use.getUser());
-        assert(UseOp && "GlobalOp symbol user is not a GetGlobalOp");
+        if (!UseOp)
+          continue;
 
         auto UseOpResultValue = UseOp.getAddr();
         UseOpResultValue.setType(

diff --git a/clang/test/CIR/CodeGen/array-unknown-bound.cpp b/clang/test/CIR/CodeGen/array-unknown-bound.cpp
@@ -3,9 +3,12 @@
 extern int table[];
 // CHECK: cir.global external @table = #cir.const_array<[#cir.int<1> : !s32i, #cir.int<2> : !s32i, #cir.int<3> : !s32i]> : !cir.array<!s32i x 3>
 
+int *table_ptr = table;
+// CHECK: cir.global external @table_ptr = #cir.global_view<@table> : !cir.ptr<!s32i>
+
 int test() { return table[1]; }
 //      CHECK: cir.func @_Z4testv() -> !s32i extra( {inline = #cir.inline<no>, optnone = #cir.optnone} ) {
 // CHECK-NEXT:    %0 = cir.alloca !s32i, cir.ptr <!s32i>, ["__retval"] {alignment = 4 : i64}
 // CHECK-NEXT:    %1 = cir.get_global @table : cir.ptr <!cir.array<!s32i x 3>>
 
-int table[3] {1, 2, 3};
+int table[3] {1, 2, 3};