-
Notifications
You must be signed in to change notification settings - Fork 3.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[AOT] Initial implementation of --unpacked-api #8023
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice job @Mousius ! Did a first pass, but didn't spot anything major.
814ed20
to
40b964d
Compare
@giuseros everythings back to green, could you take another look? 😸 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, only a very minor comment left for me
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@Mousius did an initial pass
Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example: int32_t operator(void* arg0, void* arg1); As opposed to the traditional packed API: int32_t operator(void** args); Uneffected is the entrypoint function, which retains a packed API for compatibility with other parts of TVM. This is done by changing the passes taken by none entrypoint (CallingConv::kEntryPoint) functions.
This removes the logic for deciding the entrypoint from the compiler passes and instead moves it into the metadata code generation. By moving the generation, we can generate a variety of entrypoints on top of the compiler output (such as the micro entrypoint discussed in the RFC).
(Also contains minor clean up of output variables)
(Also moves the entrypoint name to a constant)
9dcad5b
to
d1e0ab2
Compare
@areusch I think this is good to go, could you take another look? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
hi @Mousius , apologies for the delay. just a couple small comments on this one.
@areusch I think I've incorporated all the changes and CI is still green 🎉 |
thanks @Mousius, the PR is now merged! |
* [AOT] Initial implementation of --no-typed-operators Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example: int32_t operator(void* arg0, void* arg1); As opposed to the traditional packed API: int32_t operator(void** args); Uneffected is the entrypoint function, which retains a packed API for compatibility with other parts of TVM. This is done by changing the passes taken by none entrypoint (CallingConv::kEntryPoint) functions. * Move entrypoint generation outside of main passes This removes the logic for deciding the entrypoint from the compiler passes and instead moves it into the metadata code generation. By moving the generation, we can generate a variety of entrypoints on top of the compiler output (such as the micro entrypoint discussed in the RFC). * Use buffers in make_unpacked_api tests * Enable --no-typed-operators for llvm * Change --no-typed-operators to --typed-operators=0 to match other options * Refactor typed-operators lookup into use_typed_operators_ (Also contains minor clean up of output variables) * Rename --typed-operators to --unpacked-api (Also moves the entrypoint name to a constant) * Move all properties into init list to avoid double init * Remove AutoTVM breaking default and improve clarity
* [AOT] Initial implementation of --no-typed-operators Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example: int32_t operator(void* arg0, void* arg1); As opposed to the traditional packed API: int32_t operator(void** args); Uneffected is the entrypoint function, which retains a packed API for compatibility with other parts of TVM. This is done by changing the passes taken by none entrypoint (CallingConv::kEntryPoint) functions. * Move entrypoint generation outside of main passes This removes the logic for deciding the entrypoint from the compiler passes and instead moves it into the metadata code generation. By moving the generation, we can generate a variety of entrypoints on top of the compiler output (such as the micro entrypoint discussed in the RFC). * Use buffers in make_unpacked_api tests * Enable --no-typed-operators for llvm * Change --no-typed-operators to --typed-operators=0 to match other options * Refactor typed-operators lookup into use_typed_operators_ (Also contains minor clean up of output variables) * Rename --typed-operators to --unpacked-api (Also moves the entrypoint name to a constant) * Move all properties into init list to avoid double init * Remove AutoTVM breaking default and improve clarity
Based on the discussions in the AOT embedded improvements RFC, this adds a flag to the target which changes the internal operators to an unpacked API. The unpacked API spreads the input buffers across the operator function, for example:
As opposed to the traditional packed API:
Unaffected is the entrypoint function, which retains a packed API for compatibility with other parts of TVM. The entrypoint function is generated as part of the metadata as suggested by @tqchen so we can easily swap it for implementing
--micro-entrypoint
.cc: @giuseros @mbaret @manupa-arm @areusch @tqchen