Function return uniformity without maximal reconvergence

[tareksander]

With the maximal reconvergence extension, function returns are explicitly marked as reconvergence points. But according to the base spec in section 2.2.5, it is only defined that invocations reconverge at the merge block (assuming control flow was uniform before). So if a function returns inside non-uniform control flow, does the control flow still reconverge at the call site or does it just stay non-uniform for the rest of the program?

[Naghasan]

Hi,

Thanks for your question,

We discussed the issue during the last call. We agreed the specs do not guaranty the program will reconverge unless you have maximal reconvergence (e.g. this is not a bug in the specs).