use SETcc instructions