// Copyright (c) 2018, 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

// Test canonicalization of integer shift operations.
// This is a regression test for dartbug.com/34288.

// VMOptions=--no_background_compilation --optimization_counter_threshold=10

import "package:expect/expect.dart";

int _shl_63(int x) => x << 63;
int _shl_64(int x) => x << 64;
int _shl_65(int x) => x << 65;
int _shl_m1(int x) => x << -1;

int _shr_63(int x) => x >> 63;
int _shr_64(int x) => x >> 64;
int _shr_65(int x) => x >> 65;
int _shr_m1(int x) => x >> -1;

// Non-constant values.
int one = 1;
int minusOne = -1;

doTests() {
  Expect.equals(0x8000000000000000, _shl_63(one));
  Expect.equals(0x8000000000000000, _shl_63(minusOne));
  Expect.equals(0, _shl_64(one));
  Expect.equals(0, _shl_64(minusOne));
  Expect.equals(0, _shl_65(one));
  Expect.equals(0, _shl_65(minusOne));

  Expect.throws<ArgumentError>(() {
    _shl_m1(one);
  });

  Expect.equals(0, _shr_63(one));
  Expect.equals(-1, _shr_63(minusOne));
  Expect.equals(0, _shr_64(one));
  Expect.equals(-1, _shr_64(minusOne));
  Expect.equals(0, _shr_65(one));
  Expect.equals(-1, _shr_65(minusOne));

  Expect.throws<ArgumentError>(() {
    _shr_m1(one);
  });
}

void main() {
  for (int i = 0; i < 20; ++i) {
    doTests();
  }
}