v8/test/cctest/test-smi-lexicographic-compare.cc
Jakob Kummerow 6d706ae3a0 [ubsan] Port Smi to the new design
and split Smi out of objects.h into smi.h.

Bug: v8:3770, v8:5402
Change-Id: I5ff7461495d29c785a76c79aca2616816a29ab1e
Reviewed-on: https://chromium-review.googlesource.com/c/1313035
Reviewed-by: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Hannes Payer <hpayer@chromium.org>
Reviewed-by: Adam Klein <adamk@chromium.org>
Reviewed-by: Toon Verwaest <verwaest@chromium.org>
Reviewed-by: Deepti Gandluri <gdeepti@chromium.org>
Commit-Queue: Jakob Kummerow <jkummerow@chromium.org>
Cr-Commit-Position: refs/heads/master@{#57252}
2018-11-05 20:52:51 +00:00

81 lines
1.9 KiB
C++

// Copyright 2018 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <set>
#include "src/objects-inl.h"
#include "src/objects/smi.h"
#include "src/v8.h"
#include "test/cctest/cctest.h"
namespace v8 {
namespace internal {
namespace {
void AddSigned(std::set<Smi>& smis, int64_t x) {
if (!Smi::IsValid(x)) return;
smis.insert(Smi::FromInt(static_cast<int>(x)));
smis.insert(Smi::FromInt(static_cast<int>(-x)));
}
// Uses std::lexicographical_compare twice to convert the result to -1, 0 or 1.
int ExpectedCompareResult(Smi a, Smi b) {
std::string str_a = std::to_string(a->value());
std::string str_b = std::to_string(b->value());
bool expected_a_lt_b = std::lexicographical_compare(
str_a.begin(), str_a.end(), str_b.begin(), str_b.end());
bool expected_b_lt_a = std::lexicographical_compare(
str_b.begin(), str_b.end(), str_a.begin(), str_a.end());
if (!expected_a_lt_b && !expected_b_lt_a) {
return 0;
} else if (expected_a_lt_b) {
return -1;
} else {
CHECK(expected_b_lt_a);
return 1;
}
}
bool Test(Isolate* isolate, Smi a, Smi b) {
int actual = Smi(Smi::LexicographicCompare(isolate, a, b)).value();
int expected = ExpectedCompareResult(a, b);
return actual == expected;
}
} // namespace
TEST(TestSmiLexicographicCompare) {
Isolate* isolate = CcTest::InitIsolateOnce();
HandleScope scope(isolate);
std::set<Smi> smis;
for (int64_t xb = 1; xb <= Smi::kMaxValue; xb *= 10) {
for (int64_t xf = 0; xf <= 9; ++xf) {
for (int64_t xo = -1; xo <= 1; ++xo) {
AddSigned(smis, xb * xf + xo);
}
}
}
for (int64_t yb = 1; yb <= Smi::kMaxValue; yb *= 2) {
for (int64_t yo = -2; yo <= 2; ++yo) {
AddSigned(smis, yb + yo);
}
}
for (Smi a : smis) {
for (Smi b : smis) {
CHECK(Test(isolate, a, b));
}
}
}
} // namespace internal
} // namespace v8