OSDN Git Service

Fix a miscompile in the DAG combiner. Previously, we would incorrectly
authorChandler Carruth <chandlerc@gmail.com>
Tue, 11 Dec 2012 00:36:57 +0000 (00:36 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Tue, 11 Dec 2012 00:36:57 +0000 (00:36 +0000)
commit1c49fda408ae5ba90fdaf1b274edd1119aea58b7
tree69f6d081c4252c86b2c3655fd4b2aa2afce24064
parent0a0990af1c525b0f16c4e7989eae8e3324ddf95a
Fix a miscompile in the DAG combiner. Previously, we would incorrectly
try to reduce the width of this load, and would end up transforming:

  (truncate (lshr (sextload i48 <ptr> as i64), 32) to i32)
to
  (truncate (zextload i32 <ptr+4> as i64) to i32)

We lost the sext attached to the load while building the narrower i32
load, and replaced it with a zext because lshr always zext's the
results. Instead, bail out of this combine when there is a conflict
between a sextload and a zext narrowing. The rest of the DAG combiner
still optimize the code down to the proper single instruction:

  movswl 6(...),%eax

Which is exactly what we wanted. Previously we read past the end *and*
missed the sign extension:

  movl 6(...), %eax

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@169802 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/SelectionDAG/DAGCombiner.cpp
test/CodeGen/X86/sext-load.ll