common-operator-unittest.cc 13.9 KB
Newer Older
1 2 3 4
// Copyright 2014 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.

5 6
#include <limits>

7 8 9 10
#include "src/compiler/common-operator.h"
#include "src/compiler/opcodes.h"
#include "src/compiler/operator.h"
#include "src/compiler/operator-properties.h"
11
#include "test/unittests/test-utils.h"
12 13 14 15

namespace v8 {
namespace internal {
namespace compiler {
16
namespace common_operator_unittest {
17 18 19 20 21 22 23 24 25 26 27 28 29 30

// -----------------------------------------------------------------------------
// Shared operators.


namespace {

struct SharedOperator {
  const Operator* (CommonOperatorBuilder::*constructor)();
  IrOpcode::Value opcode;
  Operator::Properties properties;
  int value_input_count;
  int effect_input_count;
  int control_input_count;
31
  int value_output_count;
32 33 34 35 36 37 38 39 40 41
  int effect_output_count;
  int control_output_count;
};


std::ostream& operator<<(std::ostream& os, const SharedOperator& fop) {
  return os << IrOpcode::Mnemonic(fop.opcode);
}

const SharedOperator kSharedOperators[] = {
42 43 44 45 46 47 48
#define SHARED(Name, properties, value_input_count, effect_input_count,      \
               control_input_count, value_output_count, effect_output_count, \
               control_output_count)                                         \
  {                                                                          \
    &CommonOperatorBuilder::Name, IrOpcode::k##Name, properties,             \
        value_input_count, effect_input_count, control_input_count,          \
        value_output_count, effect_output_count, control_output_count        \
49
  }
50
    SHARED(Dead, Operator::kFoldable, 0, 0, 0, 1, 1, 1),
51 52
    SHARED(IfTrue, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
    SHARED(IfFalse, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
53
    SHARED(IfSuccess, Operator::kKontrol, 0, 0, 1, 0, 0, 1),
54
    SHARED(IfException, Operator::kKontrol, 0, 1, 1, 1, 1, 1),
55
    SHARED(Throw, Operator::kKontrol, 0, 1, 1, 0, 0, 1),
56
    SHARED(Terminate, Operator::kKontrol, 0, 1, 1, 0, 0, 1)
57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
#undef SHARED
};


class CommonSharedOperatorTest
    : public TestWithZone,
      public ::testing::WithParamInterface<SharedOperator> {};


TEST_P(CommonSharedOperatorTest, InstancesAreGloballyShared) {
  const SharedOperator& sop = GetParam();
  CommonOperatorBuilder common1(zone());
  CommonOperatorBuilder common2(zone());
  EXPECT_EQ((common1.*sop.constructor)(), (common2.*sop.constructor)());
}


TEST_P(CommonSharedOperatorTest, NumberOfInputsAndOutputs) {
  CommonOperatorBuilder common(zone());
  const SharedOperator& sop = GetParam();
  const Operator* op = (common.*sop.constructor)();

79 80 81
  EXPECT_EQ(sop.value_input_count, op->ValueInputCount());
  EXPECT_EQ(sop.effect_input_count, op->EffectInputCount());
  EXPECT_EQ(sop.control_input_count, op->ControlInputCount());
82 83 84 85
  EXPECT_EQ(
      sop.value_input_count + sop.effect_input_count + sop.control_input_count,
      OperatorProperties::GetTotalInputCount(op));

86
  EXPECT_EQ(sop.value_output_count, op->ValueOutputCount());
87 88
  EXPECT_EQ(sop.effect_output_count, op->EffectOutputCount());
  EXPECT_EQ(sop.control_output_count, op->ControlOutputCount());
89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
}


TEST_P(CommonSharedOperatorTest, OpcodeIsCorrect) {
  CommonOperatorBuilder common(zone());
  const SharedOperator& sop = GetParam();
  const Operator* op = (common.*sop.constructor)();
  EXPECT_EQ(sop.opcode, op->opcode());
}


TEST_P(CommonSharedOperatorTest, Properties) {
  CommonOperatorBuilder common(zone());
  const SharedOperator& sop = GetParam();
  const Operator* op = (common.*sop.constructor)();
  EXPECT_EQ(sop.properties, op->properties());
}

107 108
INSTANTIATE_TEST_SUITE_P(CommonOperatorTest, CommonSharedOperatorTest,
                         ::testing::ValuesIn(kSharedOperators));
109 110 111 112 113

// -----------------------------------------------------------------------------
// Other operators.


114 115
namespace {

116
class CommonOperatorTest : public TestWithZone {
117 118
 public:
  CommonOperatorTest() : common_(zone()) {}
119
  ~CommonOperatorTest() override = default;
120 121

  CommonOperatorBuilder* common() { return &common_; }
122

123 124 125
 private:
  CommonOperatorBuilder common_;
};
126

127

128
const int kArguments[] = {1, 5, 6, 42, 100, 10000, 65000};
129

130

131
const size_t kCases[] = {3, 4, 100, 255, 1024, 65000};
132 133


134 135 136 137 138 139 140 141 142 143 144 145
const float kFloatValues[] = {-std::numeric_limits<float>::infinity(),
                              std::numeric_limits<float>::min(),
                              -1.0f,
                              -0.0f,
                              0.0f,
                              1.0f,
                              std::numeric_limits<float>::max(),
                              std::numeric_limits<float>::infinity(),
                              std::numeric_limits<float>::quiet_NaN(),
                              std::numeric_limits<float>::signaling_NaN()};


146 147 148
const size_t kInputCounts[] = {3, 4, 100, 255, 1024, 65000};


149 150 151 152 153 154 155 156 157 158 159 160 161 162
const int32_t kInt32Values[] = {
    std::numeric_limits<int32_t>::min(), -1914954528, -1698749618, -1578693386,
    -1577976073, -1573998034, -1529085059, -1499540537, -1299205097,
    -1090814845, -938186388, -806828902, -750927650, -520676892, -513661538,
    -453036354, -433622833, -282638793, -28375, -27788, -22770, -18806, -14173,
    -11956, -11200, -10212, -8160, -3751, -2758, -1522, -121, -120, -118, -117,
    -106, -84, -80, -74, -59, -52, -48, -39, -35, -17, -11, -10, -9, -7, -5, 0,
    9, 12, 17, 23, 29, 31, 33, 35, 40, 47, 55, 56, 62, 64, 67, 68, 69, 74, 79,
    84, 89, 90, 97, 104, 118, 124, 126, 127, 7278, 17787, 24136, 24202, 25570,
    26680, 30242, 32399, 420886487, 642166225, 821912648, 822577803, 851385718,
    1212241078, 1411419304, 1589626102, 1596437184, 1876245816, 1954730266,
    2008792749, 2045320228, std::numeric_limits<int32_t>::max()};


163 164
const BranchHint kBranchHints[] = {BranchHint::kNone, BranchHint::kTrue,
                                   BranchHint::kFalse};
165

166
}  // namespace
167

168

169 170 171 172 173 174 175
TEST_F(CommonOperatorTest, End) {
  TRACED_FOREACH(size_t, input_count, kInputCounts) {
    const Operator* const op = common()->End(input_count);
    EXPECT_EQ(IrOpcode::kEnd, op->opcode());
    EXPECT_EQ(Operator::kKontrol, op->properties());
    EXPECT_EQ(0, op->ValueInputCount());
    EXPECT_EQ(0, op->EffectInputCount());
176 177 178
    EXPECT_EQ(input_count, static_cast<uint32_t>(op->ControlInputCount()));
    EXPECT_EQ(input_count, static_cast<uint32_t>(
                               OperatorProperties::GetTotalInputCount(op)));
179 180 181 182 183 184 185
    EXPECT_EQ(0, op->ValueOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(0, op->ControlOutputCount());
  }
}


186 187 188 189 190
TEST_F(CommonOperatorTest, Return) {
  TRACED_FOREACH(int, input_count, kArguments) {
    const Operator* const op = common()->Return(input_count);
    EXPECT_EQ(IrOpcode::kReturn, op->opcode());
    EXPECT_EQ(Operator::kNoThrow, op->properties());
191
    EXPECT_EQ(input_count + 1, op->ValueInputCount());
192
    EXPECT_EQ(1, op->EffectInputCount());
193
    EXPECT_EQ(1, op->ControlInputCount());
194
    EXPECT_EQ(3 + input_count, OperatorProperties::GetTotalInputCount(op));
195 196 197 198 199 200 201
    EXPECT_EQ(0, op->ValueOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(1, op->ControlOutputCount());
  }
}


202
TEST_F(CommonOperatorTest, Branch) {
203
  TRACED_FOREACH(BranchHint, hint, kBranchHints) {
204 205
    const Operator* const op = common()->Branch(hint);
    EXPECT_EQ(IrOpcode::kBranch, op->opcode());
206
    EXPECT_EQ(Operator::kKontrol, op->properties());
207
    EXPECT_EQ(hint, BranchHintOf(op));
208 209 210
    EXPECT_EQ(1, op->ValueInputCount());
    EXPECT_EQ(0, op->EffectInputCount());
    EXPECT_EQ(1, op->ControlInputCount());
211
    EXPECT_EQ(2, OperatorProperties::GetTotalInputCount(op));
212 213 214
    EXPECT_EQ(0, op->ValueOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(2, op->ControlOutputCount());
215 216 217 218
  }
}


219 220 221 222
TEST_F(CommonOperatorTest, Switch) {
  TRACED_FOREACH(size_t, cases, kCases) {
    const Operator* const op = common()->Switch(cases);
    EXPECT_EQ(IrOpcode::kSwitch, op->opcode());
223
    EXPECT_EQ(Operator::kKontrol, op->properties());
224 225 226 227 228 229 230 231 232 233 234
    EXPECT_EQ(1, op->ValueInputCount());
    EXPECT_EQ(0, op->EffectInputCount());
    EXPECT_EQ(1, op->ControlInputCount());
    EXPECT_EQ(2, OperatorProperties::GetTotalInputCount(op));
    EXPECT_EQ(0, op->ValueOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(static_cast<int>(cases), op->ControlOutputCount());
  }
}


235 236
TEST_F(CommonOperatorTest, IfValue) {
  TRACED_FOREACH(int32_t, value, kInt32Values) {
237 238 239 240 241 242 243 244 245 246 247 248 249
    TRACED_FOREACH(int32_t, order, kInt32Values) {
      const Operator* const op = common()->IfValue(value, order);
      EXPECT_EQ(IrOpcode::kIfValue, op->opcode());
      EXPECT_EQ(Operator::kKontrol, op->properties());
      EXPECT_EQ(IfValueParameters(value, order), IfValueParametersOf(op));
      EXPECT_EQ(0, op->ValueInputCount());
      EXPECT_EQ(0, op->EffectInputCount());
      EXPECT_EQ(1, op->ControlInputCount());
      EXPECT_EQ(1, OperatorProperties::GetTotalInputCount(op));
      EXPECT_EQ(0, op->ValueOutputCount());
      EXPECT_EQ(0, op->EffectOutputCount());
      EXPECT_EQ(1, op->ControlOutputCount());
    }
250 251 252 253
  }
}


254
TEST_F(CommonOperatorTest, Select) {
255 256 257 258 259 260 261 262
  static const MachineRepresentation kMachineRepresentations[] = {
      MachineRepresentation::kBit,     MachineRepresentation::kWord8,
      MachineRepresentation::kWord16,  MachineRepresentation::kWord32,
      MachineRepresentation::kWord64,  MachineRepresentation::kFloat32,
      MachineRepresentation::kFloat64, MachineRepresentation::kTagged};


  TRACED_FOREACH(MachineRepresentation, rep, kMachineRepresentations) {
263
    TRACED_FOREACH(BranchHint, hint, kBranchHints) {
264
      const Operator* const op = common()->Select(rep, hint);
265 266
      EXPECT_EQ(IrOpcode::kSelect, op->opcode());
      EXPECT_EQ(Operator::kPure, op->properties());
267
      EXPECT_EQ(rep, SelectParametersOf(op).representation());
268
      EXPECT_EQ(hint, SelectParametersOf(op).hint());
269 270 271
      EXPECT_EQ(3, op->ValueInputCount());
      EXPECT_EQ(0, op->EffectInputCount());
      EXPECT_EQ(0, op->ControlInputCount());
272
      EXPECT_EQ(3, OperatorProperties::GetTotalInputCount(op));
273 274 275
      EXPECT_EQ(1, op->ValueOutputCount());
      EXPECT_EQ(0, op->EffectOutputCount());
      EXPECT_EQ(0, op->ControlOutputCount());
276 277 278 279 280
    }
  }
}


281
TEST_F(CommonOperatorTest, Float32Constant) {
282
  TRACED_FOREACH(float, value, kFloatValues) {
283
    const Operator* op = common()->Float32Constant(value);
284
    EXPECT_PRED2(base::bit_equal_to<float>(), value, OpParameter<float>(op));
285
    EXPECT_EQ(0, op->ValueInputCount());
286
    EXPECT_EQ(0, OperatorProperties::GetTotalInputCount(op));
287 288 289
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(1, op->ValueOutputCount());
290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305
  }
  TRACED_FOREACH(float, v1, kFloatValues) {
    TRACED_FOREACH(float, v2, kFloatValues) {
      const Operator* op1 = common()->Float32Constant(v1);
      const Operator* op2 = common()->Float32Constant(v2);
      EXPECT_EQ(bit_cast<uint32_t>(v1) == bit_cast<uint32_t>(v2),
                op1->Equals(op2));
    }
  }
}


TEST_F(CommonOperatorTest, Float64Constant) {
  TRACED_FOREACH(double, value, kFloatValues) {
    const Operator* op = common()->Float64Constant(value);
    EXPECT_PRED2(base::bit_equal_to<double>(), value, OpParameter<double>(op));
306
    EXPECT_EQ(0, op->ValueInputCount());
307
    EXPECT_EQ(0, OperatorProperties::GetTotalInputCount(op));
308 309 310
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(1, op->ValueOutputCount());
311
  }
312 313 314 315 316 317 318 319 320 321 322 323 324 325 326
  TRACED_FOREACH(double, v1, kFloatValues) {
    TRACED_FOREACH(double, v2, kFloatValues) {
      const Operator* op1 = common()->Float64Constant(v1);
      const Operator* op2 = common()->Float64Constant(v2);
      EXPECT_EQ(bit_cast<uint64_t>(v1) == bit_cast<uint64_t>(v2),
                op1->Equals(op2));
    }
  }
}


TEST_F(CommonOperatorTest, NumberConstant) {
  TRACED_FOREACH(double, value, kFloatValues) {
    const Operator* op = common()->NumberConstant(value);
    EXPECT_PRED2(base::bit_equal_to<double>(), value, OpParameter<double>(op));
327
    EXPECT_EQ(0, op->ValueInputCount());
328
    EXPECT_EQ(0, OperatorProperties::GetTotalInputCount(op));
329 330 331
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(1, op->ValueOutputCount());
332 333 334 335 336 337 338 339 340
  }
  TRACED_FOREACH(double, v1, kFloatValues) {
    TRACED_FOREACH(double, v2, kFloatValues) {
      const Operator* op1 = common()->NumberConstant(v1);
      const Operator* op2 = common()->NumberConstant(v2);
      EXPECT_EQ(bit_cast<uint64_t>(v1) == bit_cast<uint64_t>(v2),
                op1->Equals(op2));
    }
  }
341 342 343
}


344
TEST_F(CommonOperatorTest, BeginRegion) {
345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362
  {
    const Operator* op =
        common()->BeginRegion(RegionObservability::kObservable);
    EXPECT_EQ(1, op->EffectInputCount());
    EXPECT_EQ(1, OperatorProperties::GetTotalInputCount(op));
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(1, op->EffectOutputCount());
    EXPECT_EQ(0, op->ValueOutputCount());
  }
  {
    const Operator* op =
        common()->BeginRegion(RegionObservability::kNotObservable);
    EXPECT_EQ(1, op->EffectInputCount());
    EXPECT_EQ(1, OperatorProperties::GetTotalInputCount(op));
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(1, op->EffectOutputCount());
    EXPECT_EQ(0, op->ValueOutputCount());
  }
363 364
}

365 366 367 368 369 370 371 372
TEST_F(CommonOperatorTest, FinishRegion) {
  const Operator* op = common()->FinishRegion();
  EXPECT_EQ(1, op->ValueInputCount());
  EXPECT_EQ(1, op->EffectInputCount());
  EXPECT_EQ(2, OperatorProperties::GetTotalInputCount(op));
  EXPECT_EQ(0, op->ControlOutputCount());
  EXPECT_EQ(1, op->EffectOutputCount());
  EXPECT_EQ(1, op->ValueOutputCount());
373 374
}

375 376 377 378 379 380 381 382 383 384 385 386 387
TEST_F(CommonOperatorTest, Projection) {
  TRACED_FORRANGE(size_t, index, 0, 3) {
    const Operator* op = common()->Projection(index);
    EXPECT_EQ(index, ProjectionIndexOf(op));
    EXPECT_EQ(1, op->ValueInputCount());
    EXPECT_EQ(1, op->ControlInputCount());
    EXPECT_EQ(2, OperatorProperties::GetTotalInputCount(op));
    EXPECT_EQ(0, op->ControlOutputCount());
    EXPECT_EQ(0, op->EffectOutputCount());
    EXPECT_EQ(1, op->ValueOutputCount());
  }
}

388
}  // namespace
389
}  // namespace common_operator_unittest
390 391 392
}  // namespace compiler
}  // namespace internal
}  // namespace v8