reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    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()