graal-compiler: src/cpu/x86/vm/x86

comparison src/cpu/x86/vm/x86_32.ad @ 12323:c9ccd7b85f20

8024924: Intrinsify java.lang.Math.addExact Reviewed-by: kvn, twisti

author	rbackman
date	Fri, 27 Sep 2013 08:39:19 +0200
parents	e10e43e58e92
children	268e7a2178d7

comparison

equal deleted inserted replaced

-:72b7e96c1922
+:c9ccd7b85f20
 const RegMask Matcher::method_handle_invoke_SP_save_mask() {
 return EBP_REG_mask();
 }
+const RegMask Matcher::mathExactI_result_proj_mask() {
+return EAX_REG_mask();
+}
+const RegMask Matcher::mathExactI_flags_proj_mask() {
+return INT_FLAGS_mask();
+}
 // Returns true if the high 32 bits of the value is known to be zero.
 bool is_operand_hi32_zero(Node* n) {
 int opc = n->Opcode();
 if (opc == Op_AndL) {
 Node* o2 = n->in(2);
 not_equal(0x5, "ne");
 less(0xC, "l");
 greater_equal(0xD, "ge");
 less_equal(0xE, "le");
 greater(0xF, "g");
+overflow(0x0, "o");
+no_overflow(0x1, "no");
 %}
 %}
 // Comparison Code, unsigned compare.  Used by FP also, with
 // C2 (unordered) turned into GT or LT already.  The other bits
 not_equal(0x5, "ne");
 less(0x2, "b");
 greater_equal(0x3, "nb");
 less_equal(0x6, "be");
 greater(0x7, "nbe");
+overflow(0x0, "o");
+no_overflow(0x1, "no");
 %}
 %}
 // Floating comparisons that don't require any fixup for the unordered case
 operand cmpOpUCF() %{
 not_equal(0x5, "ne");
 less(0x2, "b");
 greater_equal(0x3, "nb");
 less_equal(0x6, "be");
 greater(0x7, "nbe");
+overflow(0x0, "o");
+no_overflow(0x1, "no");
 %}
 %}
 // Floating comparisons that can be fixed up with extra conditional jumps
 not_equal(0x5, "ne");
 less(0x2, "b");
 greater_equal(0x3, "nb");
 less_equal(0x6, "be");
 greater(0x7, "nbe");
+overflow(0x0, "o");
+no_overflow(0x1, "no");
 %}
 %}
 // Comparison Code for FP conditional move
 operand cmpOp_fcmov() %{
 match(Bool);
+predicate(n->as_Bool()->_test._test != BoolTest::overflow &&
+n->as_Bool()->_test._test != BoolTest::no_overflow);
 format %{ "" %}
 interface(COND_INTER) %{
 equal        (0x0C8);
 not_equal    (0x1C8);
 less         (0x0C0);
 greater_equal(0x1C0);
 less_equal   (0x0D0);
 greater      (0x1D0);
+overflow(0x0, "o"); // not really supported by the instruction
+no_overflow(0x1, "no"); // not really supported by the instruction
 %}
 %}
 // Comparision Code used in long compares
 operand cmpOp_commute() %{
 not_equal(0x5, "ne");
 less(0xF, "g");
 greater_equal(0xE, "le");
 less_equal(0xD, "ge");
 greater(0xC, "l");
+overflow(0x0, "o");
+no_overflow(0x1, "no");
 %}
 %}
 //----------OPERAND CLASSES----------------------------------------------------
 // Operand Classes are groups of operands that are used as to simplify
 %}
 %}
 //----------Arithmetic Instructions--------------------------------------------
 //----------Addition Instructions----------------------------------------------
+instruct addExactI_rReg(eAXRegI dst, rRegI src, eFlagsReg cr)
+%{
+match(AddExactI dst src);
+effect(DEF cr);
+format %{ "ADD    $dst, $src\t# addExact int" %}
+ins_encode %{
+__ addl($dst$$Register, $src$$Register);
+%}
+ins_pipe(ialu_reg_reg);
+%}
+instruct addExactI_rReg_imm(eAXRegI dst, immI src, eFlagsReg cr)
+%{
+match(AddExactI dst src);
+effect(DEF cr);
+format %{ "ADD    $dst, $src\t# addExact int" %}
+ins_encode %{
+__ addl($dst$$Register, $src$$constant);
+%}
+ins_pipe(ialu_reg_reg);
+%}
 // Integer Addition Instructions
 instruct addI_eReg(rRegI dst, rRegI src, eFlagsReg cr) %{
 match(Set dst (AddI dst src));
 effect(KILL cr);

Mercurial > hg > graal-compiler

comparison src/cpu/x86/vm/x86_32.ad @ 12323:c9ccd7b85f20