Chris Lattner | 97555b5 | 2002-05-06 05:35:20 +0000 | [diff] [blame] | 1 | ; This test makes sure that div instructions are properly eliminated. |
| 2 | ; |
| 3 | |
Misha Brukman | e78760e | 2003-09-16 15:29:54 +0000 | [diff] [blame] | 4 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep div |
Chris Lattner | 97555b5 | 2002-05-06 05:35:20 +0000 | [diff] [blame] | 5 | |
| 6 | implementation |
| 7 | |
Chris Lattner | 07928ef | 2003-02-18 19:16:45 +0000 | [diff] [blame] | 8 | int %test1(int %A) { |
Chris Lattner | 97555b5 | 2002-05-06 05:35:20 +0000 | [diff] [blame] | 9 | %B = div int %A, 1 |
| 10 | ret int %B |
Chris Lattner | 07928ef | 2003-02-18 19:16:45 +0000 | [diff] [blame] | 11 | } |
Chris Lattner | 5640f33 | 2003-02-18 19:28:47 +0000 | [diff] [blame] | 12 | |
| 13 | uint %test2(uint %A) { |
| 14 | %B = div uint %A, 8 ; => Shift |
Chris Lattner | db05858 | 2004-04-26 14:01:47 +0000 | [diff] [blame] | 15 | ret uint %B |
Chris Lattner | 5640f33 | 2003-02-18 19:28:47 +0000 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | int %test3(int %A) { |
| 19 | %B = div int 0, %A ; => 0, don't need to keep traps |
| 20 | ret int %B |
| 21 | } |
Chris Lattner | db05858 | 2004-04-26 14:01:47 +0000 | [diff] [blame] | 22 | |
| 23 | int %test4(int %A) { |
| 24 | %B = div int %A, -1 ; 0-A |
| 25 | ret int %B |
| 26 | } |
Chris Lattner | 46c4dcd | 2004-09-28 18:21:01 +0000 | [diff] [blame] | 27 | |
| 28 | uint %test5(uint %A) { |
| 29 | %B = div uint %A, 4294967280 |
| 30 | %C = div uint %B, 4294967292 |
| 31 | ret uint %C |
| 32 | } |
Chris Lattner | a239350 | 2004-09-29 17:37:07 +0000 | [diff] [blame] | 33 | |
| 34 | bool %test6(uint %A) { |
| 35 | %B = div uint %A, 123 |
| 36 | %C = seteq uint %B, 0 ; A < 123 |
| 37 | ret bool %C |
| 38 | } |
| 39 | |
| 40 | bool %test7(uint %A) { |
| 41 | %B = div uint %A, 10 |
| 42 | %C = seteq uint %B, 2 ; A >= 20 && A < 30 |
| 43 | ret bool %C |
| 44 | } |
| 45 | |
| 46 | bool %test8(ubyte %A) { |
| 47 | %B = div ubyte %A, 123 |
| 48 | %C = seteq ubyte %B, 2 ; A >= 246 |
| 49 | ret bool %C |
| 50 | } |
| 51 | |
| 52 | bool %test9(ubyte %A) { |
| 53 | %B = div ubyte %A, 123 |
| 54 | %C = setne ubyte %B, 2 ; A < 246 |
| 55 | ret bool %C |
| 56 | } |
| 57 | |
Chris Lattner | cb8e9c9 | 2004-12-12 21:40:22 +0000 | [diff] [blame] | 58 | uint %test10(uint %X, bool %C) { |
| 59 | %V = select bool %C, uint 64, uint 8 |
Reid Spencer | 1628cec | 2006-10-26 06:15:43 +0000 | [diff] [blame^] | 60 | %R = udiv uint %X, %V |
Chris Lattner | cb8e9c9 | 2004-12-12 21:40:22 +0000 | [diff] [blame] | 61 | ret uint %R |
| 62 | } |
| 63 | |
Reid Spencer | 1628cec | 2006-10-26 06:15:43 +0000 | [diff] [blame^] | 64 | int %test11(int %X, bool %C) { |
| 65 | %A = select bool %C, int 1024, int 32 |
| 66 | %B = udiv int %X, %A |
| 67 | ret int %B |
Chris Lattner | fee906b | 2006-02-05 07:52:47 +0000 | [diff] [blame] | 68 | } |