diff options
Diffstat (limited to 'test/Transforms/SLPVectorizer/X86/crash_binaryop.ll')
| -rw-r--r-- | test/Transforms/SLPVectorizer/X86/crash_binaryop.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/Transforms/SLPVectorizer/X86/crash_binaryop.ll b/test/Transforms/SLPVectorizer/X86/crash_binaryop.ll new file mode 100644 index 0000000..dc99366 --- /dev/null +++ b/test/Transforms/SLPVectorizer/X86/crash_binaryop.ll @@ -0,0 +1,41 @@ +; RUN: opt < %s -basicaa -slp-vectorizer -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 + +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-darwin13.3.0" + +@a = common global double 0.000000e+00, align 8 + +define i32 @fn1() { +entry: + %init = load double* @a, align 8 + br label %loop + +loop: + %phi = phi double [ %add2, %loop ], [ %init, %entry ] + %postadd1_phi = phi double [ %postadd1, %loop ], [ %init, %entry ] + %postadd2_phi = phi double [ %postadd2, %loop ], [ %init, %entry ] + %add1 = fadd double %postadd1_phi, undef + %add2 = fadd double %postadd2_phi, %phi + %mul2 = fmul double %add2, 0.000000e+00 + %binaryop_B = fadd double %postadd1_phi, %mul2 + %mul1 = fmul double %add1, 0.000000e+00 + %tmp = fadd double %postadd2_phi, 0.000000e+00 + + ; tryToVectorize() starts with this binary instruction. + ; At the same time vectorization wraps around the loop, vectorizes + ; postadd1/2 and eventually binary_V and tmp. So binary_V itself is replaced + ; with a vector instruction. + ; The SLPVectorizer crashed because it tried to use binary_V + ; after vectorization to re-arrange instructions. + %binary_V = fadd double %mul1, %binaryop_B + + %postadd1 = fadd double %binary_V, 0.000000e+00 + %postadd2 = fadd double %tmp, 1.000000e+00 + %tobool = fcmp une double %postadd1, 0.000000e+00 + br i1 %tobool, label %exit, label %loop + +exit: + ret i32 1 +} + + |