Merge pull request #70989 from nate-chandler/parse-tilde-in-sil

[Parse] Allow ~ in SIL.

Author: nate-chandler

lib/Parse/ParseType.cpp

@@ -172,7 +172,7 @@ ParserResult<TypeRepr> Parser::parseTypeSimple(
 
   // Eat any '~' preceding the type.
   SourceLoc tildeLoc;
-  if (Tok.isTilde() && !isInSILMode()) {
+  if (Tok.isTilde()) {
     tildeLoc = consumeToken();
   }
 

test/SIL/Parser/basic2.sil

@@ -2,6 +2,12 @@
 
 import Builtin
 
+class Klass {}
+@_moveOnly struct MoveOnlyPair {
+  var lhs: Klass
+  var rhs: Klass
+}
+
 // CHECK-LABEL: sil [ossa] @test_copy_release_value
 // CHECK: bb0([[T0:%[0-9]+]] : @owned $Builtin.NativeObject):
 // CHECK-NEXT: [[COPY_RESULT:%.*]] = copy_value [[T0]] : $Builtin.NativeObject
@@ -301,3 +307,26 @@ bb0(%0 : @owned $Builtin.NativeObject, %1 : @owned $Builtin.NativeObject):
   %9999 = tuple()
   return %9999 : $()
 }
+
+// CHECK-LABEL: sil [ossa] @testMarkUnresolvedNonCopyableValueInst : $@convention(thin) (@guaranteed Klass) -> () {
+// CHECK: mark_unresolved_non_copyable_value [consumable_and_assignable] %{{[0-9]+}} : $*MoveOnlyPair
+// CHECK: } // end sil function 'testMarkUnresolvedNonCopyableValueInst'
+sil [ossa] @testMarkUnresolvedNonCopyableValueInst : $@convention(thin) (@guaranteed Klass) -> () {
+bb0(%0 : @guaranteed $Klass):
+  %1 = alloc_box ${ var MoveOnlyPair }
+  %2 = project_box %1 : ${ var MoveOnlyPair }, 0
+  %3 = mark_unresolved_non_copyable_value [consumable_and_assignable] %2 : $*MoveOnlyPair
+  %3c = begin_access [modify] [static] %3 : $*MoveOnlyPair
+  %3a = struct_element_addr %3c : $*MoveOnlyPair, #MoveOnlyPair.lhs
+  %3b = struct_element_addr %3c : $*MoveOnlyPair, #MoveOnlyPair.rhs
+  %0a = copy_value %0 : $Klass
+  %0b = copy_value %0 : $Klass
+  store %0a to [init] %3a : $*Klass
+  store %0b to [init] %3b : $*Klass
+  end_access %3c : $*MoveOnlyPair
+
+  destroy_value %1 : ${ var MoveOnlyPair }
+
+  %9999 = tuple()
+  return %9999 : $()
+}

test/SIL/Parser/basic2_moveonly.sil

@@ -0,0 +1,33 @@
+// RUN: %target-sil-opt                                      \
+// RUN:     %s                                               \
+// RUN:     -enable-experimental-feature NoncopyableGenerics \
+// RUN:     -enable-experimental-feature NonescapableTypes   \
+// RUN: |                                                    \
+// RUN: %target-sil-opt                                      \
+// RUN:     -enable-experimental-feature NoncopyableGenerics \
+// RUN:     -enable-experimental-feature NonescapableTypes   \
+// RUN: |                                                    \
+// RUN: %FileCheck %s
+
+// For -enable-experimental-feature NoncopyableGenerics/NonescapableTypes
+// REQUIRES: asserts
+// TODO: Once NoncopyableGenerics/NonescapableTypes is no longer behind a feature flag, merge this into basic2.
+
+sil_stage raw
+
+import Swift
+
+// CHECK-LABEL: struct NCG<T> : ~Copyable {
+// CHECK-NEXT:    var t: T
+// CHECK-NEXT:    deinit
+struct NCG<T> : ~Copyable {
+  var t: T
+  deinit
+}
+
+// CHECK-LABEL: struct NEG<T> : ~Escapable {
+// CHECK-NEXT:    var t: T
+struct NEG<T> : ~Escapable {
+  var t: T
+}
+