| /* Schedule GIMPLE vector statements. |
| Copyright (C) 2020-2021 Free Software Foundation, Inc. |
| |
| This file is part of GCC. |
| |
| GCC is free software; you can redistribute it and/or modify it |
| under the terms of the GNU General Public License as published by the |
| Free Software Foundation; either version 3, or (at your option) any |
| later version. |
| |
| GCC is distributed in the hope that it will be useful, but WITHOUT |
| ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GCC; see the file COPYING3. If not see |
| <http://www.gnu.org/licenses/>. */ |
| |
| #include "config.h" |
| #include "system.h" |
| #include "coretypes.h" |
| #include "backend.h" |
| #include "rtl.h" |
| #include "tree.h" |
| #include "gimple.h" |
| #include "tree-pass.h" |
| #include "ssa.h" |
| #include "expmed.h" |
| #include "optabs-tree.h" |
| #include "tree-eh.h" |
| #include "gimple-iterator.h" |
| #include "gimplify-me.h" |
| #include "gimplify.h" |
| #include "tree-cfg.h" |
| #include "bitmap.h" |
| #include "tree-ssa-dce.h" |
| #include "memmodel.h" |
| #include "optabs.h" |
| #include "gimple-fold.h" |
| #include "internal-fn.h" |
| |
| /* Expand all ARRAY_REF(VIEW_CONVERT_EXPR) gimple assignments into calls to |
| internal function based on vector type of selected expansion. |
| i.e.: |
| VIEW_CONVERT_EXPR<int[4]>(u)[_1] = = i_4(D); |
| => |
| _7 = u; |
| _8 = .VEC_SET (_7, i_4(D), _1); |
| u = _8; */ |
| |
| static gimple * |
| gimple_expand_vec_set_expr (gimple_stmt_iterator *gsi) |
| { |
| enum tree_code code; |
| gcall *new_stmt = NULL; |
| gassign *ass_stmt = NULL; |
| |
| /* Only consider code == GIMPLE_ASSIGN. */ |
| gassign *stmt = dyn_cast<gassign *> (gsi_stmt (*gsi)); |
| if (!stmt) |
| return NULL; |
| |
| tree lhs = gimple_assign_lhs (stmt); |
| code = TREE_CODE (lhs); |
| if (code != ARRAY_REF) |
| return NULL; |
| |
| tree val = gimple_assign_rhs1 (stmt); |
| tree op0 = TREE_OPERAND (lhs, 0); |
| if (TREE_CODE (op0) == VIEW_CONVERT_EXPR && DECL_P (TREE_OPERAND (op0, 0)) |
| && VECTOR_TYPE_P (TREE_TYPE (TREE_OPERAND (op0, 0))) |
| && TYPE_MODE (TREE_TYPE (lhs)) |
| == TYPE_MODE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (op0, 0))))) |
| { |
| tree pos = TREE_OPERAND (lhs, 1); |
| tree view_op0 = TREE_OPERAND (op0, 0); |
| machine_mode outermode = TYPE_MODE (TREE_TYPE (view_op0)); |
| if (auto_var_in_fn_p (view_op0, cfun->decl) |
| && !TREE_ADDRESSABLE (view_op0) && can_vec_set_var_idx_p (outermode)) |
| { |
| location_t loc = gimple_location (stmt); |
| tree var_src = make_ssa_name (TREE_TYPE (view_op0)); |
| tree var_dst = make_ssa_name (TREE_TYPE (view_op0)); |
| |
| ass_stmt = gimple_build_assign (var_src, view_op0); |
| gimple_set_vuse (ass_stmt, gimple_vuse (stmt)); |
| gimple_set_location (ass_stmt, loc); |
| gsi_insert_before (gsi, ass_stmt, GSI_SAME_STMT); |
| |
| new_stmt |
| = gimple_build_call_internal (IFN_VEC_SET, 3, var_src, val, pos); |
| gimple_call_set_lhs (new_stmt, var_dst); |
| gimple_set_location (new_stmt, loc); |
| gsi_insert_before (gsi, new_stmt, GSI_SAME_STMT); |
| |
| ass_stmt = gimple_build_assign (view_op0, var_dst); |
| gimple_set_location (ass_stmt, loc); |
| gsi_insert_before (gsi, ass_stmt, GSI_SAME_STMT); |
| |
| gimple_move_vops (ass_stmt, stmt); |
| gsi_remove (gsi, true); |
| } |
| } |
| |
| return ass_stmt; |
| } |
| |
| /* Expand all VEC_COND_EXPR gimple assignments into calls to internal |
| function based on type of selected expansion. */ |
| |
| static gimple * |
| gimple_expand_vec_cond_expr (gimple_stmt_iterator *gsi, |
| hash_map<tree, unsigned int> *vec_cond_ssa_name_uses) |
| { |
| tree lhs, op0a = NULL_TREE, op0b = NULL_TREE; |
| enum tree_code code; |
| enum tree_code tcode; |
| machine_mode cmp_op_mode; |
| bool unsignedp; |
| enum insn_code icode; |
| imm_use_iterator imm_iter; |
| |
| /* Only consider code == GIMPLE_ASSIGN. */ |
| gassign *stmt = dyn_cast<gassign *> (gsi_stmt (*gsi)); |
| if (!stmt) |
| return NULL; |
| |
| code = gimple_assign_rhs_code (stmt); |
| if (code != VEC_COND_EXPR) |
| return NULL; |
| |
| tree op0 = gimple_assign_rhs1 (stmt); |
| tree op1 = gimple_assign_rhs2 (stmt); |
| tree op2 = gimple_assign_rhs3 (stmt); |
| lhs = gimple_assign_lhs (stmt); |
| machine_mode mode = TYPE_MODE (TREE_TYPE (lhs)); |
| |
| /* Lower mask typed, non-vector mode VEC_COND_EXPRs to bitwise operations. |
| Those can end up generated by folding and at least for integer mode masks |
| we cannot expect vcond expanders to exist. We lower a ? b : c |
| to (b & a) | (c & ~a). */ |
| if (VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (lhs)) |
| && !VECTOR_MODE_P (mode)) |
| { |
| gcc_assert (types_compatible_p (TREE_TYPE (op0), TREE_TYPE (op1))); |
| gimple_seq stmts = NULL; |
| tree type = TREE_TYPE (lhs); |
| location_t loc = gimple_location (stmt); |
| tree tem0 = gimple_build (&stmts, loc, BIT_AND_EXPR, type, op1, op0); |
| tree tem1 = gimple_build (&stmts, loc, BIT_NOT_EXPR, type, op0); |
| tree tem2 = gimple_build (&stmts, loc, BIT_AND_EXPR, type, op2, tem1); |
| tree tem3 = gimple_build (&stmts, loc, BIT_IOR_EXPR, type, tem0, tem2); |
| gsi_insert_seq_before (gsi, stmts, GSI_SAME_STMT); |
| return gimple_build_assign (lhs, tem3); |
| } |
| |
| bool can_compute_op0 = true; |
| gcc_assert (!COMPARISON_CLASS_P (op0)); |
| if (TREE_CODE (op0) == SSA_NAME) |
| { |
| unsigned int used_vec_cond_exprs = 0; |
| unsigned int *slot = vec_cond_ssa_name_uses->get (op0); |
| if (slot) |
| used_vec_cond_exprs = *slot; |
| else |
| { |
| gimple *use_stmt; |
| FOR_EACH_IMM_USE_STMT (use_stmt, imm_iter, op0) |
| { |
| gassign *assign = dyn_cast<gassign *> (use_stmt); |
| if (assign != NULL |
| && gimple_assign_rhs_code (assign) == VEC_COND_EXPR |
| && gimple_assign_rhs1 (assign) == op0) |
| used_vec_cond_exprs++; |
| } |
| vec_cond_ssa_name_uses->put (op0, used_vec_cond_exprs); |
| } |
| |
| gassign *def_stmt = dyn_cast<gassign *> (SSA_NAME_DEF_STMT (op0)); |
| if (def_stmt) |
| { |
| tcode = gimple_assign_rhs_code (def_stmt); |
| op0a = gimple_assign_rhs1 (def_stmt); |
| op0b = gimple_assign_rhs2 (def_stmt); |
| |
| tree op0_type = TREE_TYPE (op0); |
| tree op0a_type = TREE_TYPE (op0a); |
| if (TREE_CODE_CLASS (tcode) == tcc_comparison) |
| can_compute_op0 = expand_vec_cmp_expr_p (op0a_type, op0_type, |
| tcode); |
| |
| /* Try to fold x CMP y ? -1 : 0 to x CMP y. */ |
| |
| if (can_compute_op0 |
| && integer_minus_onep (op1) |
| && integer_zerop (op2) |
| && TYPE_MODE (TREE_TYPE (lhs)) == TYPE_MODE (TREE_TYPE (op0))) |
| { |
| tree conv_op = build1 (VIEW_CONVERT_EXPR, TREE_TYPE (lhs), op0); |
| gassign *new_stmt = gimple_build_assign (lhs, conv_op); |
| gsi_replace (gsi, new_stmt, true); |
| return new_stmt; |
| } |
| |
| if (can_compute_op0 |
| && used_vec_cond_exprs >= 2 |
| && (get_vcond_mask_icode (mode, TYPE_MODE (op0_type)) |
| != CODE_FOR_nothing)) |
| { |
| /* Keep the SSA name and use vcond_mask. */ |
| tcode = TREE_CODE (op0); |
| } |
| } |
| else |
| tcode = TREE_CODE (op0); |
| } |
| else |
| tcode = TREE_CODE (op0); |
| |
| if (TREE_CODE_CLASS (tcode) != tcc_comparison) |
| { |
| gcc_assert (VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (op0))); |
| if (get_vcond_mask_icode (mode, TYPE_MODE (TREE_TYPE (op0))) |
| != CODE_FOR_nothing) |
| return gimple_build_call_internal (IFN_VCOND_MASK, 3, op0, op1, op2); |
| /* Fake op0 < 0. */ |
| else |
| { |
| gcc_assert (GET_MODE_CLASS (TYPE_MODE (TREE_TYPE (op0))) |
| == MODE_VECTOR_INT); |
| op0a = op0; |
| op0b = build_zero_cst (TREE_TYPE (op0)); |
| tcode = LT_EXPR; |
| } |
| } |
| cmp_op_mode = TYPE_MODE (TREE_TYPE (op0a)); |
| unsignedp = TYPE_UNSIGNED (TREE_TYPE (op0a)); |
| |
| gcc_assert (known_eq (GET_MODE_NUNITS (mode), |
| GET_MODE_NUNITS (cmp_op_mode))); |
| |
| icode = get_vcond_icode (mode, cmp_op_mode, unsignedp); |
| if (icode == CODE_FOR_nothing) |
| { |
| if (tcode == LT_EXPR |
| && op0a == op0) |
| { |
| /* A VEC_COND_EXPR condition could be folded from EQ_EXPR/NE_EXPR |
| into a constant when only get_vcond_eq_icode is supported. |
| Try changing it to NE_EXPR. */ |
| tcode = NE_EXPR; |
| } |
| if ((tcode == EQ_EXPR || tcode == NE_EXPR) |
| && direct_internal_fn_supported_p (IFN_VCONDEQ, TREE_TYPE (lhs), |
| TREE_TYPE (op0a), |
| OPTIMIZE_FOR_BOTH)) |
| { |
| tree tcode_tree = build_int_cst (integer_type_node, tcode); |
| return gimple_build_call_internal (IFN_VCONDEQ, 5, op0a, op0b, op1, |
| op2, tcode_tree); |
| } |
| } |
| |
| if (icode == CODE_FOR_nothing) |
| { |
| gcc_assert (VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (op0)) |
| && can_compute_op0 |
| && (get_vcond_mask_icode (mode, TYPE_MODE (TREE_TYPE (op0))) |
| != CODE_FOR_nothing)); |
| return gimple_build_call_internal (IFN_VCOND_MASK, 3, op0, op1, op2); |
| } |
| |
| tree tcode_tree = build_int_cst (integer_type_node, tcode); |
| return gimple_build_call_internal (unsignedp ? IFN_VCONDU : IFN_VCOND, |
| 5, op0a, op0b, op1, op2, tcode_tree); |
| } |
| |
| |
| |
| /* Iterate all gimple statements and try to expand |
| VEC_COND_EXPR assignments. */ |
| |
| static unsigned int |
| gimple_expand_vec_exprs (void) |
| { |
| gimple_stmt_iterator gsi; |
| basic_block bb; |
| hash_map<tree, unsigned int> vec_cond_ssa_name_uses; |
| auto_bitmap dce_ssa_names; |
| |
| FOR_EACH_BB_FN (bb, cfun) |
| { |
| for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi)) |
| { |
| gimple *g = gimple_expand_vec_cond_expr (&gsi, |
| &vec_cond_ssa_name_uses); |
| if (g != NULL) |
| { |
| tree lhs = gimple_assign_lhs (gsi_stmt (gsi)); |
| gimple_set_lhs (g, lhs); |
| gsi_replace (&gsi, g, false); |
| } |
| |
| gimple_expand_vec_set_expr (&gsi); |
| if (gsi_end_p (gsi)) |
| break; |
| } |
| } |
| |
| for (hash_map<tree, unsigned int>::iterator it = vec_cond_ssa_name_uses.begin (); |
| it != vec_cond_ssa_name_uses.end (); ++it) |
| bitmap_set_bit (dce_ssa_names, SSA_NAME_VERSION ((*it).first)); |
| |
| simple_dce_from_worklist (dce_ssa_names); |
| |
| return 0; |
| } |
| |
| namespace { |
| |
| const pass_data pass_data_gimple_isel = |
| { |
| GIMPLE_PASS, /* type */ |
| "isel", /* name */ |
| OPTGROUP_VEC, /* optinfo_flags */ |
| TV_NONE, /* tv_id */ |
| PROP_cfg, /* properties_required */ |
| 0, /* properties_provided */ |
| 0, /* properties_destroyed */ |
| 0, /* todo_flags_start */ |
| TODO_update_ssa, /* todo_flags_finish */ |
| }; |
| |
| class pass_gimple_isel : public gimple_opt_pass |
| { |
| public: |
| pass_gimple_isel (gcc::context *ctxt) |
| : gimple_opt_pass (pass_data_gimple_isel, ctxt) |
| {} |
| |
| /* opt_pass methods: */ |
| virtual bool gate (function *) |
| { |
| return true; |
| } |
| |
| virtual unsigned int execute (function *) |
| { |
| return gimple_expand_vec_exprs (); |
| } |
| |
| }; // class pass_gimple_isel |
| |
| } // anon namespace |
| |
| gimple_opt_pass * |
| make_pass_gimple_isel (gcc::context *ctxt) |
| { |
| return new pass_gimple_isel (ctxt); |
| } |
| |