Issue 9358043: code review 9358043: cmd/gc: eliminate a useless bounds check in inlined app...

For the following code:

var s []int
var x int

func F() {
      s = append(s, x)
}

Before:
--- prog list "F" ---
0000 (/tmp/main.go:6) TEXT    F+0(SB),$88-0
0001 (/tmp/main.go:6) LOCALS  ,$24
0002 (/tmp/main.go:6) TYPE    autotmp_0000+-24(SP){[]int},$24
0003 (/tmp/main.go:7) MOVQ    s+0(SB),BX
0004 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0005 (/tmp/main.go:7) MOVQ    s+8(SB),CX
0006 (/tmp/main.go:7) MOVQ    s+16(SB),BX
0007 (/tmp/main.go:7) MOVQ    BX,AX
0008 (/tmp/main.go:7) SUBQ    CX,BX
0009 (/tmp/main.go:7) CMPQ    BX,$1
0010 (/tmp/main.go:7) JGE     ,22
0011 (/tmp/main.go:7) MOVQ    $type.[]int+0(SB),(SP)
0012 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0013 (/tmp/main.go:7) MOVQ    BX,8(SP)
0014 (/tmp/main.go:7) MOVQ    CX,16(SP)
0015 (/tmp/main.go:7) MOVQ    AX,24(SP)
0016 (/tmp/main.go:7) MOVQ    $1,32(SP)
0017 (/tmp/main.go:7) CALL    ,runtime.growslice+0(SB)
0018 (/tmp/main.go:7) MOVQ    40(SP),BX
0019 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0020 (/tmp/main.go:7) MOVQ    48(SP),CX
0021 (/tmp/main.go:7) MOVQ    56(SP),AX
0022 (/tmp/main.go:7) MOVQ    CX,DX
0023 (/tmp/main.go:7) MOVQ    CX,BP
0024 (/tmp/main.go:7) INCQ    ,BP
0025 (/tmp/main.go:7) MOVQ    AX,CX
0026 (/tmp/main.go:7) MOVQ    BP,AX
0027 (/tmp/main.go:7) CMPQ    CX,BP
0028 (/tmp/main.go:7) JCC     ,31
0029 (/tmp/main.go:7) CALL    ,runtime.panicslice+0(SB)
0030 (/tmp/main.go:7) UNDEF   ,
0031 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0032 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0033 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0034 (/tmp/main.go:7) LEAQ    (BX)(DX*8),BX
0035 (/tmp/main.go:7) MOVQ    x+0(SB),BP
0036 (/tmp/main.go:7) MOVQ    BP,(BX)
0037 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0038 (/tmp/main.go:7) MOVQ    BX,s+0(SB)
0039 (/tmp/main.go:7) MOVQ    AX,s+8(SB)
0040 (/tmp/main.go:7) MOVQ    CX,s+16(SB)
0041 (/tmp/main.go:8) RET     ,

After:
--- prog list "F" ---
0000 (/tmp/main.go:6) TEXT    F+0(SB),$88-0
0001 (/tmp/main.go:6) LOCALS  ,$24
0002 (/tmp/main.go:6) TYPE    autotmp_0000+-24(SP){[]int},$24
0003 (/tmp/main.go:7) MOVQ    s+0(SB),BX
0004 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0005 (/tmp/main.go:7) MOVQ    s+8(SB),CX
0006 (/tmp/main.go:7) MOVQ    s+16(SB),BX
0007 (/tmp/main.go:7) MOVQ    BX,AX
0008 (/tmp/main.go:7) SUBQ    CX,BX
0009 (/tmp/main.go:7) CMPQ    BX,$1
0010 (/tmp/main.go:7) JGE     ,22
0011 (/tmp/main.go:7) MOVQ    $type.[]int+0(SB),(SP)
0012 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0013 (/tmp/main.go:7) MOVQ    BX,8(SP)
0014 (/tmp/main.go:7) MOVQ    CX,16(SP)
0015 (/tmp/main.go:7) MOVQ    AX,24(SP)
0016 (/tmp/main.go:7) MOVQ    $1,32(SP)
0017 (/tmp/main.go:7) CALL    ,runtime.growslice+0(SB)
0018 (/tmp/main.go:7) MOVQ    40(SP),BX
0019 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0020 (/tmp/main.go:7) MOVQ    48(SP),CX
0021 (/tmp/main.go:7) MOVQ    56(SP),AX
0022 (/tmp/main.go:7) MOVQ    CX,SI
0023 (/tmp/main.go:7) INCQ    ,SI
0024 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0025 (/tmp/main.go:7) MOVQ    BX,autotmp_0000+-24(SP)
0026 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0027 (/tmp/main.go:7) LEAQ    (BX)(CX*8),BX
0028 (/tmp/main.go:7) MOVQ    x+0(SB),BP
0029 (/tmp/main.go:7) MOVQ    BP,(BX)
0030 (/tmp/main.go:7) MOVQ    autotmp_0000+-24(SP),BX
0031 (/tmp/main.go:7) MOVQ    BX,s+0(SB)
0032 (/tmp/main.go:7) MOVQ    SI,s+8(SB)
0033 (/tmp/main.go:7) MOVQ    AX,s+16(SB)
0034 (/tmp/main.go:8) RET     ,

remyoudompheng

10 years, 11 months ago (2013-05-20 21:21:11 UTC) #6

*** Submitted as https://code.google.com/p/go/source/detail?r=e2dc4e728932 ***

cmd/gc: eliminate a useless bounds check in inlined append().

R=golang-dev, daniel.morsing, r
CC=golang-dev
https://codereview.appspot.com/9358043

Expand All Messages | Collapse All Messages