| Chris Lattner | a9db34f | 2004-07-27 06:35:11 +0000 | [diff] [blame] | 1 | ; Test that pure functions are cse'd away |
| 2 | |
| Reid Spencer | 69ccadd | 2006-12-02 04:23:10 +0000 | [diff] [blame^] | 3 | ; RUN: llvm-upgrade < %s | llvm-as | opt -globalsmodref-aa -load-vn -gcse -instcombine | llvm-dis | not grep sub |
| Chris Lattner | a9db34f | 2004-07-27 06:35:11 +0000 | [diff] [blame] | 4 | |
| 5 | int %pure(int %X) { |
| 6 | %Y = add int %X, 1 |
| 7 | ret int %Y |
| 8 | } |
| 9 | |
| Chris Lattner | feeeb30 | 2004-12-17 17:14:00 +0000 | [diff] [blame] | 10 | int %test1(int %X) { |
| Chris Lattner | a9db34f | 2004-07-27 06:35:11 +0000 | [diff] [blame] | 11 | %A = call int %pure(int %X) |
| 12 | %B = call int %pure(int %X) |
| 13 | %C = sub int %A, %B |
| 14 | ret int %C |
| 15 | } |
| Chris Lattner | feeeb30 | 2004-12-17 17:14:00 +0000 | [diff] [blame] | 16 | |
| 17 | int %test2(int %X, int* %P) { |
| 18 | %A = call int %pure(int %X) |
| 19 | store int %X, int* %P ;; Does not invalidate 'pure' call. |
| 20 | %B = call int %pure(int %X) |
| 21 | %C = sub int %A, %B |
| 22 | ret int %C |
| 23 | } |