operands[2] = gen_rtx_AND (mode, val, immed_wide_int_const (mask, mode));
})
+;; Split and;cmp (as optimized by combine) into not;test
+;; Except when TARGET_BMI provides andn (*andn_<mode>_ccno).
+(define_insn_and_split "*test<mode>_not"
+ [(set (reg:CCZ FLAGS_REG)
+ (compare:CCZ
+ (and:SWI
+ (not:SWI (match_operand:SWI 0 "register_operand"))
+ (match_operand:SWI 1 "<nonmemory_szext_operand>"))
+ (const_int 0)))]
+ "ix86_pre_reload_split ()
+ && (!TARGET_BMI || !REG_P (operands[1]))"
+ "#"
+ "&& 1"
+ [(set (match_dup 2) (not:SWI (match_dup 0)))
+ (set (reg:CCZ FLAGS_REG)
+ (compare:CCZ (and:SWI (match_dup 2) (match_dup 1))
+ (const_int 0)))]
+{
+ operands[2] = gen_reg_rtx (<MODE>mode);
+})
+
;; Convert HImode/SImode test instructions with immediate to QImode ones.
;; i386 does not allow to encode test with 8bit sign extended immediate, so
;; this is relatively important trick.
/* PR target/91400 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
-/* { dg-final { scan-assembler-times "andl" 1 } } */
-/* { dg-final { scan-assembler-times "cmpl" 1 } } */
+/* { dg-final { scan-assembler-times "notl" 1 } } */
+/* { dg-final { scan-assembler-times "testb" 1 } } */
/* { dg-final { scan-assembler-times "sete" 1 } } */
/* { dg-final { scan-assembler-not "cmove" } } */
/* PR target/91400 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
-/* { dg-final { scan-assembler-times "andl" 1 } } */
-/* { dg-final { scan-assembler-times "cmpl" 1 } } */
+/* { dg-final { scan-assembler-times "notl" 1 } } */
+/* { dg-final { scan-assembler-times "testb" 1 } } */
/* { dg-final { scan-assembler-times "sete" 1 } } */
/* { dg-final { scan-assembler-not "cmove" } } */
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+int foo(int x)
+{
+ return (x & 1234) == 1234;
+}
+
+int foos(short x)
+{
+ return (x & 1234) == 1234;
+}
+
+int fooc(char x)
+{
+ return (x & 123) == 123;
+}
+
+int fool(long long x)
+{
+ return (x & 1234) == 1234;
+}
+
+/* { dg-final { scan-assembler-not "cmp" } } */
--- /dev/null
+/* { dg-do compile { target { ! ia32 } } } */
+/* { dg-options "-O2" } */
+
+int foo(int x, int y)
+{
+ return (x & y) == y;
+}
+
+int foos(short x, short y)
+{
+ return (x & y) == y;
+}
+
+int fooc(char x, char y)
+{
+ return (x & y) == y;
+}
+
+int fool(long long x, long long y)
+{
+ return (x & y) == y;
+}
+
+/* { dg-final { scan-assembler-not "cmp" } } */