mlir-rs/melior

tests don't pass locally

Closed this issue · 3 comments

edg-l commented

An important note is that i have llvm compiled with assertions on.

melior-2d0b8d39558e8344: /.../llvm-project-16.0.0.src/mlir/lib/IR/BuiltinAttributes.cpp:924: static mlir::DenseElementsAttr mlir::DenseElementsAttr::get(mlir::ShapedType, ArrayRef<mlir::Attribute>): Assertion `intAttr.getType() == eltType && "expected integer attribute type to equal element type"' failed.
test dialect::scf::tests::compile_index_switch ... ok
error: test failed, to rerun pass `-p melior --lib`

Caused by:
  process didn't exit successfully: `/.../melior/target/debug/deps/melior-2d0b8d39558e8344` (signal: 6, SIGABRT: process abort signal)

Since it SIGABRT it's hard to pointpoint what test causes it

#189 might have fixed it; at least the test was wrong before. Could you confirm it locally?

edg-l commented

I get another assert now

...
test ir::attribute::array::tests::len ... ok
test ir::attribute::dense_elements::tests::i64_element ... ok
test ir::attribute::dense_elements::tests::i32_element ... ok
melior-8bc0089116d49e9d: /.../llvm-project-16.0.4.src/llvm/include/llvm/Support/Casting.h:567: decltype(auto) llvm::cast(const From&) [with To = mlir::ArrayAttr; From = mlir::Attribute]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
test dialect::memref::tests::compile_store_with_index ... ok
error: test failed, to rerun pass `-p melior --lib`

Caused by:
  process didn't exit successfully: `/.../melior/target/debug/deps/melior-8bc0089116d49e9d` (signal: 6, SIGABRT: process abort signal)

I should probably build LLVM on my machine. 😅