AMDGPU: Don't error on calls to null or undef

Calls to constants should probably be generally handled.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@375356 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Matt Arsenault
2019-10-20 07:46:04 +00:00
parent c624032000
commit b0113baebf
3 changed files with 64 additions and 0 deletions
+45
View File
@@ -0,0 +1,45 @@
; RUN: llc -mtriple=amdgcn-amd-amdhsa < %s | FileCheck -check-prefix=GCN %s
; FIXME: Emitting unnecessary flat_scratch setup
; GCN-LABEL: {{^}}test_call_undef:
; GCN: s_mov_b32 s8, s7
; GCN: s_mov_b32 flat_scratch_lo, s5
; GCN: s_add_u32 s4, s4, s8
; GCN: s_lshr_b32
; GCN: s_endpgm
define amdgpu_kernel void @test_call_undef() #0 {
%val = call i32 undef(i32 1)
%op = add i32 %val, 1
store volatile i32 %op, i32 addrspace(1)* undef
ret void
}
; GCN-LABEL: {{^}}test_tail_call_undef:
; GCN: s_waitcnt
; GCN-NEXT: .Lfunc_end
define i32 @test_tail_call_undef() #0 {
%call = tail call i32 undef(i32 1)
ret i32 %call
}
; GCN-LABEL: {{^}}test_call_null:
; GCN: s_mov_b32 s8, s7
; GCN: s_mov_b32 flat_scratch_lo, s5
; GCN: s_add_u32 s4, s4, s8
; GCN: s_lshr_b32
; GCN: s_endpgm
define amdgpu_kernel void @test_call_null() #0 {
%val = call i32 null(i32 1)
%op = add i32 %val, 1
store volatile i32 %op, i32 addrspace(1)* null
ret void
}
; GCN-LABEL: {{^}}test_tail_call_null:
; GCN: s_waitcnt
; GCN-NEXT: .Lfunc_end
define i32 @test_tail_call_null() #0 {
%call = tail call i32 null(i32 1)
ret i32 %call
}
+10
View File
@@ -74,3 +74,13 @@ define amdgpu_ps i32 @test_call_from_shader() {
%call = call i32 @defined_function(i32 0)
ret i32 %call
}
; FIXME: Bad error message
; GCN: error: <unknown>:0:0: in function test_call_absolute void (): unsupported indirect call to function <unknown>
; R600: error: <unknown>:0:0: in function test_call_absolute void (): unsupported call to function <unknown>
define amdgpu_kernel void @test_call_absolute() #0 {
%val = call i32 inttoptr (i64 1234 to i32(i32)*) (i32 1)
%op = add i32 %val, 1
store volatile i32 %op, i32 addrspace(1)* undef
ret void
}