blob: 5580ddcedbd3bc2ba5b84ce453250cdf1858c858 [file] [edit]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
define void @test(ptr %g, ptr %o) {
; CHECK-LABEL: define void @test(
; CHECK-SAME: ptr [[G:%.*]], ptr [[O:%.*]]) {
; CHECK-NEXT: [[PG4:%.*]] = getelementptr i32, ptr [[G]], i64 4
; CHECK-NEXT: [[TMP2:%.*]] = load <2 x i32>, ptr [[PG4]], align 4
; CHECK-NEXT: [[TMP11:%.*]] = add nsw <2 x i32> [[TMP2]], splat (i32 10)
; CHECK-NEXT: [[TMP3:%.*]] = freeze <2 x i32> [[TMP11]]
; CHECK-NEXT: [[TMP4:%.*]] = load <4 x i32>, ptr [[G]], align 4
; CHECK-NEXT: [[TMP5:%.*]] = add nsw <4 x i32> [[TMP4]], <i32 2147483647, i32 10, i32 10, i32 10>
; CHECK-NEXT: [[TMP6:%.*]] = freeze <4 x i32> [[TMP5]]
; CHECK-NEXT: [[TMP7:%.*]] = shufflevector <4 x i32> [[TMP6]], <4 x i32> poison, <4 x i32> <i32 poison, i32 0, i32 poison, i32 1>
; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <4 x i32> <i32 0, i32 poison, i32 1, i32 poison>
; CHECK-NEXT: [[TMP9:%.*]] = shufflevector <4 x i32> [[TMP7]], <4 x i32> [[TMP8]], <4 x i32> <i32 4, i32 1, i32 6, i32 3>
; CHECK-NEXT: [[TMP10:%.*]] = sub <4 x i32> [[TMP6]], [[TMP9]]
; CHECK-NEXT: store <4 x i32> [[TMP10]], ptr [[O]], align 4
; CHECK-NEXT: ret void
;
%a0 = load i32, ptr %g, align 4
%pg1 = getelementptr i32, ptr %g, i64 1
%a1 = load i32, ptr %pg1, align 4
%pg2 = getelementptr i32, ptr %g, i64 2
%a2 = load i32, ptr %pg2, align 4
%pg3 = getelementptr i32, ptr %g, i64 3
%a3 = load i32, ptr %pg3, align 4
%pg4 = getelementptr i32, ptr %g, i64 4
%a4 = load i32, ptr %pg4, align 4
%pg5 = getelementptr i32, ptr %g, i64 5
%a5 = load i32, ptr %pg5, align 4
%p0 = add nsw i32 %a0, 2147483647
%p1 = add nsw i32 %a1, 10
%p2 = add nsw i32 %a2, 10
%p3 = add nsw i32 %a3, 10
%p4 = add nsw i32 %a4, 10
%p5 = add nsw i32 %a5, 10
%f0 = freeze i32 %p0
%f1 = freeze i32 %p1
%f2 = freeze i32 %p2
%f3 = freeze i32 %p3
%f4 = freeze i32 %p4
%f5 = freeze i32 %p5
%x0 = sub i32 %f0, %f4
%x1 = sub i32 %f1, %f0
%x2 = sub i32 %f2, %f5
%x3 = sub i32 %f3, %f1
store i32 %x0, ptr %o, align 4
%po1 = getelementptr i32, ptr %o, i64 1
store i32 %x1, ptr %po1, align 4
%po2 = getelementptr i32, ptr %o, i64 2
store i32 %x2, ptr %po2, align 4
%po3 = getelementptr i32, ptr %o, i64 3
store i32 %x3, ptr %po3, align 4
ret void
}