This is an archive of the discontinued LLVM Phabricator instance.

Differential D60071

[AMDGPU] Add more test cases of D59608.
ClosedPublic

Authored by hliao on Apr 1 2019, 9:10 AM.

Details

Reviewers
arsenm
Commits
rG9bef688bc29f: [AMDGPU] Add more test cases of D59608.
rL357442: [AMDGPU] Add more test cases of D59608.
Summary
  • Add more test cases.

Diff Detail

Event Timeline

hliao created this revision.Apr 1 2019, 9:10 AM
Herald added a project: Restricted Project. · View Herald TranscriptApr 1 2019, 9:10 AM
Herald added subscribers: llvm-commits, t-tye, tpr and 6 others. · View Herald Transcript
Harbormaster completed remote builds in B29899: Diff 193104.Apr 1 2019, 9:10 AM
arsenm added a comment.Apr 1 2019, 9:19 AM

Missing the DS addressing mode ones

hliao updated this revision to Diff 193153.Apr 1 2019, 12:40 PM

Add tests for DS addressing mode.

Harbormaster completed remote builds in B29926: Diff 193153.Apr 1 2019, 12:45 PM
arsenm added inline comments.Apr 1 2019, 1:11 PM
llvm/test/CodeGen/AMDGPU/ds-sub-offset.ll
3 ↗(On Diff #193153)

You can just use the same run line. +unsafe-ds-offset-folding is only needed for SI

hliao updated this revision to Diff 193166.Apr 1 2019, 1:21 PM

revise more

Harbormaster completed remote builds in B29927: Diff 193166.Apr 1 2019, 1:21 PM
hliao updated this revision to Diff 193167.Apr 1 2019, 1:23 PM

more revising

Harbormaster completed remote builds in B29928: Diff 193167.Apr 1 2019, 1:25 PM
arsenm added inline comments.Apr 1 2019, 5:03 PM
llvm/test/CodeGen/AMDGPU/ds-sub-offset.ll
24–26 ↗(On Diff #193167)

You don't need the new, special label for this

hliao marked an inline comment as done.Apr 1 2019, 5:18 PM
hliao added inline comments.
llvm/test/CodeGen/AMDGPU/ds-sub-offset.ll
24–26 ↗(On Diff #193167)

Won't be better to give more clear hint on why that test is added?

arsenm added inline comments.Apr 1 2019, 5:24 PM
llvm/test/CodeGen/AMDGPU/ds-sub-offset.ll
24–26 ↗(On Diff #193167)

That's what a comment is for. Adding more labels just complicates the test

hliao updated this revision to Diff 193207.Apr 1 2019, 5:29 PM

revise again

Harbormaster completed remote builds in B29935: Diff 193207.Apr 1 2019, 5:30 PM
arsenm accepted this revision.Apr 1 2019, 5:33 PM

LGTM

This revision is now accepted and ready to land.Apr 1 2019, 5:33 PM
Closed by commit rL357442: [AMDGPU] Add more test cases of D59608. (authored by hliao). · Explain WhyApr 1 2019, 5:35 PM
This revision was automatically updated to reflect the committed changes.
hliao added a comment.Apr 1 2019, 5:35 PM
In D60071#1450787, @arsenm wrote:

LGTM

don't forget accept the original review, :)

Revision Contents

PathSize
llvm/
test/
CodeGen/
AMDGPU/
27 lines
51 lines

Diff 193104

llvm/test/CodeGen/AMDGPU/uaddo.ll

Show First 20 Lines • Show All 186 Lines • ▼ Show 20 Lines
exit: exit:
%cout = phi i1 [false, %entry], [%c2, %if] %cout = phi i1 [false, %entry], [%c2, %if]
store i32 %val, i32 addrspace(1)* %out, align 4 store i32 %val, i32 addrspace(1)* %out, align 4
store i1 %cout, i1 addrspace(1)* %carryout store i1 %cout, i1 addrspace(1)* %carryout
ret void ret void
} }
; FUNC-LABEL: {{^}}v_uaddo_clamp_bit:
; GCN: v_add_{{i|u|co_u}}32_e64
; GCN: s_endpgm
define amdgpu_kernel void @v_uaddo_clamp_bit(i32 addrspace(1)* %out, i1 addrspace(1)* %carryout, i32 addrspace(1)* %a.ptr, i32 addrspace(1)* %b.ptr) #0 {
entry:
%tid = call i32 @llvm.amdgcn.workitem.id.x()
%tid.ext = sext i32 %tid to i64
%a.gep = getelementptr inbounds i32, i32 addrspace(1)* %a.ptr
%b.gep = getelementptr inbounds i32, i32 addrspace(1)* %b.ptr
%a = load i32, i32 addrspace(1)* %a.gep
%b = load i32, i32 addrspace(1)* %b.gep
%uadd = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %a, i32 %b)
%val = extractvalue { i32, i1 } %uadd, 0
%carry = extractvalue { i32, i1 } %uadd, 1
%c2 = icmp eq i1 %carry, false
%cc = icmp eq i32 %a, %b
br i1 %cc, label %exit, label %if
if:
br label %exit
exit:
%cout = phi i1 [false, %entry], [%c2, %if]
store i32 %val, i32 addrspace(1)* %out, align 4
store i1 %cout, i1 addrspace(1)* %carryout
ret void
}
declare i32 @llvm.amdgcn.workitem.id.x() #1 declare i32 @llvm.amdgcn.workitem.id.x() #1
declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16) #1 declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16) #1
declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32) #1 declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32) #1
declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #1 declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #1
declare { <2 x i32>, <2 x i1> } @llvm.uadd.with.overflow.v2i32(<2 x i32>, <2 x i32>) nounwind readnone declare { <2 x i32>, <2 x i1> } @llvm.uadd.with.overflow.v2i32(<2 x i32>, <2 x i32>) nounwind readnone
attributes #0 = { nounwind } attributes #0 = { nounwind }
attributes #1 = { nounwind readnone } attributes #1 = { nounwind readnone }

