1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
// RUN: %target-swift-frontend -c -O -enable-copy-propagation=true -enable-lexical-lifetimes=true -sil-verify-all -Xllvm -sil-print-final-ossa-module %s | %FileCheck %s
// =============================================================================
// = DECLARATIONS {{
// =============================================================================
@_silgen_name("consumeAndProduce")
func consumeAndProduce(_ arg: __owned AnyObject) -> AnyObject
// =============================================================================
// = DECLARATIONS }}
// =============================================================================
// =============================================================================
// = TESTS {{
// =============================================================================
@_silgen_name("eliminate_copy_of_returned_then_consumed_owned_value")
public func eliminate_copy_of_returned_then_consumed_owned_value(arg: __owned AnyObject) {
// CHECK-LABEL: sil [ossa] @eliminate_copy_of_returned_then_consumed_owned_value : {{.*}} {
// CHECK: {{bb[0-9]+}}([[ARG:%[^,]+]] : @owned $AnyObject):
// retain arg
// CHECK: [[ARG_COPY:%[^,]+]] = copy_value [[ARG]]
let x = consumeAndProduce(arg)
// CHECK: [[X:%[^,]+]] = apply {{%[^,]+}}([[ARG_COPY]])
// CHECK: [[MOVE_X:%[^,]+]] = move_value [lexical] [var_decl] [[X]]
// no copy of 'x'
_ = consumeAndProduce(x)
// CHECK: [[RESULT:%[^,]+]] = apply {{%[^,]+}}([[MOVE_X]])
// release arg
// release result
// CHECK: destroy_value [[RESULT]]
// CHECK: destroy_value [[ARG]]
// CHECK-LABEL: } // end sil function 'eliminate_copy_of_returned_then_consumed_owned_value'
}
// =============================================================================
// = TESTS }}
// =============================================================================
|
