|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 |
| 2 | +; RUN: opt -passes=slp-vectorizer -S -slp-threshold=-99999 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s |
| 3 | + |
| 4 | +define float @test(i8 %0) { |
| 5 | +; CHECK-LABEL: define float @test( |
| 6 | +; CHECK-SAME: i8 [[TMP0:%.*]]) { |
| 7 | +; CHECK-NEXT: [[ENTRY:.*:]] |
| 8 | +; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i8> <i8 poison, i8 0>, i8 [[TMP0]], i32 0 |
| 9 | +; CHECK-NEXT: [[TMP2:%.*]] = sext <2 x i8> [[TMP1]] to <2 x i16> |
| 10 | +; CHECK-NEXT: [[TMP3:%.*]] = mul <2 x i16> [[TMP2]], <i16 2, i16 27> |
| 11 | +; CHECK-NEXT: [[TMP4:%.*]] = lshr <2 x i16> [[TMP2]], <i16 2, i16 27> |
| 12 | +; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <2 x i16> [[TMP3]], <2 x i16> [[TMP4]], <2 x i32> <i32 0, i32 3> |
| 13 | +; CHECK-NEXT: [[TMP9:%.*]] = extractelement <2 x i16> [[TMP5]], i32 0 |
| 14 | +; CHECK-NEXT: [[TMP6:%.*]] = sext i16 [[TMP9]] to i32 |
| 15 | +; CHECK-NEXT: [[TMP10:%.*]] = extractelement <2 x i16> [[TMP5]], i32 1 |
| 16 | +; CHECK-NEXT: [[TMP7:%.*]] = zext i16 [[TMP10]] to i32 |
| 17 | +; CHECK-NEXT: [[TMP8:%.*]] = or i32 [[TMP6]], [[TMP7]] |
| 18 | +; CHECK-NEXT: switch i32 [[TMP8]], label %[[EXIT:.*]] [ |
| 19 | +; CHECK-NEXT: i32 0, label %[[EXIT]] |
| 20 | +; CHECK-NEXT: i32 1, label %[[EXIT]] |
| 21 | +; CHECK-NEXT: ] |
| 22 | +; CHECK: [[EXIT]]: |
| 23 | +; CHECK-NEXT: ret float 0.000000e+00 |
| 24 | +; |
| 25 | +entry: |
| 26 | + %1 = sext i8 0 to i32 |
| 27 | + %2 = lshr i32 %1, 27 |
| 28 | + %3 = sext i8 %0 to i32 |
| 29 | + %reass.add.epil = mul i32 %3, 2 |
| 30 | + %4 = or i32 %reass.add.epil, %2 |
| 31 | + switch i32 %4, label %exit [ |
| 32 | + i32 0, label %exit |
| 33 | + i32 1, label %exit |
| 34 | + ] |
| 35 | + |
| 36 | +exit: |
| 37 | + ret float 0.000000e+00 |
| 38 | +} |
0 commit comments