llvm/test/Transforms/SLPVectorizer/X86/ordering.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 define void @updateModelQPFrame(i32 %m_Bits) {
   8 ; CHECK-LABEL: @updateModelQPFrame(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    ret void
  11 ;
  12 entry:
  13   %0 = load double, ptr undef, align 8
  14   %mul = fmul double undef, %0
  15   %mul2 = fmul double undef, %mul
  16   %mul4 = fmul double %0, %mul2
  17   %mul5 = fmul double undef, 4.000000e+00
  18   %mul7 = fmul double undef, %mul5
  19   %conv = sitofp i32 %m_Bits to double
  20   %mul8 = fmul double %conv, %mul7
  21   %add = fadd double %mul4, %mul8
  22   %cmp11 = fcmp olt double %add, 0.000000e+00
  23   ret void
  24 }
  25
  26 declare ptr @objc_msgSend(ptr, ptr, ...)
  27 declare i32 @personality_v0(...)
  28
  29 define void @invoketest() personality ptr @personality_v0 {
  30 ; CHECK-LABEL: @invoketest(
  31 ; CHECK-NEXT:  entry:
  32 ; CHECK-NEXT:    br i1 undef, label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
  33 ; CHECK:       cond.true:
  34 ; CHECK-NEXT:    [[CALL49:%.*]] = invoke double @objc_msgSend(ptr undef, ptr undef)
  35 ; CHECK-NEXT:    to label [[COND_TRUE54:%.*]] unwind label [[LPAD:%.*]]
  36 ; CHECK:       cond.false:
  37 ; CHECK-NEXT:    [[CALL51:%.*]] = invoke double @objc_msgSend(ptr undef, ptr undef)
  38 ; CHECK-NEXT:    to label [[COND_FALSE57:%.*]] unwind label [[LPAD]]
  39 ; CHECK:       cond.true54:
  40 ; CHECK-NEXT:    [[CALL56:%.*]] = invoke double @objc_msgSend(ptr undef, ptr undef)
  41 ; CHECK-NEXT:    to label [[COND_END60:%.*]] unwind label [[LPAD]]
  42 ; CHECK:       cond.false57:
  43 ; CHECK-NEXT:    [[CALL59:%.*]] = invoke double @objc_msgSend(ptr undef, ptr undef)
  44 ; CHECK-NEXT:    to label [[COND_END60]] unwind label [[LPAD]]
  45 ; CHECK:       cond.end60:
  46 ; CHECK-NEXT:    br i1 undef, label [[IF_END98:%.*]], label [[IF_THEN63:%.*]]
  47 ; CHECK:       if.then63:
  48 ; CHECK-NEXT:    br label [[IF_END98]]
  49 ; CHECK:       lpad:
  50 ; CHECK-NEXT:    [[L:%.*]] = landingpad { ptr, i32 }
  51 ; CHECK-NEXT:    cleanup
  52 ; CHECK-NEXT:    resume { ptr, i32 } [[L]]
  53 ; CHECK:       if.end98:
  54 ; CHECK-NEXT:    br label [[IF_END99:%.*]]
  55 ; CHECK:       if.end99:
  56 ; CHECK-NEXT:    ret void
  57 ;
  58 entry:
  59   br i1 undef, label %cond.true, label %cond.false
  60
  61 cond.true:
  62   %call49 = invoke double @objc_msgSend(ptr undef, ptr undef)
  63   to label %cond.true54 unwind label %lpad
  64
  65 cond.false:
  66   %call51 = invoke double @objc_msgSend(ptr undef, ptr undef)
  67   to label %cond.false57 unwind label %lpad
  68
  69 cond.true54:
  70   %call56 = invoke double @objc_msgSend(ptr undef, ptr undef)
  71   to label %cond.end60 unwind label %lpad
  72
  73 cond.false57:
  74   %call59 = invoke double @objc_msgSend(ptr undef, ptr undef)
  75   to label %cond.end60 unwind label %lpad
  76
  77 cond.end60:
  78   %cond126 = phi double [ %call49, %cond.true54 ], [ %call51, %cond.false57 ]
  79   %cond61 = phi double [ %call56, %cond.true54 ], [ %call59, %cond.false57 ]
  80   br i1 undef, label %if.end98, label %if.then63
  81
  82 if.then63:
  83   %conv69 = fptrunc double undef to float
  84   %conv70 = fpext float %conv69 to double
  85   %div71 = fdiv double %cond126, %conv70
  86   %conv78 = fptrunc double undef to float
  87   %conv79 = fpext float %conv78 to double
  88   %div80 = fdiv double %cond61, %conv79
  89   br label %if.end98
  90
  91 lpad:
  92   %l = landingpad { ptr, i32 }
  93   cleanup
  94   resume { ptr, i32 } %l
  95
  96 if.end98:
  97   %dimensionsResult.sroa.0.0 = phi double [ %div71, %if.then63 ], [ %cond126, %cond.end60 ]
  98   %dimensionsResult.sroa.6.0 = phi double [ %div80, %if.then63 ], [ %cond61, %cond.end60 ]
  99   br label %if.end99
 100
 101 if.end99:
 102   ret void
 103 }