16 bits ic slot number trunc after overflow and 8 bits length inconsistant

原值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大长度为 0xff，长度返回是 0xff

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

新值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大长度为 0xff，长度返回可能是 0xff，也可能死 0xfe 

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

原值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大长度为 0xff，长度返回可能是 0xff，也可能死 0xfe 

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

新值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大长度为 0xff，长度返回可能是 0xff，也可能是 0xfe 

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

原值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大长度为 0xff，长度返回可能是 0xff，也可能是 0xfe 

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

新值

## 16 位 ic slot 超过 0xffff 后会重新开始计数，且是被截断的。

期望行为：16 位 ic slot 超过 0xffff 应该被设置成 0xff

用例： 运行下面的 js 代码，生成用例

```js

const fs = require("fs");

let classContent = "class A {\n";

for (let i = 0; i <= 40000; i++) {

    classContent += `    a${i} = ${i};\n`;

}

classContent += "}\n";

fs.writeFile("t.ts", classContent, (err) => {

    if (err) throw err;

    console.log("t.ts 文件已生成");

});

```

![输入图片说明](https://foruda.gitee.com/images/1719457196887618496/52207d6f_1751133.png "屏幕截图")

## 8 位的 ic slot 长度规范不统一

如果方法里 ic slot 最大 index 为 0xff，长度返回可能是 0xff，也可能是 0xfe 

而小于和大于 0xff，返回的是 max_index + 1

期望行为：长度返回 0x100

用例：可以用上面的代码把生成的 t.ts 改成 t.js

## 8 位 ic slot +1 溢出问题

期望行为：如果当前字节码需要 2 个 slot，并且 slot_index + 1 == 0xff，那么 slot_index 也应该是 0xff

用例：ets_runtime/test/aottest/definefieldbyname2/definefieldbyname2.js

这个问题好像被修复了？

OpenHarmony/arkcompiler_ets_frontend

内容风险标识

评论 (1)

OpenHarmony/arkcompiler_ets_frontend .gitee-modal { width: 500px !important; }

内容风险标识

16 bits ic slot number trunc after overflow and 8 bits length inconsistant

评论 (1)

搜索帮助

OpenHarmony/arkcompiler_ets_frontend