test/Transforms/TailCallElim/notail.ll

   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
   6 define void @foo1(i32 %a) {
   7 entry:
   8   %tobool = icmp eq i32 %a, 0
   9   br i1 %tobool, label %if.else, label %if.then
  10
  11 if.then:
  12   call void @callee0()
  13   br label %if.end
  14
  15 if.else:
  16   notail call void @callee1()
  17   br label %if.end
  18
  19 if.end:
  20   ret void
  21 }
  22
  23 declare void @callee0()
  24 declare void @callee1()