| Arnold Schwaighofer | 12b0d1c | 2013-05-22 16:54:56 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -loop-vectorize -force-vector-width=4 -force-vector-unroll=1 -dce -instcombine < %s | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 4 | |
| 5 | ; PR16073 |
| 6 | |
| Alp Toker | cb40291 | 2014-01-24 17:20:08 +0000 | [diff] [blame] | 7 | ; Because we were caching value pointers across a function call that could RAUW |
| Arnold Schwaighofer | 12b0d1c | 2013-05-22 16:54:56 +0000 | [diff] [blame] | 8 | ; we would generate an undefined value store below: |
| 9 | ; SCEVExpander::expandCodeFor would change a value (the start value of an |
| 10 | ; induction) that we cached in the induction variable list. |
| 11 | |
| Matt Arsenault | e64c7c7 | 2013-10-02 20:29:00 +0000 | [diff] [blame] | 12 | ; CHECK-LABEL: @test_vh( |
| Arnold Schwaighofer | 12b0d1c | 2013-05-22 16:54:56 +0000 | [diff] [blame] | 13 | ; CHECK-NOT: store <4 x i8> undef |
| 14 | |
| 15 | define void @test_vh(i32* %ptr265, i32* %ptr266, i32 %sub267) { |
| 16 | entry: |
| 17 | br label %loop |
| 18 | |
| 19 | loop: |
| 20 | %inc = phi i32 [ %sub267, %entry ], [ %add, %loop] |
| 21 | %ext.inc = sext i32 %inc to i64 |
| 22 | %add.ptr265 = getelementptr inbounds i32* %ptr265, i64 %ext.inc |
| 23 | %add.ptr266 = getelementptr inbounds i32* %ptr266, i64 %ext.inc |
| 24 | %add = add i32 %inc, 9 |
| 25 | %cmp = icmp slt i32 %add, 140 |
| 26 | br i1 %cmp, label %block1, label %loop |
| 27 | |
| 28 | block1: |
| 29 | %sub267.lcssa = phi i32 [ %add, %loop ] |
| 30 | %add.ptr266.lcssa = phi i32* [ %add.ptr266, %loop ] |
| 31 | %add.ptr265.lcssa = phi i32* [ %add.ptr265, %loop ] |
| 32 | %tmp29 = bitcast i32* %add.ptr265.lcssa to i8* |
| 33 | %tmp30 = bitcast i32* %add.ptr266.lcssa to i8* |
| 34 | br label %do.body272 |
| 35 | |
| 36 | do.body272: |
| 37 | %row_width.5 = phi i32 [ %sub267.lcssa, %block1 ], [ %dec, %do.body272 ] |
| 38 | %sp.4 = phi i8* [ %tmp30, %block1 ], [ %incdec.ptr273, %do.body272 ] |
| 39 | %dp.addr.4 = phi i8* [ %tmp29, %block1 ], [ %incdec.ptr274, %do.body272 ] |
| 40 | %incdec.ptr273 = getelementptr inbounds i8* %sp.4, i64 1 |
| 41 | %tmp31 = load i8* %sp.4, align 1 |
| 42 | %incdec.ptr274 = getelementptr inbounds i8* %dp.addr.4, i64 1 |
| 43 | store i8 %tmp31, i8* %dp.addr.4, align 1 |
| 44 | %dec = add i32 %row_width.5, -1 |
| 45 | %cmp276 = icmp eq i32 %dec, 0 |
| 46 | br i1 %cmp276, label %loop.exit, label %do.body272 |
| 47 | |
| 48 | loop.exit: |
| 49 | ret void |
| 50 | } |