Hi @sirish,
There are few things to note.
The error is derived from the fact the codegen’d artifact (.c) files contain float5 that is an invalid c type. From my experience, this is resulted from running the tir.vectorizer which we generally disable for micro compilation flows.
I think why you dont see this in the first command line is it has an additional argument -device=micro_dev (though Im not sure where in the codebase that utilizes this to disable the vectorizer, @areusch might know better). Would you be able to see if you drop -device=micro_dev from the first CL or maybe adding -device=micro_dev to the second raises/resolves the error ?
For your last question, short anwser is the TVMC support for micro is still pending. The current AoT deployment flow is aimed at using Model Library Format ([RFC] [µTVM] Model Library Format), which is the support we need to add for TVMC.
Maybe I should ask, are you looking to use AoT for micro or non-micro environement (with dlsym and .so s) ?