+2014-11-17 Zhenqiang Chen <zhenqiang.chen@linaro.org>
+
+ * config/aarch64/aarch64-modes.def: Define ccmp CC mode.
+ * config/aarch64/aarch64.c (aarch64_get_condition_code_1): New function
+ extacted from aarch64_get_condition_code.
+ (aarch64_get_condition_code): Call aarch64_get_condition_code_1.
+ config/aarch64/predicates.md (ccmp_cc_register): New predicate.
+
014-11-17 Zhenqiang Chen <zhenqiang.chen@linaro.org>
* config/aarch64/constraints.md (Usn, aarch64_ccmp_immediate,
CC_MODE (CC_SESWP); /* sign-extend LHS (but swap to make it RHS). */
CC_MODE (CC_NZ); /* Only N and Z bits of condition flags are valid. */
CC_MODE (CC_Z); /* Only Z bit of condition flags is valid. */
+CC_MODE (CC_DNE);
+CC_MODE (CC_DEQ);
+CC_MODE (CC_DLE);
+CC_MODE (CC_DLT);
+CC_MODE (CC_DGE);
+CC_MODE (CC_DGT);
+CC_MODE (CC_DLEU);
+CC_MODE (CC_DLTU);
+CC_MODE (CC_DGEU);
+CC_MODE (CC_DGTU);
/* Vector modes. */
VECTOR_MODES (INT, 8); /* V8QI V4HI V2SI. */
return CCmode;
}
+static int
+aarch64_get_condition_code_1 (enum machine_mode, enum rtx_code);
+
int
aarch64_get_condition_code (rtx x)
{
if (GET_MODE_CLASS (mode) != MODE_CC)
mode = SELECT_CC_MODE (comp_code, XEXP (x, 0), XEXP (x, 1));
+ return aarch64_get_condition_code_1 (mode, comp_code);
+}
+static int
+aarch64_get_condition_code_1 (enum machine_mode mode, enum rtx_code comp_code)
+{
+ int ne = -1, eq = -1;
switch (mode)
{
case CCFPmode:
}
break;
+ case CC_DNEmode:
+ ne = AARCH64_NE;
+ eq = AARCH64_EQ;
+ break;
+
+ case CC_DEQmode:
+ ne = AARCH64_EQ;
+ eq = AARCH64_NE;
+ break;
+
+ case CC_DGEmode:
+ ne = AARCH64_GE;
+ eq = AARCH64_LT;
+ break;
+
+ case CC_DLTmode:
+ ne = AARCH64_LT;
+ eq = AARCH64_GE;
+ break;
+
+ case CC_DGTmode:
+ ne = AARCH64_GT;
+ eq = AARCH64_LE;
+ break;
+
+ case CC_DLEmode:
+ ne = AARCH64_LE;
+ eq = AARCH64_GT;
+ break;
+
+ case CC_DGEUmode:
+ ne = AARCH64_CS;
+ eq = AARCH64_CC;
+ break;
+
+ case CC_DLTUmode:
+ ne = AARCH64_CC;
+ eq = AARCH64_CS;
+ break;
+
+ case CC_DGTUmode:
+ ne = AARCH64_HI;
+ eq = AARCH64_LS;
+ break;
+
+ case CC_DLEUmode:
+ ne = AARCH64_LS;
+ eq = AARCH64_HI;
+ break;
+
case CCmode:
switch (comp_code)
{
return -1;
break;
}
+
+ if (comp_code == NE)
+ return ne;
+
+ if (comp_code == EQ)
+ return eq;
+
+ return -1;
}
bool
(ior (match_operand 0 "register_operand")
(match_operand 0 "aarch64_ccmp_immediate")))
+(define_special_predicate "ccmp_cc_register"
+ (and (match_code "reg")
+ (and (match_test "REGNO (op) == CC_REGNUM")
+ (ior (match_test "mode == GET_MODE (op)")
+ (match_test "mode == VOIDmode
+ && (GET_MODE (op) == CC_DNEmode
+ || GET_MODE (op) == CC_DEQmode
+ || GET_MODE (op) == CC_DLEmode
+ || GET_MODE (op) == CC_DLTmode
+ || GET_MODE (op) == CC_DGEmode
+ || GET_MODE (op) == CC_DGTmode
+ || GET_MODE (op) == CC_DLEUmode
+ || GET_MODE (op) == CC_DLTUmode
+ || GET_MODE (op) == CC_DGEUmode
+ || GET_MODE (op) == CC_DGTUmode)"))))
+)
+
(define_predicate "aarch64_simd_register"
(and (match_code "reg")
(ior (match_test "REGNO_REG_CLASS (REGNO (op)) == FP_LO_REGS")