Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clang parsing error in testcomp #386

Closed
filipeom opened this issue Jul 25, 2024 · 3 comments · May be fixed by #380
Closed

Clang parsing error in testcomp #386

filipeom opened this issue Jul 25, 2024 · 3 comments · May be fixed by #380
Labels
bug Something isn't working

Comments

@filipeom
Copy link
Collaborator

filipeom commented Jul 25, 2024

With clang 16:

dune exec -- owi c bench/testcomp/sv-benchmarks/c/ldv-regression/test22-3.c 
[parse exception: bad local.get index (at 0:209)]
Fatal: error parsing wasm
clang: error: linker command failed with exit code 1 (use -v to see invocation)
run ['/usr/bin/clang' '-O3' '--target=wasm32' '-m32' '-ffreestanding'
     '--no-standard-libraries' '-Wno-everything' '-flto=thin'
     '-Wl,--entry=main' '-Wl,--export=main' '-Wl,--lto-O0'
     '-Wl,-z,stack-size=8388608' '-I'
     '/home/filipe/lib/owi/_build/install/default/share/owi/libc' '-o'
     'a.out.wasm'
     '/home/filipe/lib/owi/_build/install/default/share/owi/binc/libc.wasm'
     'bench/testcomp/sv-benchmarks/c/ldv-regression/test22-3.c']: exited with 1%  

In results-testcomp-owi_w24_O3_sZ3-2024-07-17_00h31m16 this previously passed

@filipeom filipeom added the bug Something isn't working label Jul 25, 2024
@filipeom
Copy link
Collaborator Author

Compiling everything with -O0 seems to fix the parsing error, but:

dune exec -- owi c bench/testcomp/sv-benchmarks/c/ldv-regression/test22-3.c -O0
All OK%              

@filipeom
Copy link
Collaborator Author

filipeom commented Jul 25, 2024

Oh ok, it's because inlining _or in da85f7b uses locals that don't exist. #380 should close this

@filipeom filipeom linked a pull request Jul 25, 2024 that will close this issue
@zapashcanon
Copy link
Member

Fixed by #388.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants