diff options
author | Joseph Huber <jhuber6@vols.utk.edu> | 2023-08-31 12:10:19 -0500 |
---|---|---|
committer | Joseph Huber <jhuber6@vols.utk.edu> | 2023-08-31 15:04:43 -0500 |
commit | 533145c458fa022ff5b24dfa33e71539747f5c2c (patch) | |
tree | fa21a0fb6573a9b43e11c5a91f0522cdc957721d /llvm/lib/CodeGen/MachineFunction.cpp | |
parent | 4294bca5e4f6e6e8cfdbd9fbe8751c5e5415fd47 (diff) | |
download | llvm-533145c458fa022ff5b24dfa33e71539747f5c2c.zip llvm-533145c458fa022ff5b24dfa33e71539747f5c2c.tar.gz llvm-533145c458fa022ff5b24dfa33e71539747f5c2c.tar.bz2 |
[libc] Support 'assert.h' on the GPU
This patch adds the necessary support to provide `assert` functionality
through the GPU `libc` implementation. This implementation creates a
special-case GPU implementation rather than relying on the common
version. This is because the GPU has special considerings for printing.
The assertion is printed out in chunks with `write_to_stderr`, however
when combined with the GPU execution model this causes 32+ threads to
all execute in-lock step. Meaning that we'll get a horribly fragmented
message. Furthermore, potentially thousands of threads could hit the
assertion at once and try to print even if we had it all in one
`printf`.
This is solved by having a one-time lock that each thread group / wave /
warp will attempt to claim. We only let one thread group pass through
while the others simply stop executing. Finally only the first thread in
that group will do the printing until we finally abort execution.
Reviewed By: sivachandra
Differential Revision: https://reviews.llvm.org/D159296
Diffstat (limited to 'llvm/lib/CodeGen/MachineFunction.cpp')
0 files changed, 0 insertions, 0 deletions