Files
sdk/pkg/compiler/test/inference/data/shift_right_unsigned.dart
Mayank Patke 553ac951b3 [dart2js] Add indexable bits to powerset.
Change-Id: I5d4c0b4d15a05cfc30d87003785ca841c46b1a0f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/426583
Reviewed-by: Stephen Adams <sra@google.com>
2025-05-07 19:18:38 -07:00

39 lines
969 B
Dart

// Copyright (c) 2021, 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.
/*member: main:[null|powerset={null}]*/
main() {
g1 = -1;
g1 = 2;
test1();
test2();
test3();
test4();
}
/*member: g1:[subclass=JSInt|powerset={I}{O}{N}]*/
int g1 = 0;
/*member: test1:[exact=JSUInt31|powerset={I}{O}{N}]*/
test1() {
int a = 1234;
int b = 2;
return a /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ >>> b;
}
/*member: test2:[subclass=JSUInt32|powerset={I}{O}{N}]*/
test2() {
return g1 /*invoke: [subclass=JSInt|powerset={I}{O}{N}]*/ >>> g1;
}
/*member: test3:[subclass=JSUInt32|powerset={I}{O}{N}]*/
test3() {
return g1 /*invoke: [subclass=JSInt|powerset={I}{O}{N}]*/ >>> 1;
}
/*member: test4:[exact=JSUInt31|powerset={I}{O}{N}]*/
test4() {
return 10 /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ >>> g1;
}