You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At least with x86, when we see code using the fsbase or gsbase, we (as of #216) lift using LLVM's address space feature. This ends up producing code that looks like the following:
Really, we probably want to identify that some data areas are thread-local, and have a way of communicating this in specifications. Then, we'd want to introduce address-space offset-aware folding into the entity use recovery code, to recover references back to these thread-local data structures.
The text was updated successfully, but these errors were encountered:
At least with x86, when we see code using the
fsbase
orgsbase
, we (as of #216) lift using LLVM's address space feature. This ends up producing code that looks like the following:Really, we probably want to identify that some data areas are thread-local, and have a way of communicating this in specifications. Then, we'd want to introduce address-space offset-aware folding into the entity use recovery code, to recover references back to these thread-local data structures.
The text was updated successfully, but these errors were encountered: