llvm/test/Transforms/Scalarizer/crash-bug.ll

   1 ; RUN: opt %s -passes='function(scalarizer)' -S -o - | FileCheck %s
   2
   3 ; Don't crash
   4
   5 define void @foo() {
   6   br label %bb1
   7
   8 bb2:                                        ; preds = %bb1
   9   %bb2_vec = shufflevector <2 x i16> <i16 0, i16 10000>,
  10                            <2 x i16> %bb1_vec,
  11                            <2 x i32> <i32 0, i32 3>
  12   br label %bb1
  13
  14 bb1:                                        ; preds = %bb2, %0
  15   %bb1_vec = phi <2 x i16> [ <i16 100, i16 200>, %0 ], [ %bb2_vec, %bb2 ]
  16 ;CHECK: bb1:
  17 ;CHECK: %bb2_vec.i1 = phi i16 [ 200, %0 ], [ %bb2_vec.i1, %bb2 ]
  18   br i1 undef, label %bb3, label %bb2
  19
  20 bb3:
  21   ret void
  22 }
  23
  24 ; See https://reviews.llvm.org/D83101#2135945
  25 define void @f1_crash(<2 x i16> %base, i1 %c, <2 x i16>* %ptr) {
  26 ; CHECK-LABEL: @f1_crash(
  27 ; CHECK: vector.ph:
  28 ; CHECK:   %base.i0 = extractelement <2 x i16> %base, i32 0
  29 ; CHECK:   %base.i1 = extractelement <2 x i16> %base, i32 1
  30 ; CHECK:   br label %vector.body115
  31 ; CHECK: vector.body115:                                   ; preds = %vector.body115, %vector.ph
  32 ; CHECK:   %vector.recur.i0 = phi i16 [ %base.i0, %vector.ph ], [ %wide.load125.i0, %vector.body115 ]
  33 ; CHECK:   %vector.recur.i1 = phi i16 [ %base.i1, %vector.ph ], [ %wide.load125.i1, %vector.body115 ]
  34 ; CHECK:   %wide.load125 = load <2 x i16>, <2 x i16>* %ptr, align 1
  35 ; CHECK:   %wide.load125.i0 = extractelement <2 x i16> %wide.load125, i32 0
  36 ; CHECK:   %wide.load125.i1 = extractelement <2 x i16> %wide.load125, i32 1
  37 ; CHECK:   br i1 %c, label %middle.block113, label %vector.body115
  38 ; CHECK: middle.block113:                                  ; preds = %vector.body115
  39 ; CHECK:   ret void
  40 ; CHECK: }
  41
  42 vector.ph:
  43   br label %vector.body115
  44
  45 vector.body115:
  46   %vector.recur = phi <2 x i16> [ %base, %vector.ph ], [ %wide.load125, %vector.body115 ]
  47   %wide.load125 = load <2 x i16>, <2 x i16>* %ptr, align 1
  48   br i1 %c, label %middle.block113, label %vector.body115
  49
  50 middle.block113:
  51   ret void
  52 }