Thomas Schwinge <tho...@codesourcery.com> writes: > Hi! > > On Mon, 27 Apr 2015 11:20:30 +0100, Richard Sandiford > <richard.sandif...@arm.com> wrote: >> This patch [...] by replacing most of genrecog [...] > > OK to commit?
Looks good to me FWIW. Probably counts as obvious. Thanks, Richard