79 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=slp-vectorizer -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s3 4; Check if the SLPVectorizer does not crash when handling5; unreachable blocks with unscheduleable instructions.6 7target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"8target triple = "x86_64-apple-macosx10.9.0"9 10define void @foo(ptr nocapture %x) #0 {11; CHECK-LABEL: @foo(12; CHECK-NEXT: entry:13; CHECK-NEXT: br label [[BB2:%.*]]14; CHECK: bb1:15; CHECK-NEXT: [[BAD:%.*]] = fadd float [[BAD]], 0.000000e+0016; CHECK-NEXT: br label [[BB2]]17; CHECK: bb2:18; CHECK-NEXT: [[TMP0:%.*]] = phi <4 x i32> [ poison, [[BB1:%.*]] ], [ splat (i32 2), [[ENTRY:%.*]] ]19; CHECK-NEXT: store <4 x i32> [[TMP0]], ptr [[X:%.*]], align 420; CHECK-NEXT: ret void21;22entry:23 br label %bb224 25bb1: ; an unreachable block26 %t3 = getelementptr inbounds i32, ptr %x, i64 427 %t4 = load i32, ptr %t3, align 428 %t5 = getelementptr inbounds i32, ptr %x, i64 529 %t6 = load i32, ptr %t5, align 430 %bad = fadd float %bad, 0.000000e+00 ; <- an instruction with self dependency,31 ; but legal in unreachable code32 %t7 = getelementptr inbounds i32, ptr %x, i64 633 %t8 = load i32, ptr %t7, align 434 %t9 = getelementptr inbounds i32, ptr %x, i64 735 %t10 = load i32, ptr %t9, align 436 br label %bb237 38bb2:39 %t1.0 = phi i32 [ %t4, %bb1 ], [ 2, %entry ]40 %t2.0 = phi i32 [ %t6, %bb1 ], [ 2, %entry ]41 %t3.0 = phi i32 [ %t8, %bb1 ], [ 2, %entry ]42 %t4.0 = phi i32 [ %t10, %bb1 ], [ 2, %entry ]43 store i32 %t1.0, ptr %x, align 444 %t12 = getelementptr inbounds i32, ptr %x, i64 145 store i32 %t2.0, ptr %t12, align 446 %t13 = getelementptr inbounds i32, ptr %x, i64 247 store i32 %t3.0, ptr %t13, align 448 %t14 = getelementptr inbounds i32, ptr %x, i64 349 store i32 %t4.0, ptr %t14, align 450 ret void51}52 53define void @bar() {54; CHECK-LABEL: @bar(55; CHECK-NEXT: bb:56; CHECK-NEXT: [[TMP:%.*]] = load atomic ptr, ptr undef unordered, align 857; CHECK-NEXT: br label [[BB6:%.*]]58; CHECK: bb5:59; CHECK-NEXT: [[TMP4:%.*]] = load atomic ptr, ptr undef unordered, align 860; CHECK-NEXT: br label [[BB6]]61; CHECK: bb6:62; CHECK-NEXT: [[TMP7:%.*]] = phi ptr [ [[TMP]], [[BB5:%.*]] ], [ undef, [[BB:%.*]] ]63; CHECK-NEXT: [[TMP8:%.*]] = phi ptr [ [[TMP4]], [[BB5]] ], [ undef, [[BB]] ]64; CHECK-NEXT: ret void65;66bb:67 %tmp = load atomic ptr, ptr undef unordered, align 868 br label %bb669 70bb5: ; No predecessors!71 %tmp4 = load atomic ptr, ptr undef unordered, align 872 br label %bb673 74bb6: ; preds = %bb5, %bb75 %tmp7 = phi ptr [ %tmp, %bb5 ], [ undef, %bb ]76 %tmp8 = phi ptr [ %tmp4, %bb5 ], [ undef, %bb ]77 ret void78}79