test/Transforms/SLPVectorizer/X86/crash_flop7.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -basicaa -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 @main() #0 {
   9 ; CHECK-LABEL: @main(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    br i1 undef, label [[WHILE_BODY:%.*]], label [[WHILE_END:%.*]]
  12 ; CHECK:       while.body:
  13 ; CHECK-NEXT:    unreachable
  14 ; CHECK:       while.end:
  15 ; CHECK-NEXT:    br i1 undef, label [[FOR_END80:%.*]], label [[FOR_BODY75_LR_PH:%.*]]
  16 ; CHECK:       for.body75.lr.ph:
  17 ; CHECK-NEXT:    br label [[FOR_BODY75:%.*]]
  18 ; CHECK:       for.body75:
  19 ; CHECK-NEXT:    br label [[FOR_BODY75]]
  20 ; CHECK:       for.end80:
  21 ; CHECK-NEXT:    br i1 undef, label [[FOR_END300:%.*]], label [[FOR_BODY267_LR_PH:%.*]]
  22 ; CHECK:       for.body267.lr.ph:
  23 ; CHECK-NEXT:    br label [[FOR_BODY267:%.*]]
  24 ; CHECK:       for.body267:
  25 ; CHECK-NEXT:    [[S_71010:%.*]] = phi double [ 0.000000e+00, [[FOR_BODY267_LR_PH]] ], [ [[ADD297:%.*]], [[FOR_BODY267]] ]
  26 ; CHECK-NEXT:    [[MUL269:%.*]] = fmul double undef, undef
  27 ; CHECK-NEXT:    [[MUL270:%.*]] = fmul double [[MUL269]], [[MUL269]]
  28 ; CHECK-NEXT:    [[ADD282:%.*]] = fadd double undef, undef
  29 ; CHECK-NEXT:    [[MUL283:%.*]] = fmul double [[MUL269]], [[ADD282]]
  30 ; CHECK-NEXT:    [[ADD293:%.*]] = fadd double undef, undef
  31 ; CHECK-NEXT:    [[MUL294:%.*]] = fmul double [[MUL270]], [[ADD293]]
  32 ; CHECK-NEXT:    [[ADD295:%.*]] = fadd double undef, [[MUL294]]
  33 ; CHECK-NEXT:    [[DIV296:%.*]] = fdiv double [[MUL283]], [[ADD295]]
  34 ; CHECK-NEXT:    [[ADD297]] = fadd double [[S_71010]], [[DIV296]]
  35 ; CHECK-NEXT:    br i1 undef, label [[FOR_BODY267]], label [[FOR_END300]]
  36 ; CHECK:       for.end300:
  37 ; CHECK-NEXT:    unreachable
  38 ;
  39 entry:
  40   br i1 undef, label %while.body, label %while.end
  41
  42 while.body:                                       ; preds = %entry
  43   unreachable
  44
  45 while.end:                                        ; preds = %entry
  46   br i1 undef, label %for.end80, label %for.body75.lr.ph
  47
  48 for.body75.lr.ph:                                 ; preds = %while.end
  49   br label %for.body75
  50
  51 for.body75:                                       ; preds = %for.body75, %for.body75.lr.ph
  52   br label %for.body75
  53
  54 for.end80:                                        ; preds = %while.end
  55   br i1 undef, label %for.end300, label %for.body267.lr.ph
  56
  57 for.body267.lr.ph:                                ; preds = %for.end80
  58   br label %for.body267
  59
  60 for.body267:                                      ; preds = %for.body267, %for.body267.lr.ph
  61   %s.71010 = phi double [ 0.000000e+00, %for.body267.lr.ph ], [ %add297, %for.body267 ]
  62   %mul269 = fmul double undef, undef
  63   %mul270 = fmul double %mul269, %mul269
  64   %add282 = fadd double undef, undef
  65   %mul283 = fmul double %mul269, %add282
  66   %add293 = fadd double undef, undef
  67   %mul294 = fmul double %mul270, %add293
  68   %add295 = fadd double undef, %mul294
  69   %div296 = fdiv double %mul283, %add295
  70   %add297 = fadd double %s.71010, %div296
  71   br i1 undef, label %for.body267, label %for.end300
  72
  73 for.end300:                                       ; preds = %for.body267, %for.end80
  74   unreachable
  75 }
  76
  77 attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }