cc:linaro-toolchain@lists.linaro.org,cc:craig.topper@sifive.com,bcc:tcwg-validation@linaro.org,cc:ybni@cse.cuhk.edu.hk,cc:hghristov.rmm@gmail.com