Recent upstream trends have moved away from explicitly using `-verify-machineinstrs`, as it's already covered by the expensive checks. This PR removes almost all `-verify-machineinstrs` from tests in `llvm/test/CodeGen/AMDGPU/*.ll`, leaving only those tests where its removal currently causes failures.
51 lines
1.5 KiB
LLVM
51 lines
1.5 KiB
LLVM
; RUN: opt -passes=loop-idiom -S < %s -mtriple=r600 -mcpu=redwood | FileCheck --check-prefix=R600 --check-prefix=FUNC %s
|
|
; RUN: opt -passes=loop-idiom -S < %s -mtriple=amdgcn -mcpu=tahiti | FileCheck --check-prefix=SI --check-prefix=FUNC %s
|
|
; RUN: opt -passes=loop-idiom -S < %s -mtriple=amdgcn -mcpu=tonga | FileCheck --check-prefix=SI --check-prefix=FUNC %s
|
|
|
|
; Make sure loop-idiom doesn't create memcpy or memset. There are no library
|
|
; implementations of these for R600.
|
|
|
|
; FUNC: @no_memcpy
|
|
; R600-NOT: {{^}}llvm.memcpy
|
|
; SI-NOT: {{^}}llvm.memcpy
|
|
define amdgpu_kernel void @no_memcpy(ptr addrspace(3) %in, i32 %size) {
|
|
entry:
|
|
%dest = alloca i8, i32 32, addrspace(5)
|
|
br label %for.body
|
|
|
|
for.body:
|
|
%0 = phi i32 [0, %entry], [%4, %for.body]
|
|
%1 = getelementptr i8, ptr addrspace(3) %in, i32 %0
|
|
%2 = getelementptr i8, ptr addrspace(5) %dest, i32 %0
|
|
%3 = load i8, ptr addrspace(3) %1
|
|
store i8 %3, ptr addrspace(5) %2
|
|
%4 = add i32 %0, 1
|
|
%5 = icmp eq i32 %4, %size
|
|
br i1 %5, label %for.end, label %for.body
|
|
|
|
for.end:
|
|
ret void
|
|
}
|
|
|
|
; FUNC: @no_memset
|
|
; R600-NOT: {{^}}llvm.memset
|
|
; R600-NOT: {{^}}memset_pattern16:
|
|
; SI-NOT: {{^}}llvm.memset
|
|
; SI-NOT: {{^}}memset_pattern16:
|
|
define amdgpu_kernel void @no_memset(i32 %size) {
|
|
entry:
|
|
%dest = alloca i8, i32 32, addrspace(5)
|
|
br label %for.body
|
|
|
|
for.body:
|
|
%0 = phi i32 [0, %entry], [%2, %for.body]
|
|
%1 = getelementptr i8, ptr addrspace(5) %dest, i32 %0
|
|
store i8 0, ptr addrspace(5) %1
|
|
%2 = add i32 %0, 1
|
|
%3 = icmp eq i32 %2, %size
|
|
br i1 %3, label %for.end, label %for.body
|
|
|
|
for.end:
|
|
ret void
|
|
}
|