This is an archive of the discontinued LLVM Phabricator instance.

Differential D48962

Partially revert r336268 in address-offsets.ll
ClosedPublic

Authored by krasimir on Jul 5 2018, 4:32 AM.

Details

Reviewers
bkramer
Commits
rG004f9d400f57: Partially revert r336268 in address-offsets.ll
rL336336: Partially revert r336268 in address-offsets.ll
Summary

There the typos are intentional, explicitly introduced to disable these cases in r280285.

Diff Detail

Repository
rL LLVM

Event Timeline

krasimir created this revision.Jul 5 2018, 4:32 AM
Harbormaster completed remote builds in B20050: Diff 154201.Jul 5 2018, 4:32 AM
Herald added subscribers: llvm-commits, aheejin, jgravelle-google and 2 others. · View Herald TranscriptJul 5 2018, 4:32 AM
krasimir added a reviewer: bkramer.Jul 5 2018, 4:32 AM
bkramer accepted this revision.Jul 5 2018, 4:33 AM

sad

This revision is now accepted and ready to land.Jul 5 2018, 4:33 AM
krasimir retitled this revision from Partially revert r336268 in address-offests.ll to Partially revert r336268 in address-offsets.ll.Jul 5 2018, 4:33 AM
Closed by commit rL336336: Partially revert r336268 in address-offsets.ll (authored by krasimir). · Explain WhyJul 5 2018, 4:35 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
test/
CodeGen/
WebAssembly/
80 lines

Diff 154202

llvm/trunk/test/CodeGen/WebAssembly/address-offsets.ll

