]> Cypherpunks repositories - gostls13.git/commit
cmd/5g: fix regopt bug in copyprop
authorRuss Cox <rsc@golang.org>
Thu, 13 Feb 2014 03:54:55 +0000 (03:54 +0000)
committerRuss Cox <rsc@golang.org>
Thu, 13 Feb 2014 03:54:55 +0000 (03:54 +0000)
commit684332f47cff7a2aff1fddfe8b002ed07fb6e4a0
treee88d9de09b17dc367498c6be9a1e56de82ec346b
parent27cb59fdad4696c9a9169af50bff520492d98b35
cmd/5g: fix regopt bug in copyprop

copyau1 was assuming that it could deduce the type of the
middle register p->reg from the type of the left or right
argument: in CMPF F1, F2, the p->reg==2 must be a D_FREG
because p->from is F1, and in CMP R1, R2, the p->reg==2 must
be a D_REG because p->from is R1.

This heuristic fails for CMP $0, R2, which was causing copyau1
not to recognize p->reg==2 as a reference to R2, which was
keeping it from properly renaming the register use when
substituting registers.

cmd/5c has the right approach: look at the opcode p->as to
decide the kind of register. It is unclear where 5g's copyau1
came from; perhaps it was an attempt to avoid expanding 5c's
a2type to include new instructions used only by 5g.

Copy a2type from cmd/5c, expand to include additional instructions,
and make it crash the compiler if asked about an instruction
it does not understand (avoid silent bugs in the future if new
instructions are added).

Should fix current arm build breakage.

While we're here, fix the print statements dumping the pred and
succ info in the asm listing to pass an int arg to %.4ud
(Prog.pc is a vlong now, due to the liblink merge).

TBR=ken2
CC=golang-codereviews
https://golang.org/cl/62730043
src/cmd/5g/peep.c
src/cmd/5g/reg.c
src/cmd/6g/reg.c
src/cmd/8g/reg.c