cc:linaro-toolchain@lists.linaro.org,cc:llvm-dev@redking.me.uk,bcc:tcwg-validation@linaro.org,david.spickett@linaro.org,cc:folkert@folkertdev.nl