https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68435 --- Comment #6 from Yuri Rumyantsev <ysrumyan at gmail dot com> --- It turned out that fresh gcc performs tail duplication (aka path splitting) preventing if-conversion. So I post a dump for 20150929 compiler which reproduces the issue.