48 lines
1.2 KiB
LLVM
48 lines
1.2 KiB
LLVM
|
; RUN: opt %s -analyze -divergence -use-gpu-divergence-analysis | FileCheck %s
|
||
|
|
|
||
|
|
target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
|
||
|
|
target triple = "nvptx64-nvidia-cuda"
|
||
|
|
|
||
|
|
define i32 @daorder(i32 %n) {
|
||
|
|
; CHECK-LABEL: Printing analysis 'Legacy Divergence Analysis' for function 'daorder'
|
||
|
|
entry:
|
||
|
|
%tid = call i32 @llvm.nvvm.read.ptx.sreg.tid.x()
|
||
|
|
%cond = icmp slt i32 %tid, 0
|
||
|
|
br i1 %cond, label %A, label %B ; divergent
|
||
|
|
; CHECK: DIVERGENT: br i1 %cond,
|
||
|
|
A:
|
||
|
|
%defAtA = add i32 %n, 1 ; uniform
|
||
|
|
; CHECK-NOT: DIVERGENT: %defAtA =
|
||
|
|
br label %C
|
||
|
|
B:
|
||
|
|
%defAtB = add i32 %n, 2 ; uniform
|
||
|
|
; CHECK-NOT: DIVERGENT: %defAtB =
|
||
|
|
br label %C
|
||
|
|
C:
|
||
|
|
%defAtC = phi i32 [ %defAtA, %A ], [ %defAtB, %B ] ; divergent
|
||
|
|
; CHECK: DIVERGENT: %defAtC =
|
||
|
|
br label %D
|
||
|
|
|
||
|
|
D:
|
||
|
|
%i = phi i32 [0, %C], [ %i.inc, %E ] ; uniform
|
||
|
|
; CHECK-NOT: DIVERGENT: %i = phi
|
||
|
|
br label %E
|
||
|
|
|
||
|
|
E:
|
||
|
|
%i.inc = add i32 %i, 1
|
||
|
|
%loopCnt = icmp slt i32 %i.inc, %n
|
||
|
|
; CHECK-NOT: DIVERGENT: %loopCnt =
|
||
|
|
br i1 %loopCnt, label %D, label %exit
|
||
|
|
|
||
|
|
exit:
|
||
|
|
ret i32 %n
|
||
|
|
}
|
||
|
|
|
||
|
|
declare i32 @llvm.nvvm.read.ptx.sreg.tid.x()
|
||
|
|
declare i32 @llvm.nvvm.read.ptx.sreg.tid.y()
|
||
|
|
declare i32 @llvm.nvvm.read.ptx.sreg.tid.z()
|
||
|
|
declare i32 @llvm.nvvm.read.ptx.sreg.laneid()
|
||
|
|
|
||
|
|
!nvvm.annotations = !{!0}
|
||
|
|
!0 = !{i32 (i32)* @daorder, !"kernel", i32 1}
|