[PATCH] D147707: Make BPF stack size overridable

[Yonghong Song via Phabricator via llvm-commits]

yonghong-song added a comment.

In D147707#4255094 <https://reviews.llvm.org/D147707#4255094>, @niclashedam wrote:

> Thanks for the review. I have a colleague at the IT University of Copenhagen doing a PhD on program verification for computational storage. However, for now, it's an open question.
> We do some runtime checks, but the real issue is that when compiling BPF for computational storage, the device characteristics (stack size, helper functions, etc.) are unknown. As such, the verification must happen on the device, and the question is how we efficiently do that and how we convey potential verification problems back to the host.

Okay, thanks for explanation. The patch certainly okay as it doesn't change the current default funcitonality. Not exactly sure how the decide will verifier the program but that is a separate issue.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147707/new/

https://reviews.llvm.org/D147707