llvm/test/CodeGen/AMDGPU/usubo.ll

Show First 20 Lines • Show All 170 Lines • ▼ Show 20 Linesdefine amdgpu_kernel void @v_usubo_v2i32(<2 x i32> addrspace(1)* %out, <2 x i32> addrspace(1)* %carryout, <2 x i32> addrspace(1)* %aptr, <2 x i32> addrspace(1)* %bptr) nounwind {
%val = extractvalue { <2 x i32>, <2 x i1> } %sadd, 0 %val = extractvalue { <2 x i32>, <2 x i1> } %sadd, 0
%carry = extractvalue { <2 x i32>, <2 x i1> } %sadd, 1 %carry = extractvalue { <2 x i32>, <2 x i1> } %sadd, 1
store <2 x i32> %val, <2 x i32> addrspace(1)* %out, align 4 store <2 x i32> %val, <2 x i32> addrspace(1)* %out, align 4
%carry.ext = zext <2 x i1> %carry to <2 x i32> %carry.ext = zext <2 x i1> %carry to <2 x i32>
store <2 x i32> %carry.ext, <2 x i32> addrspace(1)* %carryout store <2 x i32> %carry.ext, <2 x i32> addrspace(1)* %carryout
ret void ret void
} }
; FUNC-LABEL: {{^}}s_usubo_clamp_bit:
; GCN: v_sub_{{i|u|co_u}}32_e32
; GCN: s_endpgm
define amdgpu_kernel void @s_usubo_clamp_bit(i32 addrspace(1)* %out, i1 addrspace(1)* %carryout, i32 %a, i32 %b) #0 {
entry:
%usub = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %a, i32 %b)
%val = extractvalue { i32, i1 } %usub, 0
%carry = extractvalue { i32, i1 } %usub, 1
%c2 = icmp eq i1 %carry, false
%cc = icmp eq i32 %a, %b
br i1 %cc, label %exit, label %if
if:
br label %exit
exit:
%cout = phi i1 [false, %entry], [%c2, %if]
store i32 %val, i32 addrspace(1)* %out, align 4
store i1 %cout, i1 addrspace(1)* %carryout
ret void
}
; FUNC-LABEL: {{^}}v_usubo_clamp_bit:
; GCN: v_sub_{{i|u|co_u}}32_e64
; GCN: s_endpgm
define amdgpu_kernel void @v_usubo_clamp_bit(i32 addrspace(1)* %out, i1 addrspace(1)* %carryout, i32 addrspace(1)* %a.ptr, i32 addrspace(1)* %b.ptr) #0 {
entry:
%tid = call i32 @llvm.amdgcn.workitem.id.x()
%tid.ext = sext i32 %tid to i64
%a.gep = getelementptr inbounds i32, i32 addrspace(1)* %a.ptr
%b.gep = getelementptr inbounds i32, i32 addrspace(1)* %b.ptr
%a = load i32, i32 addrspace(1)* %a.gep, align 4
%b = load i32, i32 addrspace(1)* %b.gep, align 4
%usub = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %a, i32 %b)
%val = extractvalue { i32, i1 } %usub, 0
%carry = extractvalue { i32, i1 } %usub, 1
%c2 = icmp eq i1 %carry, false
%cc = icmp eq i32 %a, %b
br i1 %cc, label %exit, label %if
if:
br label %exit
exit:
%cout = phi i1 [false, %entry], [%c2, %if]
store i32 %val, i32 addrspace(1)* %out, align 4
store i1 %cout, i1 addrspace(1)* %carryout
ret void
}
declare i32 @llvm.amdgcn.workitem.id.x() #1 declare i32 @llvm.amdgcn.workitem.id.x() #1
declare { i16, i1 } @llvm.usub.with.overflow.i16(i16, i16) #1 declare { i16, i1 } @llvm.usub.with.overflow.i16(i16, i16) #1
declare { i32, i1 } @llvm.usub.with.overflow.i32(i32, i32) #1 declare { i32, i1 } @llvm.usub.with.overflow.i32(i32, i32) #1
declare { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64) #1 declare { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64) #1
declare { <2 x i32>, <2 x i1> } @llvm.usub.with.overflow.v2i32(<2 x i32>, <2 x i32>) nounwind readnone declare { <2 x i32>, <2 x i1> } @llvm.usub.with.overflow.v2i32(<2 x i32>, <2 x i32>) nounwind readnone
attributes #0 = { nounwind } attributes #0 = { nounwind }
attributes #1 = { nounwind readnone } attributes #1 = { nounwind readnone }