[es2panda] char variable exceeds the limit

The following ArkTS program iterate char beyond the boundary defined in [ArkTS spec](https://gitee.com/openharmony-sig/arkcompiler_runtime_core/releases/download/sts-spec-release-2023-06-16/sts-spec-2023-06-16-77e6a6fa.pdf). Syntactically the program is correct (similar java program iterates endlessly as the value never reaches the threshold). Issue is that the cycle variable in fact is integer, not char, and the char value reaches the value of 100000.
```java
function main(): void {
  let count: int = 0;
  for (let ch: char = 0; ch < 100000; ch++) {
    count++;
    console.println(count + "\t" + ch); // the program prints 100000 lines and stops.
  }
}
```

output:
```
$ build-host/bin/es2panda test3.ets
$ build-host/bin/ark_aot --load-runtimes=ets --boot-panda-files build-host/plugins/ets/etsstdlib.abc --compiler-disasm-dump --paoc-panda-files test3.abc
$ build-host/bin/ark --boot-panda-files build-host/plugins/ets/etsstdlib.abc --load-runtimes=ets test3.abc ETSGLOBAL::main
1       ��
2       
3       
4       
...
99998   蚝
99999   蚞
100000  蚟
```

Here is the disassembly of ets panda binary. Obviously it misses `andi 0xffff` instruction after the increment:
```
.function void ETSGLOBAL.main() <static, access.function=public> {
        ldai 0x0
        sta v0
        ldai 0x0
        sta v1
jump_label_1:
        lda v1
        sta v2
        ldai 0x186a0
        jle v2, jump_label_0
        lda v0
        sta v2
        addi 0x1
        sta v0
        lda v2
        ldstatic.obj std.core.ETSGLOBAL.console
        sta.obj v2
        initobj.short std.core.StringBuilder._ctor_:(std.core.StringBuilder)
        sta.obj v4
        lda v0
        sta v5
        call.short std.core.StringBuilder.append:(std.core.StringBuilder,i32), v4, v5
        lda.str "\t"
        sta.obj v5
        call.short std.core.StringBuilder.append:(std.core.StringBuilder,std.core.String), v4, v5
        lda v1
        sta v5
        call.short std.core.StringBuilder.append:(std.core.StringBuilder,u16), v4, v5
        call.short std.core.StringBuilder.toString:(std.core.StringBuilder), v4
        sta.obj v3
        call.virt.short std.core.Console.println:(std.core.Console,std.core.String), v2, v3
        lda v1
        sta v2
        addi 0x1
        sta v1
        lda v2
        jmp jump_label_1
jump_label_0:
        return.void
}
```

For the reference, the similar java program with disassembly listing:
```java
class Test3 {
  public static void main(String a[]) {
    int count = 0;
    for (char ch = 0; ch < 100_000; ch++) {
      count++;
      System.out.println(count + " " + ch);
    }
  }
}

.function void Test3.main(java.lang.String[] a0) <static, access.function=public> {
        movi v0, 0x186a0
        movi v1, 0x0
        mov v2, v1
jump_label_1:
        lda v2
        jge v0, jump_label_0
        inci v1, 0x1
        ldstatic.obj java.lang.System.out
        sta.obj v3
        initobj.short java.lang.StringBuilder._ctor_:(java.lang.StringBuilder)
        call.virt.acc.short java.lang.StringBuilder.append:(java.lang.StringBuilder,i32), v1, 0x0
        sta.obj v4
        lda.str " "
        call.virt.acc.short java.lang.StringBuilder.append:(java.lang.StringBuilder,java.lang.String), v4, 0x1
        call.virt.acc.short java.lang.StringBuilder.append:(java.lang.StringBuilder,u16), v2, 0x0
        call.virt.acc.short java.lang.StringBuilder.toString:(java.lang.StringBuilder), v0, 0x0
        call.virt.acc.short java.io.PrintStream.println:(java.io.PrintStream,java.lang.String), v3, 0x1
        lda v2
        addi 0x1
        andi 0xffff
        sta v2
        jmp jump_label_1
jump_label_0:
        return.void
}
```

For `char` there are separate bytecodes to save to different containers, which cut off extra bits. There is some arithmetic with 32-bit values and there are comparison operations for which uncleared high bits are critical. So, before comparison we need to do truncation of small types (less than 32-bit). Either via `andi` or via `i32toi16`.

OpenHarmony-SIG/arkcompiler_ets_frontend
关闭

内容风险标识

评论 (2)

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

内容风险标识