You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Once #30 is merged, PASTA will no longer be required to lower RCU macros down to the Kernel dialect; however we will also no longer lower non-RCU macros down to the Kernel dialect either.
It will be much harder to do so since non-RCU macros like get_user(), container_of(), and list_for_each() are defined differently in several places throughout the kernel, so we can't just write one AST matcher to match them and map them to their arguments for the kernel_visitor to have access to.
Currently we don't implement any analyses for these macros anyway though, so figuring out how to lower them to MLIR without PASTA is not urgent. Worst-case scenario, we make another dialect/visitor for these macros and make PASTA a dependency for it.
The text was updated successfully, but these errors were encountered:
Once #30 is merged, PASTA will no longer be required to lower RCU macros down to the Kernel dialect; however we will also no longer lower non-RCU macros down to the Kernel dialect either.
It will be much harder to do so since non-RCU macros like
get_user()
,container_of()
, andlist_for_each()
are defined differently in several places throughout the kernel, so we can't just write one AST matcher to match them and map them to their arguments for thekernel_visitor
to have access to.Currently we don't implement any analyses for these macros anyway though, so figuring out how to lower them to MLIR without PASTA is not urgent. Worst-case scenario, we make another dialect/visitor for these macros and make PASTA a dependency for it.
The text was updated successfully, but these errors were encountered: