| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 1 | ; Ensure constant propagation of remainder instructions is working correctly. |
| Chris Lattner | 8e122e1 | 2002-05-03 20:14:21 +0000 | [diff] [blame] | 2 | |
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 3 | ; RUN: as < %s | opt -constprop -die | dis | not grep rem |
| Chris Lattner | 8e122e1 | 2002-05-03 20:14:21 +0000 | [diff] [blame] | 4 | |
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 5 | int %test1() { |
| Chris Lattner | 8e122e1 | 2002-05-03 20:14:21 +0000 | [diff] [blame] | 6 | %R = rem int 4, 3 |
| 7 | ret int %R | ||||
| 8 | } | ||||
| 9 | |||||
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 10 | int %test2() { |
| Chris Lattner | 8e122e1 | 2002-05-03 20:14:21 +0000 | [diff] [blame] | 11 | %R = rem int 123, -23 |
| 12 | ret int %R | ||||
| 13 | } | ||||
| 14 | |||||
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 15 | float %test3() { |
| Chris Lattner | 6a7cd22 | 2002-05-03 20:16:29 +0000 | [diff] [blame] | 16 | %R = rem float 12.45, 123.213 |
| 17 | ret float %R | ||||
| 18 | } | ||||
| 19 | |||||
| Chris Lattner | 50e8682 | 2003-06-28 23:23:34 +0000 | [diff] [blame^] | 20 | double %test4() { |
| Chris Lattner | 6a7cd22 | 2002-05-03 20:16:29 +0000 | [diff] [blame] | 21 | %R = rem double 312.20213123, 12.3333412 |
| 22 | ret double %R | ||||
| 23 | } | ||||