tree e139a361bd227dc80afbcf0ce9daa3bd4afe74f3
parent 11c37c17e50e3d06072b1e6352b7d94897b182f3
author Andrew Brown <andrew.brown@intel.com> 1710429824 -0700
committer Copybara-Service <copybara-worker@google.com> 1710430181 -0700

[openmp][wasm] Fix microtask type mismatch (#84355)

When OpenMP is compiled for WebAssembly (see #71297), it invokes a
microtask via a `switch` statement that dispatches to the `void *`
microtask pointer with spelled-out arguments (not varargs). As #83329
points out, however, this can result in a type mismatch when the
indirect call is executed by WebAssembly; WebAssembly expects the called
pointer to have the precise type of the call site. This change fixes the
issue by bringing back the approach in [D142593] of type-casting all the
`switch` arms to the precise type. This fixes #83329.

[D142593]: https://reviews.llvm.org/D142593

GitOrigin-RevId: d83660827f0cb0054dafef6568ea2fa5b788a39c