[nac3standalone 32-bit error] ./lists.py: Bad LLVM codegen #473

New Issue

lyken · 2024-07-21T16:03:02+08:00

lyken commented

2024-07-21 16:03:02 +08:00

(Requires #468)
(Error found by https://git.m-labs.hk/lyken/misc/src/branch/main/nac3/find_anomalies.py)

How to reproduce

Go to nac3standalone/demo and do:

cargo build && ./run_demo.sh --debug -s 32 src/lists.py

Problem

Bad LLVM codegen:

thread 'codegen-worker-module0' panicked at /home/dosh/m-labs/nac3/nac3core/src/codegen/mod.rs:378:13:
Both operands to a binary operator are not of the same type!
  %125 = mul i32 %124, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !23
Both operands to a binary operator are not of the same type!
  %128 = mul i32 %127, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !23
Both operands to a binary operator are not of the same type!
  %172 = mul i32 %171, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !25

(Requires https://git.m-labs.hk/M-Labs/nac3/pulls/468) (Error found by https://git.m-labs.hk/lyken/misc/src/branch/main/nac3/find_anomalies.py) ## How to reproduce Go to `nac3standalone/demo` and do: ``` cargo build && ./run_demo.sh --debug -s 32 src/lists.py ``` ## Problem Bad LLVM codegen: ``` thread 'codegen-worker-module0' panicked at /home/dosh/m-labs/nac3/nac3core/src/codegen/mod.rs:378:13: Both operands to a binary operator are not of the same type! %125 = mul i32 %124, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !23 Both operands to a binary operator are not of the same type! %128 = mul i32 %127, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !23 Both operands to a binary operator are not of the same type! %172 = mul i32 %171, i64 ptrtoint (i32* getelementptr (i32, i32* null, i32 1) to i64), !dbg !25 ```

sb10q closed this issue

2024-08-14 17:39:45 +08:00

Sign in to join this conversation.