[semantic-arc] Wire up Parsing/Printing/IRGen/Serialization/Deserialization for copy_value, destroy_value.

rdar://28851920
This commit is contained in:
Michael Gottesman
2016-10-22 20:57:17 -07:00
parent 705f2d2fbc
commit ab0ffa2c39
14 changed files with 153 additions and 8 deletions

View File

@@ -1080,10 +1080,15 @@ sil @test_mark_fn_escape : $() -> () {
sil @test_copy_release_value : $(Val) -> (Val) {
bb0(%0 : $Val):
retain_value %0 : $Val
%1 = copy_value %0 : $Val
release_value %0 : $Val
return %0 : $Val
destroy_value %0 : $Val
return %1 : $Val
// CHECK: retain_value [[T0:%.*]] : $Val
// CHECK-NEXT: [[COPY_RESULT:%.*]] = copy_value [[T0]] : $Val
// CHECK-NEXT: release_value [[T0]] : $Val
// CHECK-NEXT: destroy_value [[T0]] : $Val
// CHECK-NEXT: return [[COPY_RESULT]]
}
// CHECK-LABEL: sil @test_autorelease_value