cc:linaro-toolchain@lists.linaro.org,cc:craig.topper@sifive.com,bcc:tcwg-validation@linaro.org,cc:xlauko@mail.muni.cz,cc:philip.ginsbach@cantab.net,cc:salapenades1@llnl.gov,cc:david.green@arm.com,lhames@gmail.com,cc:jackalcooper@gmail.com,cc:brandon.wu@sifive.com,cc:hghristov.rmm@gmail.com