| Chris Lattner | e473a34 | 2002-05-07 20:22:12 +0000 | [diff] [blame] | 1 | ; Ensure constant propogation of 'not' instructions is working correctly. |
| 2 | |||||
| Reid Spencer | 69ccadd | 2006-12-02 04:23:10 +0000 | [diff] [blame] | 3 | ; RUN: llvm-upgrade < %s | llvm-as | opt -constprop -die | llvm-dis | not grep xor |
| Chris Lattner | e473a34 | 2002-05-07 20:22:12 +0000 | [diff] [blame] | 4 | |
| 5 | int "test1"() { | ||||
| Chris Lattner | d0cad7a | 2002-08-14 19:26:34 +0000 | [diff] [blame] | 6 | %R = xor int 4, -1 |
| Chris Lattner | e473a34 | 2002-05-07 20:22:12 +0000 | [diff] [blame] | 7 | ret int %R |
| 8 | } | ||||
| 9 | |||||
| 10 | int "test2"() { | ||||
| Chris Lattner | d0cad7a | 2002-08-14 19:26:34 +0000 | [diff] [blame] | 11 | %R = xor int -23, -1 |
| Chris Lattner | e473a34 | 2002-05-07 20:22:12 +0000 | [diff] [blame] | 12 | ret int %R |
| 13 | } | ||||
| 14 | |||||
| 15 | bool "test3"() { | ||||
| Chris Lattner | d0cad7a | 2002-08-14 19:26:34 +0000 | [diff] [blame] | 16 | %R = xor bool true, true |
| Chris Lattner | e473a34 | 2002-05-07 20:22:12 +0000 | [diff] [blame] | 17 | ret bool %R |
| 18 | } | ||||
| 19 | |||||