Cranelift: The error message for the clif-util run -v command appears to be incorrect.

[abc767234318]

I constructed a clif file.

multi_func8.zip

I used the following command to run it.

clif-util run -v multi_func8.clif

And I got the following error message:

cases/multi_func8.clif: Compilation error: Unsupported feature: should be implemented in ISLE: inst = `store.f16x8 notrap aligned little v2, v1`, type = `None`
1 file
Error: 1 failure

I think the error is triggered by the store.f16x8 instruction, but I can't find any store.f16x8 instruction in this clif file.

[bjorn3]

It is possible that the store.f16x8 is introduced by optimizations given that you enabled optimizations using set opt_level=speed.

[abc767234318]

It is possible that the store.f16x8 is introduced by optimizations given that you enabled optimizations using set opt_level=speed.

Is it necessary to adjust the optimization strategy to avoid similar issues from occurring?

[bjorn3]

I would recommend avoiding f16 entirely until Cranelift has proper support for it.