[clang] [clang][CodeGen] Return RValue from `EmitVAArg` (PR #94635)

John McCall via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 7 10:06:00 PDT 2024


================
@@ -1328,15 +1328,15 @@ void AggExprEmitter::VisitChooseExpr(const ChooseExpr *CE) {
 
 void AggExprEmitter::VisitVAArgExpr(VAArgExpr *VE) {
   Address ArgValue = Address::invalid();
-  Address ArgPtr = CGF.EmitVAArg(VE, ArgValue);
+  RValue ArgPtr = CGF.EmitVAArg(VE, ArgValue);
 
   // If EmitVAArg fails, emit an error.
-  if (!ArgPtr.isValid()) {
+  if (!ArgValue.isValid()) {
     CGF.ErrorUnsupported(VE, "aggregate va_arg expression");
     return;
   }
 
-  EmitFinalDestCopy(VE->getType(), CGF.MakeAddrLValue(ArgPtr, VE->getType()));
+  EmitFinalDestCopy(VE->getType(), ArgPtr);
----------------
rjmccall wrote:

CodeGen handles aggregates by keeping them in memory.  Everything to do with aggregate expression emission generally works by passing around a destination address that the value should be placed in — you evaluate the expression into that address, then just put that address into the `RValue` you return.  If you don't pass an address down, generally operations have to evaluate into a temporary, which can create redundant `memcpy`s.

In `AggExprEmitter`, the destination address is the `Dest` member.  We may just be doing an assignment into `Dest` and not an initialization, though, which has important semantic differences in some cases and is (confusingly, sorry) tracked with `.isPotentiallyAliased()`. The easiest way to handle that is to make sure the final copy is done with `EmitFinalDestCopy`.  You'll need to add a method like this to `CodeGenFunction`:

```c++
void EmitAggFinalDestCopy(QualType type, AggValueSlot dest, const LValue &src, ExprValueKind srcKind);
```

which makes an `AggExprEmitter` and calls `EmitFinalDestCopy` on it.

https://github.com/llvm/llvm-project/pull/94635


More information about the cfe-commits mailing list