phate / jlm

GNU Lesser General Public License v2.1
51 stars 13 forks source link

Inline assembly from gcc torture test causes 'UNREACHABLE executed' #216

Open sjalander opened 1 year ago

sjalander commented 1 year ago

jlc 20001009-2.c jlc 20030222-1.c

This should not have happened! UNREACHABLE executed at /home/magnus/git/jlm-eval-suite/jlm/libjlm/src/frontend/llvm/LlvmInstructionConversion.cpp:35

20001009-2.zip 20030222-1.zip

sjalander commented 1 day ago

The inlining still has bugs and this is simply an update with the current status when running the llvm-test-suite with make llvm-run-iln

Failed Tests (37): test-suite :: MultiSource/Applications/SIBsim4/SIBsim4.test test-suite :: MultiSource/Applications/aha/aha.test test-suite :: MultiSource/Applications/d/make_dparser.test test-suite :: MultiSource/Applications/lua/lua.test test-suite :: MultiSource/Applications/sqlite3/sqlite3.test test-suite :: MultiSource/Benchmarks/FreeBench/pcompress2/pcompress2.test test-suite :: MultiSource/Benchmarks/Olden/mst/mst.test test-suite :: MultiSource/Benchmarks/TSVC/GlobalDataFlow-dbl/GlobalDataFlow-dbl.test test-suite :: MultiSource/Benchmarks/TSVC/GlobalDataFlow-flt/GlobalDataFlow-flt.test test-suite :: MultiSource/Benchmarks/VersaBench/beamformer/beamformer.test test-suite :: MultiSource/Benchmarks/nbench/nbench.test test-suite :: SingleSource/Benchmarks/BenchmarkGame/Large/fasta.test test-suite :: SingleSource/Benchmarks/Misc/lowercase.test test-suite :: SingleSource/Benchmarks/Misc/perlin.test test-suite :: SingleSource/Benchmarks/Polybench/datamining/correlation/correlation.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/blas/gemm/gemm.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/blas/syr2k/syr2k.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/blas/syrk/syrk.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/blas/trmm/trmm.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/kernels/3mm/3mm.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/kernels/doitgen/doitgen.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/solvers/cholesky/cholesky.test test-suite :: SingleSource/Benchmarks/Polybench/linear-algebra/solvers/lu/lu.test test-suite :: SingleSource/Benchmarks/Polybench/medley/deriche/deriche.test test-suite :: SingleSource/Benchmarks/Polybench/medley/floyd-warshall/floyd-warshall.test test-suite :: SingleSource/Benchmarks/Polybench/medley/nussinov/nussinov.test test-suite :: SingleSource/Benchmarks/Polybench/stencils/adi/adi.test test-suite :: SingleSource/Benchmarks/Polybench/stencils/heat-3d/heat-3d.test test-suite :: SingleSource/Benchmarks/Polybench/stencils/jacobi-2d/jacobi-2d.test test-suite :: SingleSource/Benchmarks/Polybench/stencils/seidel-2d/seidel-2d.test test-suite :: SingleSource/Benchmarks/Shootout/Shootout-hash.test test-suite :: SingleSource/Regression/C/Regression-C-2004-08-12-InlinerAndAllocas.test test-suite :: SingleSource/Regression/C/Regression-C-PR640.test test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-920625-1.test test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-pr28289.test test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-va-arg-21.test test-suite :: SingleSource/Regression/C/gcc-c-torture/execute/GCC-C-execute-va-arg-24.test