// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.9

// Regression test for dart2js, that used to generate bad code in
// checked mode. The pattern that lead to an error was:
//
// t1 = GeneratedAtUseSite instruction
// t2 = check(t1)
// t3 = check(t2)
// t4 = use(t3)
// t5 = use(t3)
// t6 = use(t2)
//
// The SSA variable allocator used to allocate the same variable for
// t5 and t2, because of a bogus optimization with check instructions.

expect(a, b) {
  if (a != b) throw 'Failed';
}

var array = [
  new SelectorGroup([
    new Selector([new SimpleSelectorSequence(new ClassSelector())]),
    new Selector([new SimpleSelectorSequence(new ClassSelector())]),
    new Selector([new SimpleSelectorSequence(new ClassSelector())])
  ]),
  new Object()
];

class RuleSet {
  final SelectorGroup _selectorGroup;
  RuleSet(this._selectorGroup);
  SelectorGroup get selectorGroup => _selectorGroup;
}

class SelectorGroup {
  List<Selector> _selectors;
  SelectorGroup(this._selectors);
  List<Selector> get selectors => _selectors;
}

class Selector {
  final List<SimpleSelectorSequence> _simpleSelectorSequences;
  Selector(this._simpleSelectorSequences);
  List<SimpleSelectorSequence> get simpleSelectorSequences =>
      _simpleSelectorSequences;
}

class SimpleSelectorSequence {
  final SimpleSelector _selector;
  SimpleSelectorSequence(this._selector);
  get simpleSelector => _selector;
}

class SimpleSelector {}

class ClassSelector extends SimpleSelector {}

void testSelectorGroups() {
  // Fetch the rule set from an array to trick the type inferrer.
  var ruleset = new RuleSet(array[0]);
  expect(ruleset.selectorGroup.selectors.length, 3);

  var groupSelector0 = ruleset.selectorGroup.selectors[0];
  var selector0 = groupSelector0.simpleSelectorSequences[0];
  var simpleSelector0 = selector0.simpleSelector;

  var groupSelector1 = ruleset.selectorGroup.selectors[1];
  var selector1 = groupSelector1.simpleSelectorSequences[0];
  var simpleSelector1 = selector1.simpleSelector;
  expect(simpleSelector1 is ClassSelector, true);
  var groupSelector2 = ruleset.selectorGroup.selectors[2];
}

main() {
  testSelectorGroups();
  // Trick the type inferrer.
  new SimpleSelectorSequence(new SimpleSelector());
  new SelectorGroup([]);
  new Selector([]);
}