1; REQUIRES: asserts 2; This function contains two tail calls, which should be eliminated 3; RUN: opt < %s -tailcallelim -verify-dom-info -stats -disable-output 2>&1 | grep "2 tailcallelim" 4 5define i32 @Ack(i32 %M.1, i32 %N.1) { 6entry: 7 %tmp.1 = icmp eq i32 %M.1, 0 ; <i1> [#uses=1] 8 br i1 %tmp.1, label %then.0, label %endif.0 9then.0: ; preds = %entry 10 %tmp.4 = add i32 %N.1, 1 ; <i32> [#uses=1] 11 ret i32 %tmp.4 12endif.0: ; preds = %entry 13 %tmp.6 = icmp eq i32 %N.1, 0 ; <i1> [#uses=1] 14 br i1 %tmp.6, label %then.1, label %endif.1 15then.1: ; preds = %endif.0 16 %tmp.10 = add i32 %M.1, -1 ; <i32> [#uses=1] 17 %tmp.8 = call i32 @Ack( i32 %tmp.10, i32 1 ) ; <i32> [#uses=1] 18 ret i32 %tmp.8 19endif.1: ; preds = %endif.0 20 %tmp.13 = add i32 %M.1, -1 ; <i32> [#uses=1] 21 %tmp.17 = add i32 %N.1, -1 ; <i32> [#uses=1] 22 %tmp.14 = call i32 @Ack( i32 %M.1, i32 %tmp.17 ) ; <i32> [#uses=1] 23 %tmp.11 = call i32 @Ack( i32 %tmp.13, i32 %tmp.14 ) ; <i32> [#uses=1] 24 ret i32 %tmp.11 25} 26 27