[CodeGen] Make element type in emitArrayDestroy() predictable

[nikic]

Summary

When calling emitArrayDestroy(), the pointer will usually have ConvertTypeForMem(EltType) as the element type, as one would expect. However, globals with initializers sometimes don't use the same types as values normally would, e.g. here the global uses { double, i32 } rather than %struct.T as element type.

Add an early cast to the global destruction path to avoid this special case. The cast would happen lateron anyway, it only gets moved to an earlier point.

[nikic]

Merge fixes for element type uses into this patch.

[rjmccall]

clang/lib/CodeGen/CGDecl.cpp

2257 ↗

(On Diff #397018)

Hmm. I would expect the caller to be responsible for passing in a correctly-typed pointer here.

clang/lib/CodeGen/CodeGenFunction.cpp

2115

I think I have a similar question here. I understand that globals don't always have the right type because of initializers, but the code that's emitting the reference to the global generally ought to be casting it to the right type instead of forcing all the downstream code to cast.

[nikic]

Perform cast earlier, in EmitDeclDestroy().

[nikic]

clang/lib/CodeGen/CGDecl.cpp

2257 ↗

(On Diff #397018)

The caller is responsible at this point. This only explicitly computes the type to avoid the getPointerElementType() call.

clang/lib/CodeGen/CodeGenFunction.cpp

2115

I've moved the cast into EmitDeclDestroy() and left this code alone. Does this look better?

[nikic]

Rebase over D116587 to get rid of the double geps.

[rjmccall]

clang/lib/CodeGen/CGDecl.cpp

2257 ↗

(On Diff #397018)

Okay. Is it excessively annoying to pass in an Address for begin instead of separately passing elementAlign? We'd get the element type for free then.

[nikic]

clang/lib/CodeGen/CGDecl.cpp

2257 ↗

(On Diff #397018)

Yeah, I did give that a try -- accepting Address in emitArrayDestroy() in particular is easy, but once you try to propagate it up the call chain it turns out that there are a lot of non-trivial callers.

[rjmccall]

Alright. We can do this for now, then.

clang/lib/CodeGen/CodeGenFunction.cpp

if (arrayType) {
     // size, and just emit the 'begin' expression as a bitcast.
     while (arrayType) {
       countFromCLAs *=
           cast<ConstantArrayType>(arrayType)->getSize().getZExtValue();
       eltType = arrayType->getElementType();
       arrayType = getContext().getAsArrayType(eltType);
     }
 
-    llvm::Type *baseType = ConvertType(eltType);
+    llvm::Type *baseType = ConvertTypeForMem(eltType);
     addr = Builder.CreateElementBitCast(addr, baseType, "array.begin");
   } else {
     // Create the actual GEP.
-    addr = Address(Builder.CreateInBoundsGEP(
-        addr.getElementType(), addr.getPointer(), gepIndices, "array.begin"),
-        addr.getAlignment());
+    llvm::Value *ptr = Builder.CreateInBoundsGEP(
+        addr.getElementType(), addr.getPointer(), gepIndices, "array.begin");
+    llvm::Type *llvmEltType = ConvertTypeForMem(eltType);
+    ptr = Builder.CreateBitCast(
+        ptr, llvmEltType->getPointerTo(addr.getAddressSpace()));
+    addr = Address(ptr, llvmEltType, addr.getAlignment());
   }
 
   baseType = eltType;
 
   llvm::Value *numElements
     = llvm::ConstantInt::get(SizeTy, countFromCLAs);
 
   // If we had any VLA dimensions, factor them in.

clang/test/CodeGenCXX/global-array-destruction.cpp

 struct T {
   double d;
   int n;
   ~T();
 };
 T t[2][3] = { 1.0, 2, 3.0, 4, 5.0, 6, 7.0, 8, 9.0, 10, 11.0, 12 };
 
 // CHECK: call {{.*}} @__cxa_atexit
-// CHECK: getelementptr inbounds ({{.*}} getelementptr inbounds ([2 x [3 x {{.*}}]], [2 x [3 x {{.*}}]]* @t, i32 0, i32 0, i32 0), i64 6)
+// CHECK: getelementptr inbounds (%struct.T, %struct.T* bitcast ([2 x [3 x {{.*}}]]* @t to %struct.T*), i64 6)
 // CHECK: call void @_ZN1TD1Ev
 // CHECK: icmp eq {{.*}} @t
 // CHECK: br i1 {{.*}}
 
 static T t2[2][3] = { 1.0, 2, 3.0, 4, 5.0, 6, 7.0, 8, 9.0, 10, 11.0, 12 };
 
 // CHECK: call {{.*}} @__cxa_atexit
-// CHECK: getelementptr inbounds ({{.*}} getelementptr inbounds ([2 x [3 x {{.*}}]], [2 x [3 x {{.*}}]]* @_ZL2t2, i32 0, i32 0, i32 0), i64 6)
+// CHECK: getelementptr inbounds (%struct.T, %struct.T* bitcast ([2 x [3 x {{.*}}]]* @_ZL2t2 to %struct.T*), i64 6)
 // CHECK: call void @_ZN1TD1Ev
 // CHECK: icmp eq {{.*}} @_ZL2t2
 // CHECK: br i1 {{.*}}
 
 using U = T[2][3];
 U &&u = U{ {{1.0, 2}, {3.0, 4}, {5.0, 6}}, {{7.0, 8}, {9.0, 10}, {11.0, 12}} };
 
 // CHECK: call {{.*}} @__cxa_atexit
-// CHECK: getelementptr inbounds ({{.*}}* getelementptr inbounds ([2 x [3 x {{.*}}]], [2 x [3 x {{.*}}]]* @_ZGR1u_, i32 0, i32 0, i32 0), i64 6)
+// CHECK: getelementptr inbounds (%struct.T, %struct.T* getelementptr inbounds ([2 x [3 x {{.*}}]], [2 x [3 x {{.*}}]]* @_ZGR1u_, i32 0, i32 0, i32 0), i64 6)
 // CHECK: call void @_ZN1TD1Ev
 // CHECK: icmp eq {{.*}} @_ZGR1u_
 // CHECK: br i1 {{.*}}