test/Analysis/LegacyDivergenceAnalysis/AMDGPU/phi-undef.ll

   1 ; RUN: opt -mtriple=amdgcn-- -analyze -divergence %s | FileCheck %s
   2
   3 ; CHECK-LABEL: 'test1':
   4 ; CHECK-NEXT: DIVERGENT: i32 %bound
   5 ; CHECK: {{^  *}}%counter =
   6 ; CHECK-NEXT: DIVERGENT: %break = icmp sge i32 %counter, %bound
   7 ; CHECK-NEXT: DIVERGENT: br i1 %break, label %footer, label %body
   8 ; CHECK: {{^  *}}%counter.next =
   9 ; CHECK: {{^  *}}%counter.footer =
  10 ; CHECK: DIVERGENT: br i1 %break, label %end, label %header
  11 ; Note: %counter is not divergent!
  12 define amdgpu_ps void @test1(i32 %bound) {
  13 entry:
  14   br label %header
  15
  16 header:
  17   %counter = phi i32 [ 0, %entry ], [ %counter.footer, %footer ]
  18   %break = icmp sge i32 %counter, %bound
  19   br i1 %break, label %footer, label %body
  20
  21 body:
  22   %counter.next = add i32 %counter, 1
  23   br label %footer
  24
  25 footer:
  26   %counter.footer = phi i32 [ %counter.next, %body ], [ undef, %header ]
  27   br i1 %break, label %end, label %header
  28
  29 end:
  30   ret void
  31 }