1; RUN: opt < %s -tailcallelim -verify-dom-info -S | FileCheck %s 2 3; CHECK: tail call void @callee0() 4; CHECK: notail call void @callee1() 5 6define void @foo1(i32 %a) { 7entry: 8 %tobool = icmp eq i32 %a, 0 9 br i1 %tobool, label %if.else, label %if.then 10 11if.then: 12 call void @callee0() 13 br label %if.end 14 15if.else: 16 notail call void @callee1() 17 br label %if.end 18 19if.end: 20 ret void 21} 22 23declare void @callee0() 24declare void @callee1() 25