[DAG] During DAG legalization keep opaque constants even after expanding.
authorJuergen Ributzka <juergen@apple.com>
Sat, 26 Apr 2014 02:58:04 +0000 (02:58 +0000)
committerJuergen Ributzka <juergen@apple.com>
Sat, 26 Apr 2014 02:58:04 +0000 (02:58 +0000)
commitd10a9fb25a2f96850e375f3974d749803a1c3d84
tree5f6b0027f7725a8ef9a1f0ac21b09cfc2120f6df
parent9d4048578c38bac5f23125df8786bca02c93728b
[DAG] During DAG legalization keep opaque constants even after expanding.

The included test case would return the incorrect results, because the expansion
of an shift with a constant shift amount of 0 would generate undefined behavior.

This is because ExpandShiftByConstant assumes that all shifts by constants with
a value of 0 have already been optimized away. This doesn't happen for opaque
constants and usually this isn't a problem, because opaque constants won't take
this code path - they are not supposed to. In the case that the opaque constant
has to be expanded by the legalizer, the legalizer would drop the opaque flag.
In this case we hit the limitations of ExpandShiftByConstant and create incorrect
code.

This commit fixes the legalizer by not dropping the opaque flag when expanding
opaque constants and adding an assertion to ExpandShiftByConstant to catch this
not supported case in the future.

This fixes <rdar://problem/16718472>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@207304 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp
test/CodeGen/X86/expand-opaque-const.ll [new file with mode: 0644]