Show All 30 Lines
; TODO: load_test1 - load_test8 are disabled because folding GA+reg is disabled ; TODO: load_test1 - load_test8 are disabled because folding GA+reg is disabled
; (there are cases where the value in the reg can be negative). ; (there are cases where the value in the reg can be negative).
; Likewise for stores. ; Likewise for stores.
; CHECK-LABEL: load_test1: ; CHECK-LABEL: load_test1:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test1(i32 %n) { define i32 @load_test1(i32 %n) {
%add = add nsw i32 %n, 10 %add = add nsw i32 %n, 10
%arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
%t = load i32, i32* %arrayidx, align 4 %t = load i32, i32* %arrayidx, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test2: ; CHECK-LABEL: load_test2:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test2(i32 %n) { define i32 @load_test2(i32 %n) {
%add = add nsw i32 10, %n %add = add nsw i32 10, %n
%arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
%t = load i32, i32* %arrayidx, align 4 %t = load i32, i32* %arrayidx, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test3: ; CHECK-LABEL: load_test3:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test3(i32 %n) { define i32 @load_test3(i32 %n) {
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n
%add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10 %add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10
%t = load i32, i32* %add.ptr1, align 4 %t = load i32, i32* %add.ptr1, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test4: ; CHECK-LABEL: load_test4:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test4(i32 %n) { define i32 @load_test4(i32 %n) {
%add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n %add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n
%t = load i32, i32* %add.ptr, align 4 %t = load i32, i32* %add.ptr, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test5: ; CHECK-LABEL: load_test5:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test5(i32 %n) { define i32 @load_test5(i32 %n) {
%add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n %add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n
%t = load i32, i32* %add.ptr, align 4 %t = load i32, i32* %add.ptr, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test6: ; CHECK-LABEL: load_test6:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test6(i32 %n) { define i32 @load_test6(i32 %n) {
%add = add nsw i32 %n, 10 %add = add nsw i32 %n, 10
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
%t = load i32, i32* %add.ptr, align 4 %t = load i32, i32* %add.ptr, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test7: ; CHECK-LABEL: load_test7:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test7(i32 %n) { define i32 @load_test7(i32 %n) {
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n
%add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10 %add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10
%t = load i32, i32* %add.ptr1, align 4 %t = load i32, i32* %add.ptr1, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test8: ; CHECK-LABEL: load_test8:
; CHECK-NEXT: param i32{{$}} ; CHECK-NEXT: param i32{{$}}
; CHECK-NEXT: result i32{{$}} ; CHECK-NEXT: result i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEX T: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.load $push2=, g+40($pop1){{$}} ; CHECK-NEX T: i32.load $push2=, g+40($pop1){{$}}
; CHECK-NEXT: return $pop2{{$}} ; CHECK-NEX T: return $pop2{{$}}
define i32 @load_test8(i32 %n) { define i32 @load_test8(i32 %n) {
%add = add nsw i32 10, %n %add = add nsw i32 10, %n
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
%t = load i32, i32* %add.ptr, align 4 %t = load i32, i32* %add.ptr, align 4
ret i32 %t ret i32 %t
} }
; CHECK-LABEL: load_test9: ; CHECK-LABEL: load_test9:
▲ Show 20 Lines • Show All 227 Lines • ▼ Show 20 Linesdefine void @store_test0_noinbounds(i32 %i) {
store i32 %i, i32* getelementptr ([0 x i32], [0 x i32]* @g, i32 0, i32 10), align 4 store i32 %i, i32* getelementptr ([0 x i32], [0 x i32]* @g, i32 0, i32 10), align 4
ret void ret void
} }
; CHECK-LABEL: store_test1: ; CHECK-LABEL: store_test1:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test1(i32 %n, i32 %i) { define void @store_test1(i32 %n, i32 %i) {
%add = add nsw i32 %n, 10 %add = add nsw i32 %n, 10
%arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
store i32 %i, i32* %arrayidx, align 4 store i32 %i, i32* %arrayidx, align 4
ret void ret void
} }
; CHECK-LABEL: store_test2: ; CHECK-LABEL: store_test2:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test2(i32 %n, i32 %i) { define void @store_test2(i32 %n, i32 %i) {
%add = add nsw i32 10, %n %add = add nsw i32 10, %n
%arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %arrayidx = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
store i32 %i, i32* %arrayidx, align 4 store i32 %i, i32* %arrayidx, align 4
ret void ret void
} }
; CHECK-LABEL: store_test3: ; CHECK-LABEL: store_test3:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test3(i32 %n, i32 %i) { define void @store_test3(i32 %n, i32 %i) {
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n
%add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10 %add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10
store i32 %i, i32* %add.ptr1, align 4 store i32 %i, i32* %add.ptr1, align 4
ret void ret void
} }
; CHECK-LABEL: store_test4: ; CHECK-LABEL: store_test4:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test4(i32 %n, i32 %i) { define void @store_test4(i32 %n, i32 %i) {
%add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n %add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n
store i32 %i, i32* %add.ptr, align 4 store i32 %i, i32* %add.ptr, align 4
ret void ret void
} }
; CHECK-LABEL: store_test5: ; CHECK-LABEL: store_test5:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test5(i32 %n, i32 %i) { define void @store_test5(i32 %n, i32 %i) {
%add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n %add.ptr = getelementptr inbounds i32, i32* getelementptr inbounds ([0 x i32], [0 x i32]* @g, i32 0, i32 10), i32 %n
store i32 %i, i32* %add.ptr, align 4 store i32 %i, i32* %add.ptr, align 4
ret void ret void
} }
; CHECK-LABEL: store_test6: ; CHECK-LABEL: store_test6:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test6(i32 %n, i32 %i) { define void @store_test6(i32 %n, i32 %i) {
%add = add nsw i32 %n, 10 %add = add nsw i32 %n, 10
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
store i32 %i, i32* %add.ptr, align 4 store i32 %i, i32* %add.ptr, align 4
ret void ret void
} }
; CHECK-LABEL: store_test7: ; CHECK-LABEL: store_test7:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test7(i32 %n, i32 %i) { define void @store_test7(i32 %n, i32 %i) {
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %n
%add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10 %add.ptr1 = getelementptr inbounds i32, i32* %add.ptr, i32 10
store i32 %i, i32* %add.ptr1, align 4 store i32 %i, i32* %add.ptr1, align 4
ret void ret void
} }
; CHECK-LABEL: store_test8: ; CHECK-LABEL: store_test8:
; CHECK-NEXT: param i32, i32{{$}} ; CHECK-NEXT: param i32, i32{{$}}
; CHECK-NEXT: i32.const $push0=, 2{{$}} ; CHECK-NEXT: i32.const $push0=, 2{{$}}
; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}} ; CHECK-NEXT: i32.shl $push1=, $0, $pop0{{$}}
; CHECK-NEXT: i32.store g+40($pop1), $1{{$}} ; CHECK-NEX T: i32.store g+40($pop1), $1{{$}}
; CHECK-NEXT: return{{$}} ; CHECK-NEX T: return{{$}}
define void @store_test8(i32 %n, i32 %i) { define void @store_test8(i32 %n, i32 %i) {
%add = add nsw i32 10, %n %add = add nsw i32 10, %n
%add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add %add.ptr = getelementptr inbounds [0 x i32], [0 x i32]* @g, i32 0, i32 %add
store i32 %i, i32* %add.ptr, align 4 store i32 %i, i32* %add.ptr, align 4
ret void ret void
} }
; CHECK-LABEL: store_test9: ; CHECK-LABEL: store_test9:
▲ Show 20 Lines • Show All 197 Lines • Show Last 20 Lines