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