[llvm-dev] Data-dependent cycles in IR without cycles in source?

[Krzysztof Parzyszek via llvm-dev]

On 9/27/2016 1:57 PM, Matthew O'Connor via llvm-dev wrote:
> In the first two cases, `Count` has an undefined value when `Count + 1`
> is evaluated and the value is scoped to the body of the loop so

So it's an undefined behavior. The compiler does _something_, but is not 
required do anything specific in such cases.

-Krzysztof

-- 
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, 
hosted by The Linux Foundation