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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: %target-sil-opt -enable-sil-verify-all -inline %s -verify-continue-on-failure=true -dont-abort-on-memory-lifetime-errors -o /dev/null 2>&1 | %FileCheck %s
// REQUIRES: asserts
// Tests here are patterns we should not consider as broken
import Builtin
class SuperKlass {}
class Klass : SuperKlass {}
struct WrapperStruct {
var cls : Klass
}
sil [ossa] @foo1 : $@convention(thin) (@guaranteed WrapperStruct, @in_guaranteed WrapperStruct) -> ()
sil [ossa] @foo2 : $@convention(thin) (@owned WrapperStruct, @in_guaranteed WrapperStruct) -> ()
sil [ossa] @test1 : $@convention(thin) (@in_guaranteed WrapperStruct) -> () {
bb0(%0 : $*WrapperStruct):
%1 = load_borrow %0 : $*WrapperStruct
%func = function_ref @foo1 : $@convention(thin) (@guaranteed WrapperStruct, @in_guaranteed WrapperStruct) -> ()
%pa = partial_apply [callee_guaranteed] [on_stack] %func(%1, %0) : $@convention(thin) (@guaranteed WrapperStruct, @in_guaranteed WrapperStruct) -> ()
destroy_value %pa : $@noescape @callee_guaranteed () -> ()
end_borrow %1 : $WrapperStruct
%res = tuple ()
return %res : $()
}
sil [ossa] @test2 : $@convention(thin) (@in_guaranteed WrapperStruct) -> () {
bb0(%0 : $*WrapperStruct):
%1 = load_borrow %0 : $*WrapperStruct
%copy = copy_value %1 : $WrapperStruct
%func = function_ref @foo2 : $@convention(thin) (@owned WrapperStruct, @in_guaranteed WrapperStruct) -> ()
%pa = partial_apply %func(%copy, %0) : $@convention(thin) (@owned WrapperStruct, @in_guaranteed WrapperStruct) -> ()
end_borrow %1 : $WrapperStruct
destroy_value %pa : $@callee_owned () -> ()
%res = tuple ()
return %res : $()
}
// CHECK-NOT: Function: 'caller1'
sil [ossa] @caller1 : $@convention(thin) (@owned WrapperStruct) -> () {
bb0(%0 : @owned $WrapperStruct):
%stk = alloc_stack $WrapperStruct
store %0 to [init] %stk : $*WrapperStruct
%func = function_ref @test1 : $@convention(thin) (@in_guaranteed WrapperStruct) -> ()
%a = apply %func(%stk) : $@convention(thin) (@in_guaranteed WrapperStruct) -> ()
destroy_addr %stk : $*WrapperStruct
dealloc_stack %stk : $*WrapperStruct
%res = tuple ()
return %res : $()
}
// Note: The MemoryLifetimeVerifier will also report an error for this function. Therefore
// we run sil-opt with -dont-abort-on-memory-lifetime-error.
// CHECK-LABEL: Begin Error in function caller2
// CHECK: SIL verification failed: Found load borrow that is invalidated by a local write?!: loadBorrowImmutabilityAnalysis.isImmutable(LBI)
// CHECK-LABEL: End Error in function caller2
sil [ossa] @caller2 : $@convention(thin) (@owned WrapperStruct) -> () {
bb0(%0 : @owned $WrapperStruct):
%stk = alloc_stack $WrapperStruct
store %0 to [init] %stk : $*WrapperStruct
%func = function_ref @test2 : $@convention(thin) (@in_guaranteed WrapperStruct) -> ()
%a = apply %func(%stk) : $@convention(thin) (@in_guaranteed WrapperStruct) -> ()
destroy_addr %stk : $*WrapperStruct
dealloc_stack %stk : $*WrapperStruct
%res = tuple ()
return %res : $()
}
|
