1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S --slp-vectorizer -mtriple=x86_64-unknown %s | FileCheck %s
3
4define i32 @test(float* %isec, float %0) {
5; CHECK-LABEL: @test(
6; CHECK-NEXT:  entry:
7; CHECK-NEXT:    [[ARRAYIDX5:%.*]] = getelementptr inbounds float, float* [[ISEC:%.*]], i64 0
8; CHECK-NEXT:    [[TMP1:%.*]] = bitcast float* [[ARRAYIDX5]] to <2 x float>*
9; CHECK-NEXT:    [[TMP2:%.*]] = load <2 x float>, <2 x float>* [[TMP1]], align 4
10; CHECK-NEXT:    [[TMP3:%.*]] = insertelement <2 x float> <float 0.000000e+00, float poison>, float [[TMP0:%.*]], i32 1
11; CHECK-NEXT:    [[TMP4:%.*]] = fmul fast <2 x float> [[TMP3]], [[TMP2]]
12; CHECK-NEXT:    [[CMP61:%.*]] = fcmp fast oge float 0.000000e+00, 0.000000e+00
13; CHECK-NEXT:    [[TMP5:%.*]] = extractelement <2 x float> [[TMP4]], i32 0
14; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <2 x float> [[TMP4]], i32 1
15; CHECK-NEXT:    [[CMP63:%.*]] = fcmp fast ogt float [[TMP5]], [[TMP6]]
16; CHECK-NEXT:    br i1 [[CMP63]], label [[CLEANUP:%.*]], label [[IF_END:%.*]]
17; CHECK:       if.end:
18; CHECK-NEXT:    br label [[CLEANUP]]
19; CHECK:       cleanup:
20; CHECK-NEXT:    ret i32 0
21;
22entry:
23  %arrayidx5 = getelementptr inbounds float, float* %isec, i64 0
24  %1 = load float, float* %arrayidx5, align 4
25  %arrayidx10 = getelementptr inbounds float, float* %isec, i64 1
26  %2 = load float, float* %arrayidx10, align 4
27  %mul16 = fmul fast float %0, %2
28  %mul55 = fmul fast float 0.000000e+00, %1
29  %cmp61 = fcmp fast oge float 0.000000e+00, 0.000000e+00
30  %cmp63 = fcmp fast ogt float %mul55, %mul16
31  br i1 %cmp63, label %cleanup, label %if.end
32
33if.end:
34  br label %cleanup
35
36cleanup:
37  ret i32 0
38}
39