http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53347
--- Comment #1 from Paolo Bonzini <bonzini at gnu dot org> 2012-05-15 09:56:59 UTC --- The code in conforming_compare matches this comment with or without the duplicate test: (1) All comparison patterns are represented as [(set (reg:CC) (compare:CC (reg) (immediate)))] so it looks like it could be removed.