Disable IsSub subregister assert. pr18663.
authorWill Schmidt <will_schmidt@vnet.ibm.com>
Thu, 31 Jul 2014 19:50:53 +0000 (19:50 +0000)
committerWill Schmidt <will_schmidt@vnet.ibm.com>
Thu, 31 Jul 2014 19:50:53 +0000 (19:50 +0000)
commit723bdb5e3f0d08c9086653a32ed68651660936b6
treeeba3e02d85a9ca77ae3a7a9cd1b22b1f879931b4
parent72c5355bbeaa676c32b0f2860b6fa052fdc1bdc7
Disable IsSub subregister assert.  pr18663.

This is a follow-up to the activity in the bug at
http://llvm.org/bugs/show_bug.cgi?id=18663 .  The underlying issue has
to do with how the KILL pseudo-instruction is handled.  I defer to
Hal/Jakob/Uli for additional details and background.

This will disable the (bad?) assert, add an associated fixme comment,
and add a pair of tests.

The code change and the pr18663-2.ll test are copied from the referenced
bug.  That test does not immediately fail in my environment, but I have
added the pr18663.ll test which does.

(Comment from Hal)
to provide everyone else with some context, this assert was not bad when
it was written. At that time, we only generated KILL pseudo instructions
around subregister copies. This logic, unfortunately, had its own problems.
In r199797, the relevant logic in MachineCopyPropagation was replaced to
generate KILLs for other kinds of copies too. This change in semantics broke
this now-problematic assumption in AggressiveAntiDepBreaker. The
AggressiveAntiDepBreaker really needs a proper cleanup to deal with the
change, but removing the assert (which just allows the function to return
false) is a safe conservative behavior, and should do for the time being.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214429 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/AggressiveAntiDepBreaker.cpp
test/CodeGen/PowerPC/pr18663-2.ll [new file with mode: 0644]
test/CodeGen/PowerPC/pr18663.ll [new file with mode: 0644]