Merge pull request #72257 from nate-chandler/noncopyable-bugs/20240312/1

[ConsumeAddrChecker] Check in_guaranteed arguments.

Author: nate-chandler

lib/SILOptimizer/Mandatory/ConsumeOperatorCopyableAddressesChecker.cpp

@@ -2465,6 +2465,7 @@ class ConsumeOperatorCopyableAddressesCheckerPass
     for (auto *arg : fn->front().getSILFunctionArguments()) {
       if (arg->getType().isAddress() &&
           (arg->hasConvention(SILArgumentConvention::Indirect_In) ||
+           arg->hasConvention(SILArgumentConvention::Indirect_In_Guaranteed) ||
            arg->hasConvention(SILArgumentConvention::Indirect_Inout)))
         addressesToCheck.insert(arg);
     }

test/SILOptimizer/consume_operator_kills_copyable_addressonly_lets.swift

@@ -147,7 +147,7 @@ public func conditionalBadConsumingUseLoop2<T>(_ x: T) {
 
 // This is ok, no uses after.
 public func simpleMoveOfParameter<T>(_ x: T) -> () {
-    let _ = consume x // expected-error {{'consume' applied to value that the compiler does not support}}
+    let _ = consume x
 }
 
 public func simpleMoveOfOwnedParameter<T>(_ x: __owned T) -> () {
@@ -202,6 +202,26 @@ public func errorLoopMoveOfParameterNonConsume<T>(_ x: __owned T) -> () { // exp
     }
 }
 
+func consumeConsuming<T>(_ k: consuming T) {
+  _ = consume k
+}
+
+func consumeBorrowing<T>(_ k: borrowing T) { // expected-error{{'k' is borrowed and cannot be consumed}}
+  _ = consume k // expected-note{{consumed here}}
+}
+
+func consumeOwned<T>(_ k: __owned T) {
+  _ = consume k
+}
+
+func consumeShared<T>(_ k: __shared T) {
+  _ = consume k
+}
+
+func consumeBare<T>(_ k: T) {
+  _ = consume k
+}
+
 ////////////////////////
 // Pattern Match Lets //
 ////////////////////////