implement the power operator #50

New Issue

sb10q · 2021-10-03T17:36:49+08:00

sb10q commented

2021-10-03 17:36:49 +08:00

@extern
def output_int(x: int32):
    ...

@kernel
def run() -> int32:
    output_int(2**4)
    return 0

thread '<unnamed>' panicked at 'not implemented', nac3core/src/codegen/expr.rs:338:30

```python @extern def output_int(x: int32): ... @kernel def run() -> int32: output_int(2**4) return 0 ``` ``` thread '<unnamed>' panicked at 'not implemented', nac3core/src/codegen/expr.rs:338:30 ```

ychenfo was assigned by sb10q

2021-11-05 17:21:46 +08:00

sb10q added this to the Prealpha milestone 2021-11-19 16:50:27 +08:00

sb10q removed this from the Prealpha milestone 2021-11-19 16:52:51 +08:00

sb10q commented

2021-12-13 19:32:47 +08:00

Check for this bug: https://github.com/m-labs/artiq/issues/1505

ychenfo referenced this issue

2022-01-07 06:04:54 +08:00

Introduce IRRT and implement power operator (#50) #160

sb10q commented

2022-01-08 22:27:30 +08:00

Done in nac3artiq. @ychenfo can I leave it to you to send another PR that implements the same linking system from nac3artiq in nac3standalone (output a single .o via link_module in LLVM) and the demos, and adds IRRT there? This is the only missing bit.

sb10q commented

2022-01-08 22:34:51 +08:00

There's also a problem with the nix build. https://nixbld.m-labs.hk/build/91917/nixlog/2

sb10q added this to the Prealpha milestone 2022-01-08 22:35:05 +08:00

ychenfo commented

2022-01-09 00:44:18 +08:00

Done in nac3artiq. @ychenfo can I leave it to you to send another PR that implements the same linking system from nac3artiq in nac3standalone (output a single .o via link_module in LLVM) and the demos, and adds IRRT there? This is the only missing bit.

Thanks, I will implement the nac3artiq linking system in nac3core.

There's also a problem with the nix build. https://nixbld.m-labs.hk/build/91917/nixlog/2

Sorry I think it's because I forgot to add clang to nix nativeBuildInputs(should I add it to somewhere else?). One issue related to this is that should we use unwrapped clang here so that we can specify the target to be 32bit to prevent clang from generating some zexts from i32 to i64 for some gep indecies?

> Done in nac3artiq. @ychenfo can I leave it to you to send another PR that implements the same linking system from nac3artiq in nac3standalone (output a single .o via link_module in LLVM) and the demos, and adds IRRT there? This is the only missing bit. Thanks, I will implement the nac3artiq linking system in nac3core. > There's also a problem with the nix build. https://nixbld.m-labs.hk/build/91917/nixlog/2 Sorry I think it's because I forgot to add clang to nix `nativeBuildInputs`(should I add it to somewhere else?). One issue related to this is that should we use unwrapped clang here so that we can specify the target to be 32bit to prevent clang from generating some `zext`s from `i32` to `i64` for some `gep` indecies?

sb10q commented

2022-01-09 11:32:50 +08:00

clang wrapped was only necessary for demo.c. I rewrote it in Rust.

sb10q closed this issue

2022-01-09 11:32:52 +08:00

Sign in to join this conversation.