|
1 | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
|
2 | 2 | ; RUN: opt --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -mcpu=icelake-server -S < %s | FileCheck %s
|
3 | 3 |
|
4 |
| -define i1 @test() { |
| 4 | +define i1 @test(i64 %v) { |
5 | 5 | ; CHECK-LABEL: define i1 @test
|
6 |
| -; CHECK-SAME: () #[[ATTR0:[0-9]+]] { |
| 6 | +; CHECK-SAME: (i64 [[V:%.*]]) #[[ATTR0:[0-9]+]] { |
7 | 7 | ; CHECK-NEXT: entry:
|
8 |
| -; CHECK-NEXT: [[TMP0:%.*]] = shl i64 0, 0 |
9 |
| -; CHECK-NEXT: [[TMP1:%.*]] = insertelement <8 x i64> <i64 poison, i64 poison, i64 poison, i64 poison, i64 0, i64 0, i64 0, i64 0>, i64 0, i32 0 |
10 |
| -; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <8 x i64> [[TMP1]], <8 x i64> poison, <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 5, i32 6, i32 7> |
11 |
| -; CHECK-NEXT: [[TMP11:%.*]] = insertelement <4 x i64> <i64 undef, i64 undef, i64 0, i64 0>, i64 [[TMP0]], i32 0 |
12 |
| -; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i64> [[TMP11]], i64 0, i32 1 |
13 |
| -; CHECK-NEXT: [[TMP5:%.*]] = shufflevector <4 x i64> [[TMP4]], <4 x i64> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 1, i32 1, i32 3, i32 0> |
14 |
| -; CHECK-NEXT: [[TMP6:%.*]] = or <8 x i64> [[TMP3]], [[TMP5]] |
15 |
| -; CHECK-NEXT: [[TMP7:%.*]] = sub <8 x i64> [[TMP3]], [[TMP5]] |
16 |
| -; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <8 x i64> [[TMP6]], <8 x i64> [[TMP7]], <8 x i32> <i32 0, i32 1, i32 2, i32 11, i32 12, i32 5, i32 6, i32 7> |
17 |
| -; CHECK-NEXT: [[TMP9:%.*]] = icmp ult <8 x i64> [[TMP8]], zeroinitializer |
18 |
| -; CHECK-NEXT: [[TMP10:%.*]] = call i1 @llvm.vector.reduce.or.v8i1(<8 x i1> [[TMP9]]) |
19 |
| -; CHECK-NEXT: ret i1 [[TMP10]] |
| 8 | +; CHECK-NEXT: [[TMP0:%.*]] = shl i64 [[V]], 1 |
| 9 | +; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[V]], 3 |
| 10 | +; CHECK-NEXT: [[TMP2:%.*]] = add i64 [[V]], 7 |
| 11 | +; CHECK-NEXT: [[TMP3:%.*]] = insertelement <8 x i64> <i64 poison, i64 poison, i64 poison, i64 poison, i64 0, i64 0, i64 0, i64 0>, i64 [[TMP1]], i32 0 |
| 12 | +; CHECK-NEXT: [[TMP4:%.*]] = shufflevector <8 x i64> [[TMP3]], <8 x i64> poison, <8 x i32> <i32 0, i32 0, i32 0, i32 0, i32 4, i32 5, i32 6, i32 7> |
| 13 | +; CHECK-NEXT: [[TMP5:%.*]] = insertelement <4 x i64> <i64 undef, i64 undef, i64 0, i64 0>, i64 [[TMP0]], i32 0 |
| 14 | +; CHECK-NEXT: [[TMP6:%.*]] = insertelement <4 x i64> [[TMP5]], i64 [[TMP2]], i32 1 |
| 15 | +; CHECK-NEXT: [[TMP7:%.*]] = shufflevector <4 x i64> [[TMP6]], <4 x i64> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 1, i32 1, i32 3, i32 0> |
| 16 | +; CHECK-NEXT: [[TMP8:%.*]] = or <8 x i64> [[TMP4]], [[TMP7]] |
| 17 | +; CHECK-NEXT: [[TMP9:%.*]] = sub <8 x i64> [[TMP4]], [[TMP7]] |
| 18 | +; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <8 x i64> [[TMP8]], <8 x i64> [[TMP9]], <8 x i32> <i32 0, i32 1, i32 2, i32 11, i32 12, i32 5, i32 6, i32 7> |
| 19 | +; CHECK-NEXT: [[TMP11:%.*]] = icmp ult <8 x i64> [[TMP10]], zeroinitializer |
| 20 | +; CHECK-NEXT: [[TMP12:%.*]] = call i1 @llvm.vector.reduce.or.v8i1(<8 x i1> [[TMP11]]) |
| 21 | +; CHECK-NEXT: ret i1 [[TMP12]] |
20 | 22 | ;
|
21 | 23 | entry:
|
22 |
| - %0 = shl i64 0, 0 |
23 |
| - %1 = add i64 0, 0 |
24 |
| - %2 = add i64 0, 0 |
| 24 | + %0 = shl i64 %v, 1 |
| 25 | + %1 = add i64 %v, 3 |
| 26 | + %2 = add i64 %v, 7 |
25 | 27 | %3 = or i64 %2, %1
|
26 | 28 | %cmp750 = icmp ult i64 %3, 0
|
27 | 29 | %4 = or i64 %0, %1
|
|
0 commit comments