1; RUN: opt < %s -basicaa -slp-vectorizer -dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7
2
3target 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"
4target triple = "x86_64-apple-macosx10.8.0"
5
6define void @updateModelQPFrame(i32 %m_Bits) {
7entry:
8  %0 = load double, double* undef, align 8
9  %mul = fmul double undef, %0
10  %mul2 = fmul double undef, %mul
11  %mul4 = fmul double %0, %mul2
12  %mul5 = fmul double undef, 4.000000e+00
13  %mul7 = fmul double undef, %mul5
14  %conv = sitofp i32 %m_Bits to double
15  %mul8 = fmul double %conv, %mul7
16  %add = fadd double %mul4, %mul8
17  %cmp11 = fcmp olt double %add, 0.000000e+00
18  ret void
19}
20
21declare i8* @objc_msgSend(i8*, i8*, ...)
22declare i32 @personality_v0(...)
23
24define void @invoketest() personality i8* bitcast (i32 (...)* @personality_v0 to i8*) {
25entry:
26  br i1 undef, label %cond.true, label %cond.false
27
28cond.true:
29  %call49 = invoke double bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to double (i8*, i8*)*)(i8* undef, i8* undef)
30          to label %cond.true54 unwind label %lpad
31
32cond.false:
33  %call51 = invoke double bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to double (i8*, i8*)*)(i8* undef, i8* undef)
34          to label %cond.false57 unwind label %lpad
35
36cond.true54:
37  %call56 = invoke double bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to double (i8*, i8*)*)(i8* undef, i8* undef)
38          to label %cond.end60 unwind label %lpad
39
40cond.false57:
41  %call59 = invoke double bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to double (i8*, i8*)*)(i8* undef, i8* undef)
42          to label %cond.end60 unwind label %lpad
43
44; Make sure we don't vectorize these phis - they have invokes as inputs.
45
46; RUN: opt < %s -slp-vectorizer -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s
47
48; CHECK-LABEL: invoketest
49
50; CHECK-LABEL: cond.end60
51; CHECK-NOT: phi <2 x double>
52; CHECK: insertelement
53; CHECK-LABEL: if.then63
54
55cond.end60:
56  %cond126 = phi double [ %call49, %cond.true54 ], [ %call51, %cond.false57 ]
57  %cond61 = phi double [ %call56, %cond.true54 ], [ %call59, %cond.false57 ]
58  br i1 undef, label %if.end98, label %if.then63
59
60if.then63:
61  %conv69 = fptrunc double undef to float
62  %conv70 = fpext float %conv69 to double
63  %div71 = fdiv double %cond126, %conv70
64  %conv78 = fptrunc double undef to float
65  %conv79 = fpext float %conv78 to double
66  %div80 = fdiv double %cond61, %conv79
67  br label %if.end98
68
69lpad:
70  %l = landingpad { i8*, i32 }
71          cleanup
72  resume { i8*, i32 } %l
73
74if.end98:
75  %dimensionsResult.sroa.0.0 = phi double [ %div71, %if.then63 ], [ %cond126, %cond.end60 ]
76  %dimensionsResult.sroa.6.0 = phi double [ %div80, %if.then63 ], [ %cond61, %cond.end60 ]
77  br label %if.end99
78
79if.end99:
80  ret void
81}
82