2014-01-17 10:45:37 +00:00
|
|
|
/****************************************************************************
|
|
|
|
**
|
2015-01-28 11:55:39 +00:00
|
|
|
** Copyright (C) 2015 The Qt Company Ltd.
|
|
|
|
** Contact: http://www.qt.io/licensing/
|
2014-01-17 10:45:37 +00:00
|
|
|
**
|
|
|
|
** This file is part of the test suite of the Qt Toolkit.
|
|
|
|
**
|
2014-08-22 06:13:59 +00:00
|
|
|
** $QT_BEGIN_LICENSE:LGPL21$
|
2014-01-17 10:45:37 +00:00
|
|
|
** Commercial License Usage
|
|
|
|
** Licensees holding valid commercial Qt licenses may use this file in
|
|
|
|
** accordance with the commercial license agreement provided with the
|
|
|
|
** Software or, alternatively, in accordance with the terms contained in
|
2015-01-28 11:55:39 +00:00
|
|
|
** a written agreement between you and The Qt Company. For licensing terms
|
|
|
|
** and conditions see http://www.qt.io/terms-conditions. For further
|
|
|
|
** information use the contact form at http://www.qt.io/contact-us.
|
2014-01-17 10:45:37 +00:00
|
|
|
**
|
|
|
|
** GNU Lesser General Public License Usage
|
|
|
|
** Alternatively, this file may be used under the terms of the GNU Lesser
|
2014-08-22 06:13:59 +00:00
|
|
|
** General Public License version 2.1 or version 3 as published by the Free
|
|
|
|
** Software Foundation and appearing in the file LICENSE.LGPLv21 and
|
|
|
|
** LICENSE.LGPLv3 included in the packaging of this file. Please review the
|
|
|
|
** following information to ensure the GNU Lesser General Public License
|
|
|
|
** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
|
|
|
|
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
|
2014-01-17 10:45:37 +00:00
|
|
|
**
|
2015-01-28 11:55:39 +00:00
|
|
|
** As a special exception, The Qt Company gives you certain additional
|
|
|
|
** rights. These rights are described in The Qt Company LGPL Exception
|
2014-01-17 10:45:37 +00:00
|
|
|
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
|
|
|
|
**
|
|
|
|
** $QT_END_LICENSE$
|
|
|
|
**
|
|
|
|
****************************************************************************/
|
|
|
|
|
|
|
|
#include <qtest.h>
|
|
|
|
|
|
|
|
#include <private/qv4ssa_p.h>
|
|
|
|
|
|
|
|
class tst_v4misc: public QObject
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
|
|
|
|
private slots:
|
|
|
|
void initTestCase();
|
|
|
|
|
|
|
|
void rangeSplitting_1();
|
|
|
|
void rangeSplitting_2();
|
|
|
|
void rangeSplitting_3();
|
|
|
|
};
|
|
|
|
|
|
|
|
QT_BEGIN_NAMESPACE
|
|
|
|
// Avoid QHash randomization so that the temp numbering is stable.
|
|
|
|
extern Q_CORE_EXPORT QBasicAtomicInt qt_qhash_seed; // from qhash.cpp
|
|
|
|
QT_END_NAMESPACE
|
|
|
|
|
2014-02-14 12:58:40 +00:00
|
|
|
using namespace QT_PREPEND_NAMESPACE(QV4::IR);
|
2014-01-17 10:45:37 +00:00
|
|
|
|
|
|
|
void tst_v4misc::initTestCase()
|
|
|
|
{
|
|
|
|
qt_qhash_seed.store(0);
|
|
|
|
QCOMPARE(qt_qhash_seed.load(), 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
// split between two ranges
|
|
|
|
void tst_v4misc::rangeSplitting_1()
|
|
|
|
{
|
|
|
|
LifeTimeInterval interval;
|
|
|
|
interval.addRange(59, 59);
|
|
|
|
interval.addRange(61, 62);
|
|
|
|
interval.addRange(64, 64);
|
|
|
|
interval.addRange(69, 71);
|
|
|
|
interval.validate();
|
|
|
|
QCOMPARE(interval.end(), 71);
|
|
|
|
|
|
|
|
LifeTimeInterval newInterval = interval.split(66, 70);
|
|
|
|
interval.validate();
|
|
|
|
newInterval.validate();
|
|
|
|
QVERIFY(newInterval.isSplitFromInterval());
|
|
|
|
|
|
|
|
QCOMPARE(interval.ranges().size(), 3);
|
|
|
|
QCOMPARE(interval.ranges()[0].start, 59);
|
|
|
|
QCOMPARE(interval.ranges()[0].end, 59);
|
|
|
|
QCOMPARE(interval.ranges()[1].start, 61);
|
|
|
|
QCOMPARE(interval.ranges()[1].end, 62);
|
|
|
|
QCOMPARE(interval.ranges()[2].start, 64);
|
|
|
|
QCOMPARE(interval.ranges()[2].end, 64);
|
|
|
|
QCOMPARE(interval.end(), 70);
|
|
|
|
|
|
|
|
QCOMPARE(newInterval.ranges().size(), 1);
|
|
|
|
QCOMPARE(newInterval.ranges()[0].start, 70);
|
|
|
|
QCOMPARE(newInterval.ranges()[0].end, 71);
|
|
|
|
QCOMPARE(newInterval.end(), 71);
|
|
|
|
}
|
|
|
|
|
|
|
|
// split in the middle of a range
|
|
|
|
void tst_v4misc::rangeSplitting_2()
|
|
|
|
{
|
|
|
|
LifeTimeInterval interval;
|
|
|
|
interval.addRange(59, 59);
|
|
|
|
interval.addRange(61, 64);
|
|
|
|
interval.addRange(69, 71);
|
|
|
|
interval.validate();
|
|
|
|
QCOMPARE(interval.end(), 71);
|
|
|
|
|
|
|
|
LifeTimeInterval newInterval = interval.split(62, 64);
|
|
|
|
interval.validate();
|
|
|
|
newInterval.validate();
|
|
|
|
QVERIFY(newInterval.isSplitFromInterval());
|
|
|
|
|
|
|
|
QCOMPARE(interval.ranges().size(), 2);
|
|
|
|
QCOMPARE(interval.ranges()[0].start, 59);
|
|
|
|
QCOMPARE(interval.ranges()[0].end, 59);
|
|
|
|
QCOMPARE(interval.ranges()[1].start, 61);
|
|
|
|
QCOMPARE(interval.ranges()[1].end, 62);
|
|
|
|
QCOMPARE(interval.end(), 64);
|
|
|
|
|
|
|
|
QCOMPARE(newInterval.ranges().size(), 2);
|
|
|
|
QCOMPARE(newInterval.ranges()[0].start, 64);
|
|
|
|
QCOMPARE(newInterval.ranges()[0].end, 64);
|
|
|
|
QCOMPARE(newInterval.ranges()[1].start, 69);
|
|
|
|
QCOMPARE(newInterval.ranges()[1].end, 71);
|
|
|
|
QCOMPARE(newInterval.end(), 71);
|
|
|
|
}
|
|
|
|
|
|
|
|
// split in the middle of a range, and let it never go back to active again
|
|
|
|
void tst_v4misc::rangeSplitting_3()
|
|
|
|
{
|
|
|
|
LifeTimeInterval interval;
|
|
|
|
interval.addRange(59, 59);
|
|
|
|
interval.addRange(61, 64);
|
|
|
|
interval.addRange(69, 71);
|
|
|
|
interval.validate();
|
|
|
|
QCOMPARE(interval.end(), 71);
|
|
|
|
|
V4 RegAlloc: change life-time intervals from closed to half-open.
There are two changes in this patch, that go hand-in-hand. First, when
re-numbering the statements in order of occurrence in the scheduled
basic-blocks, the (new) position is not stored in the statement itself,
but in the LifeTimeIntervals class. This makes it possible to re-use
information gathered during SSA formation or optimization.
The re-numbering itself has also changed, resulting in some minor
changes to the life-time interval calculation. The new numbering
is described in LifeTimeIntervals::renumber(). The reason is to make it
easy for the register allocator and stack-slot allocator to distinguish
between definition of a temporary and its uses. Example:
20: %3 = %2 + %1
22: print(%3)
If the life-time of %2 or %1 ends at 20, then at the point that %3 gets
assigned, it can re-use the storage occupied by %1 or %2. Also, when
both %1 and %2 need to get a register assigned (because they were
spilled to the stack, for example), %3 should be allocated "after" both
%1 and %2. So, instead of having a closed interval of [20-22] for %3, we
want to use an open interval of (20-22]. To simulate the "open" part, the
life-time of %3 is set to [21-22]. So, all statements live on even
positions, and temporaries defined by a statement start at
statmentPosition + 1.
Change-Id: I0eda2c653b0edf1a529bd0762d338b0ea9a66aa0
Sanity-Review: Qt Sanity Bot <qt_sanitybot@qt-project.org>
Reviewed-by: Lars Knoll <lars.knoll@digia.com>
2014-05-14 12:44:27 +00:00
|
|
|
LifeTimeInterval newInterval = interval.split(64, LifeTimeInterval::InvalidPosition);
|
2014-01-17 10:45:37 +00:00
|
|
|
interval.validate();
|
|
|
|
newInterval.validate();
|
|
|
|
QVERIFY(!newInterval.isValid());
|
|
|
|
|
|
|
|
QCOMPARE(interval.ranges().size(), 2);
|
|
|
|
QCOMPARE(interval.ranges()[0].start, 59);
|
|
|
|
QCOMPARE(interval.ranges()[0].end, 59);
|
|
|
|
QCOMPARE(interval.ranges()[1].start, 61);
|
|
|
|
QCOMPARE(interval.ranges()[1].end, 64);
|
|
|
|
QCOMPARE(interval.end(), 71);
|
|
|
|
}
|
|
|
|
|
|
|
|
QTEST_MAIN(tst_v4misc)
|
|
|
|
|
|
|
|
#include "tst_v4misc.moc"
|