[PATCH] Updated SUBREG_BYTE patch

[Jakub Jelinek <jakub at redhat dot com>]

Hi!

Attached is the updated SUBREG_BYTE patch. I couldn't testit completely on
sparc64 due to store_split_bit_field breakage (divison by zero) as stated in
last mail. But it seems to be unrelated to this patch.

2000-03-30  Jakub Jelinek  <jakub@redhat.com>

	* cse.c (remove_invalid_subreg_refs): Change offset argument type to
	unsigned int.
	* ssa.c (rename_insn_1): Use subreg_lowpart_p instead of checking
	SUBREG_WORD == 0.
	(rename_equivalent_regs_in_insn): Likewise.
	* rtl.h (SUBREG_BYTE): Change to XCUINT from XCINT.
	* emit-rtl.c (subreg_hard_regno): Make byte_offset, base_regno and
	final_regno unsigned.
	(subreg_lowpart_p): Likewise with offset.
	(operand_subword): Likewise for partwords.

2000-02-23  Jakub Jelinek  <jakub@redhat.com>

	* config/sparc/sparc.md (cmp_siqi_trunc, cmp_siqi_trunc_set,
	cmp_diqi_trunc, cmp_diqi_trunc_set, lshrdi3_v8plus+1,
	lshrdi3_v8plus+2, lshrdi3_v8plus+3, lshrdi3_v8plus+4): Use proper
	SUBREG_BYTE offset for non-paradoxical subregs in patterns.

	* emit-rtl.c (gen_lowpart_SUBREG): New function.
	* rtl.h (gen_lowpart_SUBREG): Add prototype.
	* calls.c (precompute_arguments): Use it.
	* expr.c (store_expr, expand_expr): Likewise.
	* regmove.c (optimize_reg_copy_3): Likewise.
	* reload1.c (emit_reload_insns): Likewise.
	* stmt.c (expand_anon_union_decl): Likewise.

	* rtl.texi: Remove all traces of SUBREG_WORD.
	* reload.c (push_reload): Fix test for the new SUBREG_BYTE semantics.
	* config/sparc/sparc.md (zero_extendhidi2, extendqidi2, extendhidi2):
	Compute SUBREG_BYTE offset based on DImode, not SImode.

	* function.c (assign_params): Mark arguments SUBREG_PROMOTED_VAR_P
	if they are actually promoted by the caller and
	PROMOTE_FOR_CALLS_ONLY is true. Otherwise combiner will not know
	that their bits are already guaranteed to be zero or sign copies.

	* emit-rtl.c (constant_subword): Don't abort if
	float bitsize is larger than 64 bits on 64bit host.

	* config/sparc/sparc.h (REG_SIZE): For SUBREG check float mode on
	SUBREG_REG's mode.
	* combine.c (simplify_rtx): For two nested SUBREGs if the mode of
	the inner SUBREG is larger than both other modes we cannot simply
	add both SUBREG_BYTEs on big endian.
	(make_extraction): If BYTES_BIG_ENDIAN take the last few bytes
	of the register, not first.
	* calls.c (expand_call): For non-paradoxical SUBREG take endianess
	into account.
	
	* config/alpha/alpha.c (print_operand_address): Fix typo.
	* config/mips/mips.c (mips_move_1word, mips_move_2words,
	mips_secondary_reload_class): SUBREG_REGNO_OFFSET macro
	requires four arguments.
	* config/pyr/pyr.c (consecutive_operands): Likewise.
	* config/sh/sh.c (regs_used, machine_dependent_reorg): Likewise.

	* java/javaop.h: Default int32 to int, not long. Fix comment.
	* emit-rtl.c (subreg_hard_regno): Till we remove the extensive
	checks in subreg_hard_regno, propagate info on whether
	HARD_REGNO_MODE_OK is allowed to fail.
	* combine.c (simplify_rtx): Don't abort if SUBREG has
	incompatible modes outside and inside.
	* caller-save.c (mark_set_regs): Change callers of subreg_hard_regno
	to pass new argument.
	* final.c (alter_subreg): Likewise.
	* local-alloc.c (reg_is_born): Likewise.
	* rtl.h (subreg_hard_regno): Update prototype.

	* config/alpha/alpha.c (print_operand_address): Use SUBREG_BYTE
	instead of SUBREG_WORD.
	* config/ns32k/ns32k.md (udivmoddihi4): Fix explicit subregs in
	rtl to use byte offsets.
	* config/sh/sh.h (INDEX_REGISTER_RTX_P): Use SUBREG_BYTE, not
	SUBREG_WORD.
	* config/sparc/sparc.h (REG_SIZE): Handle SUBREG arguments.
	* emit-rtl.c (subreg_realpart_p): Changed to use SUBREG_BYTE.
	* integrate.c (copy_rtx_and_substitute): Use byte SUBREG offsets
	in CONCAT handling.
	* reload.c (find_reloads_subreg_address): Use SUBREG_BYTE.  Remove
	byte endian corrections when fixing up MEM subregs.
	* resource.c (update_live_status): Use SUBREG_REGNO.
	
