libgo/go/cmd/vet/testdata/asm/asm3.s

   1 // Copyright 2013 The Go Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style
   3 // license that can be found in the LICENSE file.
   4
   5 // +build arm
   6 // +build vet_test
   7
   8 TEXT ·arg1(SB),0,$0-2
   9         MOVB    x+0(FP), AX
  10         MOVB    y+1(FP), BX
  11         MOVH    x+0(FP), AX // ERROR "\[arm\] arg1: invalid MOVH of x\+0\(FP\); int8 is 1-byte value"
  12         MOVH    y+1(FP), AX // ERROR "invalid MOVH of y\+1\(FP\); uint8 is 1-byte value"
  13         MOVW    x+0(FP), AX // ERROR "invalid MOVW of x\+0\(FP\); int8 is 1-byte value"
  14         MOVW    y+1(FP), AX // ERROR "invalid MOVW of y\+1\(FP\); uint8 is 1-byte value"
  15         MOVB    x+1(FP), AX // ERROR "invalid offset x\+1\(FP\); expected x\+0\(FP\)"
  16         MOVB    y+2(FP), AX // ERROR "invalid offset y\+2\(FP\); expected y\+1\(FP\)"
  17         MOVB    8(R13), AX // ERROR "8\(R13\) should be x\+0\(FP\)"
  18         MOVB    9(R13), AX // ERROR "9\(R13\) should be y\+1\(FP\)"
  19         MOVB    10(R13), AX // ERROR "use of 10\(R13\) points beyond argument frame"
  20         RET
  21
  22 TEXT ·arg2(SB),0,$0-4
  23         MOVB    x+0(FP), AX // ERROR "arg2: invalid MOVB of x\+0\(FP\); int16 is 2-byte value"
  24         MOVB    y+2(FP), AX // ERROR "invalid MOVB of y\+2\(FP\); uint16 is 2-byte value"
  25         MOVH    x+0(FP), AX
  26         MOVH    y+2(FP), BX
  27         MOVW    x+0(FP), AX // ERROR "invalid MOVW of x\+0\(FP\); int16 is 2-byte value"
  28         MOVW    y+2(FP), AX // ERROR "invalid MOVW of y\+2\(FP\); uint16 is 2-byte value"
  29         MOVH    x+2(FP), AX // ERROR "invalid offset x\+2\(FP\); expected x\+0\(FP\)"
  30         MOVH    y+0(FP), AX // ERROR "invalid offset y\+0\(FP\); expected y\+2\(FP\)"
  31         RET
  32
  33 TEXT ·arg4(SB),0,$0-2 // ERROR "arg4: wrong argument size 2; expected \$\.\.\.-8"
  34         MOVB    x+0(FP), AX // ERROR "invalid MOVB of x\+0\(FP\); int32 is 4-byte value"
  35         MOVB    y+4(FP), BX // ERROR "invalid MOVB of y\+4\(FP\); uint32 is 4-byte value"
  36         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); int32 is 4-byte value"
  37         MOVH    y+4(FP), AX // ERROR "invalid MOVH of y\+4\(FP\); uint32 is 4-byte value"
  38         MOVW    x+0(FP), AX
  39         MOVW    y+4(FP), AX
  40         MOVW    x+4(FP), AX // ERROR "invalid offset x\+4\(FP\); expected x\+0\(FP\)"
  41         MOVW    y+2(FP), AX // ERROR "invalid offset y\+2\(FP\); expected y\+4\(FP\)"
  42         RET
  43
  44 TEXT ·arg8(SB),7,$0-2 // ERROR "wrong argument size 2; expected \$\.\.\.-16"
  45         MOVB    x+0(FP), AX // ERROR "invalid MOVB of x\+0\(FP\); int64 is 8-byte value"
  46         MOVB    y+8(FP), BX // ERROR "invalid MOVB of y\+8\(FP\); uint64 is 8-byte value"
  47         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); int64 is 8-byte value"
  48         MOVH    y+8(FP), AX // ERROR "invalid MOVH of y\+8\(FP\); uint64 is 8-byte value"
  49         MOVW    x+0(FP), AX // ERROR "invalid MOVW of x\+0\(FP\); int64 is 8-byte value containing x_lo\+0\(FP\) and x_hi\+4\(FP\)"
  50         MOVW    x_lo+0(FP), AX
  51         MOVW    x_hi+4(FP), AX
  52         MOVW    y+8(FP), AX // ERROR "invalid MOVW of y\+8\(FP\); uint64 is 8-byte value containing y_lo\+8\(FP\) and y_hi\+12\(FP\)"
  53         MOVW    y_lo+8(FP), AX
  54         MOVW    y_hi+12(FP), AX
  55         MOVQ    x+0(FP), AX
  56         MOVQ    y+8(FP), AX
  57         MOVQ    x+8(FP), AX // ERROR "invalid offset x\+8\(FP\); expected x\+0\(FP\)"
  58         MOVQ    y+2(FP), AX // ERROR "invalid offset y\+2\(FP\); expected y\+8\(FP\)"
  59         RET
  60
  61 TEXT ·argint(SB),0,$0-2 // ERROR "wrong argument size 2; expected \$\.\.\.-8"
  62         MOVB    x+0(FP), AX // ERROR "invalid MOVB of x\+0\(FP\); int is 4-byte value"
  63         MOVB    y+4(FP), BX // ERROR "invalid MOVB of y\+4\(FP\); uint is 4-byte value"
  64         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); int is 4-byte value"
  65         MOVH    y+4(FP), AX // ERROR "invalid MOVH of y\+4\(FP\); uint is 4-byte value"
  66         MOVW    x+0(FP), AX
  67         MOVW    y+4(FP), AX
  68         MOVQ    x+4(FP), AX // ERROR "invalid offset x\+4\(FP\); expected x\+0\(FP\)"
  69         MOVQ    y+2(FP), AX // ERROR "invalid offset y\+2\(FP\); expected y\+4\(FP\)"
  70         RET
  71
  72 TEXT ·argptr(SB),7,$0-2 // ERROR "wrong argument size 2; expected \$\.\.\.-20"
  73         MOVB    x+0(FP), AX // ERROR "invalid MOVB of x\+0\(FP\); \*byte is 4-byte value"
  74         MOVB    y+4(FP), BX // ERROR "invalid MOVB of y\+4\(FP\); \*byte is 4-byte value"
  75         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); \*byte is 4-byte value"
  76         MOVH    y+4(FP), AX // ERROR "invalid MOVH of y\+4\(FP\); \*byte is 4-byte value"
  77         MOVW    x+0(FP), AX
  78         MOVW    y+4(FP), AX
  79         MOVQ    x+4(FP), AX // ERROR "invalid offset x\+4\(FP\); expected x\+0\(FP\)"
  80         MOVQ    y+2(FP), AX // ERROR "invalid offset y\+2\(FP\); expected y\+4\(FP\)"
  81         MOVH    c+8(FP), AX // ERROR "invalid MOVH of c\+8\(FP\); chan int is 4-byte value"
  82         MOVH    m+12(FP), AX // ERROR "invalid MOVH of m\+12\(FP\); map\[int\]int is 4-byte value"
  83         MOVH    f+16(FP), AX // ERROR "invalid MOVH of f\+16\(FP\); func\(\) is 4-byte value"
  84         RET
  85
  86 TEXT ·argstring(SB),0,$16 // ERROR "wrong argument size 0; expected \$\.\.\.-16"
  87         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); string base is 4-byte value"
  88         MOVW    x+0(FP), AX
  89         MOVH    x_base+0(FP), AX // ERROR "invalid MOVH of x_base\+0\(FP\); string base is 4-byte value"
  90         MOVW    x_base+0(FP), AX
  91         MOVH    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
  92         MOVW    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
  93         MOVQ    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
  94         MOVH    x_len+4(FP), AX // ERROR "invalid MOVH of x_len\+4\(FP\); string len is 4-byte value"
  95         MOVW    x_len+4(FP), AX
  96         MOVQ    y+0(FP), AX // ERROR "invalid offset y\+0\(FP\); expected y\+8\(FP\)"
  97         MOVQ    y_len+4(FP), AX // ERROR "invalid offset y_len\+4\(FP\); expected y_len\+12\(FP\)"
  98         RET
  99
 100 TEXT ·argslice(SB),0,$24 // ERROR "wrong argument size 0; expected \$\.\.\.-24"
 101         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); slice base is 4-byte value"
 102         MOVW    x+0(FP), AX
 103         MOVH    x_base+0(FP), AX // ERROR "invalid MOVH of x_base\+0\(FP\); slice base is 4-byte value"
 104         MOVW    x_base+0(FP), AX
 105         MOVH    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
 106         MOVW    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
 107         MOVQ    x_len+0(FP), AX // ERROR "invalid offset x_len\+0\(FP\); expected x_len\+4\(FP\)"
 108         MOVH    x_len+4(FP), AX // ERROR "invalid MOVH of x_len\+4\(FP\); slice len is 4-byte value"
 109         MOVW    x_len+4(FP), AX
 110         MOVH    x_cap+0(FP), AX // ERROR "invalid offset x_cap\+0\(FP\); expected x_cap\+8\(FP\)"
 111         MOVW    x_cap+0(FP), AX // ERROR "invalid offset x_cap\+0\(FP\); expected x_cap\+8\(FP\)"
 112         MOVQ    x_cap+0(FP), AX // ERROR "invalid offset x_cap\+0\(FP\); expected x_cap\+8\(FP\)"
 113         MOVH    x_cap+8(FP), AX // ERROR "invalid MOVH of x_cap\+8\(FP\); slice cap is 4-byte value"
 114         MOVW    x_cap+8(FP), AX
 115         MOVQ    y+0(FP), AX // ERROR "invalid offset y\+0\(FP\); expected y\+12\(FP\)"
 116         MOVQ    y_len+4(FP), AX // ERROR "invalid offset y_len\+4\(FP\); expected y_len\+16\(FP\)"
 117         MOVQ    y_cap+8(FP), AX // ERROR "invalid offset y_cap\+8\(FP\); expected y_cap\+20\(FP\)"
 118         RET
 119
 120 TEXT ·argiface(SB),0,$0-16
 121         MOVH    x+0(FP), AX // ERROR "invalid MOVH of x\+0\(FP\); interface type is 4-byte value"
 122         MOVW    x+0(FP), AX
 123         MOVH    x_type+0(FP), AX // ERROR "invalid MOVH of x_type\+0\(FP\); interface type is 4-byte value"
 124         MOVW    x_type+0(FP), AX
 125         MOVQ    x_itable+0(FP), AX // ERROR "unknown variable x_itable; offset 0 is x_type\+0\(FP\)"
 126         MOVQ    x_itable+1(FP), AX // ERROR "unknown variable x_itable; offset 1 is x_type\+0\(FP\)"
 127         MOVH    x_data+0(FP), AX // ERROR "invalid offset x_data\+0\(FP\); expected x_data\+4\(FP\)"
 128         MOVW    x_data+0(FP), AX // ERROR "invalid offset x_data\+0\(FP\); expected x_data\+4\(FP\)"
 129         MOVQ    x_data+0(FP), AX // ERROR "invalid offset x_data\+0\(FP\); expected x_data\+4\(FP\)"
 130         MOVH    x_data+4(FP), AX // ERROR "invalid MOVH of x_data\+4\(FP\); interface data is 4-byte value"
 131         MOVW    x_data+4(FP), AX
 132         MOVH    y+8(FP), AX // ERROR "invalid MOVH of y\+8\(FP\); interface itable is 4-byte value"
 133         MOVW    y+8(FP), AX
 134         MOVH    y_itable+8(FP), AX // ERROR "invalid MOVH of y_itable\+8\(FP\); interface itable is 4-byte value"
 135         MOVW    y_itable+8(FP), AX
 136         MOVQ    y_type+8(FP), AX // ERROR "unknown variable y_type; offset 8 is y_itable\+8\(FP\)"
 137         MOVH    y_data+8(FP), AX // ERROR "invalid offset y_data\+8\(FP\); expected y_data\+12\(FP\)"
 138         MOVW    y_data+8(FP), AX // ERROR "invalid offset y_data\+8\(FP\); expected y_data\+12\(FP\)"
 139         MOVQ    y_data+8(FP), AX // ERROR "invalid offset y_data\+8\(FP\); expected y_data\+12\(FP\)"
 140         MOVH    y_data+12(FP), AX // ERROR "invalid MOVH of y_data\+12\(FP\); interface data is 4-byte value"
 141         MOVW    y_data+12(FP), AX
 142         RET
 143
 144 TEXT ·returnint(SB),0,$0-4
 145         MOVB    AX, ret+0(FP) // ERROR "invalid MOVB of ret\+0\(FP\); int is 4-byte value"
 146         MOVH    AX, ret+0(FP) // ERROR "invalid MOVH of ret\+0\(FP\); int is 4-byte value"
 147         MOVW    AX, ret+0(FP)
 148         MOVQ    AX, ret+1(FP) // ERROR "invalid offset ret\+1\(FP\); expected ret\+0\(FP\)"
 149         MOVQ    AX, r+0(FP) // ERROR "unknown variable r; offset 0 is ret\+0\(FP\)"
 150         RET
 151
 152 TEXT ·returnbyte(SB),0,$0-5
 153         MOVW    x+0(FP), AX
 154         MOVB    AX, ret+4(FP)
 155         MOVH    AX, ret+4(FP) // ERROR "invalid MOVH of ret\+4\(FP\); byte is 1-byte value"
 156         MOVW    AX, ret+4(FP) // ERROR "invalid MOVW of ret\+4\(FP\); byte is 1-byte value"
 157         MOVB    AX, ret+3(FP) // ERROR "invalid offset ret\+3\(FP\); expected ret\+4\(FP\)"
 158         RET
 159
 160 TEXT ·returnnamed(SB),0,$0-21
 161         MOVB    x+0(FP), AX
 162         MOVW    AX, r1+4(FP)
 163         MOVH    AX, r2+8(FP)
 164         MOVW    AX, r3+12(FP)
 165         MOVW    AX, r3_base+12(FP)
 166         MOVW    AX, r3_len+16(FP)
 167         MOVB    AX, r4+20(FP)
 168         MOVB    AX, r1+4(FP) // ERROR "invalid MOVB of r1\+4\(FP\); int is 4-byte value"
 169         RET
 170
 171 TEXT ·returnintmissing(SB),0,$0-4
 172         RET // ERROR "RET without writing to 4-byte ret\+0\(FP\)"
 173
 174 TEXT ·leaf(SB),0,$-4-12
 175         MOVW    x+0(FP), AX
 176         MOVW    y+4(FP), AX
 177         MOVW    AX, ret+8(FP)
 178         RET
 179
 180 TEXT ·noframe1(SB),0,$0-4
 181         MOVW    0(R13), AX // Okay; our saved LR
 182         MOVW    4(R13), AX // Okay; caller's saved LR
 183         MOVW    x+8(R13), AX // Okay; x argument
 184         MOVW    12(R13), AX // ERROR "use of 12\(R13\) points beyond argument frame"
 185         RET
 186
 187 TEXT ·noframe2(SB),NOFRAME,$0-4
 188         MOVW    0(R13), AX // Okay; caller's saved LR
 189         MOVW    x+4(R13), AX // Okay; x argument
 190         MOVW    8(R13), AX // ERROR "use of 8\(R13\) points beyond argument frame"
 191         MOVW    12(R13), AX // ERROR "use of 12\(R13\) points beyond argument frame"
 192         RET