blob: e016b565730084d1f4d946e8a797f38b91527e5f (
plain)
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
|
; RUN: opt -passes=objc-arc -S < %s | FileCheck %s
; Don't hoist @llvm.objc.release past a use of its pointer, even
; if the use has function type, because clang uses function types
; in dubious ways.
; rdar://10551239
; CHECK-LABEL: define void @test0(
; CHECK: %otherBlock = phi ptr [ %b1, %if.then ], [ null, %entry ]
; CHECK-NEXT: call void @use_fptr(ptr %otherBlock)
; CHECK-NEXT: call void @llvm.objc.release(ptr %otherBlock)
define void @test0(i1 %tobool, ptr %b1) {
entry:
br i1 %tobool, label %if.end, label %if.then
if.then: ; preds = %entry
br label %if.end
if.end: ; preds = %if.then, %entry
%otherBlock = phi ptr [ %b1, %if.then ], [ null, %entry ]
call void @use_fptr(ptr %otherBlock)
call void @llvm.objc.release(ptr %otherBlock) nounwind
ret void
}
declare void @use_fptr(ptr)
declare void @llvm.objc.release(ptr)
|
