Fix for PR18102.
authorStepan Dyatkovskiy <stpworld@narod.ru>
Mon, 27 Jan 2014 09:18:31 +0000 (09:18 +0000)
committerStepan Dyatkovskiy <stpworld@narod.ru>
Mon, 27 Jan 2014 09:18:31 +0000 (09:18 +0000)
commitc628af024e7f1716161241e1e3fb7037b6a078fa
tree306f345521efeca1ff304a89fd9d8c2290bcc1ae
parent0afd0bc5facb63a96c706dc8a2468327ee3161da
Fix for PR18102.

Issue outcomes from DAGCombiner::MergeConsequtiveStores, more precisely from
mem-ops sequence sorting.

Consider, how MergeConsequtiveStores works for next example:

store i8 1, a[0]
store i8 2, a[1]
store i8 3, a[1]   ; a[1] again.
return   ; DAG starts here

1. Method will collect all the 3 stores.
2. It sorts them by distance from the base pointer (farthest with highest
index).
3. It takes first consecutive non-overlapping stores and (if possible) replaces
them with a single store instruction.

The point is, we can't determine here which 'store' instruction
would be the second after sorting ('store 2' or 'store 3').
It happens that 'store 3' would be the second, and 'store 2' would be the third.

So after merging we have the next result:

store i16 (1 | 3 << 8), base   ; is a[0] but bit-casted to i16
store i8 2, a[1]

So actually we swapped 'store 3' and 'store 2' and got wrong contents in a[1].

Fix: In sort routine just also take into account mem-op sequence number.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200201 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/SelectionDAG/DAGCombiner.cpp
test/CodeGen/Generic/stores-merging.ll [new file with mode: 0644]