blob: d84e1a1525fe554d2bca10e03ce4d39bb54e4928 (
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
|
; RUN: opt < %s -tailcallelim -verify-dom-info -S | FileCheck %s
; CHECK: tail call void @callee0()
; CHECK: notail call void @callee1()
define void @foo1(i32 %a) {
entry:
%tobool = icmp eq i32 %a, 0
br i1 %tobool, label %if.else, label %if.then
if.then:
call void @callee0()
br label %if.end
if.else:
notail call void @callee1()
br label %if.end
if.end:
ret void
}
declare void @callee0()
declare void @callee1()
|
