| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-reduce -S | grep add | count 2 |
| Devang Patel | 97387e6 | 2008-08-13 02:05:14 +0000 | [diff] [blame] | 2 | ; PR 2662 |
| Mehdi Amini | 46a4355 | 2015-03-04 18:43:29 +0000 | [diff] [blame] | 3 | |
| 4 | ; Provide legal integer types. |
| 5 | target datalayout = "n8:16:32:64" |
| 6 | |
| Devang Patel | 97387e6 | 2008-08-13 02:05:14 +0000 | [diff] [blame] | 7 | @g_3 = common global i16 0 ; <i16*> [#uses=2] |
| 8 | @"\01LC" = internal constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] |
| 9 | |
| 10 | define void @func_1() nounwind { |
| 11 | entry: |
| 12 | br label %bb |
| 13 | |
| 14 | bb: ; preds = %bb, %entry |
| 15 | %l_2.0.reg2mem.0 = phi i16 [ 0, %entry ], [ %t1, %bb ] ; <i16> [#uses=2] |
| 16 | %t0 = shl i16 %l_2.0.reg2mem.0, 1 ; <i16>:0 [#uses=1] |
| Chris Lattner | 6a144a2 | 2011-11-27 06:54:59 +0000 | [diff] [blame] | 17 | store volatile i16 %t0, i16* @g_3, align 2 |
| Devang Patel | 97387e6 | 2008-08-13 02:05:14 +0000 | [diff] [blame] | 18 | %t1 = add i16 %l_2.0.reg2mem.0, -3 ; <i16>:1 [#uses=2] |
| 19 | %t2 = icmp slt i16 %t1, 1 ; <i1>:2 [#uses=1] |
| 20 | br i1 %t2, label %bb, label %return |
| 21 | |
| 22 | return: ; preds = %bb |
| 23 | ret void |
| 24 | } |
| 25 | |
| 26 | define i32 @main() nounwind { |
| 27 | entry: |
| 28 | tail call void @func_1( ) nounwind |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 29 | load volatile i16, i16* @g_3, align 2 ; <i16>:0 [#uses=1] |
| Devang Patel | 97387e6 | 2008-08-13 02:05:14 +0000 | [diff] [blame] | 30 | zext i16 %0 to i32 ; <i32>:1 [#uses=1] |
| David Blaikie | 23af648 | 2015-04-16 23:24:18 +0000 | [diff] [blame] | 31 | tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @"\01LC", i32 0, i32 0), i32 %1 ) nounwind ; <i32>:2 [#uses=0] |
| Devang Patel | 97387e6 | 2008-08-13 02:05:14 +0000 | [diff] [blame] | 32 | ret i32 0 |
| 33 | } |
| 34 | |
| 35 | declare i32 @printf(i8*, ...) nounwind |