[SelectionDAG][InstrRef] Handle entry values separately in the emitter

Author: felipepiovezan

llvm/lib/CodeGen/SelectionDAG/InstrEmitter.cpp

@@ -779,7 +779,8 @@ InstrEmitter::EmitDbgInstrRef(SDDbgValue *SD,
   // If this variable location does not depend on any instructions or contains
   // any stack locations, produce it as a standard debug value instead.
   if (any_of(SD->getLocationOps(), IsInvalidOp) ||
-      all_of(SD->getLocationOps(), IsNonInstrRefOp)) {
+      all_of(SD->getLocationOps(), IsNonInstrRefOp) ||
+      Expr->isEntryValue()) {
     if (SD->isVariadic())
       return EmitDbgValueList(SD, VRBaseMap);
     return EmitDbgValueFromSingleOp(SD, VRBaseMap);

llvm/test/CodeGen/AArch64/dbg-value-swift-async.ll

@@ -1,6 +1,7 @@
 ; RUN: llc --mtriple="aarch64-" -O0 -global-isel -stop-after=irtranslator -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=AARCH
 ; RUN: llc --mtriple="aarch64-" -O0 -fast-isel=false -global-isel=false -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=AARCH
 ; RUN: llc --mtriple="aarch64-" -O0 -fast-isel -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=AARCH
+; RUN: llc --mtriple="aarch64-" -experimental-debug-variable-locations -fast-isel=false -global-isel=false -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=AARCH
 
 
 ; RUN: llc --mtriple="x86_64-" -O0 -fast-isel=false -global-isel=false -stop-after=finalize-isel %s -o - | FileCheck %s --check-prefix=X86