From a6c3644e827c41d72e4744cd96905288626e88eb Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 12 Feb 2022 18:00:16 +0900 Subject: v0.7.2-1 --- Changelog.md | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index e49617c..de81a38 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,10 +1,19 @@ # Change log +### v0.7.2-1 (released on 12 February 2022) + +#### Bug fix: +* **Bytecode generation**: The instruction `EQI src fixint dest` was generated as `EQI src int dest`. It was fixed. +* **Bytecode optimisation**: Blocks for scopes of Copy Propagation optimisation were not specified for each guard expression. It was fixed to work well. + + + + ### v0.7.2 (released on 9 February 2022) #### Polished: -- **Bytecode format for global names**: The bytecode format to obtain a global name is changed from `MKGNAME destRegNum (char *)sym` into `MKGNAME (int)id destRegNum`. Every symbol for agents and global names is assigned the unique ID number which is decided during compilation processes. So, the ID number `id` should have been taken, instead of `(char *)sym`. -- **Separation of NameTable codes**: The `NameTable` is used to lookup ID numbers for symbol chars in compilation processes and interpreter executions. By changing the bytecode format of `MKGNAME`, it becomes no need for virtual machine execution directly, so the source codes for the `NameTable` operation is separated from the main source `src/inpla.y`. This contributes a little speed-up at most 1%. +* **Bytecodes for global names**: To obtain a global name whose name is `sym` on a `dest` register, the following bytecode is executed: `MKGNAME dest sym` where the type of `sym` is `char*`. Every symbol for agents and global names is assigned to the unique ID number managed by `IdTable`, so by introducing the ID number `id` for the `sym`, the bytecode is changed into `MKGNAME id dest`. +* **Separation of source codes of NameTable**: The `NameTable` is used to lookup ID numbers for symbol chars in compilation and interpreter execution. By changing the bytecode of `MKGNAME`, there becomes no need to be used in virtual machine execution directly, so the source codes for the `NameTable` is separated from `src/inpla.y`. This contributes quite a little speed-up at most 1%. @@ -18,7 +27,7 @@ - By introducing a bytecode `OP_INC src dest`, a code `OP_ADDI src $1 dest` and a code`OP_ADDI $1 src dest` are optimised into `OP_INC src dest`. - By introducing a bytecode `OP_DEC src dest`, a code `OP_SUBI src $1 dest` is optimised into `OP_DEC src dest`. -* **Intermediate code for blocks**: To show areas of blocks, an intermediate code `OP_BEGIN_BLOCK` is introduced. Copy Propagation for `OP_LOAD` and `OP_LOADI` is performed until the next `OP_BEGIN_BLOCK` occurs. +* **Intermediate code for blocks**: To show scope of blocks, an intermediate code `OP_BEGIN_BLOCK` is introduced. Copy Propagation for `OP_LOAD` and `OP_LOADI` is performed until the next `OP_BEGIN_BLOCK` occurs. -- cgit v1.2.3 From d808e188041d0331d7bb01eba7ff68848c3c3b18 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 12 Feb 2022 18:03:24 +0900 Subject: v0.7.2-1 --- Changelog.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index de81a38..6e8a888 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,8 +3,8 @@ ### v0.7.2-1 (released on 12 February 2022) #### Bug fix: -* **Bytecode generation**: The instruction `EQI src fixint dest` was generated as `EQI src int dest`. It was fixed. -* **Bytecode optimisation**: Blocks for scopes of Copy Propagation optimisation were not specified for each guard expression. It was fixed to work well. +* **Bytecode generation**: A bytecode sequence for `EQI src fixint dest` was generated as `EQI src int dest`, so it was fixed. +* **Bytecode optimisation**: Blocks for scopes of Copy Propagation optimisation were not specified for each guard expression. It was fixed and works well. -- cgit v1.2.3 From 3631c77c8bb9697a002c902b560c686b2b090bdb Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 12 Feb 2022 18:04:10 +0900 Subject: v0.7.2-1 --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 6e8a888..9668ad6 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,7 +2,7 @@ ### v0.7.2-1 (released on 12 February 2022) -#### Bug fix: +#### Bug Fix: * **Bytecode generation**: A bytecode sequence for `EQI src fixint dest` was generated as `EQI src int dest`, so it was fixed. * **Bytecode optimisation**: Blocks for scopes of Copy Propagation optimisation were not specified for each guard expression. It was fixed and works well. -- cgit v1.2.3