[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopVectorize / X86 / rauw-bug.ll
blob4284fbacfa7e5db7cef0fdc4c3c084459aa131d1
1 ; RUN: opt -slp-vectorizer -S %s
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-n32:64-S128"
4 target triple = "x86_64-apple-macosx"
6 ; This test used to fail under libgmalloc. Because we would try to access a
7 ; pointer that was already deleted.
9 ; llvm-lit -v --param use_gmalloc=1 --param
10 ;   gmalloc_path=/usr/lib/libgmalloc.dylib
11 ;   test/Transforms/LoopVectorize/X86/rauw-bug.ll
13 ; radar://15498655
15 ; CHECK: reduced
16 define void @reduced()  {
17 entry:
18   br i1 undef, label %while.body, label %while.cond63.preheader.while.end76_crit_edge
20 while.cond63.preheader.while.end76_crit_edge:
21   ret void
23 while.body:
24   %d2_fx.015 = phi double [ %sub52, %while.body ], [ undef, %entry ]
25   %d2_fy.014 = phi double [ %sub58, %while.body ], [ undef, %entry ]
26   %d3_fy.013 = phi double [ %div56, %while.body ], [ undef, %entry ]
27   %d3_fx.012 = phi double [ %div50, %while.body ], [ undef, %entry ]
28   %div50 = fmul double %d3_fx.012, 1.250000e-01
29   %sub52 = fsub double 0.000000e+00, %div50
30   %div56 = fmul double %d3_fy.013, 1.250000e-01
31   %sub58 = fsub double 0.000000e+00, %div56
32   br label %while.body