LLVM Weekly - #290, July 22nd 2019

Welcome to the two hundred and ninetieth 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 http://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

LLVM 9.0 has branched. rc2 is due on 7th August, with the final release scheduled for the 28th of August. This blog post from Stefan Gränitz has a visualisation of which parts of the codebase have changed.

A new paper, AliveInLean: A Verified LLVM Peephole Optimization Verifier. It's a reengineered version of Alive developed in the Lean theorem prover.

Readers might be interested in trip reports from the Cologne ISO C++ Committee meetings from the reddit /r/cpp team and Herb Sutter.

On the mailing lists

Sjoerd Meijer is seeking feedback on adding a new tail predicate loop pragma, used to indicate a loop tail can be folded into the main loop.

LLVM commits

Clang commits

Other project commits

Subscribe at LLVMWeekly.org.