|
@johnregehr | |||||
|
the freeze instruction finally landed in LLVM!
github.com/llvm/llvm-proj…
docs:
github.com/llvm/llvm-proj…
lots of work left to do but this is a big step towards making LLVM have a clear and consistent undefined behavior model
|
||||||
|
||||||
|
John Regehr
@johnregehr
|
5. stu |
|
heavy lifting done by Juneyoung Lee at SNU (not on twitter that I know of)
sf.snu.ac.kr/juneyoung.lee/
|
||
|
|
||
|
John Regehr
@johnregehr
|
5. stu |
|
background material:
cs.utah.edu/~regehr/papers… pic.twitter.com/Jd9Z987uFX
|
||
|
|
||
|
Marat Kh. Akhin
@tau_phoenix
|
5. stu |
|
that's really nice, mate! congrats!
|
||
|
|
||