Mercurial > hg > CbC > CbC_gcc
diff gcc/genopinit.c @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | f6334be47118 |
children | 84e7813d76e9 |
line wrap: on
line diff
--- a/gcc/genopinit.c Sun Aug 21 07:07:55 2011 +0900 +++ b/gcc/genopinit.c Fri Oct 27 22:46:09 2017 +0900 @@ -1,7 +1,5 @@ /* Generate code to initialize optabs from machine description. - Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, - 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2010 - Free Software Foundation, Inc. + Copyright (C) 1993-2017 Free Software Foundation, Inc. This file is part of GCC. @@ -29,507 +27,356 @@ #include "gensupport.h" -/* Many parts of GCC use arrays that are indexed by machine mode and - contain the insn codes for pattern in the MD file that perform a given - operation on operands of that mode. - - These patterns are present in the MD file with names that contain - the mode(s) used and the name of the operation. This program - writes a function `init_all_optabs' that initializes the optabs with - all the insn codes of the relevant patterns present in the MD file. - - This array contains a list of optabs that need to be initialized. Within - each string, the name of the pattern to be matched against is delimited - with $( and $). In the string, $a and $b are used to match a short mode - name (the part of the mode name not including `mode' and converted to - lower-case). When writing out the initializer, the entire string is - used. $A and $B are replaced with the full name of the mode; $a and $b - are replaced with the short form of the name, as above. - - If $N is present in the pattern, it means the two modes must be consecutive - widths in the same mode class (e.g, QImode and HImode). $I means that - only full integer modes should be considered for the next mode, and $F - means that only float modes should be considered. - $P means that both full and partial integer modes should be considered. - $Q means that only fixed-point modes should be considered. - - $V means to emit 'v' if the first mode is a MODE_FLOAT mode. - - For some optabs, we store the operation by RTL codes. These are only - used for comparisons. In that case, $c and $C are the lower-case and - upper-case forms of the comparison, respectively. */ +#define DEF_RTL_EXPR(V, N, X, C) #V, -static const char * const optabs[] = -{ "set_convert_optab_handler (sext_optab, $B, $A, CODE_FOR_$(extend$a$b2$))", - "set_convert_optab_handler (zext_optab, $B, $A, CODE_FOR_$(zero_extend$a$b2$))", - "set_convert_optab_handler (sfix_optab, $B, $A, CODE_FOR_$(fix$F$a$I$b2$))", - "set_convert_optab_handler (ufix_optab, $B, $A, CODE_FOR_$(fixuns$F$a$b2$))", - "set_convert_optab_handler (sfixtrunc_optab, $B, $A, CODE_FOR_$(fix_trunc$F$a$I$b2$))", - "set_convert_optab_handler (ufixtrunc_optab, $B, $A, CODE_FOR_$(fixuns_trunc$F$a$I$b2$))", - "set_convert_optab_handler (sfloat_optab, $B, $A, CODE_FOR_$(float$I$a$F$b2$))", - "set_convert_optab_handler (ufloat_optab, $B, $A, CODE_FOR_$(floatuns$I$a$F$b2$))", - "set_convert_optab_handler (trunc_optab, $B, $A, CODE_FOR_$(trunc$a$b2$))", - "set_convert_optab_handler (fract_optab, $B, $A, CODE_FOR_$(fract$a$b2$))", - "set_convert_optab_handler (fractuns_optab, $B, $A, CODE_FOR_$(fractuns$I$a$Q$b2$))", - "set_convert_optab_handler (fractuns_optab, $B, $A, CODE_FOR_$(fractuns$Q$a$I$b2$))", - "set_convert_optab_handler (satfract_optab, $B, $A, CODE_FOR_$(satfract$a$Q$b2$))", - "set_convert_optab_handler (satfractuns_optab, $B, $A, CODE_FOR_$(satfractuns$I$a$Q$b2$))", - "set_optab_handler (add_optab, $A, CODE_FOR_$(add$P$a3$))", - "set_optab_handler (addv_optab, $A, CODE_FOR_$(add$F$a3$)),\n\ - set_optab_handler (add_optab, $A, CODE_FOR_$(add$F$a3$))", - "set_optab_handler (addv_optab, $A, CODE_FOR_$(addv$I$a3$))", - "set_optab_handler (add_optab, $A, CODE_FOR_$(add$Q$a3$))", - "set_optab_handler (ssadd_optab, $A, CODE_FOR_$(ssadd$Q$a3$))", - "set_optab_handler (usadd_optab, $A, CODE_FOR_$(usadd$Q$a3$))", - "set_optab_handler (sub_optab, $A, CODE_FOR_$(sub$P$a3$))", - "set_optab_handler (subv_optab, $A, CODE_FOR_$(sub$F$a3$)),\n\ - set_optab_handler (sub_optab, $A, CODE_FOR_$(sub$F$a3$))", - "set_optab_handler (subv_optab, $A, CODE_FOR_$(subv$I$a3$))", - "set_optab_handler (sub_optab, $A, CODE_FOR_$(sub$Q$a3$))", - "set_optab_handler (sssub_optab, $A, CODE_FOR_$(sssub$Q$a3$))", - "set_optab_handler (ussub_optab, $A, CODE_FOR_$(ussub$Q$a3$))", - "set_optab_handler (smul_optab, $A, CODE_FOR_$(mul$Q$a3$))", - "set_optab_handler (ssmul_optab, $A, CODE_FOR_$(ssmul$Q$a3$))", - "set_optab_handler (usmul_optab, $A, CODE_FOR_$(usmul$Q$a3$))", - "set_optab_handler (smul_optab, $A, CODE_FOR_$(mul$P$a3$))", - "set_optab_handler (smulv_optab, $A, CODE_FOR_$(mul$F$a3$)),\n\ - set_optab_handler (smul_optab, $A, CODE_FOR_$(mul$F$a3$))", - "set_optab_handler (smulv_optab, $A, CODE_FOR_$(mulv$I$a3$))", - "set_optab_handler (umul_highpart_optab, $A, CODE_FOR_$(umul$a3_highpart$))", - "set_optab_handler (smul_highpart_optab, $A, CODE_FOR_$(smul$a3_highpart$))", - "set_optab_handler (smul_widen_optab, $B, CODE_FOR_$(mul$a$b3$)$N)", - "set_optab_handler (umul_widen_optab, $B, CODE_FOR_$(umul$a$b3$)$N)", - "set_optab_handler (usmul_widen_optab, $B, CODE_FOR_$(usmul$a$b3$)$N)", - "set_optab_handler (smadd_widen_optab, $B, CODE_FOR_$(madd$a$b4$)$N)", - "set_optab_handler (umadd_widen_optab, $B, CODE_FOR_$(umadd$a$b4$)$N)", - "set_optab_handler (ssmadd_widen_optab, $B, CODE_FOR_$(ssmadd$a$b4$)$N)", - "set_optab_handler (usmadd_widen_optab, $B, CODE_FOR_$(usmadd$a$b4$)$N)", - "set_optab_handler (smsub_widen_optab, $B, CODE_FOR_$(msub$a$b4$)$N)", - "set_optab_handler (umsub_widen_optab, $B, CODE_FOR_$(umsub$a$b4$)$N)", - "set_optab_handler (ssmsub_widen_optab, $B, CODE_FOR_$(ssmsub$a$b4$)$N)", - "set_optab_handler (usmsub_widen_optab, $B, CODE_FOR_$(usmsub$a$b4$)$N)", - "set_optab_handler (sdiv_optab, $A, CODE_FOR_$(div$a3$))", - "set_optab_handler (ssdiv_optab, $A, CODE_FOR_$(ssdiv$Q$a3$))", - "set_optab_handler (sdivv_optab, $A, CODE_FOR_$(div$V$I$a3$))", - "set_optab_handler (udiv_optab, $A, CODE_FOR_$(udiv$I$a3$))", - "set_optab_handler (udiv_optab, $A, CODE_FOR_$(udiv$Q$a3$))", - "set_optab_handler (usdiv_optab, $A, CODE_FOR_$(usdiv$Q$a3$))", - "set_optab_handler (sdivmod_optab, $A, CODE_FOR_$(divmod$a4$))", - "set_optab_handler (udivmod_optab, $A, CODE_FOR_$(udivmod$a4$))", - "set_optab_handler (smod_optab, $A, CODE_FOR_$(mod$a3$))", - "set_optab_handler (umod_optab, $A, CODE_FOR_$(umod$a3$))", - "set_optab_handler (fmod_optab, $A, CODE_FOR_$(fmod$a3$))", - "set_optab_handler (remainder_optab, $A, CODE_FOR_$(remainder$a3$))", - "set_optab_handler (ftrunc_optab, $A, CODE_FOR_$(ftrunc$F$a2$))", - "set_optab_handler (and_optab, $A, CODE_FOR_$(and$a3$))", - "set_optab_handler (ior_optab, $A, CODE_FOR_$(ior$a3$))", - "set_optab_handler (xor_optab, $A, CODE_FOR_$(xor$a3$))", - "set_optab_handler (ashl_optab, $A, CODE_FOR_$(ashl$a3$))", - "set_optab_handler (ssashl_optab, $A, CODE_FOR_$(ssashl$Q$a3$))", - "set_optab_handler (usashl_optab, $A, CODE_FOR_$(usashl$Q$a3$))", - "set_optab_handler (ashr_optab, $A, CODE_FOR_$(ashr$a3$))", - "set_optab_handler (lshr_optab, $A, CODE_FOR_$(lshr$a3$))", - "set_optab_handler (rotl_optab, $A, CODE_FOR_$(rotl$a3$))", - "set_optab_handler (rotr_optab, $A, CODE_FOR_$(rotr$a3$))", - "set_optab_handler (vashr_optab, $A, CODE_FOR_$(vashr$a3$))", - "set_optab_handler (vlshr_optab, $A, CODE_FOR_$(vlshr$a3$))", - "set_optab_handler (vashl_optab, $A, CODE_FOR_$(vashl$a3$))", - "set_optab_handler (vrotl_optab, $A, CODE_FOR_$(vrotl$a3$))", - "set_optab_handler (vrotr_optab, $A, CODE_FOR_$(vrotr$a3$))", - "set_optab_handler (smin_optab, $A, CODE_FOR_$(smin$a3$))", - "set_optab_handler (smax_optab, $A, CODE_FOR_$(smax$a3$))", - "set_optab_handler (umin_optab, $A, CODE_FOR_$(umin$I$a3$))", - "set_optab_handler (umax_optab, $A, CODE_FOR_$(umax$I$a3$))", - "set_optab_handler (pow_optab, $A, CODE_FOR_$(pow$a3$))", - "set_optab_handler (atan2_optab, $A, CODE_FOR_$(atan2$a3$))", - "set_optab_handler (neg_optab, $A, CODE_FOR_$(neg$P$a2$))", - "set_optab_handler (negv_optab, $A, CODE_FOR_$(neg$F$a2$)),\n\ - set_optab_handler (neg_optab, $A, CODE_FOR_$(neg$F$a2$))", - "set_optab_handler (negv_optab, $A, CODE_FOR_$(negv$I$a2$))", - "set_optab_handler (neg_optab, $A, CODE_FOR_$(neg$Q$a2$))", - "set_optab_handler (ssneg_optab, $A, CODE_FOR_$(ssneg$Q$a2$))", - "set_optab_handler (usneg_optab, $A, CODE_FOR_$(usneg$Q$a2$))", - "set_optab_handler (abs_optab, $A, CODE_FOR_$(abs$P$a2$))", - "set_optab_handler (absv_optab, $A, CODE_FOR_$(abs$F$a2$)),\n\ - set_optab_handler (abs_optab, $A, CODE_FOR_$(abs$F$a2$))", - "set_optab_handler (absv_optab, $A, CODE_FOR_$(absv$I$a2$))", - "set_optab_handler (copysign_optab, $A, CODE_FOR_$(copysign$F$a3$))", - "set_optab_handler (signbit_optab, $A, CODE_FOR_$(signbit$F$a2$))", - "set_optab_handler (isinf_optab, $A, CODE_FOR_$(isinf$a2$))", - "set_optab_handler (sqrt_optab, $A, CODE_FOR_$(sqrt$a2$))", - "set_optab_handler (floor_optab, $A, CODE_FOR_$(floor$a2$))", - "set_convert_optab_handler (lfloor_optab, $B, $A, CODE_FOR_$(lfloor$F$a$I$b2$))", - "set_optab_handler (fma_optab, $A, CODE_FOR_$(fma$a4$))", - "set_optab_handler (fms_optab, $A, CODE_FOR_$(fms$a4$))", - "set_optab_handler (fnma_optab, $A, CODE_FOR_$(fnma$a4$))", - "set_optab_handler (fnms_optab, $A, CODE_FOR_$(fnms$a4$))", - "set_optab_handler (ceil_optab, $A, CODE_FOR_$(ceil$a2$))", - "set_convert_optab_handler (lceil_optab, $B, $A, CODE_FOR_$(lceil$F$a$I$b2$))", - "set_optab_handler (round_optab, $A, CODE_FOR_$(round$a2$))", - "set_optab_handler (btrunc_optab, $A, CODE_FOR_$(btrunc$a2$))", - "set_optab_handler (nearbyint_optab, $A, CODE_FOR_$(nearbyint$a2$))", - "set_optab_handler (rint_optab, $A, CODE_FOR_$(rint$a2$))", - "set_convert_optab_handler (lrint_optab, $B, $A, CODE_FOR_$(lrint$F$a$I$b2$))", - "set_convert_optab_handler (lround_optab, $B, $A, CODE_FOR_$(lround$F$a$I$b2$))", - "set_optab_handler (sincos_optab, $A, CODE_FOR_$(sincos$a3$))", - "set_optab_handler (sin_optab, $A, CODE_FOR_$(sin$a2$))", - "set_optab_handler (asin_optab, $A, CODE_FOR_$(asin$a2$))", - "set_optab_handler (cos_optab, $A, CODE_FOR_$(cos$a2$))", - "set_optab_handler (acos_optab, $A, CODE_FOR_$(acos$a2$))", - "set_optab_handler (exp_optab, $A, CODE_FOR_$(exp$a2$))", - "set_optab_handler (exp10_optab, $A, CODE_FOR_$(exp10$a2$))", - "set_optab_handler (exp2_optab, $A, CODE_FOR_$(exp2$a2$))", - "set_optab_handler (expm1_optab, $A, CODE_FOR_$(expm1$a2$))", - "set_optab_handler (ldexp_optab, $A, CODE_FOR_$(ldexp$a3$))", - "set_optab_handler (scalb_optab, $A, CODE_FOR_$(scalb$a3$))", - "set_optab_handler (significand_optab, $A, CODE_FOR_$(significand$a2$))", - "set_optab_handler (logb_optab, $A, CODE_FOR_$(logb$a2$))", - "set_optab_handler (ilogb_optab, $A, CODE_FOR_$(ilogb$a2$))", - "set_optab_handler (log_optab, $A, CODE_FOR_$(log$a2$))", - "set_optab_handler (log10_optab, $A, CODE_FOR_$(log10$a2$))", - "set_optab_handler (log2_optab, $A, CODE_FOR_$(log2$a2$))", - "set_optab_handler (log1p_optab, $A, CODE_FOR_$(log1p$a2$))", - "set_optab_handler (tan_optab, $A, CODE_FOR_$(tan$a2$))", - "set_optab_handler (atan_optab, $A, CODE_FOR_$(atan$a2$))", - "set_optab_handler (strlen_optab, $A, CODE_FOR_$(strlen$a$))", - "set_optab_handler (one_cmpl_optab, $A, CODE_FOR_$(one_cmpl$a2$))", - "set_optab_handler (bswap_optab, $A, CODE_FOR_$(bswap$a2$))", - "set_optab_handler (ffs_optab, $A, CODE_FOR_$(ffs$a2$))", - "set_optab_handler (clz_optab, $A, CODE_FOR_$(clz$a2$))", - "set_optab_handler (ctz_optab, $A, CODE_FOR_$(ctz$a2$))", - "set_optab_handler (popcount_optab, $A, CODE_FOR_$(popcount$a2$))", - "set_optab_handler (parity_optab, $A, CODE_FOR_$(parity$a2$))", - "set_optab_handler (mov_optab, $A, CODE_FOR_$(mov$a$))", - "set_optab_handler (movstrict_optab, $A, CODE_FOR_$(movstrict$a$))", - "set_optab_handler (movmisalign_optab, $A, CODE_FOR_$(movmisalign$a$))", - "set_optab_handler (storent_optab, $A, CODE_FOR_$(storent$a$))", - "set_optab_handler (addcc_optab, $A, CODE_FOR_$(add$acc$))", - "set_direct_optab_handler (movcc_optab, $A, CODE_FOR_$(mov$acc$))", - "set_optab_handler (cbranch_optab, $A, CODE_FOR_$(cbranch$a4$))", - "set_optab_handler (cmov_optab, $A, CODE_FOR_$(cmov$a6$))", - "set_optab_handler (cstore_optab, $A, CODE_FOR_$(cstore$a4$))", - "set_optab_handler (ctrap_optab, $A, CODE_FOR_$(ctrap$a4$))", - "set_optab_handler (push_optab, $A, CODE_FOR_$(push$a1$))", - "set_direct_optab_handler (reload_in_optab, $A, CODE_FOR_$(reload_in$a$))", - "set_direct_optab_handler (reload_out_optab, $A, CODE_FOR_$(reload_out$a$))", - "set_direct_optab_handler (movmem_optab, $A, CODE_FOR_$(movmem$a$))", - "set_direct_optab_handler (cmpstr_optab, $A, CODE_FOR_$(cmpstr$a$))", - "set_direct_optab_handler (cmpstrn_optab, $A, CODE_FOR_$(cmpstrn$a$))", - "set_direct_optab_handler (cmpmem_optab, $A, CODE_FOR_$(cmpmem$a$))", - "set_direct_optab_handler (setmem_optab, $A, CODE_FOR_$(setmem$a$))", - "set_direct_optab_handler (sync_add_optab, $A, CODE_FOR_$(sync_add$I$a$))", - "set_direct_optab_handler (sync_sub_optab, $A, CODE_FOR_$(sync_sub$I$a$))", - "set_direct_optab_handler (sync_ior_optab, $A, CODE_FOR_$(sync_ior$I$a$))", - "set_direct_optab_handler (sync_and_optab, $A, CODE_FOR_$(sync_and$I$a$))", - "set_direct_optab_handler (sync_xor_optab, $A, CODE_FOR_$(sync_xor$I$a$))", - "set_direct_optab_handler (sync_nand_optab, $A, CODE_FOR_$(sync_nand$I$a$))", - "set_direct_optab_handler (sync_old_add_optab, $A, CODE_FOR_$(sync_old_add$I$a$))", - "set_direct_optab_handler (sync_old_sub_optab, $A, CODE_FOR_$(sync_old_sub$I$a$))", - "set_direct_optab_handler (sync_old_ior_optab, $A, CODE_FOR_$(sync_old_ior$I$a$))", - "set_direct_optab_handler (sync_old_and_optab, $A, CODE_FOR_$(sync_old_and$I$a$))", - "set_direct_optab_handler (sync_old_xor_optab, $A, CODE_FOR_$(sync_old_xor$I$a$))", - "set_direct_optab_handler (sync_old_nand_optab, $A, CODE_FOR_$(sync_old_nand$I$a$))", - "set_direct_optab_handler (sync_new_add_optab, $A, CODE_FOR_$(sync_new_add$I$a$))", - "set_direct_optab_handler (sync_new_sub_optab, $A, CODE_FOR_$(sync_new_sub$I$a$))", - "set_direct_optab_handler (sync_new_ior_optab, $A, CODE_FOR_$(sync_new_ior$I$a$))", - "set_direct_optab_handler (sync_new_and_optab, $A, CODE_FOR_$(sync_new_and$I$a$))", - "set_direct_optab_handler (sync_new_xor_optab, $A, CODE_FOR_$(sync_new_xor$I$a$))", - "set_direct_optab_handler (sync_new_nand_optab, $A, CODE_FOR_$(sync_new_nand$I$a$))", - "set_direct_optab_handler (sync_compare_and_swap_optab, $A, CODE_FOR_$(sync_compare_and_swap$I$a$))", - "set_direct_optab_handler (sync_lock_test_and_set_optab, $A, CODE_FOR_$(sync_lock_test_and_set$I$a$))", - "set_direct_optab_handler (sync_lock_release_optab, $A, CODE_FOR_$(sync_lock_release$I$a$))", - "set_optab_handler (vec_set_optab, $A, CODE_FOR_$(vec_set$a$))", - "set_optab_handler (vec_extract_optab, $A, CODE_FOR_$(vec_extract$a$))", - "set_optab_handler (vec_extract_even_optab, $A, CODE_FOR_$(vec_extract_even$a$))", - "set_optab_handler (vec_extract_odd_optab, $A, CODE_FOR_$(vec_extract_odd$a$))", - "set_optab_handler (vec_interleave_high_optab, $A, CODE_FOR_$(vec_interleave_high$a$))", - "set_optab_handler (vec_interleave_low_optab, $A, CODE_FOR_$(vec_interleave_low$a$))", - "set_optab_handler (vec_init_optab, $A, CODE_FOR_$(vec_init$a$))", - "set_optab_handler (vec_shl_optab, $A, CODE_FOR_$(vec_shl_$a$))", - "set_optab_handler (vec_shr_optab, $A, CODE_FOR_$(vec_shr_$a$))", - "set_optab_handler (vec_realign_load_optab, $A, CODE_FOR_$(vec_realign_load_$a$))", - "set_direct_optab_handler (vcond_optab, $A, CODE_FOR_$(vcond$a$))", - "set_direct_optab_handler (vcondu_optab, $A, CODE_FOR_$(vcondu$a$))", - "set_optab_handler (ssum_widen_optab, $A, CODE_FOR_$(widen_ssum$I$a3$))", - "set_optab_handler (usum_widen_optab, $A, CODE_FOR_$(widen_usum$I$a3$))", - "set_optab_handler (udot_prod_optab, $A, CODE_FOR_$(udot_prod$I$a$))", - "set_optab_handler (sdot_prod_optab, $A, CODE_FOR_$(sdot_prod$I$a$))", - "set_optab_handler (reduc_smax_optab, $A, CODE_FOR_$(reduc_smax_$a$))", - "set_optab_handler (reduc_umax_optab, $A, CODE_FOR_$(reduc_umax_$a$))", - "set_optab_handler (reduc_smin_optab, $A, CODE_FOR_$(reduc_smin_$a$))", - "set_optab_handler (reduc_umin_optab, $A, CODE_FOR_$(reduc_umin_$a$))", - "set_optab_handler (reduc_splus_optab, $A, CODE_FOR_$(reduc_splus_$a$))" , - "set_optab_handler (reduc_uplus_optab, $A, CODE_FOR_$(reduc_uplus_$a$))", - "set_optab_handler (vec_widen_umult_hi_optab, $A, CODE_FOR_$(vec_widen_umult_hi_$a$))", - "set_optab_handler (vec_widen_umult_lo_optab, $A, CODE_FOR_$(vec_widen_umult_lo_$a$))", - "set_optab_handler (vec_widen_smult_hi_optab, $A, CODE_FOR_$(vec_widen_smult_hi_$a$))", - "set_optab_handler (vec_widen_smult_lo_optab, $A, CODE_FOR_$(vec_widen_smult_lo_$a$))", - "set_optab_handler (vec_unpacks_hi_optab, $A, CODE_FOR_$(vec_unpacks_hi_$a$))", - "set_optab_handler (vec_unpacks_lo_optab, $A, CODE_FOR_$(vec_unpacks_lo_$a$))", - "set_optab_handler (vec_unpacku_hi_optab, $A, CODE_FOR_$(vec_unpacku_hi_$a$))", - "set_optab_handler (vec_unpacku_lo_optab, $A, CODE_FOR_$(vec_unpacku_lo_$a$))", - "set_optab_handler (vec_unpacks_float_hi_optab, $A, CODE_FOR_$(vec_unpacks_float_hi_$a$))", - "set_optab_handler (vec_unpacks_float_lo_optab, $A, CODE_FOR_$(vec_unpacks_float_lo_$a$))", - "set_optab_handler (vec_unpacku_float_hi_optab, $A, CODE_FOR_$(vec_unpacku_float_hi_$a$))", - "set_optab_handler (vec_unpacku_float_lo_optab, $A, CODE_FOR_$(vec_unpacku_float_lo_$a$))", - "set_optab_handler (vec_pack_trunc_optab, $A, CODE_FOR_$(vec_pack_trunc_$a$))", - "set_optab_handler (vec_pack_ssat_optab, $A, CODE_FOR_$(vec_pack_ssat_$a$))", - "set_optab_handler (vec_pack_usat_optab, $A, CODE_FOR_$(vec_pack_usat_$a$))", - "set_optab_handler (vec_pack_sfix_trunc_optab, $A, CODE_FOR_$(vec_pack_sfix_trunc_$a$))", - "set_optab_handler (vec_pack_ufix_trunc_optab, $A, CODE_FOR_$(vec_pack_ufix_trunc_$a$))" +static const char * const rtx_upname[] = { +#include "rtl.def" }; -static void gen_insn (rtx); +#undef DEF_RTL_EXPR + +/* Vector in which to collect insns that match. */ +static vec<optab_pattern> patterns; static void -gen_insn (rtx insn) +gen_insn (md_rtx_info *info) { - const char *name = XSTR (insn, 0); - int m1 = 0, m2 = 0, op = 0; - size_t pindex; - int i; - const char *np, *pp, *p, *q; - - /* Don't mention instructions whose names are the null string. - They are in the machine description just to be recognized. */ - if (*name == 0) - return; - - /* See if NAME matches one of the patterns we have for the optabs we know - about. */ - - for (pindex = 0; pindex < ARRAY_SIZE (optabs); pindex++) - { - int force_float = 0, force_int = 0, force_partial_int = 0; - int force_fixed = 0; - int force_consec = 0; - int matches = 1; - - for (pp = optabs[pindex]; pp[0] != '$' || pp[1] != '('; pp++) - ; + optab_pattern p; + if (find_optab (&p, XSTR (info->def, 0))) + patterns.safe_push (p); +} - for (pp += 2, np = name; matches && ! (pp[0] == '$' && pp[1] == ')'); - pp++) - { - if (*pp != '$') - { - if (*pp != *np++) - break; - } - else - switch (*++pp) - { - case 'N': - force_consec = 1; - break; - case 'I': - force_int = 1; - break; - case 'P': - force_partial_int = 1; - break; - case 'F': - force_float = 1; - break; - case 'Q': - force_fixed = 1; - break; - case 'V': - break; - case 'c': - for (op = 0; op < NUM_RTX_CODE; op++) - { - for (p = GET_RTX_NAME(op), q = np; *p; p++, q++) - if (*p != *q) - break; - - /* We have to be concerned about matching "gt" and - missing "gtu", e.g., so verify we have reached the - end of thing we are to match. */ - if (*p == 0 && *q == 0 - && (GET_RTX_CLASS (op) == RTX_COMPARE - || GET_RTX_CLASS (op) == RTX_COMM_COMPARE)) - break; - } - - if (op == NUM_RTX_CODE) - matches = 0; - else - np += strlen (GET_RTX_NAME(op)); - break; - case 'a': - case 'b': - /* This loop will stop at the first prefix match, so - look through the modes in reverse order, in case - there are extra CC modes and CC is a prefix of the - CC modes (as it should be). */ - for (i = (MAX_MACHINE_MODE) - 1; i >= 0; i--) - { - for (p = GET_MODE_NAME(i), q = np; *p; p++, q++) - if (TOLOWER (*p) != *q) - break; +static int +pattern_cmp (const void *va, const void *vb) +{ + const optab_pattern *a = (const optab_pattern *)va; + const optab_pattern *b = (const optab_pattern *)vb; + return a->sort_num - b->sort_num; +} - if (*p == 0 - && (! force_int || mode_class[i] == MODE_INT - || mode_class[i] == MODE_VECTOR_INT) - && (! force_partial_int - || mode_class[i] == MODE_INT - || mode_class[i] == MODE_PARTIAL_INT - || mode_class[i] == MODE_VECTOR_INT) - && (! force_float - || mode_class[i] == MODE_FLOAT - || mode_class[i] == MODE_DECIMAL_FLOAT - || mode_class[i] == MODE_COMPLEX_FLOAT - || mode_class[i] == MODE_VECTOR_FLOAT) - && (! force_fixed - || mode_class[i] == MODE_FRACT - || mode_class[i] == MODE_UFRACT - || mode_class[i] == MODE_ACCUM - || mode_class[i] == MODE_UACCUM - || mode_class[i] == MODE_VECTOR_FRACT - || mode_class[i] == MODE_VECTOR_UFRACT - || mode_class[i] == MODE_VECTOR_ACCUM - || mode_class[i] == MODE_VECTOR_UACCUM)) - break; - } - - if (i < 0) - matches = 0; - else if (*pp == 'a') - m1 = i, np += strlen (GET_MODE_NAME(i)); - else - m2 = i, np += strlen (GET_MODE_NAME(i)); - - force_int = force_partial_int = force_float = force_fixed = 0; - break; - - default: - gcc_unreachable (); - } - } - - if (matches && pp[0] == '$' && pp[1] == ')' - && *np == 0 - && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2)) - break; - } - - if (pindex == ARRAY_SIZE (optabs)) - return; +static int +optab_kind_cmp (const void *va, const void *vb) +{ + const optab_def *a = (const optab_def *)va; + const optab_def *b = (const optab_def *)vb; + int diff = a->kind - b->kind; + if (diff == 0) + diff = a->op - b->op; + return diff; +} - /* We found a match. If this pattern is only conditionally present, - write out the "if" and two extra blanks. */ - - if (*XSTR (insn, 2) != 0) - printf (" if (HAVE_%s)\n ", name); - - printf (" "); - - /* Now write out the initialization, making all required substitutions. */ - for (pp = optabs[pindex]; *pp; pp++) - { - if (*pp != '$') - putchar (*pp); - else - switch (*++pp) - { - case '(': case ')': - case 'I': case 'F': case 'N': - break; - case 'V': - if (SCALAR_FLOAT_MODE_P (m1)) - printf ("v"); - break; - case 'a': - for (np = GET_MODE_NAME(m1); *np; np++) - putchar (TOLOWER (*np)); - break; - case 'b': - for (np = GET_MODE_NAME(m2); *np; np++) - putchar (TOLOWER (*np)); - break; - case 'A': - printf ("%smode", GET_MODE_NAME(m1)); - break; - case 'B': - printf ("%smode", GET_MODE_NAME(m2)); - break; - case 'c': - printf ("%s", GET_RTX_NAME(op)); - break; - case 'C': - for (np = GET_RTX_NAME(op); *np; np++) - putchar (TOUPPER (*np)); - break; - } - } - - printf (";\n"); +static int +optab_rcode_cmp (const void *va, const void *vb) +{ + const optab_def *a = (const optab_def *)va; + const optab_def *b = (const optab_def *)vb; + return a->rcode - b->rcode; } -extern int main (int, char **); +static const char *header_file_name = "init-opinit.h"; +static const char *source_file_name = "init-opinit.c"; + +static bool +handle_arg (const char *arg) +{ + switch (arg[1]) + { + case 'h': + header_file_name = &arg[2]; + return true; + case 'c': + source_file_name = &arg[2]; + return true; + default: + return false; + } +} + +static FILE * +open_outfile (const char *file_name) +{ + FILE *f = fopen (file_name, "w"); + if (!f) + fatal ("cannot open file %s: %s", file_name, xstrerror (errno)); + fprintf (f, + "/* Generated automatically by the program `genopinit'\n" + " from the machine description file `md'. */\n\n"); + return f; +} int -main (int argc, char **argv) +main (int argc, const char **argv) { - rtx desc; + FILE *h_file, *s_file; + unsigned int i, j, n, last_kind[5]; + optab_pattern *p; progname = "genopinit"; - if (!init_rtx_reader_args (argc, argv)) + if (NUM_OPTABS > 0xffff || MAX_MACHINE_MODE >= 0xff) + fatal ("genopinit range assumptions invalid"); + + if (!init_rtx_reader_args_cb (argc, argv, handle_arg)) return (FATAL_EXIT_CODE); - printf ("/* Generated automatically by the program `genopinit'\n\ -from the machine description file `md'. */\n\n"); - - printf ("#include \"config.h\"\n"); - printf ("#include \"system.h\"\n"); - printf ("#include \"coretypes.h\"\n"); - printf ("#include \"tm.h\"\n"); - printf ("#include \"rtl.h\"\n"); - printf ("#include \"tm_p.h\"\n"); - printf ("#include \"flags.h\"\n"); - printf ("#include \"insn-config.h\"\n"); - printf ("#include \"recog.h\"\n"); - printf ("#include \"expr.h\"\n"); - printf ("#include \"optabs.h\"\n"); - printf ("#include \"reload.h\"\n\n"); - - printf ("void\ninit_all_optabs (void)\n{\n"); - - puts ("\ -#ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\ - int i, j;\n\ -#endif\n"); + h_file = open_outfile (header_file_name); + s_file = open_outfile (source_file_name); /* Read the machine description. */ - - while (1) - { - int line_no, insn_code_number = 0; - - desc = read_md_rtx (&line_no, &insn_code_number); - if (desc == NULL) + md_rtx_info info; + while (read_md_rtx (&info)) + switch (GET_CODE (info.def)) + { + case DEFINE_INSN: + case DEFINE_EXPAND: + gen_insn (&info); break; - if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND) - gen_insn (desc); + default: + break; + } + + /* Sort the collected patterns. */ + patterns.qsort (pattern_cmp); + + /* Now that we've handled the "extra" patterns, eliminate them from + the optabs array. That way they don't get in the way below. */ + n = num_optabs; + for (i = 0; i < n; ) + if (optabs[i].base == NULL) + optabs[i] = optabs[--n]; + else + ++i; + + /* Sort the (real) optabs. Better than forcing the optabs.def file to + remain sorted by kind. We also scrogged any real ordering with the + purging of the X patterns above. */ + qsort (optabs, n, sizeof (optab_def), optab_kind_cmp); + + fprintf (h_file, "#ifndef GCC_INSN_OPINIT_H\n"); + fprintf (h_file, "#define GCC_INSN_OPINIT_H 1\n"); + + /* Emit the optab enumeration for the header file. */ + fprintf (h_file, "enum optab_tag {\n"); + for (i = j = 0; i < n; ++i) + { + optabs[i].op = i; + fprintf (h_file, " %s,\n", optabs[i].name); + if (optabs[i].kind != j) + last_kind[j++] = i - 1; } + fprintf (h_file, " FIRST_CONV_OPTAB = %s,\n", optabs[last_kind[0]+1].name); + fprintf (h_file, " LAST_CONVLIB_OPTAB = %s,\n", optabs[last_kind[1]].name); + fprintf (h_file, " LAST_CONV_OPTAB = %s,\n", optabs[last_kind[2]].name); + fprintf (h_file, " FIRST_NORM_OPTAB = %s,\n", optabs[last_kind[2]+1].name); + fprintf (h_file, " LAST_NORMLIB_OPTAB = %s,\n", optabs[last_kind[3]].name); + fprintf (h_file, " LAST_NORM_OPTAB = %s\n", optabs[i-1].name); + fprintf (h_file, "};\n\n"); + + fprintf (h_file, "#define NUM_OPTABS %u\n", n); + fprintf (h_file, "#define NUM_CONVLIB_OPTABS %u\n", + last_kind[1] - last_kind[0]); + fprintf (h_file, "#define NUM_NORMLIB_OPTABS %u\n", + last_kind[3] - last_kind[2]); + fprintf (h_file, "#define NUM_OPTAB_PATTERNS %u\n", + (unsigned) patterns.length ()); + + fprintf (h_file, + "typedef enum optab_tag optab;\n" + "typedef enum optab_tag convert_optab;\n" + "typedef enum optab_tag direct_optab;\n" + "\n" + "struct optab_libcall_d\n" + "{\n" + " char libcall_suffix;\n" + " const char *libcall_basename;\n" + " void (*libcall_gen) (optab, const char *name,\n" + " char suffix, machine_mode);\n" + "};\n" + "\n" + "struct convert_optab_libcall_d\n" + "{\n" + " const char *libcall_basename;\n" + " void (*libcall_gen) (convert_optab, const char *name,\n" + " machine_mode, machine_mode);\n" + "};\n" + "\n" + "/* Given an enum insn_code, access the function to construct\n" + " the body of that kind of insn. */\n" + "#define GEN_FCN(CODE) (insn_data[CODE].genfun)\n" + "\n" + "#ifdef NUM_RTX_CODE\n" + "/* Contains the optab used for each rtx code, and vice-versa. */\n" + "extern const optab code_to_optab_[NUM_RTX_CODE];\n" + "extern const enum rtx_code optab_to_code_[NUM_OPTABS];\n" + "\n" + "static inline optab\n" + "code_to_optab (enum rtx_code code)\n" + "{\n" + " return code_to_optab_[code];\n" + "}\n" + "\n" + "static inline enum rtx_code\n" + "optab_to_code (optab op)\n" + "{\n" + " return optab_to_code_[op];\n" + "}\n" + "#endif\n" + "\n" + "extern const struct convert_optab_libcall_d convlib_def[NUM_CONVLIB_OPTABS];\n" + "extern const struct optab_libcall_d normlib_def[NUM_NORMLIB_OPTABS];\n" + "\n" + "/* Returns the active icode for the given (encoded) optab. */\n" + "extern enum insn_code raw_optab_handler (unsigned);\n" + "extern bool swap_optab_enable (optab, machine_mode, bool);\n" + "\n" + "/* Target-dependent globals. */\n" + "struct target_optabs {\n" + " /* Patterns that are used by optabs that are enabled for this target. */\n" + " bool pat_enable[NUM_OPTAB_PATTERNS];\n" + "};\n" + "extern void init_all_optabs (struct target_optabs *);\n" + "\n" + "extern struct target_optabs default_target_optabs;\n" + "extern struct target_optabs *this_fn_optabs;\n" + "#if SWITCHABLE_TARGET\n" + "extern struct target_optabs *this_target_optabs;\n" + "#else\n" + "#define this_target_optabs (&default_target_optabs)\n" + "#endif\n"); - puts ("\ -\n\ -#ifdef FIXUNS_TRUNC_LIKE_FIX_TRUNC\n\ - /* This flag says the same insns that convert to a signed fixnum\n\ - also convert validly to an unsigned one. */\n\ - for (i = 0; i < NUM_MACHINE_MODES; i++)\n\ - for (j = 0; j < NUM_MACHINE_MODES; j++)\n\ - set_convert_optab_handler\n\ - (ufixtrunc_optab, (enum machine_mode) i, (enum machine_mode) j,\n\ - convert_optab_handler (sfixtrunc_optab, (enum machine_mode) i,\n\ - (enum machine_mode) j));\n\ -#endif\n\ -}"); + fprintf (s_file, + "#include \"config.h\"\n" + "#include \"system.h\"\n" + "#include \"coretypes.h\"\n" + "#include \"backend.h\"\n" + "#include \"predict.h\"\n" + "#include \"tree.h\"\n" + "#include \"rtl.h\"\n" + "#include \"alias.h\"\n" + "#include \"varasm.h\"\n" + "#include \"stor-layout.h\"\n" + "#include \"calls.h\"\n" + "#include \"memmodel.h\"\n" + "#include \"tm_p.h\"\n" + "#include \"flags.h\"\n" + "#include \"insn-config.h\"\n" + "#include \"expmed.h\"\n" + "#include \"dojump.h\"\n" + "#include \"explow.h\"\n" + "#include \"emit-rtl.h\"\n" + "#include \"stmt.h\"\n" + "#include \"expr.h\"\n" + "#include \"insn-codes.h\"\n" + "#include \"optabs.h\"\n" + "\n" + "struct optab_pat {\n" + " unsigned scode;\n" + " enum insn_code icode;\n" + "};\n\n"); + + fprintf (s_file, + "static const struct optab_pat pats[NUM_OPTAB_PATTERNS] = {\n"); + for (i = 0; patterns.iterate (i, &p); ++i) + fprintf (s_file, " { %#08x, CODE_FOR_%s },\n", p->sort_num, p->name); + fprintf (s_file, "};\n\n"); + + fprintf (s_file, "void\ninit_all_optabs (struct target_optabs *optabs)\n{\n"); + fprintf (s_file, " bool *ena = optabs->pat_enable;\n"); + for (i = 0; patterns.iterate (i, &p); ++i) + fprintf (s_file, " ena[%u] = HAVE_%s;\n", i, p->name); + fprintf (s_file, "}\n\n"); + + /* Perform a binary search on a pre-encoded optab+mode*2. */ + /* ??? Perhaps even better to generate a minimal perfect hash. + Using gperf directly is awkward since it's so geared to working + with strings. Plus we have no visibility into the ordering of + the hash entries, which complicates the pat_enable array. */ + fprintf (s_file, + "static int\n" + "lookup_handler (unsigned scode)\n" + "{\n" + " int l = 0, h = ARRAY_SIZE (pats), m;\n" + " while (h > l)\n" + " {\n" + " m = (h + l) / 2;\n" + " if (scode == pats[m].scode)\n" + " return m;\n" + " else if (scode < pats[m].scode)\n" + " h = m;\n" + " else\n" + " l = m + 1;\n" + " }\n" + " return -1;\n" + "}\n\n"); - fflush (stdout); - return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE); + fprintf (s_file, + "enum insn_code\n" + "raw_optab_handler (unsigned scode)\n" + "{\n" + " int i = lookup_handler (scode);\n" + " return (i >= 0 && this_fn_optabs->pat_enable[i]\n" + " ? pats[i].icode : CODE_FOR_nothing);\n" + "}\n\n"); + + fprintf (s_file, + "bool\n" + "swap_optab_enable (optab op, machine_mode m, bool set)\n" + "{\n" + " unsigned scode = (op << 16) | m;\n" + " int i = lookup_handler (scode);\n" + " if (i >= 0)\n" + " {\n" + " bool ret = this_fn_optabs->pat_enable[i];\n" + " this_fn_optabs->pat_enable[i] = set;\n" + " return ret;\n" + " }\n" + " else\n" + " {\n" + " gcc_assert (!set);\n" + " return false;\n" + " }\n" + "}\n\n"); + + /* C++ (even G++) does not support (non-trivial) designated initializers. + To work around that, generate these arrays programatically rather than + by our traditional multiple inclusion of def files. */ + + fprintf (s_file, + "const struct convert_optab_libcall_d " + "convlib_def[NUM_CONVLIB_OPTABS] = {\n"); + for (i = last_kind[0] + 1; i <= last_kind[1]; ++i) + fprintf (s_file, " { %s, %s },\n", optabs[i].base, optabs[i].libcall); + fprintf (s_file, "};\n\n"); + + fprintf (s_file, + "const struct optab_libcall_d " + "normlib_def[NUM_NORMLIB_OPTABS] = {\n"); + for (i = last_kind[2] + 1; i <= last_kind[3]; ++i) + fprintf (s_file, " { %s, %s, %s },\n", + optabs[i].suffix, optabs[i].base, optabs[i].libcall); + fprintf (s_file, "};\n\n"); + + fprintf (s_file, "enum rtx_code const optab_to_code_[NUM_OPTABS] = {\n"); + for (i = 0; i < n; ++i) + fprintf (s_file, " %s,\n", rtx_upname[optabs[i].fcode]); + fprintf (s_file, "};\n\n"); + + qsort (optabs, n, sizeof (optab_def), optab_rcode_cmp); + + fprintf (s_file, "const optab code_to_optab_[NUM_RTX_CODE] = {\n"); + for (j = 0; optabs[j].rcode == UNKNOWN; ++j) + continue; + for (i = 0; i < NON_GENERATOR_NUM_RTX_CODE; ++i) + { + if (j < n && optabs[j].rcode == i) + fprintf (s_file, " %s,\n", optabs[j++].name); + else + fprintf (s_file, " unknown_optab,\n"); + } + fprintf (s_file, "};\n\n"); + + fprintf (h_file, "#endif\n"); + return (fclose (h_file) == 0 && fclose (s_file) == 0 + ? SUCCESS_EXIT_CODE : FATAL_EXIT_CODE); }