I am taking the approach of splitting logical_operand for SImode and DImode. The predicate is okay for SImode where there is no need to distinguish between signed and unsigned 32-bit values. I also am handling the output of CONST_DOUBLE values. Thanks, David