Page MenuHomePhabricator
Differential D135279 Diff 465823 llvm/test/Transforms/SLPVectorizer/X86/cse_extractelement.ll

Changeset View

Standalone View

View Options

llvm/test/Transforms/SLPVectorizer/X86/cse_extractelement.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s ; RUN: opt -slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
define void @test(i32* %ptr, i32* noalias %s) { define void @test(i32* %ptr, i32* noalias %s) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32* [[PTR:%.*]], null ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32* [[PTR:%.*]], null
; CHECK-NEXT: br i1 [[CMP]], label [[LOOP:%.*]], label [[BAIL_OUT:%.*]] ; CHECK-NEXT: br i1 [[CMP]], label [[LOOP:%.*]], label [[BAIL_OUT:%.*]]
; CHECK: loop: ; CHECK: loop:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[PTR]] to <4 x i32>* ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[PTR]] to <4 x i32>*
; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i32>, <4 x i32>* [[TMP0]], align 4 ; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i32>, <4 x i32>* [[TMP0]], align 4
; CHECK-NEXT: [[TMP2:%.*]] = bitcast i32* [[S:%.*]] to <4 x i32>* ; CHECK-NEXT: [[TMP2:%.*]] = bitcast i32* [[S:%.*]] to <4 x i32>*
; CHECK-NEXT: store <4 x i32> [[TMP1]], <4 x i32>* [[TMP2]], align 4 ; CHECK-NEXT: store <4 x i32> [[TMP1]], <4 x i32>* [[TMP2]], align 4
; CHECK-NEXT: [[TMP3:%.*]] = extractelement <4 x i32> [[TMP1]], i32 0
; CHECK-NEXT: br label [[LOOP1:%.*]] ; CHECK-NEXT: br label [[LOOP1:%.*]]
; CHECK: loop1: ; CHECK: loop1:
; CHECK-NEXT: [[TMP3:%.*]] = extractelement <4 x i32> [[TMP1]], i32 0
; CHECK-NEXT: store i32 [[TMP3]], i32* [[S]], align 4 ; CHECK-NEXT: store i32 [[TMP3]], i32* [[S]], align 4
; CHECK-NEXT: br i1 true, label [[LOOP1]], label [[CONT:%.*]] ; CHECK-NEXT: br i1 true, label [[LOOP1]], label [[CONT:%.*]]
; CHECK: cont: ; CHECK: cont:
; CHECK-NEXT: br i1 true, label [[LOOP]], label [[BAIL_OUT]] ; CHECK-NEXT: br i1 true, label [[LOOP]], label [[BAIL_OUT]]
; CHECK: bail_out: ; CHECK: bail_out:
; CHECK-NEXT: [[DUMMY_PHI:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ [[TMP3]], [[CONT]] ] ; CHECK-NEXT: [[DUMMY_PHI:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ [[TMP3]], [[CONT]] ]
; CHECK-NEXT: store i32 [[DUMMY_PHI]], i32* [[S]], align 4 ; CHECK-NEXT: store i32 [[DUMMY_PHI]], i32* [[S]], align 4
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
Show All 35 Lines