tree 1b051e2d9db35d93ce7e9d81146e59e5a7c6ffe9
parent 96bcc82743ef5f9b9be6bab1732dc543b389599e
author Stefano Milizia <stefanomil@google.com> 1596136699 +0200
committer GitHub <noreply@github.com> 1596136699 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfIxz7CRBK7hj4Ov3rIwAAdHIIABcG3laG+VVNlEscPGvUV6MU
 u8O12tdejk0akqNv5daZ32KHwTZaGl8bOZM/gla64VdBEZNSJphn+r2BEOwvZnhr
 Rp7nt4xQ+KOEIXwi7sP2msqgURiYuwXjd3CTcBHAqQOtsMvjWb81hRXG8MvVNL38
 sDCpXpXtJJpV4ye2LoIzh69oXTn5OS3L5wrFXIsqBw0giTTqgCIZoZC3XYJBay7b
 DpFbtzdis5dcm6egstQyMvzvl4e6dyvpbJqeOM+zAfZusr7EQYsVjbpTIGv/SM9N
 rSpcUP+UT1XGnLfUnPXQHABi6lNoiTPb9apNIwzyhU4qDi+PMsDDFz7KouM5i5A=
 =bqVh
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Transformation to add loop preheader (#3599)

This PR introduces TransformationAddLoopPreheader, which, given
a loop header and enough fresh ids, adds a loop preheader, updating
all the references so that this new block is the only out-of-loop
predecessor of the header, which branches unconditionally to the
header.

See the discussion in #3095.