mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
[NVPTX] Test that MachineSink won't sink across llvm.cuda.syncthreads.
Summary: The syncthreads MI is modeled as mayread/maywrite -- convergence doesn't even come into play here. Nonetheless this property is highly implicit in the tablegen files, so a test seems appropriate. Reviewers: jingyue Subscribers: llvm-commits, jholewinski Differential Revision: http://reviews.llvm.org/D17319 llvm-svn: 261114
This commit is contained in:
parent
f89d876f55
commit
ab72baa618
23
test/CodeGen/NVPTX/MachineSink-convergent.ll
Normal file
23
test/CodeGen/NVPTX/MachineSink-convergent.ll
Normal file
@ -0,0 +1,23 @@
|
||||
; RUN: llc < %s | FileCheck %s
|
||||
target triple = "nvptx64-nvidia-cuda"
|
||||
|
||||
declare void @llvm.cuda.syncthreads()
|
||||
|
||||
; Load a value, then syncthreads. Branch, and use the loaded value only on one
|
||||
; side of the branch. The load shouldn't be sunk beneath the call, because
|
||||
; syncthreads is modeled as maystore.
|
||||
define i32 @f(i32 %x, i32* %ptr, i1 %cond) {
|
||||
Start:
|
||||
; CHECK: ld.u32
|
||||
%ptr_val = load i32, i32* %ptr
|
||||
; CHECK: bar.sync
|
||||
call void @llvm.cuda.syncthreads()
|
||||
br i1 %cond, label %L1, label %L2
|
||||
L1:
|
||||
%ptr_val2 = add i32 %ptr_val, 100
|
||||
br label %L2
|
||||
L2:
|
||||
%v4 = phi i32 [ %x, %Start ], [ %ptr_val2, %L1 ]
|
||||
%v5 = add i32 %v4, 1000
|
||||
ret i32 %v5
|
||||
}
|
Loading…
Reference in New Issue
Block a user