Enable usage of LLVM's opaque pointer

lib/ClangImporter/ClangImporter.cpp

@@ -845,7 +845,7 @@ importer::addCommonInvocationArguments(
   invocationArgStrs.push_back("-fansi-escape-codes");
 
   invocationArgStrs.push_back("-Xclang");
-  invocationArgStrs.push_back("-no-opaque-pointers");
+  invocationArgStrs.push_back("-opaque-pointers");
 
   if (importerOpts.ValidateModulesOnce) {
     invocationArgStrs.push_back("-fmodules-validate-once-per-build-session");

lib/IRGen/GenDecl.cpp

@@ -5190,7 +5190,8 @@ IRGenModule::getAddrOfTypeMetadata(CanType concreteType,
   }
 
   if (auto *GV = dyn_cast<llvm::GlobalVariable>(addr.getValue()))
-    GV->setComdat(nullptr);
+    if (GV->isDeclaration())
+      GV->setComdat(nullptr);
 
   // FIXME: MC breaks when emitting alias references on some platforms
   // (rdar://problem/22450593 ). Work around this by referring to the aliasee

lib/IRGen/IRGenDebugInfo.cpp

@@ -2817,6 +2817,7 @@ void IRGenDebugInfoImpl::emitDbgIntrinsic(
     llvm::DIExpression *Expr, unsigned Line, unsigned Col,
     llvm::DILocalScope *Scope, const SILDebugScope *DS, bool InCoroContext,
     AddrDbgInstrKind AddrDInstKind) {
+  Storage = Storage->stripPointerCasts();
   // Set the location/scope of the intrinsic.
   auto *InlinedAt = createInlinedAt(DS);
   auto DL =

lib/IRGen/IRGenSIL.cpp

@@ -981,17 +981,24 @@ class IRGenSILFunction :
       && !isAnonymous;
   }
 
-  bool shouldShadowStorage(llvm::Value *Storage) {
-    return !isa<llvm::AllocaInst>(Storage)
-      && !isa<llvm::UndefValue>(Storage)
-      && needsShadowCopy(Storage);
+  bool shouldShadowStorage(llvm::Value *Storage,
+                           llvm::Type *StorageType) {
+    Storage = Storage->stripPointerCasts();
+    if (isa<llvm::UndefValue>(Storage))
+        return false;
+    if (auto *Alloca = dyn_cast<llvm::AllocaInst>(Storage);
+        Alloca && Alloca->isStaticAlloca() &&
+        Alloca->getAllocatedType() == StorageType)
+      return false;
+    return needsShadowCopy(Storage);
   }
 
   /// At -Onone, emit a shadow copy of an Address in an alloca, so the
   /// register allocator doesn't elide the dbg.value intrinsic when
   /// register pressure is high.  There is a trade-off to this: With
   /// shadow copies, we lose the precise lifetime.
   llvm::Value *emitShadowCopyIfNeeded(llvm::Value *Storage,
+                                      llvm::Type *StorageType,
                                       const SILDebugScope *Scope,
                                       SILDebugVariable VarInfo,
                                       bool IsAnonymous, bool WasMoved,
@@ -1011,7 +1018,7 @@ class IRGenSILFunction :
     // This condition must be consistent with emitPoisonDebugValueInst to avoid
     // generating extra shadow copies for debug_value [poison].
     if (!shouldShadowVariable(VarInfo, IsAnonymous)
-        || !shouldShadowStorage(Storage)) {
+        || !shouldShadowStorage(Storage, StorageType)) {
       return Storage;
     }
 
@@ -1034,11 +1041,12 @@ class IRGenSILFunction :
   /// Like \c emitShadowCopyIfNeeded() but takes an \c Address instead of an
   /// \c llvm::Value.
   llvm::Value *emitShadowCopyIfNeeded(Address Storage,
+                                      llvm::Type *StorageType,
                                       const SILDebugScope *Scope,
                                       SILDebugVariable VarInfo,
                                       bool IsAnonymous, bool WasMoved) {
-    return emitShadowCopyIfNeeded(Storage.getAddress(), Scope, VarInfo,
-                                  IsAnonymous, WasMoved,
+    return emitShadowCopyIfNeeded(Storage.getAddress(), StorageType, Scope,
+                                  VarInfo, IsAnonymous, WasMoved,
                                   Storage.getAlignment());
   }
 
@@ -1072,7 +1080,9 @@ class IRGenSILFunction :
       return;
 
     if (e.size() == 1) {
-      copy.push_back(emitShadowCopyIfNeeded(e.claimNext(), Scope, VarInfo,
+      auto &ti = getTypeInfo(SILVal->getType());
+      copy.push_back(emitShadowCopyIfNeeded(e.claimNext(), ti.getStorageType(),
+                                            Scope, VarInfo,
                                             IsAnonymous, WasMoved));
       return;
     }
@@ -1116,7 +1126,7 @@ class IRGenSILFunction :
     llvm::raw_svector_ostream(Buf) << "$pack_count_" << Position;
     auto Name = IGM.Context.getIdentifier(Buf.str());
     SILDebugVariable Var(Name.str(), true, 0);
-    Shape = emitShadowCopyIfNeeded(Shape, getDebugScope(), Var, false,
+    Shape = emitShadowCopyIfNeeded(Shape, nullptr, getDebugScope(), Var, false,
                                    false /*was move*/);
     if (IGM.DebugInfo)
       IGM.DebugInfo->emitPackCountParameter(*this, Shape, Var);
@@ -5061,7 +5071,7 @@ void IRGenSILFunction::emitErrorResultVar(CanSILFunctionType FnTy,
   auto Var = DbgValue->getVarInfo();
   assert(Var && "error result without debug info");
   auto Storage =
-      emitShadowCopyIfNeeded(ErrorResultSlot.getAddress(), getDebugScope(),
+      emitShadowCopyIfNeeded(ErrorResultSlot.getAddress(), nullptr, getDebugScope(),
                              *Var, false, false /*was move*/);
   if (!IGM.DebugInfo)
     return;
@@ -5108,7 +5118,7 @@ void IRGenSILFunction::emitPoisonDebugValueInst(DebugValueInst *i) {
   // copy--poison should never affect program behavior. Also filter everything
   // not handled by emitShadowCopyIfNeeded to avoid extra shadow copies.
   if (!shouldShadowVariable(*varInfo, isAnonymous)
-      || !shouldShadowStorage(storage)) {
+      || !shouldShadowStorage(storage, nullptr)) {
     return;
   }
 
@@ -5255,13 +5265,15 @@ void IRGenSILFunction::visitDebugValueInst(DebugValueInst *i) {
 
   // Put the value into a shadow-copy stack slot at -Onone.
   llvm::SmallVector<llvm::Value *, 8> Copy;
-  if (IsAddrVal)
+  if (IsAddrVal) {
+    auto &ti = getTypeInfo(SILVal->getType());
     Copy.emplace_back(emitShadowCopyIfNeeded(
-        getLoweredAddress(SILVal).getAddress(), i->getDebugScope(), *VarInfo,
+        getLoweredAddress(SILVal).getAddress(), ti.getStorageType(), i->getDebugScope(), *VarInfo,
         IsAnonymous, i->getUsesMoveableValueDebugInfo()));
-  else
+  } else {
     emitShadowCopyIfNeeded(SILVal, i->getDebugScope(), *VarInfo, IsAnonymous,
                            i->getUsesMoveableValueDebugInfo(), Copy);
+  }
 
   bindArchetypes(DbgTy.getType());
   if (!IGM.DebugInfo)
@@ -5882,9 +5894,10 @@ void IRGenSILFunction::visitAllocBoxInst(swift::AllocBoxInst *i) {
   auto VarInfo = i->getVarInfo();
   if (!VarInfo)
     return;
-
+  auto &ti = getTypeInfo(SILTy);
   auto Storage =
-      emitShadowCopyIfNeeded(boxWithAddr.getAddress(), i->getDebugScope(),
+      emitShadowCopyIfNeeded(boxWithAddr.getAddress(), ti.getStorageType(),
+                             i->getDebugScope(),
                              *VarInfo, IsAnonymous, false /*was moved*/);
 
   if (!IGM.DebugInfo)

stdlib/cmake/modules/AddSwiftStdlib.cmake

@@ -138,8 +138,8 @@ function(_add_target_variant_c_compile_link_flags)
   if (_lto_flag_out)
     list(APPEND result "${_lto_flag_out}")
     # Disable opaque pointers in lto mode.
-    list(APPEND result "-Xclang")
-    list(APPEND result "-no-opaque-pointers")
+    #list(APPEND result "-Xclang")
+    #list(APPEND result "-no-opaque-pointers")
   endif()
 
   set("${CFLAGS_RESULT_VAR_NAME}" "${result}" PARENT_SCOPE)

test/AutoDiff/IRGen/differentiable_function.sil

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -emit-ir %s | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir %s | %FileCheck %s
+// RUN: %target-swift-frontend -emit-ir %s
 
 sil_stage raw
 

test/AutoDiff/IRGen/runtime.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -parse-stdlib %s -emit-ir | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -parse-stdlib %s -emit-ir | %FileCheck %s
+// RUN: %target-swift-frontend -parse-stdlib %s -emit-ir
 
 import Swift
 import _Differentiation

test/AutoDiff/IRGen/witness_table_differentiable_requirements.sil

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -parse-sil %s -emit-ir | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -parse-sil %s -emit-ir | %FileCheck %s
+// RUN: %target-swift-frontend -parse-sil %s -emit-ir
 // REQUIRES: CPU=x86_64
 
 sil_stage canonical

test/AutoDiff/SIL/differentiability_witness_function_inst.sil

@@ -15,7 +15,8 @@
 
 // IRGen test.
 
-// RUN: %target-swift-frontend -Xllvm -sil-disable-pass=Simplification -emit-ir %s | %FileCheck %s --check-prefix=IRGEN --check-prefix %target-cpu
+// RUN: %target-swift-frontend %use_no_opaque_pointers -Xllvm -sil-disable-pass=Simplification -emit-ir %s | %FileCheck %s --check-prefix=IRGEN --check-prefix %target-cpu
+// RUN: %target-swift-frontend -Xllvm -sil-disable-pass=Simplification -emit-ir %s
 // NOTE: `%target-cpu`-specific FileCheck lines exist because lowered function types in LLVM IR differ between architectures.
 
 // `shell` is required only to run `sed` as a

test/AutoDiff/SIL/differentiable_function_inst.sil

@@ -15,7 +15,8 @@
 
 // IRGen test.
 
-// RUN: %target-swift-frontend -emit-ir %s | %FileCheck %s --check-prefix=CHECK-IRGEN
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir %s | %FileCheck %s --check-prefix=CHECK-IRGEN
+// RUN: %target-swift-frontend -emit-ir %s
 
 // `shell` is required only to run `sed` as a
 // https://github.com/apple/swift/issues/54526 workaround.

test/AutoDiff/SIL/sil_differentiability_witness.sil

@@ -15,7 +15,8 @@
 
 // IRGen test.
 
-// RUN: %target-swift-frontend -emit-ir %s | %FileCheck --check-prefix=IRGEN %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir %s | %FileCheck --check-prefix=IRGEN %s
+// RUN: %target-swift-frontend -emit-ir %s
 
 // `shell` is required only to run `sed` as a
 // https://github.com/apple/swift/issues/54526 workaround.

test/AutoDiff/compiler_crashers_fixed/issue-58123-invalid-debug-info.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -emit-ir -O -g %s | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir -O -g %s | %FileCheck %s
+// RUN: %target-swift-frontend -emit-ir -O -g %s
 
 // https://github.com/apple/swift/issues/58123
 // Mutating functions with control flow can cause assertion failure for

test/ClangImporter/CoreGraphics_test.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -module-name=cgtest -emit-ir -O %s | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -module-name=cgtest -emit-ir -O %s | %FileCheck %s
+// RUN: %target-swift-frontend -module-name=cgtest -emit-ir -O %s
 
 // Test some imported CG APIs
 import CoreGraphics

test/ClangImporter/MixedSource/forward-declarations.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -emit-ir -primary-file %s %S/Inputs/forward-declarations-other.swift -import-objc-header %S/Inputs/forward-declarations.h -enable-objc-interop -disable-objc-attr-requires-foundation-module -module-name main | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir -primary-file %s %S/Inputs/forward-declarations-other.swift -import-objc-header %S/Inputs/forward-declarations.h -enable-objc-interop -disable-objc-attr-requires-foundation-module -module-name main | %FileCheck %s
+// RUN: %target-swift-frontend -emit-ir -primary-file %s %S/Inputs/forward-declarations-other.swift -import-objc-header %S/Inputs/forward-declarations.h -enable-objc-interop -disable-objc-attr-requires-foundation-module -module-name main
 
 class Sub: Base {
   // CHECK-LABEL: define{{.*}} void @"$s4main3SubC4testyyF"
@@ -13,4 +14,4 @@ class Sub: Base {
     // CHECK: call void @swift_release(%swift.refcounted* {{%.+}})
     // CHECK: ret void
   }
-}
+}

test/ClangImporter/cxx_interop_ir.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swiftxx-frontend -module-name cxx_ir -I %S/Inputs/custom-modules -emit-ir -o - -primary-file %s -Xcc -fignore-exceptions | %FileCheck %s
+// RUN: %target-swiftxx-frontend %use_no_opaque_pointers -module-name cxx_ir -I %S/Inputs/custom-modules -emit-ir -o - -primary-file %s -Xcc -fignore-exceptions | %FileCheck %s
+// RUN: %target-swiftxx-frontend -module-name cxx_ir -I %S/Inputs/custom-modules -emit-ir -o - -primary-file %s -Xcc -fignore-exceptions
 
 // https://github.com/apple/swift/issues/55575
 // We can't yet call member functions correctly on Windows.

test/ClangImporter/enum-anon-sized.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend -emit-ir %s -enable-objc-interop -import-objc-header %S/Inputs/enum-anon.h | %FileCheck -check-prefix=CHECK -check-prefix=CHECK-%target-runtime %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-ir %s -enable-objc-interop -import-objc-header %S/Inputs/enum-anon.h | %FileCheck -check-prefix=CHECK -check-prefix=CHECK-%target-runtime %s
+// RUN: %target-swift-frontend -emit-ir %s -enable-objc-interop -import-objc-header %S/Inputs/enum-anon.h
 
 func verifyIsInt(_: inout Int) { }
 func verifyIsInt32(_: inout Int32) { }

test/ClangImporter/objc_ir.swift

@@ -1,7 +1,8 @@
 
 // RUN: %empty-directory(%t)
 // RUN: %build-clang-importer-objc-overlays
-// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource -I %t) -module-name objc_ir -I %S/Inputs/custom-modules -emit-ir -g -o - -primary-file %s | %FileCheck %s
+// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource -I %t) %use_no_opaque_pointers -module-name objc_ir -I %S/Inputs/custom-modules -emit-ir -g -o - -primary-file %s | %FileCheck %s
+// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource -I %t) -module-name objc_ir -I %S/Inputs/custom-modules -emit-ir -g -o - -primary-file %s
 
 // REQUIRES: objc_interop
 // REQUIRES: OS=macosx

test/Concurrency/Backdeploy/mangling.swift

@@ -1,7 +1,9 @@
 // RUN: %empty-directory(%t)
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir -o %t/new.ir
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir -o %t/new.ir
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir
 // RUN: %FileCheck %s --check-prefix=NEW < %t/new.ir
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -o %t/old.ir -disable-availability-checking
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -o %t/old.ir -disable-availability-checking
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -disable-availability-checking
 // RUN: %FileCheck %s --check-prefix=OLD < %t/old.ir
 
 // Check that we add extra type metadata accessors for new kinds of functions

test/Concurrency/Backdeploy/weak_linking.swift

@@ -1,15 +1,19 @@
 // RUN: %empty-directory(%t)
 
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx13.0 -module-name main -emit-ir -o %t/new.ir
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -target %target-cpu-apple-macosx13.0 -module-name main -emit-ir -o %t/new.ir
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx13.0 -module-name main -emit-ir
 // RUN: %FileCheck %s --check-prefix=NEW < %t/new.ir
 
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir -o %t/backdeploy_56.ir
+// RUN: %target-swift-frontend %s %use_no_opaque_pointers -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir -o %t/backdeploy_56.ir
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx12.0 -module-name main -emit-ir
 // RUN: %FileCheck %s --check-prefix=BACKDEPLOY56 < %t/backdeploy_56.ir
 
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -o %t/backdeployed_concurrency.ir -disable-availability-checking
+// RUN: %target-swift-frontend %s %use_no_opaque_pointers -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -o %t/backdeployed_concurrency.ir -disable-availability-checking
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -module-name main -emit-ir -disable-availability-checking
 // RUN: %FileCheck %s --check-prefixes=BACKDEPLOY_CONCURRENCY,BACKDEPLOY56 < %t/backdeployed_concurrency.ir
 
-// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -O -module-name main -emit-ir -o %t/optimized.ir -disable-availability-checking
+// RUN: %target-swift-frontend %s %use_no_opaque_pointers -target %target-cpu-apple-macosx10.15 -O -module-name main -emit-ir -o %t/optimized.ir -disable-availability-checking
+// RUN: %target-swift-frontend %s -target %target-cpu-apple-macosx10.15 -O -module-name main -emit-ir -disable-availability-checking
 // RUN: %FileCheck %s --check-prefix=OPTIMIZED < %t/optimized.ir
 
 

test/DebugInfo/EagerTypeMetadata.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend %s -Onone -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -Onone -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %s -Onone -emit-ir -g -o -
 
 public class C<T>
 {

test/DebugInfo/LoadableByAddress-allockstack.swift

@@ -1,10 +1,14 @@
 // Check we don't crash when verifying debug info.
 // Ideally this should print the output after loadable by address runs
 // but there's no way of doing this in SIL (for IRGen passes).
-// RUN: %target-swift-frontend -emit-sil %s -Onone \
+// RUN: %target-swift-frontend %use_no_opaque_pointers -emit-sil %s -Onone \
 // RUN:   -sil-verify-all -Xllvm -verify-di-holes -emit-ir \
 // RUN:   -Xllvm -sil-print-debuginfo -g -o - | %FileCheck %s
 
+// RUN: %target-swift-frontend -emit-sil %s -Onone \
+// RUN:   -sil-verify-all -Xllvm -verify-di-holes -emit-ir \
+// RUN:   -Xllvm -sil-print-debuginfo -g -o -
+
 struct m {
   let major: Int
   let minor: Int

test/DebugInfo/LoadableByAddress.swift

@@ -1,4 +1,6 @@
-// RUN: %target-swift-frontend %s -module-name A -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -module-name A -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %s -module-name A -emit-ir -g -o -
+
 // REQUIRES: CPU=x86_64
 public struct Continuation<A> {
    private let magicToken = "Hello World"

test/DebugInfo/ProtocolContainer.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %s -emit-ir -g -o -
 
 func markUsed<T>(_ t: T) {}
 

test/DebugInfo/WeakCapture.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %s -emit-ir -g -o -
 class A {
     init(handler: (() -> ())) { }
 }

test/DebugInfo/any.swift

@@ -1,4 +1,5 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - | %FileCheck %s
+// RUN: %target-swift-frontend %s -emit-ir -g -o -
 
 func markUsed<T>(_ t: T) {}
 

test/DebugInfo/async-args.swift

@@ -1,6 +1,11 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - \
 // RUN:    -module-name M  -disable-availability-checking \
 // RUN:    -parse-as-library | %FileCheck %s
+
+// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN:    -module-name M  -disable-availability-checking \
+// RUN:    -parse-as-library
+
 // REQUIRES: concurrency
 
 func use<T>(_ t: T) {}

test/DebugInfo/async-let-await.swift

@@ -1,6 +1,11 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - \
 // RUN:    -module-name M  -disable-availability-checking \
 // RUN:    -parse-as-library | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize
+
+// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN:    -module-name M  -disable-availability-checking \
+// RUN:    -parse-as-library
+
 // REQUIRES: concurrency
 
 public func getVegetables() async -> [String] {

test/DebugInfo/async-let.swift

@@ -1,6 +1,11 @@
-// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN: %target-swift-frontend %use_no_opaque_pointers %s -emit-ir -g -o - \
 // RUN:    -module-name M  -disable-availability-checking \
 // RUN:    -parse-as-library | %FileCheck %s --check-prefix=CHECK
+
+// RUN: %target-swift-frontend %s -emit-ir -g -o - \
+// RUN:    -module-name M  -disable-availability-checking \
+// RUN:    -parse-as-library
+
 // REQUIRES: concurrency
 
 public actor Alice {