1998-10-03  David S. Miller  <davem@pierdol.cobaltmicro.com>

	Use byte offsets in SUBREGs instead of words.
	* rtl.h (SUBREG_WORD): Rename to SUBREG_BYTE.
	(SUBREG_REGNO_OFFSET, SUBREG_REGNO): New macros.
	(subreg_hard_regno, constant_subword, gen_rtx_SUBREG): New
	functions.
	* gengenrtl.c (special_rtx): Add SUBREG.
	* regs.h (REG_SIZE): Allow target to override.
	(REGMODE_NATURAL_SIZE): New macro which target can override.
	* tm.texi (ALTER_HARD_SUBREG): Remove, it is now dead.
	* rtl.texi (subreg): Update to reflect new byte offset
	representation.  Add mentioning of the effect that
	BYTES_BIG_ENDIAN has on subregs now.
	* final.c (alter_subreg) [REG]: Remove ALTER_HARD_SUBREG
	commentary and usage.  Use subreg_hard_regno instead.
	[MEM]: Remove endianness corrections and use SUBREG_BYTE.
	Check for bogus SUBREG_BYTE values.
	* emit-rtl.c (gen_rtx_SUBREG): New function, used to verify
	certain invariants about SUBREGs the compiler creates.
	(subreg_hard_regno): New function.
	(gen_lowpart_common): Adjust offset for BYTES_BIG_ENDIAN too.
	[SUBREG]: When combining two subregs, make sure final offset is a
	multiple of the SUBREG's mode.
	[REG]: Remove sparc64 hard regno wordaround.  Simplify rest of the
	code and use SUBREG_REGNO_OFFSET.
	[CONST_INT, CONST_DOUBLE]: Call constant_subword.
	(subreg_realpart_p): Use SUBREG_BYTE.
	(gen_lowpart): Pretty.
	(gen_highpart) [MEM]: Pretty.
	[SUBREG]: Use SUBREG_BYTE.
	[REG]: Remove sparc64 hard regno hacks.  Adjust offset for
	BYTES_BIG_ENDIAN too.  Use SUBREG_REGNO_OFFSET for hard regs.
	(subreg_lowpart_p): Always compute endian corrected goal offset,
	even at the byte level, then compare against that.
	(constant_subword): New function, pulled out all constant cases
	from operand_subword and changed second argument name to offset.
	(operand_subword): Detect non REG/SUBREG/CONCAT/MEM cases early
	and call constant_subword to do the work.
	[REG]: Use SUBREG_REGNO_OFFSET for hard regnos.
	[SUBREG]: When combining two subregs, make sure final offset is a
	multiple of the SUBREG's mode.
	(operand_subword_force): Change second arg name to offset.  Abort
	early if reload is done and this is called.
	* cse.c (mention_regs): Use SUBREG_BYTE.
	(remove_invalid_subreg_refs): Second arg now named offset and is a
	byte offset as per SUBREG_BYTE.  Rework to use byte ranges and
	comparison checks.
	(canon_hash): Use SUBREG_BYTE.
	(fold_rtx): Pass SUBREG_BYTE div UNITS_PER_WORD to
	operand_subword.
	(gen_lowpart_if_possible): Pretty.
	(cse_insn): Fix conditional formatting.
	* dbxout.c (dbxout_symbol_location): Compute SUBREG hard regnos
	correctly.
	* expmed.c (store_big_field): Use SUBREG_BYTE.
	(extract_bit_field): Likewise.
	(extract_split_bit_field): Likewise.
	(expand_shift): Likewise.
	* flow.c (life_analysis_1): Likewise.
	* global.c (mark_reg_store): Remove word local and commented out
	code which used it.
	(mark_reg_clobber): Likewise.
	(set_preference): Rework to use SUBREG_REGNO_OFFSET,
	REGMODE_NATURAL_SIZE and SUBREG_BYTE where appropriate.
	* combine.c (try_combine): Replace explicit XEXP with SUBREG_REG.
	(simplify_rtx): Do not fixup byte endianness of subregs, the
	SUBREG_BYTE contains the correct offset.  When substituting two
	subregs into each other still compare against word equality for
	the fast case, but otherwise make the final offset congruent to
	the mode of the subreg.  Also use subreg_hard_regno to compute the
	hard regno of a subreg.  Rework the rest to use SUBREG_BYTE.  This
	function is too large.
	(simplify_set): Rework to use SUBREG_BYTE, also fixup another
	explicit XEXP into a SUBREG_REG.
	(expand_field_assignment): Use SUBREG_BYTE.
	(make_extraction): Likewise.
	(apply_distributive_law): Likewise and fixup subreg comments.
	(gen_lowpart_for_combine): Compute full byte offset.
	* dwarf2out.c (is_pseudo_reg): Fixup explicit XEXP into SUBREG_REG
	(mem_loc_descriptor): Likewise.
	(loc_descriptor): Likewise.
	* dwarfout.c (is_pseudo_reg): Fixup explicit XEXP into SUBREG_REG
	(output_mem_loc_descriptor): Likewise.
	(output_loc_descriptor): Likewise.  This and the previous file
	have a lot of common duplicated code.
	* caller-save.c (set_reg_live): Use subreg_hard_regno and tweak.
	* jump.c (rtx_renumbered_equal_p): Use new subreg byte offsets,
	and SUBREG_REGNO_OFFSET where appropriate.  Also fix bug where
	reg_y was not subreg correctified for the subreg case.
	(true_regnum): Use SUBREG_REGNO_OFFSET.
	* function.c (fixup_var_refs_1): Fixup explicit XEXP into
	a SUBREG_REG.
	(fixup_memory_subreg): Use SUBREG_BYTE and remove byte endian
	correction code.
	(optimize_bit_field): Use SUBREG_BYTE.
	* haifa-sched.c (print_value): Likewise.
	* integrate.c (copy_rtx_and_substitute): Likewise and make sure
	final byte offset is congruent to subreg's mode size.
	(subst_constants): Use SUBREG_BYTE.
	(mark_stores): Use SUBREG_REGNO_OFFSET for hard regs.
	* local-alloc.c (combine_regs): Rework to use SUBREG_REGNO_OFFSET,
	SUBREG_BYTE and REGMODE_NATURAL_SIZE.
	(reg_is_born): Use subreg_hard_regno.
	* recog.c (valid_replace_rtx_1): Use SUBREG_BYTE and remove byte
	endian correction code.
	(indirect_operand): Likewise.
	(general_operand): Remove dead mode_altering_drug code.
	(constrain_operands): Use SUBREG_REGNO_OFFSET.
	* reg-stack.c (mark_regs_pat): Use SUBREG_REGNO.  Abort if we see
	a pseudo reg here.
	(get_true_reg): Use SUBREG_REGNO_OFFSET.
	* regmove.c (regmove_optimize): Use SUBREG_BYTE.
	* reload.c (push_reload): Use SUBREG_BYTE in comments and code.
	Also use SUBREG_REGNO_OFFSET and SUBREG_REGNO where appropriate.
	(find_dummy_reload): Use SUBREG_REGNO_OFFSET.  Only adjust offsets
	for hard registers inside subregs.
	(operands_match_p): Likewise.
	(find_reloads): Only advance offset for subregs containing hard
	regs.  Remove "can work with subregging" final condition when
	setting force_reload, it no longer makes sense with byte
	offsettable subregs.  Fix another XEXP into a SUBREG_REG.
	(find_reload_toplev): Use SUBREG_BYTE.  Remove byte endian
	corrections when fixing up MEM subregs.
	(find_reloads_addres_1): Use SUBREG_BYTE, SUBREG_REGNO, and
	SUBREG_REGNO_OFFSET where appropriate.
	(subst_reloads): When combining two subregs, make sure final
	offset is congruent to subreg's mode size.
	(find_replacement): Likewise, also use SUBREG_BYTE and
	SUBREG_REGNO_OFFSET where appropriate.
	(refers_to_regno_for_reload_p): Use SUBREG_REGNO.
	(reg_overlap_mentioned_for_reload_p): Use SUBREG_REGNO_OFFSET.
	* reload1.c (eliminate_regs) [SUBREG]: Use SUBREG_BYTE, fixup
	another explicit XEXP into a SUBREG_REG.  Remove byte endian
	correction code for memory subreg fixups.
	(forget_old_reload_1): Use SUBREG_REGNO_OFFSET.
	(choose_reload_regs): Use SUBREG_REGNO.
	(emit_reload_insns): Use SUBREG_BYTE.
	(reload_combine_note_store): Use SUBREG_REGNO_OFFSET.
	(move2add_note_store): Use SUBREG_REGNO_OFFSET.
	* reorg.c (mark_referenced_resources): Use SUBREG_REGNO.
	* rtlanal.c (refers_to_regno_p): Use SUBREG_REGNO.
	(reg_overlap_mentioned_p): Likewise.
	(replace_regs); Make sure final offset of combined subreg is
	congruent to size of subreg's mode.
	* sdbout.c (sdbout_symbol): Compute offset using alter_subreg.

	Target changes for new subregging representation.
	* config/a29k/a29k.c (gpc_reg_operand): Use SUBREG_REGNO.
	(a29k_get_reloaded_address): Use SUBREG_BYTE.
	(print_operand): Use SUBREG_BYTE.
	* config/alpha/alpha.c (get_aligned_mem): Use SUBREG_BYTE and
	remove byte endianness corrections.
	(get_unaligned_address): Likewise.
	* config/dsp16xx/dsp16xx.md (extendqihi2, zero_extendqihi2): Fix
	SUBREG creation to use byte offset.
	* config/h8300/h8300.md (Unnamed HImode zero extraction and 16bit
	inverted load insns): Fix explicit rtl subregs to use byte
	offsets.
	* config/i370/i370.md (cmpstrsi, movstrsi, mulsi3, divsi3,
	udivsi3, umodsi3): Generate SUBREGs with byte offsets.
	* config/i386/i386.md (HImode zero extend split): Use
	SUBREG_BYTE.
	* config/i860/i860.c (single_insn_src_p): Use SUBREG_BYTE.
	* config/i860/i860.md (mulsi3_big): Fixup explicit SUBREGs in rtl
	to use byte offsets.
	(unnamed fmlow.dd insn): Likewise.
	* config/i960/i960.md (extendhisi2): Generate SUBREGs with byte
	offsets, also make sure it is congruent to SUBREG's mode size.
	(extendqisi2, extendqihi2, zero_extendhisi2, zero_extendqisi2,
	unnamed ldob insn): Likewise.
	* config/m32r/m32r.md (extendqihi2, extendqisi2, extendhisi2):
	Likewise.
	* config/m68k/m68k.md (zero_extendhisi2, zero_extendqihi2,
	zero-extendqisi2): Likewise.
	(umulsidi3, mulsidi3, subreghi1ashrdi_const32,
	subregsi1ashrdi_const32, subreg1lshrdi_const32): Fixup explicit
	surbegs in rtl to use byte offsets.
	* config/m88k/m88k.md (extendsidi2): Likewise.
	* config/mips/mips.c (mips_move_1word): Use SUBREG_REGNO_OFFSET.
	(mips_move_2words, mips_secondary_reload_class): Likewise.
	* config/mips/mips.md (DImode plus, minus, move, and logical op
	splits): Fixup explicit subregs in rtl to use byte offsets.
	* config/mn10200/mn10200.c (print_operand) [SUBREG]: Use
	SUBREG_REGNO and fix a reg_names indice bug.
	* config/mn10300/mn10300.c (print_operand) [SUBREG]: Likewise.
	* config/ns32k/ns32k.md (udivmoddisi4): Fix explicit subregs in
	rtl to use byte offsets.
	* config/pa/pa.md (floatunssisf2, floatunssidf2): Likewise.
	(mulsi3): Make subregs with byte offsets.
	* config/pdp11/pdp11.md (zero_extendhisi2, modhi3, modhi3+1):
	Fixup explicit subregs in rtl to use byte offsets.
	* config/pyr/pyr.c (subreg_overlap_mentioned_p): Use SUBREG_REGNO.
	(consecutive_operands): Use SUBREG_REGNO_OFFSET.
	* config/pyr/pyr.md (extendsidi2): Fixup explicit subregs in rtl
	to use byte offsets.
	* config/romp/romp.c (memory_offset_in_range_p): Use SUBREG_BYTE
	and remove byte endian correction code.
	* config/rs6000/rs6000.md (DImode const splits): Generate SUBREGs
	with byte offsets.
	* config/sh/sh.c (output_movedouble): Use SUBREG_REGNO.
	(gen_ashift_hi): Use SUBREG_BYTE.
	(regs_used): Use SUBREG_REGNO_OFFSET.
	(machine_dependent_reorg): Likewise.
	* config/sh/sh.md (DImode and DFmode move splits): Use
	SUBREG_REGNO.
	* config/sparc/sparc.md (TFmode move splits): Generate SUBREGs
	with byte offsets.
	(zero_extendhisi2, zero_extendqidi2_insn, extendhisi2,
	extendqihi2, sign_extendqihi2_insn, sign_extendqisi2_insn,
	extendqidi2): Generate SUBREGs with byte offsets, also make sure
	it is congruent to SUBREG's mode size.
	(smulsi3_highpart_v8plus): Fix explicit subregs in rtl to use byte
	offsets.
	* config/sparc/sparc.c (ultra_find_type): Use SUBREG_BYTE.
	* config/sparc/sparc.h (ALTER_HARD_SUBREG): Die forever...
	(REG_SIZE, REGMODE_NATURAL_SIZE): Override.
	* config/spur/spur.md (movqi, zero_extendhisi2, extendhisi2,
	extendqihi2, extendqisi2): Generate SUBREGs with byte offsets.
	* config/v850/v850.c (print_operand): Use SUBREG_REGNO.
	(v850_reorg): Use SUBREG_REGNO_OFFSET.


Cheers,
    Jakub
___________________________________________________________________
Jakub Jelinek | jakub@redhat.com | http://sunsite.mff.cuni.cz/~jj
Linux version 2.3.99-pre2 on a sparc64 machine (1343.49 BogoMips)
___________________________________________________________________

subreg-byte.patch.gz