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:    [[ARRAYIDX10:%.*]] = getelementptr inbounds float, float* [[ISEC]], i64 1
9; CHECK-NEXT:    [[TMP1:%.*]] = bitcast float* [[ARRAYIDX5]] to <2 x float>*
10; CHECK-NEXT:    [[TMP2:%.*]] = load <2 x float>, <2 x float>* [[TMP1]], align 4
11; CHECK-NEXT:    [[TMP3:%.*]] = insertelement <2 x float> <float 0.000000e+00, float poison>, float [[TMP0:%.*]], i32 1
12; CHECK-NEXT:    [[TMP4:%.*]] = fmul fast <2 x float> [[TMP3]], [[TMP2]]
13; CHECK-NEXT:    [[CMP61:%.*]] = fcmp fast oge float 0.000000e+00, 0.000000e+00
14; CHECK-NEXT:    [[TMP5:%.*]] = extractelement <2 x float> [[TMP4]], i32 0
15; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <2 x float> [[TMP4]], i32 1
16; CHECK-NEXT:    [[CMP63:%.*]] = fcmp fast ogt float [[TMP5]], [[TMP6]]
17; CHECK-NEXT:    br i1 [[CMP63]], label [[CLEANUP:%.*]], label [[IF_END:%.*]]
18; CHECK:       if.end:
19; CHECK-NEXT:    br label [[CLEANUP]]
20; CHECK:       cleanup:
21; CHECK-NEXT:    ret i32 0
22;
23entry:
24  %arrayidx5 = getelementptr inbounds float, float* %isec, i64 0
25  %1 = load float, float* %arrayidx5, align 4
26  %arrayidx10 = getelementptr inbounds float, float* %isec, i64 1
27  %2 = load float, float* %arrayidx10, align 4
28  %mul16 = fmul fast float %0, %2
29  %mul55 = fmul fast float 0.000000e+00, %1
30  %cmp61 = fcmp fast oge float 0.000000e+00, 0.000000e+00
31  %cmp63 = fcmp fast ogt float %mul55, %mul16
32  br i1 %cmp63, label %cleanup, label %if.end
33
34if.end:
35  br label %cleanup
36
37cleanup:
38  ret i32 0
39}
40