procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

bpf: correct zero_extend output templates

Browse source 
The output templates for zero_extendhidi2 and zero_extendqidi2 could
lead to incorrect code generation when zero-extending one register into
another. This patch adds a new output template to the define_insns to
handle such cases and produce correct asm.

gcc/ChangeLog:
	* config/bpf/bpf.md (zero_extendhidi2): Add new output template
	for register-to-register extensions.
	(zero_extendqidi2): Likewise.
This commit is contained in:
David Faust 2021-08-20 14:54:42 -07:00
parent 7f8af6dc82
commit 4f0f696fea
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gcc/config/bpf/bpf.md
View file

@ -241,22 +241,24 @@
;; the ldx{bhwdw} instructions to load the values in registers.
(define_insn "zero_extendhidi2"
[(set (match_operand:DI 0 "register_operand" "=r,r")
(zero_extend:DI (match_operand:HI 1 "nonimmediate_operand" "r,m")))]
[(set (match_operand:DI 0 "register_operand" "=r,r,r")
(zero_extend:DI (match_operand:HI 1 "nonimmediate_operand" "0,r,m")))]
""
"@
and\t%0,0xffff
mov\t%0,%1\;and\t%0,0xffff
ldxh\t%0,%1"
[(set_attr "type" "alu,ldx")])
[(set_attr "type" "alu,alu,ldx")])
(define_insn "zero_extendqidi2"
[(set (match_operand:DI 0 "register_operand" "=r,r")
(zero_extend:DI (match_operand:QI 1 "nonimmediate_operand" "r,m")))]
[(set (match_operand:DI 0 "register_operand" "=r,r,r")
(zero_extend:DI (match_operand:QI 1 "nonimmediate_operand" "0,r,m")))]
""
"@
and\t%0,0xff
mov\t%0,%1\;and\t%0,0xff
ldxb\t%0,%1"
[(set_attr "type" "alu,ldx")])
[(set_attr "type" "alu,alu,ldx")])
(define_insn "zero_extendsidi2"
[(set (match_operand:DI 0 "register_operand" "=r,r")