From 3947680a583d3b3ce849bda1def4fed2d082c017 Mon Sep 17 00:00:00 2001 From: pushkovalexey Date: Wed, 10 Sep 2025 12:43:59 +0300 Subject: [PATCH] Add tests for 7.23 Issue: #ICWZVH Description: Additional tests for 7.23 Shift Expressions Testing: All required pre-merge tests passed. Results are awailable in GGW. Signed-off-by: pushkovalexey --- .../23.shift_expressions/shift_int.ets | 10 +- .../shift_int.params.yaml | 155 ++++++++++++++++- .../23.shift_expressions/shift_long.ets | 28 +++ .../shift_long.params.yaml | 159 ++++++++++++++++++ .../shift_negative_cases.ets | 28 +++ .../shift_negative_cases.params.yaml | 119 +++++++++++++ .../shift_type_conversion.ets | 33 ++++ .../shift_type_conversion.params.yaml | 145 ++++++++++++++++ .../test-lists/ets-cts/ets-cts-excluded.txt | 67 -------- .../test-lists/ets-cts/ets-cts-ignored.txt | 4 + 10 files changed, 669 insertions(+), 79 deletions(-) create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.ets create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.params.yaml create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.ets create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.params.yaml create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.ets create mode 100644 static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.params.yaml diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.ets b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.ets index 8adf844091..b389604487 100644 --- a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.ets +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.ets @@ -13,14 +13,16 @@ * limitations under the License. */ -{% for se in shift_errors %} +{% for c in cases %} /*--- -desc: Shift of int type, large shift value +desc: {{c.desc}} ---*/ function main(): void { - let v: {{se.type}} = 1; - let k = v {{se.shift}} {{se.value}}; + let n: {{c.lo_type}} = {{c.lo_value}}; + let s: {{c.ro_type}} = {{c.ro_value}}; + let result = n {{c.shift_op}} s; + arktest.assertEQ(result, {{c.result_value}}) } {% endfor %} diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.params.yaml b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.params.yaml index e533a204f5..de797106c3 100644 --- a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.params.yaml +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_int.params.yaml @@ -1,4 +1,4 @@ -# Copyright (c) 2021-2024 Huawei Device Co., Ltd. +# Copyright (c) 2021-2025 Huawei Device Co., Ltd. # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at @@ -11,10 +11,149 @@ # See the License for the specific language governing permissions and # limitations under the License. ---- # List of shift operators and numeric errors -shift_errors: - - {type: int, shift: "<<", value: "0x20"} - - {type: int, shift: ">>", value: "0x20"} - - - {type: long, shift: "<<", value: "0x40"} - - {type: long, shift: ">>", value: "0x40"} +--- # List of shift operator operands test cases +cases: + - { + desc: "Left shift operator", + lo_type: "int", + lo_value: "0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b1", + result_value: "0b1010" + } + - { + desc: "Signed right shift operator", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>", + ro_type: "int", + ro_value: "0b1", + result_value: "0b10" + } + - { + desc: "Unsigned right shift operator", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>>", + ro_type: "int", + ro_value: "0b1", + result_value: "0b10" + } + - { + desc: "Left shift operator by 0 positions", + lo_type: "int", + lo_value: "0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "Signed right shift operator by 0 positions", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>", + ro_type: "int", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "Unsigned right shift operator by 0 positions", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>>", + ro_type: "int", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "5 bits left shift operator", + lo_type: "int", + lo_value: "0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b1_0011", + result_value: "0b0010_1000_0000_0000_0000_0000" + } + - { + desc: "5 bits signed right shift operator", + lo_type: "int", + lo_value: "0b0010_1000_0000_0000_0000_0000", + shift_op: ">>", + ro_type: "int", + ro_value: "0b1_0011", + result_value: "0b101" + } + - { + desc: "5 bits unsigned right shift operator", + lo_type: "int", + lo_value: "0b0010_1000_0000_0000_0000_0000", + shift_op: ">>>", + ro_type: "int", + ro_value: "0b1_0011", + result_value: "0b101" + } + - { + desc: "6 bits left shift operator", + lo_type: "int", + lo_value: "0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b11_0011", + result_value: "0b0010_1000_0000_0000_0000_0000" + } + - { + desc: "6 bits signed right shift operator", + lo_type: "int", + lo_value: "0b0010_1000_0000_0000_0000_0000", + shift_op: ">>", + ro_type: "int", + ro_value: "0b11_0011", + result_value: "0b101" + } + - { + desc: "6 bits unsigned right shift operator", + lo_type: "int", + lo_value: "0b0010_1000_0000_0000_0000_0000", + shift_op: ">>>", + ro_type: "int", + ro_value: "0b11_0011", + result_value: "0b101" + } + - { + desc: "6 bits left shift operator, 0 in 5 lower bits", + lo_type: "int", + lo_value: "0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b10_0000", + result_value: "0b101" + } + - { + desc: "Left shift operator, negative left operand", + lo_type: "int", + lo_value: "-0b101", + shift_op: "<<", + ro_type: "int", + ro_value: "0b1", + result_value: "-0b1010" + } + - { + desc: "Signed right shift operator, negative left operand", + lo_type: "int", + lo_value: "-0b10", + shift_op: ">>", + ro_type: "int", + ro_value: "0b1", + result_value: "-0b1" + } + - { + desc: "Unsigned right shift operator, negative left operand", + lo_type: "int", + lo_value: "-0b1001", + shift_op: ">>>", + ro_type: "int", + ro_value: "0b10", + result_value: "0b0011_1111_1111_1111_1111_1111_1111_1101" + } diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.ets b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.ets new file mode 100644 index 0000000000..6a48b843e7 --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.ets @@ -0,0 +1,28 @@ +/* + * Copyright (c) 2025 Huawei Device Co., Ltd. + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +{% for c in cases %} +/*--- +desc: {{c.desc}} +---*/ + +function main(): void { + let n: {{c.lo_type}} = {{c.lo_value}}; + let s: {{c.ro_type}} = {{c.ro_value}}; + let result = n {{c.shift_op}} s; + arktest.assertEQ(result, {{c.result_value}}) +} + +{% endfor %} diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.params.yaml b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.params.yaml new file mode 100644 index 0000000000..4698f4bba4 --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_long.params.yaml @@ -0,0 +1,159 @@ +# Copyright (c) 2025 Huawei Device Co., Ltd. +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +--- # List of shift operator on long operands test cases +cases: + - { + desc: "Left shift operator", + lo_type: "long", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b1", + result_value: "0b1010" + } + - { + desc: "Signed right shift operator", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>", + ro_type: "long", + ro_value: "0b1", + result_value: "0b10" + } + - { + desc: "Unsigned right shift operator", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b1", + result_value: "0b10" + } + - { + desc: "Left shift operator by 0 positions", + lo_type: "long", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "Signed right shift operator by 0 positions", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>", + ro_type: "long", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "Unsigned right shift operator by 0 positions", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b0", + result_value: "0b101" + } + - { + desc: "6 bits left shift operator", + lo_type: "long", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b10_0011", + result_value: "0b0010_1000_0000_0000_0000_0000_0000_0000_0000_0000" + } + - { + desc: "6 bits signed right shift operator", + lo_type: "long", + lo_value: "0b0010_1000_0000_0000_0000_0000_0000_0000_0000_0000", + shift_op: ">>", + ro_type: "long", + ro_value: "0b10_0011", + result_value: "0b101" + } + - { + desc: "6 bits unsigned right shift operator", + lo_type: "long", + lo_value: "0b0010_1000_0000_0000_0000_0000_0000_0000_0000_0000", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b10_0011", + result_value: "0b101" + } + - { + desc: "7 bits left shift operator", + lo_type: "long", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b100_0011", + result_value: "0b0010_1000" + } + - { + desc: "7 bits signed right shift operator", + lo_type: "long", + lo_value: "0b0010_1000", + shift_op: ">>", + ro_type: "long", + ro_value: "0b100_0011", + result_value: "0b101" + } + - { + desc: "7 bits unsigned right shift operator", + lo_type: "long", + lo_value: "0b0010_1000", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b100_0011", + result_value: "0b101" + } + - { + desc: "7 bits left shift operator, 0 in 6 lower bits", + lo_type: "long", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b100_0000", + result_value: "0b101" + } + - { + desc: "Left shift operator, negative left operand", + lo_type: "long", + lo_value: "-0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b1", + result_value: "-0b1010" + } + - { + desc: "Signed right shift operator, negative left operand", + lo_type: "long", + lo_value: "-0b101", + shift_op: ">>", + ro_type: "long", + ro_value: "0b1", + result_value: "-0b11" + } + - { + desc: "Unsigned right shift operator, negative left operand", + lo_type: "long", + lo_value: "-0b1001", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b10", + result_value: "0b0011_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1101" + } diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.ets b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.ets new file mode 100644 index 0000000000..93b026fef5 --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.ets @@ -0,0 +1,28 @@ +/* + * Copyright (c) 2025 Huawei Device Co., Ltd. + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +{% for c in cases %} +/*--- +desc: {{c.desc}} +tags: [negative, compile-only] +---*/ + +function main(): void { + let n: {{c.lo_type}} = {{c.lo_value}}; + let s: {{c.ro_type}} = {{c.ro_value}}; + let result = n {{c.shift_op}} s; +} + +{% endfor %} diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.params.yaml b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.params.yaml new file mode 100644 index 0000000000..e681b54c72 --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_negative_cases.params.yaml @@ -0,0 +1,119 @@ +# Copyright (c) 2025 Huawei Device Co., Ltd. +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +--- # List of shift operator negative test cases +cases: + - { + desc: "Left shift operator on bigint and int operands", + lo_type: "bigint", + lo_value: "12n", + shift_op: "<<", + ro_type: "int", + ro_value: "1" + } + - { + desc: "Signed right shift operator on bigint and int operands", + lo_type: "bigint", + lo_value: "124n", + shift_op: ">>", + ro_type: "int", + ro_value: "2" + } + - { + desc: "Unsigned right shift operator on bigint and int operands", + lo_type: "bigint", + lo_value: "14n", + shift_op: ">>>", + ro_type: "int", + ro_value: "3" + } + - { + desc: "Left shift operator on int and bigint operands", + lo_type: "int", + lo_value: "129804", + shift_op: "<<", + ro_type: "bigint", + ro_value: "1" + } + - { + desc: "Signed right shift operator on int and bigint operands", + lo_type: "int", + lo_value: "24", + shift_op: ">>", + ro_type: "bigint", + ro_value: "2" + } + - { + desc: "Unsigned right shift operator on int and bigint operands", + lo_type: "int", + lo_value: "1", + shift_op: ">>>", + ro_type: "bigint", + ro_value: "3" + } + - { + desc: "Left shift operator on bigint and long operands", + lo_type: "bigint", + lo_value: "12n", + shift_op: "<<", + ro_type: "long", + ro_value: "1" + } + - { + desc: "Signed right shift operator on bigint and byte operands", + lo_type: "bigint", + lo_value: "124n", + shift_op: ">>", + ro_type: "byte", + ro_value: "2" + } + - { + desc: "Unsigned right shift operator on bigint and short operands", + lo_type: "bigint", + lo_value: "14n", + shift_op: ">>>", + ro_type: "short", + ro_value: "3" + } + - { + desc: "Unsigned right shift operator on bigint and bigint operands", + lo_type: "bigint", + lo_value: "14n", + shift_op: ">>>", + ro_type: "bigint", + ro_value: "3n" + } + - { + desc: "Unsigned right shift operator on string and int operands", + lo_type: "string", + lo_value: "'10'", + shift_op: ">>>", + ro_type: "int", + ro_value: "1" + } + - { + desc: "Left shift operator on int and char operands", + lo_type: "int", + lo_value: "12", + shift_op: "<<", + ro_type: "char", + ro_value: "c'a'" + } + - { + desc: "Signed right shift operator on char and int operands", + lo_type: "char", + lo_value: "c'a'", + shift_op: ">>", + ro_type: "int", + ro_value: "1" + } diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.ets b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.ets new file mode 100644 index 0000000000..3590ed447f --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.ets @@ -0,0 +1,33 @@ +/* + * Copyright (c) 2025 Huawei Device Co., Ltd. + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +{% for c in cases %} +/*--- +desc: {{c.desc}} +---*/ + +function main(): void { + let n: {{c.lo_type}} = {{c.lo_value}}; + let s: {{c.ro_type}} = {{c.ro_value}}; + let result = n {{c.shift_op}} s; + arktest.assertTrue( + result instanceof {{c.result_type}}, + "Type of " + n + "({{c.lo_type}}) {{c.shift_op}} " + + s + "({{c.ro_type}}) should be {{c.result_type}}" + ); + arktest.assertEQ(result, {{c.result_value}}) +} + +{% endfor %} diff --git a/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.params.yaml b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.params.yaml new file mode 100644 index 0000000000..ef025df6d1 --- /dev/null +++ b/static_core/plugins/ets/tests/ets-templates/07.expressions/23.shift_expressions/shift_type_conversion.params.yaml @@ -0,0 +1,145 @@ +# Copyright (c) 2025 Huawei Device Co., Ltd. +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +--- # List of shift operator with type conversion test cases +cases: + - { + desc: "Left shift operator on byte and short", + lo_type: "byte", + lo_value: "0b101", + shift_op: "<<", + ro_type: "short", + ro_value: "0b1", + result_type: "int", + result_value: "0b1010" + } + - { + desc: "Signed right shift operator on short and byte", + lo_type: "short", + lo_value: "0b101", + shift_op: ">>", + ro_type: "byte", + ro_value: "0b1", + result_type: "int", + result_value: "0b10" + } + - { + desc: "Unsigned right shift operator on short and long", + lo_type: "short", + lo_value: "0b101", + shift_op: ">>", + ro_type: "long", + ro_value: "0b1", + result_type: "int", + result_value: "0b10" + } + - { + desc: "Left shift operator on byte and long", + lo_type: "byte", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b1", + result_type: "int", + result_value: "0b1010" + } + - { + desc: "Signed right shift operator on long and byte", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>", + ro_type: "byte", + ro_value: "0b1", + result_type: "long", + result_value: "0b10" + } + - { + desc: "Unsigned right shift operator on int and long", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>", + ro_type: "long", + ro_value: "0b1", + result_type: "int", + result_value: "0b10" + } + - { + desc: "Left shift operator on byte and long", + lo_type: "byte", + lo_value: "0b101", + shift_op: "<<", + ro_type: "long", + ro_value: "0b1", + result_type: "int", + result_value: "0b1010" + } + - { + desc: "Signed right shift operator on long and short", + lo_type: "long", + lo_value: "0b101", + shift_op: ">>", + ro_type: "short", + ro_value: "0b1", + result_type: "long", + result_value: "0b10" + } + - { + desc: "Unsigned 6 bits right shift operator on float and long", + lo_type: "float", + lo_value: "0b0010_1000_0000_0000_0000_0000", + shift_op: ">>>", + ro_type: "long", + ro_value: "0b11_0011", + result_type: "int", + result_value: "0b101" + } + - { + desc: "Left 6 bits shift operator on double and float both truncated", + lo_type: "double", + lo_value: "9.83", + shift_op: "<<", + ro_type: "float", + ro_value: "33.011f", + result_type: "long", + result_value: "0b0001_0010_0000_0000_0000_0000_0000_0000_0000_0000" + } + - { + desc: "Signed 6 bits right shift operator on int and double truncated", + lo_type: "int", + lo_value: "0b101", + shift_op: ">>", + ro_type: "double", + ro_value: "34.45", + result_type: "int", + result_value: "0b1" + } + - { + desc: "Left shift operator on bigint and bigint", + lo_type: "bigint", + lo_value: "7552n", + shift_op: "<<", + ro_type: "bigint", + ro_value: "35n", + result_type: "bigint", + result_value: "259484744155136n" + } + - { + desc: "Signed right shift operator on bigint and bigint", + lo_type: "bigint", + lo_value: "7853695147552n", + shift_op: ">>", + ro_type: "bigint", + ro_value: "35n", + result_type: "bigint", + result_value: "228n" + } diff --git a/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-excluded.txt b/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-excluded.txt index 0709b602d4..3f63db5dcd 100644 --- a/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-excluded.txt +++ b/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-excluded.txt @@ -268,16 +268,6 @@ 03.types/06.value_types/01.integer_types_and_operations/greater_than/greater_than_char_3.ets 03.types/06.value_types/01.integer_types_and_operations/greater_than/greater_than_char_4.ets 03.types/06.value_types/01.integer_types_and_operations/greater_than/greater_than_char_7.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_0.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_1.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_10.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_11.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_12.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_14.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_2.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_3.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_4.ets -03.types/06.value_types/01.integer_types_and_operations/left_shift/left_shift_char_9.ets 03.types/06.value_types/01.integer_types_and_operations/less_or_equal/less_or_equal_char_0.ets 03.types/06.value_types/01.integer_types_and_operations/less_or_equal/less_or_equal_char_1.ets 03.types/06.value_types/01.integer_types_and_operations/less_or_equal/less_or_equal_char_2.ets @@ -323,14 +313,6 @@ 03.types/06.value_types/01.integer_types_and_operations/remainder/remainder_char_4.ets 03.types/06.value_types/01.integer_types_and_operations/remainder/remainder_char_5.ets 03.types/06.value_types/01.integer_types_and_operations/remainder/remainder_char_6.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_0.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_1.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_10.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_11.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_12.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_2.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_3.ets -03.types/06.value_types/01.integer_types_and_operations/right_shift/right_shift_char_9.ets 03.types/06.value_types/01.integer_types_and_operations/subtraction/subtraction_char_0.ets 03.types/06.value_types/01.integer_types_and_operations/subtraction/subtraction_char_1.ets 03.types/06.value_types/01.integer_types_and_operations/subtraction/subtraction_char_2.ets @@ -347,14 +329,6 @@ 03.types/06.value_types/01.integer_types_and_operations/unary_plus/unary_plus_char_0.ets 03.types/06.value_types/01.integer_types_and_operations/unary_plus/unary_plus_char_1.ets 03.types/06.value_types/01.integer_types_and_operations/unary_plus/unary_plus_char_4.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_0.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_1.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_10.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_11.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_12.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_2.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_3.ets -03.types/06.value_types/01.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_9.ets 03.types/06.value_types/02.integer_types_and_operations/addition/addition_char_0.ets 03.types/06.value_types/02.integer_types_and_operations/addition/addition_char_1.ets 03.types/06.value_types/02.integer_types_and_operations/addition/addition_char_2.ets @@ -421,21 +395,6 @@ 03.types/06.value_types/02.integer_types_and_operations/greater_than/greater_than_char_5.ets 03.types/06.value_types/02.integer_types_and_operations/greater_than/greater_than_char_6.ets 03.types/06.value_types/02.integer_types_and_operations/greater_than/greater_than_char_7.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_0.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_1.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_10.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_11.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_12.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_13.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_14.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_2.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_3.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_4.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_5.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_6.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_7.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_8.ets -03.types/06.value_types/02.integer_types_and_operations/left_shift/left_shift_char_9.ets 03.types/06.value_types/02.integer_types_and_operations/less_or_equal/less_or_equal_char_0.ets 03.types/06.value_types/02.integer_types_and_operations/less_or_equal/less_or_equal_char_1.ets 03.types/06.value_types/02.integer_types_and_operations/less_or_equal/less_or_equal_char_2.ets @@ -496,19 +455,6 @@ 03.types/06.value_types/02.integer_types_and_operations/remainder/remainder_char_4.ets 03.types/06.value_types/02.integer_types_and_operations/remainder/remainder_char_5.ets 03.types/06.value_types/02.integer_types_and_operations/remainder/remainder_char_6.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_0.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_1.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_10.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_11.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_12.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_2.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_3.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_4.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_5.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_6.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_7.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_8.ets -03.types/06.value_types/02.integer_types_and_operations/right_shift/right_shift_char_9.ets 03.types/06.value_types/02.integer_types_and_operations/string_concatenation/string_concatenation_char_0.ets 03.types/06.value_types/02.integer_types_and_operations/string_concatenation/string_concatenation_char_1.ets 03.types/06.value_types/02.integer_types_and_operations/subtraction/subtraction_char_0.ets @@ -529,19 +475,6 @@ 03.types/06.value_types/02.integer_types_and_operations/unary_plus/unary_plus_char_0.ets 03.types/06.value_types/02.integer_types_and_operations/unary_plus/unary_plus_char_1.ets 03.types/06.value_types/02.integer_types_and_operations/unary_plus/unary_plus_char_4.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_0.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_1.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_10.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_11.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_12.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_2.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_3.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_4.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_5.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_6.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_7.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_8.ets -03.types/06.value_types/02.integer_types_and_operations/unsigned_right_shift/unsigned_right_shift_char_9.ets 03.types/17.array_types/array_index.ets 03.types/alias_conversion/assn_var/assn-var_11.ets 03.types/alias_conversion/assn_var/assn-var_17.ets diff --git a/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-ignored.txt b/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-ignored.txt index f85776d3b2..8bf0586621 100644 --- a/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-ignored.txt +++ b/static_core/plugins/ets/tests/test-lists/ets-cts/ets-cts-ignored.txt @@ -1136,6 +1136,10 @@ 07.expressions/21.multiplicative_expressions/04.exponentiation/nan_14.ets 07.expressions/21.multiplicative_expressions/04.exponentiation/nan_9.ets +#29895 +07.expressions/23.shift_expressions/shift_negative_cases_11.ets +07.expressions/23.shift_expressions/shift_negative_cases_12.ets + #24367 no CTE on equality expressions with numeric types vs. enum int 07.expressions/25.equality_expressions/eq_neg_100.ets 07.expressions/25.equality_expressions/eq_neg_145.ets -- Gitee