1; RUN: opt %s -analyze -divergence -use-gpu-divergence-analysis | FileCheck %s
2
3target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
4target triple = "nvptx64-nvidia-cuda"
5
6define i32 @hidden_diverge(i32 %n, i32 %a, i32 %b) {
7; CHECK-LABEL: Printing analysis 'Legacy Divergence Analysis' for function 'hidden_diverge'
8entry:
9  %tid = call i32 @llvm.nvvm.read.ptx.sreg.tid.x()
10  %cond.var = icmp slt i32 %tid, 0
11  br i1 %cond.var, label %B, label %C ; divergent
12; CHECK: DIVERGENT: br i1 %cond.var,
13B:
14  %cond.uni = icmp slt i32 %n, 0
15  br i1 %cond.uni, label %C, label %merge ; uniform
16; CHECK-NOT: DIVERGENT: br i1 %cond.uni,
17C:
18  %phi.var.hidden = phi i32 [ 1, %entry ], [ 2, %B  ]
19; CHECK: DIVERGENT: %phi.var.hidden = phi i32
20  br label %merge
21merge:
22  %phi.ipd = phi i32 [ %a, %B ], [ %b, %C ]
23; CHECK: DIVERGENT: %phi.ipd = phi i32
24  ret i32 %phi.ipd
25}
26
27declare i32 @llvm.nvvm.read.ptx.sreg.tid.x()
28
29!nvvm.annotations = !{!0}
30!0 = !{i32 (i32, i32, i32)* @hidden_diverge, !"kernel", i32 1}
31