| Jan Wen Voung | 6dc3076 | 2013-03-12 16:27:52 +0000 | [diff] [blame] | 1 | ; REQUIRES: asserts |
| Chris Lattner | 50af751 | 2003-09-20 05:02:54 +0000 | [diff] [blame] | 2 | ; This function contains two tail calls, which should be eliminated |
| Chandler Carruth | 5da5343 | 2012-07-02 18:37:59 +0000 | [diff] [blame] | 3 | ; RUN: opt < %s -tailcallelim -stats -disable-output 2>&1 | grep "2 tailcallelim" |
| Chris Lattner | 50af751 | 2003-09-20 05:02:54 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | 5f4b355 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 5 | define i32 @Ack(i32 %M.1, i32 %N.1) { |
| Chris Lattner | 50af751 | 2003-09-20 05:02:54 +0000 | [diff] [blame] | 6 | entry: |
| Tanya Lattner | 5f4b355 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 7 | %tmp.1 = icmp eq i32 %M.1, 0 ; <i1> [#uses=1] |
| 8 | br i1 %tmp.1, label %then.0, label %endif.0 |
| 9 | then.0: ; preds = %entry |
| 10 | %tmp.4 = add i32 %N.1, 1 ; <i32> [#uses=1] |
| 11 | ret i32 %tmp.4 |
| 12 | endif.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 |
| 15 | then.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 |
| 19 | endif.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 |
| Chris Lattner | 50af751 | 2003-09-20 05:02:54 +0000 | [diff] [blame] | 25 | } |
| 26 | |