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