LLVM Weekly - #324, Mar 16th 2020

Welcome to the three hundred and twenty-fourth issue of LLVM Weekly, a weekly newsletter (published every Monday) covering developments in LLVM, Clang, and related projects. LLVM Weekly is brought to you by Alex Bradbury. Subscribe to future issues at https://llvmweekly.org and pass it on to anyone else you think may be interested. Please send any tips or feedback to asb@asbradbury.org, or @llvmweekly or @asbradbury on Twitter.

News and articles from around the web

John Regehr and Nuno Lopes have written a blog post on Alive 2. It will take an unoptimised function in LLVM IR and either proves that it is refined by the optimized version of the function, or else shows a set of inputs that illustrate a failure of refinement.

EuroLLVM'20 has now been cancelled due to COVID-19.

LLVM 10.0.0-rc4 has now been tagged.

On the mailing lists

LLVM commits

Clang commits

Other project commits

Subscribe at LLVMWeekly.org.