From 0052bd3a0155be17ad336ab3641bcde3deb1cee0 Mon Sep 17 00:00:00 2001 From: uros Date: Tue, 7 Jul 2015 21:03:02 +0000 Subject: [PATCH] * config/i386/i386.md (*jcc_bt): Only split before reload. Remove operand constraints. Change operand 2 predicate to nonmemory operand. Limit const_int values to mode bitsize. Only allow const_int values less than 32 when optimizing for size. (*jcc_bt_1, *jcc_bt_mask): Only split before reload. Remove operand constraints. (*bt): Use SImode for const_int values less than 32. (regmode): Remove mode attribute. testsuite/ChangeLog: * gcc.target/i386/bt-3.c: New test. * gcc.target/i386/bt-4.c: Ditto. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225527 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 18 ++- gcc/config/i386/i386.md | 225 +++++++++++++++++++---------------- gcc/testsuite/ChangeLog | 8 +- gcc/testsuite/gcc.target/i386/bt-3.c | 14 +++ gcc/testsuite/gcc.target/i386/bt-4.c | 14 +++ 5 files changed, 174 insertions(+), 105 deletions(-) create mode 100644 gcc/testsuite/gcc.target/i386/bt-3.c create mode 100644 gcc/testsuite/gcc.target/i386/bt-4.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 06505572858..d325d90adf4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,14 @@ +2015-07-07 Uros Bizjak + + * config/i386/i386.md (*jcc_bt): Only split before reload. + Remove operand constraints. Change operand 2 predicate to + nonmemory operand. Limit const_int values to mode bitsize. Only + allow const_int values less than 32 when optimizing for size. + (*jcc_bt_1, *jcc_bt_mask): Only split before reload. + Remove operand constraints. + (*bt): Use SImode for const_int values less than 32. + (regmode): Remove mode attribute. + 2015-07-07 Anatoly Sokolov * config/moxie/moxie.h (GO_IF_LEGITIMATE_ADDRESS): Remove macros. @@ -10,8 +21,8 @@ PR tree-optimization/66642 * tree-parloops.c (transform_to_exit_first_loop_alt): Update function header comment. Rename split_edge variable to edge_at_split. Split - exit edge to create new loop exit bb. Insert loop exit phis in new loop - exit bb. + exit edge to create new loop exit bb. Insert loop exit phis in new + loop exit bb. 2015-07-07 Tom de Vries @@ -46,7 +57,8 @@ 2015-07-07 Prathamesh Kulkarni - * function.c (free_after_compilation): Clear PROP_cfg in f->curr_properties. + * function.c (free_after_compilation): Clear PROP_cfg in + f->curr_properties. 2015-07-07 Richard Biener diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index dcf1d580a85..93c57723814 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -10765,8 +10765,6 @@ DONE; }) -(define_mode_attr regmode [(SI "k") (DI "q")]) - (define_insn "*bt" [(set (reg:CCC FLAGS_REG) (compare:CCC @@ -10775,11 +10773,132 @@ (const_int 1) (match_operand:SI 1 "nonmemory_operand" "rN")) (const_int 0)))] - "TARGET_USE_BT || optimize_function_for_size_p (cfun)" - "bt{}\t{%1, %0|%0, %1}" + "" +{ + switch (get_attr_mode (insn)) + { + case MODE_SI: + return "bt{l}\t{%1, %k0|%k0, %1}"; + + case MODE_DI: + return "bt{q}\t{%q1, %0|%0, %q1}"; + + default: + gcc_unreachable (); + } +} [(set_attr "type" "alu1") (set_attr "prefix_0f" "1") - (set_attr "mode" "")]) + (set (attr "mode") + (if_then_else + (and (match_test "CONST_INT_P (operands[1])") + (match_test "INTVAL (operands[1]) < 32")) + (const_string "SI") + (const_string "")))]) + +(define_insn_and_split "*jcc_bt" + [(set (pc) + (if_then_else (match_operator 0 "bt_comparison_operator" + [(zero_extract:SWI48 + (match_operand:SWI48 1 "register_operand") + (const_int 1) + (match_operand:SI 2 "nonmemory_operand")) + (const_int 0)]) + (label_ref (match_operand 3)) + (pc))) + (clobber (reg:CC FLAGS_REG))] + "(TARGET_USE_BT || optimize_function_for_size_p (cfun)) + && (CONST_INT_P (operands[2]) + ? (INTVAL (operands[2]) < GET_MODE_BITSIZE (mode) + && INTVAL (operands[2]) + >= (optimize_function_for_size_p (cfun) ? 0 : 32)) + : register_operand (operands[2], SImode)) + && can_create_pseudo_p ()" + "#" + "&& 1" + [(set (reg:CCC FLAGS_REG) + (compare:CCC + (zero_extract:SWI48 + (match_dup 1) + (const_int 1) + (match_dup 2)) + (const_int 0))) + (set (pc) + (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) + (label_ref (match_dup 3)) + (pc)))] +{ + operands[0] = shallow_copy_rtx (operands[0]); + PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); +}) + +(define_insn_and_split "*jcc_bt_1" + [(set (pc) + (if_then_else (match_operator 0 "bt_comparison_operator" + [(zero_extract:SWI48 + (match_operand:SWI48 1 "register_operand") + (const_int 1) + (zero_extend:SI + (match_operand:QI 2 "register_operand"))) + (const_int 0)]) + (label_ref (match_operand 3)) + (pc))) + (clobber (reg:CC FLAGS_REG))] + "(TARGET_USE_BT || optimize_function_for_size_p (cfun)) + && can_create_pseudo_p ()" + "#" + "&& 1" + [(set (reg:CCC FLAGS_REG) + (compare:CCC + (zero_extract:SWI48 + (match_dup 1) + (const_int 1) + (match_dup 2)) + (const_int 0))) + (set (pc) + (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) + (label_ref (match_dup 3)) + (pc)))] +{ + operands[2] = simplify_gen_subreg (SImode, operands[2], QImode, 0); + operands[0] = shallow_copy_rtx (operands[0]); + PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); +}) + +;; Avoid useless masking of bit offset operand. +(define_insn_and_split "*jcc_bt_mask" + [(set (pc) + (if_then_else (match_operator 0 "bt_comparison_operator" + [(zero_extract:SWI48 + (match_operand:SWI48 1 "register_operand") + (const_int 1) + (and:SI + (match_operand:SI 2 "register_operand") + (match_operand 3 "const_int_operand")))]) + (label_ref (match_operand 4)) + (pc))) + (clobber (reg:CC FLAGS_REG))] + "(TARGET_USE_BT || optimize_function_for_size_p (cfun)) + && (INTVAL (operands[3]) & (GET_MODE_BITSIZE (mode)-1)) + == GET_MODE_BITSIZE (mode)-1 + && can_create_pseudo_p ()" + "#" + "&& 1" + [(set (reg:CCC FLAGS_REG) + (compare:CCC + (zero_extract:SWI48 + (match_dup 1) + (const_int 1) + (match_dup 2)) + (const_int 0))) + (set (pc) + (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) + (label_ref (match_dup 4)) + (pc)))] +{ + operands[0] = shallow_copy_rtx (operands[0]); + PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); +}) ;; Store-flag instructions. @@ -11036,102 +11155,6 @@ FAIL; }) -(define_insn_and_split "*jcc_bt" - [(set (pc) - (if_then_else (match_operator 0 "bt_comparison_operator" - [(zero_extract:SWI48 - (match_operand:SWI48 1 "register_operand" "r") - (const_int 1) - (match_operand:SI 2 "register_operand" "r")) - (const_int 0)]) - (label_ref (match_operand 3)) - (pc))) - (clobber (reg:CC FLAGS_REG))] - "TARGET_USE_BT || optimize_function_for_size_p (cfun)" - "#" - "&& 1" - [(set (reg:CCC FLAGS_REG) - (compare:CCC - (zero_extract:SWI48 - (match_dup 1) - (const_int 1) - (match_dup 2)) - (const_int 0))) - (set (pc) - (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) - (label_ref (match_dup 3)) - (pc)))] -{ - operands[0] = shallow_copy_rtx (operands[0]); - PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); -}) - -(define_insn_and_split "*jcc_bt_1" - [(set (pc) - (if_then_else (match_operator 0 "bt_comparison_operator" - [(zero_extract:SWI48 - (match_operand:SWI48 1 "register_operand" "r") - (const_int 1) - (zero_extend:SI - (match_operand:QI 2 "register_operand" "r"))) - (const_int 0)]) - (label_ref (match_operand 3)) - (pc))) - (clobber (reg:CC FLAGS_REG))] - "TARGET_USE_BT || optimize_function_for_size_p (cfun)" - "#" - "&& 1" - [(set (reg:CCC FLAGS_REG) - (compare:CCC - (zero_extract:SWI48 - (match_dup 1) - (const_int 1) - (match_dup 2)) - (const_int 0))) - (set (pc) - (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) - (label_ref (match_dup 3)) - (pc)))] -{ - operands[2] = simplify_gen_subreg (SImode, operands[2], QImode, 0); - operands[0] = shallow_copy_rtx (operands[0]); - PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); -}) - -;; Avoid useless masking of bit offset operand. -(define_insn_and_split "*jcc_bt_mask" - [(set (pc) - (if_then_else (match_operator 0 "bt_comparison_operator" - [(zero_extract:SWI48 - (match_operand:SWI48 1 "register_operand" "r") - (const_int 1) - (and:SI - (match_operand:SI 2 "register_operand" "r") - (match_operand 3 "const_int_operand" "n")))]) - (label_ref (match_operand 4)) - (pc))) - (clobber (reg:CC FLAGS_REG))] - "(TARGET_USE_BT || optimize_function_for_size_p (cfun)) - && (INTVAL (operands[3]) & (GET_MODE_BITSIZE (mode)-1)) - == GET_MODE_BITSIZE (mode)-1" - "#" - "&& 1" - [(set (reg:CCC FLAGS_REG) - (compare:CCC - (zero_extract:SWI48 - (match_dup 1) - (const_int 1) - (match_dup 2)) - (const_int 0))) - (set (pc) - (if_then_else (match_op_dup 0 [(reg:CCC FLAGS_REG) (const_int 0)]) - (label_ref (match_dup 4)) - (pc)))] -{ - operands[0] = shallow_copy_rtx (operands[0]); - PUT_CODE (operands[0], reverse_condition (GET_CODE (operands[0]))); -}) - ;; Define combination compare-and-branch fp compare instructions to help ;; combine. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 57705bcc915..4c632d8bb0f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-07-07 Uros Bizjak + + * gcc.target/i386/bt-3.c: New test. + * gcc.target/i386/bt-4.c: Ditto. + 2015-07-07 Eric Botcazou * g++.dg/other/dump-ada-spec-8.C: New test. @@ -252,7 +257,8 @@ 2015-07-01 Jiong Wang - * lib/target-supports.exp (check_effective_target_aarch64_small_fpic):New function. + * lib/target-supports.exp (check_effective_target_aarch64_small_fpic): + New function. * gcc.target/aarch64/pic-small.c: Restrict this test under check_effective_target_aarch64_small_fpic. diff --git a/gcc/testsuite/gcc.target/i386/bt-3.c b/gcc/testsuite/gcc.target/i386/bt-3.c new file mode 100644 index 00000000000..aa13c5de869 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/bt-3.c @@ -0,0 +1,14 @@ +/* { dg-do compile { target { ! { ia32 } } } } */ +/* { dg-options "-O2 -mtune=core2" } */ + +extern void foo (void); + +int test (long long x) +{ + if (x & ( 0x01ULL << 60 )) + foo (); + + return 0; +} + +/* { dg-final { scan-assembler "btq\[ \t\]" } } */ diff --git a/gcc/testsuite/gcc.target/i386/bt-4.c b/gcc/testsuite/gcc.target/i386/bt-4.c new file mode 100644 index 00000000000..7a5e873a9b5 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/bt-4.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-Os -mtune=core2" } */ + +extern void foo (void); + +int test (long x) +{ + if (x & ( 0x01UL << 10 )) + foo (); + + return 0; +} + +/* { dg-final { scan-assembler "btl\[ \t\]" } } */ -- 2.11.4.GIT