@@ -10191,6 +10191,14 @@ riscv_vectorize_related_mode (machine_mode vector_mode, scalar_mode element_mode
return default_vectorize_related_mode (vector_mode, element_mode, nunits);
}
+/* Implement TARGET_HAVE_SFB. */
+
+bool
+riscv_have_sfb (void)
+{
+ return TARGET_SFB_ALU;
+}
+
/* Implement TARGET_VECTORIZE_VEC_PERM_CONST. */
static bool
@@ -10536,6 +10544,10 @@ extract_base_offset_in_addr (rtx mem, rtx *base, rtx *offset)
#define TARGET_DEFAULT_TARGET_FLAGS (MASK_BIG_ENDIAN)
#endif
+#undef TARGET_HAVE_SFB
+#define TARGET_HAVE_SFB \
+ riscv_have_sfb
+
#undef TARGET_VECTOR_MODE_SUPPORTED_P
#define TARGET_VECTOR_MODE_SUPPORTED_P riscv_vector_mode_supported_p
@@ -12149,6 +12149,10 @@ This target hook is required only when the target has several different
modes and they have different conditional execution capability, such as ARM.
@end deftypefn
+@deftypefn {Target Hook} bool TARGET_HAVE_SFB (void)
+This target hook returns true if the target supports Short Forward Branch.
+@end deftypefn
+
@deftypefn {Target Hook} rtx TARGET_GEN_CCMP_FIRST (rtx_insn **@var{prep_seq}, rtx_insn **@var{gen_seq}, rtx_code @var{code}, tree @var{op0}, tree @var{op1})
This function prepares to emit a comparison insn for the first compare in a
sequence of conditional comparisions. It returns an appropriate comparison
@@ -7843,6 +7843,8 @@ lists.
@hook TARGET_HAVE_CONDITIONAL_EXECUTION
+@hook TARGET_HAVE_SFB
+
@hook TARGET_GEN_CCMP_FIRST
@hook TARGET_GEN_CCMP_NEXT
@@ -3068,10 +3068,12 @@ noce_try_cond_zero_arith (struct noce_if_info *if_info)
&a, &to_replace))
return false;
- start_sequence ();
+ if (targetm.have_sfb () && CONST_INT_P (*to_replace))
+ return false;
bin_code = GET_CODE (bin_exp);
bin_op0 = XEXP (bin_exp, 0);
+ start_sequence ();
if (CONST_INT_P (*to_replace))
{
@@ -2726,6 +2726,13 @@ modes and they have different conditional execution capability, such as ARM.",
bool, (void),
default_have_conditional_execution)
+/* Return true if the target supports SFB. */
+DEFHOOK
+(have_sfb,
+ "This target hook returns true if the target supports Short Forward Branch.",
+ bool, (void),
+ hook_bool_void_false)
+
DEFHOOK
(gen_ccmp_first,
"This function prepares to emit a comparison insn for the first compare in a\n\
new file mode 100644
@@ -0,0 +1,1354 @@
+/* { dg-do compile } */
+/* { dg-options "-mtune=sifive-7-series -march=rv64gc_zbb_zicond -mabi=lp64d -O2 " } */
+/* { dg-skip-if "" { *-*-* } {"-O0" "-O1" "-Os" "-Og" "-O3" "-Oz" "-flto"} } */
+
+long
+test_ADD_ceqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y + z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_ceqz_x (long x, long z, long c)
+{
+ if (c)
+ x = x + z;
+
+ return x;
+}
+
+long
+test_ADD_nez (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y + z;
+ return x;
+}
+
+long
+test_ADD_nez_x (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x + z;
+ return x;
+}
+
+long
+test_ADD_nez_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y + z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_nez_x_2 (long x, long z, long c)
+{
+ if (!c)
+ x = x + z;
+
+ return x;
+}
+
+long
+test_ADD_eqz_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y + z;
+ return x;
+}
+
+long
+test_ADD_eqz_x_2 (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x + z;
+ return x;
+}
+
+long
+test_SUB_ceqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y - z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_SUB_ceqz_x (long x, long z, long c)
+{
+ if (c)
+ x = x - z;
+
+ return x;
+}
+
+long
+test_SUB_nez (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y - z;
+ return x;
+}
+
+long
+test_SUB_nez_x (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x - z;
+ return x;
+}
+
+long
+test_SUB_nez_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y - z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_SUB_nez_x_2 (long x, long z, long c)
+{
+ if (!c)
+ x = x - z;
+
+ return x;
+}
+
+long
+test_SUB_eqz_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y - z;
+ return x;
+}
+
+long
+test_SUB_eqz_x_2 (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x - z;
+ return x;
+}
+
+long
+test_IOR_ceqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y | z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_ceqz_x (long x, long z, long c)
+{
+ if (c)
+ x = x | z;
+
+ return x;
+}
+
+long
+test_IOR_nez (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y | z;
+ return x;
+}
+
+long
+test_IOR_nez_x (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x | z;
+ return x;
+}
+
+long
+test_IOR_nez_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y | z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_nez_x_2 (long x, long z, long c)
+{
+ if (!c)
+ x = x | z;
+
+ return x;
+}
+
+long
+test_IOR_eqz_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y | z;
+ return x;
+}
+
+long
+test_IOR_eqz_x_2 (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x | z;
+ return x;
+}
+
+long
+test_XOR_ceqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y ^ z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_ceqz_x (long x, long z, long c)
+{
+ if (c)
+ x = x ^ z;
+
+ return x;
+}
+
+long
+test_XOR_nez (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y ^ z;
+ return x;
+}
+
+long
+test_XOR_nez_x (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x ^ z;
+ return x;
+}
+
+long
+test_XOR_nez_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y ^ z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_nez_x_2 (long x, long z, long c)
+{
+ if (!c)
+ x = x ^ z;
+
+ return x;
+}
+
+long
+test_XOR_eqz_2 (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y ^ z;
+ return x;
+}
+
+long
+test_XOR_eqz_x_2 (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x ^ z;
+ return x;
+}
+
+long
+test_ADD_ceqz_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = z + y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_ceqz_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ x = z + x;
+
+ return x;
+}
+
+long
+test_ADD_nez_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = z + y;
+ return x;
+}
+
+long
+test_ADD_nez_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = z + x;
+ return x;
+}
+
+long
+test_ADD_nez_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = z + y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_nez_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ x = z + x;
+
+ return x;
+}
+
+long
+test_ADD_eqz_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = z + y;
+ return x;
+}
+
+long
+test_ADD_eqz_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = z + x;
+ return x;
+}
+
+long
+test_IOR_ceqz_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = z | y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_ceqz_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ x = z | x;
+
+ return x;
+}
+
+long
+test_IOR_nez_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = z | y;
+ return x;
+}
+
+long
+test_IOR_nez_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = z | x;
+ return x;
+}
+
+long
+test_IOR_nez_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = z | y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_nez_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ x = z | x;
+
+ return x;
+}
+
+long
+test_IOR_eqz_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = z | y;
+ return x;
+}
+
+long
+test_IOR_eqz_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = z | x;
+ return x;
+}
+
+long
+test_XOR_ceqz_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = z ^ y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_ceqz_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ x = z ^ x;
+
+ return x;
+}
+
+long
+test_XOR_nez_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = z ^ y;
+ return x;
+}
+
+long
+test_XOR_nez_x_reverse_bin_oprands (long x, long z, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = z ^ x;
+ return x;
+}
+
+long
+test_XOR_nez_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = z ^ y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_nez_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ x = z ^ x;
+
+ return x;
+}
+
+long
+test_XOR_eqz_2_reverse_bin_oprands (long x, long y, long z, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = z ^ y;
+ return x;
+}
+
+long
+test_XOR_eqz_x_2_reverse_bin_oprands (long x, long z, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = z ^ x;
+ return x;
+}
+
+long
+test_ShiftLeft_eqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y << z;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ShiftR_eqz (long x, long y, long z, long c)
+{
+ if (c)
+ x = y >> z;
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_ShiftR_logical_eqz (unsigned long x, unsigned long y, unsigned long z,
+ unsigned long c)
+{
+ if (c)
+ x = y >> z;
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_RotateL_eqz (unsigned long x, unsigned long y, unsigned long z,
+ unsigned long c)
+{
+ if (c)
+ x = (y << z) | (y >> (64 - z));
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_RotateR_eqz (unsigned long x, unsigned long y, unsigned long z,
+ unsigned long c)
+{
+ if (c)
+ x = (y >> z) | (y << (64 - z));
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ADD_ceqz_int (int x, int y, int z, int c)
+{
+ if (c)
+ x = y + z;
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ShiftLeft_eqz_int (int x, int y, int z, int c)
+{
+ if (c)
+ x = y << z;
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ShiftR_eqz_int (int x, int y, int z, int c)
+{
+ if (c)
+ x = y >> z;
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_ShiftR_logical_eqz_int (unsigned int x, unsigned int y, unsigned int z,
+ unsigned int c)
+{
+ if (c)
+ x = y >> z;
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_RotateL_eqz_int (unsigned int x, unsigned int y, unsigned int z,
+ unsigned int c)
+{
+ if (c)
+ x = (y << z) | (y >> (32 - z));
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_RotateR_eqz_int (unsigned int x, unsigned int y, unsigned int z,
+ unsigned int c)
+{
+ if (c)
+ x = (y >> z) | (y << (32 - z));
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_ceqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y + 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_ceqz_x_imm (long x, long c)
+{
+ if (c)
+ x = x + 11;
+
+ return x;
+}
+
+long
+test_ADD_nez_imm (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y + 11;
+ return x;
+}
+
+long
+test_ADD_nez_x_imm (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x + 11;
+ return x;
+}
+
+long
+test_ADD_nez_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y + 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_nez_x_2_imm (long x, long c)
+{
+ if (!c)
+ x = x + 11;
+
+ return x;
+}
+
+long
+test_ADD_eqz_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y + 11;
+ return x;
+}
+
+long
+test_ADD_eqz_x_2_imm (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x + 11;
+ return x;
+}
+
+long
+test_SUB_ceqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y - 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_SUB_ceqz_x_imm (long x, long c)
+{
+ if (c)
+ x = x - 11;
+
+ return x;
+}
+
+long
+test_SUB_nez_imm (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y - 11;
+ return x;
+}
+
+long
+test_SUB_nez_x_imm (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x - 11;
+ return x;
+}
+
+long
+test_SUB_nez_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y - 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_SUB_nez_x_2_imm (long x, long c)
+{
+ if (!c)
+ x = x - 11;
+
+ return x;
+}
+
+long
+test_SUB_eqz_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y - 11;
+ return x;
+}
+
+long
+test_SUB_eqz_x_2_imm (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x - 11;
+ return x;
+}
+
+long
+test_IOR_ceqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y | 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_ceqz_x_imm (long x, long c)
+{
+ if (c)
+ x = x | 11;
+
+ return x;
+}
+
+long
+test_IOR_nez_imm (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y | 11;
+ return x;
+}
+
+long
+test_IOR_nez_x_imm (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x | 11;
+ return x;
+}
+
+long
+test_IOR_nez_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y | 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_nez_x_2_imm (long x, long c)
+{
+ if (!c)
+ x = x | 11;
+
+ return x;
+}
+
+long
+test_IOR_eqz_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y | 11;
+ return x;
+}
+
+long
+test_IOR_eqz_x_2_imm (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x | 11;
+ return x;
+}
+
+long
+test_XOR_ceqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y ^ 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_ceqz_x_imm (long x, long c)
+{
+ if (c)
+ x = x ^ 11;
+
+ return x;
+}
+
+long
+test_XOR_nez_imm (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = y ^ 11;
+ return x;
+}
+
+long
+test_XOR_nez_x_imm (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = x ^ 11;
+ return x;
+}
+
+long
+test_XOR_nez_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y ^ 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_nez_x_2_imm (long x, long c)
+{
+ if (!c)
+ x = x ^ 11;
+
+ return x;
+}
+
+long
+test_XOR_eqz_2_imm (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = y ^ 11;
+ return x;
+}
+
+long
+test_XOR_eqz_x_2_imm (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = x ^ 11;
+ return x;
+}
+
+long
+test_ADD_ceqz_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = 11 + y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_ceqz_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ x = 11 + x;
+
+ return x;
+}
+
+long
+test_ADD_nez_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = 11 + y;
+ return x;
+}
+
+long
+test_ADD_nez_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = 11 + x;
+ return x;
+}
+
+long
+test_ADD_nez_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = 11 + y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ADD_nez_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ x = 11 + x;
+
+ return x;
+}
+
+long
+test_ADD_eqz_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = 11 + y;
+ return x;
+}
+
+long
+test_ADD_eqz_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = 11 + x;
+ return x;
+}
+
+long
+test_IOR_ceqz_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = 11 | y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_ceqz_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ x = 11 | x;
+
+ return x;
+}
+
+long
+test_IOR_nez_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = 11 | y;
+ return x;
+}
+
+long
+test_IOR_nez_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = 11 | x;
+ return x;
+}
+
+long
+test_IOR_nez_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = 11 | y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_IOR_nez_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ x = 11 | x;
+
+ return x;
+}
+
+long
+test_IOR_eqz_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = 11 | y;
+ return x;
+}
+
+long
+test_IOR_eqz_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = 11 | x;
+ return x;
+}
+
+long
+test_XOR_ceqz_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = 11 ^ y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_ceqz_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ x = 11 ^ x;
+
+ return x;
+}
+
+long
+test_XOR_nez_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (c)
+ x = y;
+ else
+ x = 11 ^ y;
+ return x;
+}
+
+long
+test_XOR_nez_x_imm_reverse_bin_oprands (long x, long c)
+{
+ if (c)
+ {
+ }
+ else
+ x = 11 ^ x;
+ return x;
+}
+
+long
+test_XOR_nez_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = 11 ^ y;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_XOR_nez_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ x = 11 ^ x;
+
+ return x;
+}
+
+long
+test_XOR_eqz_2_imm_reverse_bin_oprands (long x, long y, long c)
+{
+ if (!c)
+ x = y;
+ else
+ x = 11 ^ y;
+ return x;
+}
+
+long
+test_XOR_eqz_x_2_imm_reverse_bin_oprands (long x, long c)
+{
+ if (!c)
+ {
+ }
+ else
+ x = 11 ^ x;
+ return x;
+}
+
+long
+test_ShiftLeft_eqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y << 11;
+ else
+ x = y;
+ return x;
+}
+
+long
+test_ShiftR_eqz_imm (long x, long y, long c)
+{
+ if (c)
+ x = y >> 11;
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_ShiftR_logical_eqz_imm (unsigned long x, unsigned long y, unsigned long z,
+ unsigned long c)
+{
+ if (c)
+ x = y >> 11;
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_RotateL_eqz_imm (unsigned long x, unsigned long y, unsigned long c)
+{
+ if (c)
+ x = (y << 11) | (y >> (64 - 11));
+ else
+ x = y;
+ return x;
+}
+
+unsigned long
+test_RotateR_eqz_imm (unsigned long x, unsigned long y, unsigned long c)
+{
+ if (c)
+ x = (y >> 11) | (y << (64 - 11));
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ADD_ceqz_imm_int (int x, int y, int c)
+{
+ if (c)
+ x = y + 11;
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ShiftLeft_eqz_imm_int (int x, int y, int c)
+{
+ if (c)
+ x = y << 11;
+ else
+ x = y;
+ return x;
+}
+
+int
+test_ShiftR_eqz_imm_int (int x, int y, int c)
+{
+ if (c)
+ x = y >> 11;
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_ShiftR_logical_eqz_imm_int (unsigned int x, unsigned int y, unsigned int c)
+{
+ if (c)
+ x = y >> 11;
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_RotateL_eqz_imm_int (unsigned int x, unsigned int y, unsigned int c)
+{
+ if (c)
+ x = (y << 11) | (y >> (32 - 11));
+ else
+ x = y;
+ return x;
+}
+
+unsigned int
+test_RotateR_eqz_imm_int (unsigned int x, unsigned int y, unsigned int c)
+{
+ if (c)
+ x = (y >> 11) | (y << (32 - 11));
+ else
+ x = y;
+ return x;
+}
+
+/* { dg-final { scan-assembler-times {czero\.eqz} 39 } } */
+/* { dg-final { scan-assembler-times {czero\.nez} 28 } } */
+/* { dg-final { scan-assembler-times {movcc} 67 } } */