blob: d84e1a1525fe554d2bca10e03ce4d39bb54e4928 [file] [log] [blame]
; 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()