Chris Lattner | 08c7fd1 | 2005-08-10 00:48:11 +0000 | [diff] [blame] | 1 | ; Check that variable strides are reduced to adds instead of multiplies. |
Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -loop-reduce -S | not grep mul |
Chris Lattner | 08c7fd1 | 2005-08-10 00:48:11 +0000 | [diff] [blame] | 3 | |
Mehdi Amini | 46a4355 | 2015-03-04 18:43:29 +0000 | [diff] [blame] | 4 | ; Provide legal integer types. |
| 5 | target datalayout = "n8:16:32:64" |
| 6 | |
Tanya Lattner | ab7872c | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 7 | declare i1 @pred(i32) |
Chris Lattner | 08c7fd1 | 2005-08-10 00:48:11 +0000 | [diff] [blame] | 8 | |
Tanya Lattner | ab7872c | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 9 | define void @test([10000 x i32]* %P, i32 %STRIDE) { |
| 10 | ; <label>:0 |
Chris Lattner | 08c7fd1 | 2005-08-10 00:48:11 +0000 | [diff] [blame] | 11 | br label %Loop |
Tanya Lattner | ab7872c | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 12 | Loop: ; preds = %Loop, %0 |
| 13 | %INDVAR = phi i32 [ 0, %0 ], [ %INDVAR2, %Loop ] ; <i32> [#uses=2] |
| 14 | %Idx = mul i32 %INDVAR, %STRIDE ; <i32> [#uses=1] |
| 15 | %cond = call i1 @pred( i32 %Idx ) ; <i1> [#uses=1] |
| 16 | %INDVAR2 = add i32 %INDVAR, 1 ; <i32> [#uses=1] |
| 17 | br i1 %cond, label %Loop, label %Out |
| 18 | Out: ; preds = %Loop |
Chris Lattner | 08c7fd1 | 2005-08-10 00:48:11 +0000 | [diff] [blame] | 19 | ret void |
| 20 | } |
Tanya Lattner | ab7872c | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 21 | |