This delegate the control of the buffering to the user of the API. This
seems like a safer option as messages are immediately propagated to the
user, which may lead to less surprising behavior during debugging for
instance.
In terms of performance, a user can add a buffered stream on the other
side of the callback.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
mlir/include/mlir/CAPI/Utils.h | ||
---|---|---|
31 | nit: Seems like there is an extra space in the comment here. |
nit: Seems like there is an extra space in the comment here.