Skip to content

Commit 21d7a25

Browse files
committed
Fix SILGen/reabstract.swift
1 parent a3bdc5b commit 21d7a25

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

test/SILGen/reabstract.swift

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,13 +37,12 @@ func test0() {
3737
// MANDATORY-NEXT: [[CVT:%.*]] = convert_escape_to_noescape [[T2]]
3838
// MANDATORY-NEXT: //{{.*}}reabstraction thunk
3939
// MANDATORY-NEXT: [[T3:%.*]] = function_ref [[THUNK:@.*]] :
40-
// MANDATORY-NEXT: [[T4:%.*]] = partial_apply [callee_guaranteed] [[T3]]([[CVT]])
41-
// MANDATORY-NEXT: [[CVT:%.*]] = convert_escape_to_noescape [[T4]]
40+
// MANDATORY-NEXT: [[T4:%.*]] = partial_apply [callee_guaranteed] [on_stack] [[T3]]([[CVT]])
4241
// MANDATORY-NEXT: strong_release [[T2]]
4342
// MANDATORY-NEXT: // function_ref
4443
// MANDATORY-NEXT: [[T0:%.*]] = function_ref @$s10reabstract6takeFn{{[_0-9a-zA-Z]*}}F
45-
// MANDATORY-NEXT: apply [[T0]]<Int>([[CVT]])
46-
// MANDATORY-NEXT: strong_release [[T4]]
44+
// MANDATORY-NEXT: apply [[T0]]<Int>([[T4]])
45+
// MANDATORY-NEXT: dealloc_stack [[T4]] : $@noescape @callee_guaranteed (@in_guaranteed Int) -> @out Optional<Int>
4746
// MANDATORY-NEXT: strong_release [[T2]]
4847
// MANDATORY-NEXT: tuple ()
4948
// MANDATORY-NEXT: return

0 commit comments

Comments
 (0)