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