ychenfo
0 Followers · 1 Following
  • Joined on 2021-03-29
Repositories
1
 Projects Packages Code Public Activity Starred Repositories
ychenfo pushed to bound_check at ychenfo/nac3 2022-04-05 15:29:11 +08:00
100e441a44 f
0a2dfab9a1 nac3core: add bound check for list slice
0fb9998a96 nac3core: add location information to codegen context
e05b0bf5dc flake: update nixpkgs
8eda0affc9 windows: add wine-msys2-build
Compare 10 commits »
ychenfo created branch bound_check in ychenfo/nac3 2022-04-05 15:29:11 +08:00
ychenfo pushed to bound_check at M-Labs/nac3 2022-04-05 14:29:43 +08:00
0a2dfab9a1 nac3core: add bound check for list slice
0fb9998a96 nac3core: add location information to codegen context
e05b0bf5dc flake: update nixpkgs
8eda0affc9 windows: add wine-msys2-build
75c53b40a3 windows: update msys2 packages, add setuptools to environment
Compare 8 commits »
ychenfo deleted branch neg_powi_fix from M-Labs/nac3 2022-04-04 23:24:14 +08:00
ychenfo pushed to bound_check at M-Labs/nac3 2022-04-04 23:23:24 +08:00
de2da2e35f nac3core: add location information to codegen context
4bf452ec5a windows: do not check dependencies when making package
9fdce11efe windows: depend on python
f24ef85aed hydra: use msys2 type
4a19787f10 README: update
Compare 6 commits »
ychenfo commented on pull request M-Labs/nac3#254 2022-04-04 22:11:44 +08:00
Fix float**int with negative power

Ok, use llvm.powi.f64.i32 now and rebased on the current master branch

ychenfo pushed to neg_powi_fix at M-Labs/nac3 2022-04-04 22:10:58 +08:00
23b7f4ef18 nac3standalone: add tests for power
710904f975 nac3core: fix powi with negative integer power
4bf452ec5a windows: do not check dependencies when making package
9fdce11efe windows: depend on python
f24ef85aed hydra: use msys2 type
Compare 7 commits »
ychenfo pushed to neg_powi_fix at M-Labs/nac3 2022-04-04 22:10:25 +08:00
28a759202e nac3standalone: add tests for power
a951d9493a nac3core: fix powi with negative integer power
Compare 2 commits »
ychenfo created branch neg_powi_fix_2 in ychenfo/nac3 2022-04-04 14:55:39 +08:00
ychenfo pushed to neg_powi_fix_2 at ychenfo/nac3 2022-04-04 14:55:39 +08:00
1f5d338c04 powi.f64.i32
f4e9c2eb31 nac3standalone: add tests for power
0059b389ae nac3core: fix powi with negative integer power
4f66bdeda9 Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253) from kernel_invariant_fix into master
57369896d7 update dependencies
Compare 10 commits »
ychenfo commented on pull request M-Labs/nac3#254 2022-04-04 04:05:34 +08:00
Fix float**int with negative power

On msys2, print_float(3.0 ** -1) is also translated into call void @print_float(double 0x7FF0000000000000), so the error seems to be also there.

and interestingly this code

from…
ychenfo commented on pull request M-Labs/nac3#254 2022-04-03 02:59:01 +08:00
Fix float**int with negative power

Update:

It seems that the root of the problem is only in x86_64.. and the reason why previously the problem appears in rv32g is because that the constant optimization is done in x86_64..?

in…

ychenfo commented on pull request M-Labs/nac3#254 2022-04-03 02:46:41 +08:00
Fix float**int with negative power

Thanks for the suggestions! I have tested on wsl2 on my laptop, on zeus by runkernel and rv32g by the device on 192.168.1.50, they all give the errornous output.

For this…

ychenfo created pull request M-Labs/nac3#254 2022-04-02 03:45:41 +08:00
Fix float**int with negative power
ychenfo pushed to neg_powi_fix at M-Labs/nac3 2022-04-02 03:42:07 +08:00
f4e9c2eb31 nac3standalone: add tests for power
ychenfo created branch neg_powi_fix in M-Labs/nac3 2022-04-02 03:29:39 +08:00
ychenfo pushed to neg_powi_fix at M-Labs/nac3 2022-04-02 03:29:39 +08:00
a0e08bd274 nac3standalone: add tests for power
0059b389ae nac3core: fix powi with negative integer power
Compare 2 commits »
ychenfo pushed to bound_check at M-Labs/nac3 2022-04-02 00:53:16 +08:00
e10c304c03 nac3core: add powi i16 bound check
4f66bdeda9 Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253) from kernel_invariant_fix into master
57369896d7 update dependencies
2edeb31d21 nac3core: do not get llvm value too eagerly for kernel invariant
b8ef44d64e nac3standalone: add test for default param
Compare 11 commits »
ychenfo commented on pull request M-Labs/nac3#253 2022-03-31 10:30:23 +08:00
nac3core: do not get llvm value too eagerly for kernel invariant

nac3core not na3core

Thanks! Force pushed to fix the typo.

ychenfo pushed to kernel_invariant_fix at M-Labs/nac3 2022-03-31 10:28:47 +08:00
2edeb31d21 nac3core: do not get llvm value too eagerly for kernel invariant