This is an archive of the discontinued LLVM Phabricator instance.

Differential D22531

[LSV] Add detail to correct-order.ll test.
ClosedPublic

Authored by jlebar on Jul 19 2016, 2:16 PM.

Details

Reviewers
asbirlea
Commits
rGd9446d3770ec: [LSV] Add detail to correct-order.ll test.
rL276053: [LSV] Add detail to correct-order.ll test.
Summary

This helps keep us honest -- there were a number of ways we could screw
up and still have passed this test.

Diff Detail

Repository
rL LLVM

Event Timeline

jlebar updated this revision to Diff 64560.Jul 19 2016, 2:16 PM
jlebar retitled this revision from to [LSV] Add detail to correct-order.ll test..
jlebar updated this object.
jlebar added a reviewer: asbirlea.
jlebar added subscribers: arsenm, llvm-commits.
asbirlea accepted this revision.Jul 19 2016, 2:24 PM
asbirlea edited edge metadata.

LGTM.

This revision is now accepted and ready to land.Jul 19 2016, 2:24 PM
Closed by commit rL276053: [LSV] Add detail to correct-order.ll test. (authored by jlebar). · Explain WhyJul 19 2016, 4:26 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
test/
Transforms/
LoadStoreVectorizer/
X86/
11 lines

Diff 64600

llvm/trunk/test/Transforms/LoadStoreVectorizer/X86/correct-order.ll

; RUN: opt -mtriple=x86-linux -load-store-vectorizer -S -o - %s | FileCheck %s ; RUN: opt -mtriple=x86-linux -load-store-vectorizer -S -o - %s | FileCheck %s
target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
; CHECK-LABEL: @correct_order( ; CHECK-LABEL: @correct_order(
; CHECK: bitcast i32* ; CHECK: [[LOAD_PTR:%[0-9]+]] = bitcast i32* %next.gep1
; CHECK: load <2 x i32> ; CHECK: load <2 x i32>, <2 x i32>* [[LOAD_PTR]]
; CHECK: load i32 ; CHECK: load i32, i32* %next.gep
; CHECK: bitcast i32* ; CHECK: [[STORE_PTR:%[0-9]+]] = bitcast i32* %next.gep
; CHECK: store <2 x i32> ; CHECK: store <2 x i32>
; CHECK: load i32 ; CHECK-SAME: <2 x i32>* [[STORE_PTR]]
; CHECK: load i32, i32* %next.gep1
define void @correct_order(i32* noalias %ptr) { define void @correct_order(i32* noalias %ptr) {
%next.gep = getelementptr i32, i32* %ptr, i64 0 %next.gep = getelementptr i32, i32* %ptr, i64 0
%next.gep1 = getelementptr i32, i32* %ptr, i64 1 %next.gep1 = getelementptr i32, i32* %ptr, i64 1
%next.gep2 = getelementptr i32, i32* %ptr, i64 2 %next.gep2 = getelementptr i32, i32* %ptr, i64 2
%l1 = load i32, i32* %next.gep1, align 4 %l1 = load i32, i32* %next.gep1, align 4
%l2 = load i32, i32* %next.gep, align 4 %l2 = load i32, i32* %next.gep, align 4
store i32 0, i32* %next.gep1, align 4 store i32 0, i32* %next.gep1, align 4
store i32 0, i32* %next.gep, align 4 store i32 0, i32* %next.gep, align 4
%l3 = load i32, i32* %next.gep1, align 4 %l3 = load i32, i32* %next.gep1, align 4
%l4 = load i32, i32* %next.gep2, align 4 %l4 = load i32, i32* %next.gep2, align 4
ret void ret void
} }