llvm/test/Transforms/SLPVectorizer/X86/crash_lencod-inseltpoison.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=slp-vectorizer,dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s
   3
   4 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"
   5 target triple = "x86_64-apple-macosx10.8.0"
   6
   7 ; Function Attrs: nounwind ssp uwtable
   8 define void @RCModelEstimator() {
   9 ; CHECK-LABEL: @RCModelEstimator(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    br i1 undef, label [[FOR_BODY_LR_PH:%.*]], label [[FOR_END_THREAD:%.*]]
  12 ; CHECK:       for.end.thread:
  13 ; CHECK-NEXT:    unreachable
  14 ; CHECK:       for.body.lr.ph:
  15 ; CHECK-NEXT:    br i1 undef, label [[FOR_END:%.*]], label [[FOR_BODY:%.*]]
  16 ; CHECK:       for.body:
  17 ; CHECK-NEXT:    br i1 undef, label [[FOR_END]], label [[FOR_BODY]]
  18 ; CHECK:       for.end:
  19 ; CHECK-NEXT:    br i1 undef, label [[FOR_BODY3:%.*]], label [[IF_END103:%.*]]
  20 ; CHECK:       for.cond14.preheader:
  21 ; CHECK-NEXT:    br i1 undef, label [[FOR_BODY16_LR_PH:%.*]], label [[IF_END103]]
  22 ; CHECK:       for.body16.lr.ph:
  23 ; CHECK-NEXT:    br label [[FOR_BODY16:%.*]]
  24 ; CHECK:       for.body3:
  25 ; CHECK-NEXT:    br i1 undef, label [[IF_THEN7:%.*]], label [[FOR_INC11:%.*]]
  26 ; CHECK:       if.then7:
  27 ; CHECK-NEXT:    br label [[FOR_INC11]]
  28 ; CHECK:       for.inc11:
  29 ; CHECK-NEXT:    br i1 false, label [[FOR_COND14_PREHEADER:%.*]], label [[FOR_BODY3]]
  30 ; CHECK:       for.body16:
  31 ; CHECK-NEXT:    br i1 undef, label [[FOR_END39:%.*]], label [[FOR_BODY16]]
  32 ; CHECK:       for.end39:
  33 ; CHECK-NEXT:    br i1 undef, label [[IF_END103]], label [[FOR_COND45_PREHEADER:%.*]]
  34 ; CHECK:       for.cond45.preheader:
  35 ; CHECK-NEXT:    br i1 undef, label [[IF_THEN88:%.*]], label [[IF_ELSE:%.*]]
  36 ; CHECK:       if.then88:
  37 ; CHECK-NEXT:    br label [[IF_END103]]
  38 ; CHECK:       if.else:
  39 ; CHECK-NEXT:    br label [[IF_END103]]
  40 ; CHECK:       if.end103:
  41 ; CHECK-NEXT:    ret void
  42 ;
  43 entry:
  44   br i1 undef, label %for.body.lr.ph, label %for.end.thread
  45
  46 for.end.thread:                                   ; preds = %entry
  47   unreachable
  48
  49 for.body.lr.ph:                                   ; preds = %entry
  50   br i1 undef, label %for.end, label %for.body
  51
  52 for.body:                                         ; preds = %for.body, %for.body.lr.ph
  53   br i1 undef, label %for.end, label %for.body
  54
  55 for.end:                                          ; preds = %for.body, %for.body.lr.ph
  56   br i1 undef, label %for.body3, label %if.end103
  57
  58 for.cond14.preheader:                             ; preds = %for.inc11
  59   br i1 undef, label %for.body16.lr.ph, label %if.end103
  60
  61 for.body16.lr.ph:                                 ; preds = %for.cond14.preheader
  62   br label %for.body16
  63
  64 for.body3:                                        ; preds = %for.inc11, %for.end
  65   br i1 undef, label %if.then7, label %for.inc11
  66
  67 if.then7:                                         ; preds = %for.body3
  68   br label %for.inc11
  69
  70 for.inc11:                                        ; preds = %if.then7, %for.body3
  71   br i1 false, label %for.cond14.preheader, label %for.body3
  72
  73 for.body16:                                       ; preds = %for.body16, %for.body16.lr.ph
  74   br i1 undef, label %for.end39, label %for.body16
  75
  76 for.end39:                                        ; preds = %for.body16
  77   br i1 undef, label %if.end103, label %for.cond45.preheader
  78
  79 for.cond45.preheader:                             ; preds = %for.end39
  80   br i1 undef, label %if.then88, label %if.else
  81
  82 if.then88:                                        ; preds = %for.cond45.preheader
  83   %mul89 = fmul double 0.000000e+00, 0.000000e+00
  84   %mul90 = fmul double 0.000000e+00, 0.000000e+00
  85   %sub91 = fsub double %mul89, %mul90
  86   %div92 = fdiv double %sub91, poison
  87   %mul94 = fmul double 0.000000e+00, 0.000000e+00
  88   %mul95 = fmul double 0.000000e+00, 0.000000e+00
  89   %sub96 = fsub double %mul94, %mul95
  90   %div97 = fdiv double %sub96, poison
  91   br label %if.end103
  92
  93 if.else:                                          ; preds = %for.cond45.preheader
  94   br label %if.end103
  95
  96 if.end103:                                        ; preds = %if.else, %if.then88, %for.end39, %for.cond14.preheader, %for.end
  97   %0 = phi double [ 0.000000e+00, %for.end39 ], [ %div97, %if.then88 ], [ 0.000000e+00, %if.else ], [ 0.000000e+00, %for.cond14.preheader ], [ 0.000000e+00, %for.end ]
  98   %1 = phi double [ poison, %for.end39 ], [ %div92, %if.then88 ], [ poison, %if.else ], [ 0.000000e+00, %for.cond14.preheader ], [ 0.000000e+00, %for.end ]
  99   ret void
 100 }
 101
 102
 103 define void @intrapred_luma(ptr %ptr) {
 104 ; CHECK-LABEL: @intrapred_luma(
 105 ; CHECK-NEXT:  entry:
 106 ; CHECK-NEXT:    [[CONV153:%.*]] = trunc i32 3 to i16
 107 ; CHECK-NEXT:    [[ARRAYIDX154:%.*]] = getelementptr inbounds [13 x i16], ptr [[PTR:%.*]], i64 0, i64 12
 108 ; CHECK-NEXT:    store i16 [[CONV153]], ptr [[ARRAYIDX154]], align 8
 109 ; CHECK-NEXT:    [[ARRAYIDX155:%.*]] = getelementptr inbounds [13 x i16], ptr [[PTR]], i64 0, i64 11
 110 ; CHECK-NEXT:    store i16 [[CONV153]], ptr [[ARRAYIDX155]], align 2
 111 ; CHECK-NEXT:    [[ARRAYIDX156:%.*]] = getelementptr inbounds [13 x i16], ptr [[PTR]], i64 0, i64 10
 112 ; CHECK-NEXT:    store i16 [[CONV153]], ptr [[ARRAYIDX156]], align 4
 113 ; CHECK-NEXT:    ret void
 114 ;
 115 entry:
 116   %conv153 = trunc i32 3 to i16
 117   %arrayidx154 = getelementptr inbounds [13 x i16], ptr %ptr, i64 0, i64 12
 118   store i16 %conv153, ptr %arrayidx154, align 8
 119   %arrayidx155 = getelementptr inbounds [13 x i16], ptr %ptr, i64 0, i64 11
 120   store i16 %conv153, ptr %arrayidx155, align 2
 121   %arrayidx156 = getelementptr inbounds [13 x i16], ptr %ptr, i64 0, i64 10
 122   store i16 %conv153, ptr %arrayidx156, align 4
 123   ret void
 124 }
 125
 126 define fastcc void @dct36(ptr %inbuf) {
 127 ; CHECK-LABEL: @dct36(
 128 ; CHECK-NEXT:  entry:
 129 ; CHECK-NEXT:    [[ARRAYIDX44:%.*]] = getelementptr inbounds double, ptr [[INBUF:%.*]], i64 1
 130 ; CHECK-NEXT:    [[TMP1:%.*]] = load <2 x double>, ptr [[INBUF]], align 8
 131 ; CHECK-NEXT:    [[TMP2:%.*]] = shufflevector <2 x double> [[TMP1]], <2 x double> poison, <2 x i32> <i32 1, i32 poison>
 132 ; CHECK-NEXT:    [[TMP3:%.*]] = fadd <2 x double> [[TMP1]], [[TMP2]]
 133 ; CHECK-NEXT:    store <2 x double> [[TMP3]], ptr [[ARRAYIDX44]], align 8
 134 ; CHECK-NEXT:    ret void
 135 ;
 136 entry:
 137   %arrayidx41 = getelementptr inbounds double, ptr %inbuf, i64 2
 138   %arrayidx44 = getelementptr inbounds double, ptr %inbuf, i64 1
 139   %0 = load double, ptr %arrayidx44, align 8
 140   %add46 = fadd double %0, poison
 141   store double %add46, ptr %arrayidx41, align 8
 142   %1 = load double, ptr %inbuf, align 8
 143   %add49 = fadd double %1, %0
 144   store double %add49, ptr %arrayidx44, align 8
 145   ret void
 146 }