<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/137277>137277</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Uniformity Analysis: incorrect control-divergence result.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          jgu222
      </td>
    </tr>
</table>

<pre>
    The uniform analysis fails to recognize PHI node as divergence. 

The test (phi_issue.ll) using AMDGPU to get divergence branch.  The uniformity
analysis marks all PHI nodes at B6 as uniform, which is incorrect.
Basically, it is the following simple if-then-else (except there are multiple
basic blocks in both then and else brances):

       div-if  ;  divergent branch
      /       \
  x0=1 x1 = 2
     \        /
      \    /
    x = phi  x0, x1

x is marked as UNIFORM, which is incorrect as div-if is divergent branch
===============================================
;
; opt -mtriple amdgcn-unknown-amdhsa -passes='print<uniformity>' -disable-output phi_issue.ll
;
define amdgpu_kernel void @test_ctrl_divergence(i32 %a, i32 %b, i32 %c, i32 %d) {
Entry:
  %tid = call i32 @llvm.amdgcn.workitem.id.x()
  %div.cond = icmp eq i32 %tid, 0
  br i1 %div.cond, label %B3, label %B0 ; divergent branch

B0:
  %a0 = add i32 %a, 1
  br label %B1

B1:
  %b0 = add i32 %b, 2
  br label %B2
 
B2:
  %c0 = add i32 %c, 3
  br label %B6

B3:
  %a1 = add i32 %a, 10
 br label %B4

B4:
  %b1 = add i32 %b, 20
  br label %B5
  
B5:
  %c1 = add i32 %c, 30
  br label %B6

B6:
  %div_a = phi i32 [%a0, %B2], [%a1, %B5]
  %div_b = phi i32 [%b0, %B2], [%b1,  %B5]
  %div_c = phi i32 [%c0, %B2], [%c1,  %B5]
  br i1 %div.cond, label %B8, label %B7 ; divergent branch

B7:
  %d1 = add i32 %d, 1
  br label %B8

B8:
  %div_d = phi i32 [%d1, %B7], [%d, %B6]
  ret void
}


declare i32 @llvm.amdgcn.workitem.id.x() #0  

attributes #0 = {nounwind readnone }
====================================
%opt -mtriple amdgcn-unknown-amdhsa -passes='print<uniformity>' -disable-output  phi_issue.ll
...
LOCK Entry
DEFINITIONS
  DIVERGENT:   %tid = call i32 @llvm.amdgcn.workitem.id.x()
  DIVERGENT:   %div.cond = icmp eq i32 %tid, 0
TERMINATORS
  DIVERGENT:   br i1 %div.cond, label %B3, label %B0
END BLOCK
......
BLOCK B6
DEFINITIONS
               %div_a = phi i32 [ %a0, %B2 ], [ %a1, %B5 ]
               %div_b = phi i32 [ %b0, %B2 ], [ %b1, %B5 ]
               %div_c = phi i32 [ %c0, %B2 ], [ %c1, %B5 ]
TERMINATORS
 DIVERGENT:   br i1 %div.cond, label %B8, label %B7
END BLOCK


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMV11z4jYU_TXi5Q4eWcZgHngwIWyZdpOdNNvXjCwJrI2QXUkmpL--I9mA-Ui7O512ymQSI-uce3R0dexQa-VGCzFD6RyliwFtXFmZ2bdNQwgZFBV_nz2XAhot15XZAtVUvVtpYU2lsuAqMIJVGy3_EPDlpxXoigugFrjcCbMRmokIEM4Rzj2LE9YBIlldyhdpbSMipRCZQmOl3kD-efHpy1fPuRGuxwCFoZqVEUBPiXTvCOdHOVtqXi1QpY4qLFAH87EX00EQuYO3UrISpAWpWWWMYC5COJ9TKxlV6t1Pkc7fd6WAdaVU9ealWbmtlQC5HrpS6KFQVvh1iD0TtfNzjQBqBGwb5WStBMJ54TmhUBV79dWgqFzpZ2qgmkNgCOsSFpEpSvLWJWg_XO6Gcg2AkjkcnXCdEcdpiCy7-Si9C6N7jJJFDPsYULIAcpiJ0juAI-aEb4dPQ_sAq0sZmMgd7ONW1h46jwX3hn59WC0fnz7fNrTbfq9f2lviUbL4H_14PfP2N1S1g-HWGb-FQLd8w_Sw0a-6etNDuuWlpTCsqbXCeiSZ1EZqh5K7Xk8m94hMYMilpYUSw6pxdePgrOEPFblYS93WqZuXV2G0ULCrJAc0wv6ovDBn1MvpICCSyYQAIikNjdpeF71r1rvm_mShia90r515b3vMb3fqfI1kAb7n2-kjrNRuG7Vrjt4q8yqd2EaSR3tEMt-hHZTLXcQq3eIl29Ygfj9UdJL7-jjMLQzIuI_wtxQthPKD8-T8Kw6tfqtZcD7HPekUh8qUc-h7ER9qnii71p3HPXRxhQ7ukWt0GPJw0oOzK3gwPLmGj7viSV96fFt68OsMPerQo770K3QrHV8XT1sMzudpX_wVQSv-BsFB_bgH53L3Qo_5EBjSedgQz9Jali7CdTseH8ZTP95jKW6wFB-wFIHlJg27QcM-oGE3aP6mQbPzr5O_atBJ36crm_kHDZp16OzCZX5jYfzo5uRsYfwwPD4sywgXQsSTTxZtiRA2TPkn1PeddkAkwdA9ualzRhaNE7Yd9urQZK6rRr9JzcEIynWlBXT1_uP0Jum_FtuXuR1F_m3hl8e7n6GNVJwv7perh9Xz6vHh12D_YvXb_dOn-4dnlOTwj8L2muk7s_f5_unz6iF_fny6KekHg9k_Ph4WMPerbi1oXQgDEKLi0oOzz0fRAefZAae2hvP0gENn36K9yhI4D5ML2uI7aa-yBc7D5YKWXdFe7MGPbcFl9FxsAcL5gM8SPk2mdCBm8WSUpqN4Os0G5Ww0JpmYptN0mjCWjWJMpjQjWMSTdZGxmAzkjGCS4hFJMR6NkyzK1jie0oSmnI9IvB6jERZbKlUUerQym0E4ALM4mZDJZBBk2fDfAiFavEG4i4jP24GZedCwaDbWN7m0zp5onHRKzL4ezxzk3cu79-T09sgq7Uylhr33fyNso1w0aIyalc7VHuFfWslyI13ZFBGrtogsfaXuz7A21TfBHCLLoM8isuwWsJuRPwMAAP__h7aLGw">