github.com/powerman/golang-tools@v0.1.11-0.20220410185822-5ad214d8d803/go/analysis/passes/asmdecl/testdata/src/a/asm7.s (about) 1 // Copyright 2016 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 ppc64 ppc64le 6 7 TEXT ·arg1(SB),0,$0-2 8 MOVB x+0(FP), R3 9 MOVBZ y+1(FP), R4 10 MOVH x+0(FP), R3 // want `\[(ppc64|ppc64le)\] arg1: invalid MOVH of x\+0\(FP\); int8 is 1-byte value` 11 MOVHZ y+1(FP), R3 // want `invalid MOVHZ of y\+1\(FP\); uint8 is 1-byte value` 12 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); int8 is 1-byte value` 13 MOVWZ y+1(FP), R3 // want `invalid MOVWZ of y\+1\(FP\); uint8 is 1-byte value` 14 MOVD x+0(FP), R3 // want `invalid MOVD of x\+0\(FP\); int8 is 1-byte value` 15 MOVD y+1(FP), R3 // want `invalid MOVD of y\+1\(FP\); uint8 is 1-byte value` 16 MOVB x+1(FP), R3 // want `invalid offset x\+1\(FP\); expected x\+0\(FP\)` 17 MOVBZ y+2(FP), R3 // want `invalid offset y\+2\(FP\); expected y\+1\(FP\)` 18 MOVB 16(R1), R3 // want `16\(R1\) should be x\+0\(FP\)` 19 MOVB 17(R1), R3 // want `17\(R1\) should be y\+1\(FP\)` 20 MOVB 18(R1), R3 // want `use of 18\(R1\) points beyond argument frame` 21 RET 22 23 TEXT ·arg2(SB),0,$0-4 24 MOVBZ x+0(FP), R3 // want `arg2: invalid MOVBZ of x\+0\(FP\); int16 is 2-byte value` 25 MOVB y+2(FP), R3 // want `invalid MOVB of y\+2\(FP\); uint16 is 2-byte value` 26 MOVHZ x+0(FP), R3 27 MOVH y+2(FP), R4 28 MOVWZ x+0(FP), R3 // want `invalid MOVWZ of x\+0\(FP\); int16 is 2-byte value` 29 MOVW y+2(FP), R3 // want `invalid MOVW of y\+2\(FP\); uint16 is 2-byte value` 30 MOVD x+0(FP), R3 // want `invalid MOVD of x\+0\(FP\); int16 is 2-byte value` 31 MOVD y+2(FP), R3 // want `invalid MOVD of y\+2\(FP\); uint16 is 2-byte value` 32 MOVHZ x+2(FP), R3 // want `invalid offset x\+2\(FP\); expected x\+0\(FP\)` 33 MOVH y+0(FP), R3 // want `invalid offset y\+0\(FP\); expected y\+2\(FP\)` 34 RET 35 36 TEXT ·arg4(SB),0,$0-2 // want `arg4: wrong argument size 2; expected \$\.\.\.-8` 37 MOVB x+0(FP), R3 // want `invalid MOVB of x\+0\(FP\); int32 is 4-byte value` 38 MOVB y+4(FP), R4 // want `invalid MOVB of y\+4\(FP\); uint32 is 4-byte value` 39 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); int32 is 4-byte value` 40 MOVH y+4(FP), R3 // want `invalid MOVH of y\+4\(FP\); uint32 is 4-byte value` 41 MOVW x+0(FP), R3 42 MOVW y+4(FP), R3 43 MOVD x+0(FP), R3 // want `invalid MOVD of x\+0\(FP\); int32 is 4-byte value` 44 MOVD y+4(FP), R3 // want `invalid MOVD of y\+4\(FP\); uint32 is 4-byte value` 45 MOVW x+4(FP), R3 // want `invalid offset x\+4\(FP\); expected x\+0\(FP\)` 46 MOVW y+2(FP), R3 // want `invalid offset y\+2\(FP\); expected y\+4\(FP\)` 47 RET 48 49 TEXT ·arg8(SB),7,$0-2 // want `wrong argument size 2; expected \$\.\.\.-16` 50 MOVB x+0(FP), R3 // want `invalid MOVB of x\+0\(FP\); int64 is 8-byte value` 51 MOVB y+8(FP), R4 // want `invalid MOVB of y\+8\(FP\); uint64 is 8-byte value` 52 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); int64 is 8-byte value` 53 MOVH y+8(FP), R3 // want `invalid MOVH of y\+8\(FP\); uint64 is 8-byte value` 54 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); int64 is 8-byte value` 55 MOVW y+8(FP), R3 // want `invalid MOVW of y\+8\(FP\); uint64 is 8-byte value` 56 MOVD x+0(FP), R3 57 MOVD y+8(FP), R3 58 MOVD x+8(FP), R3 // want `invalid offset x\+8\(FP\); expected x\+0\(FP\)` 59 MOVD y+2(FP), R3 // want `invalid offset y\+2\(FP\); expected y\+8\(FP\)` 60 RET 61 62 TEXT ·argint(SB),0,$0-2 // want `wrong argument size 2; expected \$\.\.\.-16` 63 MOVB x+0(FP), R3 // want `invalid MOVB of x\+0\(FP\); int is 8-byte value` 64 MOVB y+8(FP), R4 // want `invalid MOVB of y\+8\(FP\); uint is 8-byte value` 65 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); int is 8-byte value` 66 MOVH y+8(FP), R3 // want `invalid MOVH of y\+8\(FP\); uint is 8-byte value` 67 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); int is 8-byte value` 68 MOVW y+8(FP), R3 // want `invalid MOVW of y\+8\(FP\); uint is 8-byte value` 69 MOVD x+0(FP), R3 70 MOVD y+8(FP), R3 71 MOVD x+8(FP), R3 // want `invalid offset x\+8\(FP\); expected x\+0\(FP\)` 72 MOVD y+2(FP), R3 // want `invalid offset y\+2\(FP\); expected y\+8\(FP\)` 73 RET 74 75 TEXT ·argptr(SB),7,$0-2 // want `wrong argument size 2; expected \$\.\.\.-40` 76 MOVB x+0(FP), R3 // want `invalid MOVB of x\+0\(FP\); \*byte is 8-byte value` 77 MOVB y+8(FP), R4 // want `invalid MOVB of y\+8\(FP\); \*byte is 8-byte value` 78 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); \*byte is 8-byte value` 79 MOVH y+8(FP), R3 // want `invalid MOVH of y\+8\(FP\); \*byte is 8-byte value` 80 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); \*byte is 8-byte value` 81 MOVW y+8(FP), R3 // want `invalid MOVW of y\+8\(FP\); \*byte is 8-byte value` 82 MOVD x+0(FP), R3 83 MOVD y+8(FP), R3 84 MOVD x+8(FP), R3 // want `invalid offset x\+8\(FP\); expected x\+0\(FP\)` 85 MOVD y+2(FP), R3 // want `invalid offset y\+2\(FP\); expected y\+8\(FP\)` 86 MOVW c+16(FP), R3 // want `invalid MOVW of c\+16\(FP\); chan int is 8-byte value` 87 MOVW m+24(FP), R3 // want `invalid MOVW of m\+24\(FP\); map\[int\]int is 8-byte value` 88 MOVW f+32(FP), R3 // want `invalid MOVW of f\+32\(FP\); func\(\) is 8-byte value` 89 RET 90 91 TEXT ·argstring(SB),0,$32 // want `wrong argument size 0; expected \$\.\.\.-32` 92 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); string base is 8-byte value` 93 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); string base is 8-byte value` 94 MOVD x+0(FP), R3 95 MOVH x_base+0(FP), R3 // want `invalid MOVH of x_base\+0\(FP\); string base is 8-byte value` 96 MOVW x_base+0(FP), R3 // want `invalid MOVW of x_base\+0\(FP\); string base is 8-byte value` 97 MOVD x_base+0(FP), R3 98 MOVH x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 99 MOVW x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 100 MOVD x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 101 MOVH x_len+8(FP), R3 // want `invalid MOVH of x_len\+8\(FP\); string len is 8-byte value` 102 MOVW x_len+8(FP), R3 // want `invalid MOVW of x_len\+8\(FP\); string len is 8-byte value` 103 MOVD x_len+8(FP), R3 104 MOVD y+0(FP), R3 // want `invalid offset y\+0\(FP\); expected y\+16\(FP\)` 105 MOVD y_len+8(FP), R3 // want `invalid offset y_len\+8\(FP\); expected y_len\+24\(FP\)` 106 RET 107 108 TEXT ·argslice(SB),0,$48 // want `wrong argument size 0; expected \$\.\.\.-48` 109 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); slice base is 8-byte value` 110 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); slice base is 8-byte value` 111 MOVD x+0(FP), R3 112 MOVH x_base+0(FP), R3 // want `invalid MOVH of x_base\+0\(FP\); slice base is 8-byte value` 113 MOVW x_base+0(FP), R3 // want `invalid MOVW of x_base\+0\(FP\); slice base is 8-byte value` 114 MOVD x_base+0(FP), R3 115 MOVH x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 116 MOVW x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 117 MOVD x_len+0(FP), R3 // want `invalid offset x_len\+0\(FP\); expected x_len\+8\(FP\)` 118 MOVH x_len+8(FP), R3 // want `invalid MOVH of x_len\+8\(FP\); slice len is 8-byte value` 119 MOVW x_len+8(FP), R3 // want `invalid MOVW of x_len\+8\(FP\); slice len is 8-byte value` 120 MOVD x_len+8(FP), R3 121 MOVH x_cap+0(FP), R3 // want `invalid offset x_cap\+0\(FP\); expected x_cap\+16\(FP\)` 122 MOVW x_cap+0(FP), R3 // want `invalid offset x_cap\+0\(FP\); expected x_cap\+16\(FP\)` 123 MOVD x_cap+0(FP), R3 // want `invalid offset x_cap\+0\(FP\); expected x_cap\+16\(FP\)` 124 MOVH x_cap+16(FP), R3 // want `invalid MOVH of x_cap\+16\(FP\); slice cap is 8-byte value` 125 MOVW x_cap+16(FP), R3 // want `invalid MOVW of x_cap\+16\(FP\); slice cap is 8-byte value` 126 MOVD x_cap+16(FP), R3 127 MOVD y+0(FP), R3 // want `invalid offset y\+0\(FP\); expected y\+24\(FP\)` 128 MOVD y_len+8(FP), R3 // want `invalid offset y_len\+8\(FP\); expected y_len\+32\(FP\)` 129 MOVD y_cap+16(FP), R3 // want `invalid offset y_cap\+16\(FP\); expected y_cap\+40\(FP\)` 130 RET 131 132 TEXT ·argiface(SB),0,$0-32 133 MOVH x+0(FP), R3 // want `invalid MOVH of x\+0\(FP\); interface type is 8-byte value` 134 MOVW x+0(FP), R3 // want `invalid MOVW of x\+0\(FP\); interface type is 8-byte value` 135 MOVD x+0(FP), R3 136 MOVH x_type+0(FP), R3 // want `invalid MOVH of x_type\+0\(FP\); interface type is 8-byte value` 137 MOVW x_type+0(FP), R3 // want `invalid MOVW of x_type\+0\(FP\); interface type is 8-byte value` 138 MOVD x_type+0(FP), R3 139 MOVD x_itable+0(FP), R3 // want `unknown variable x_itable; offset 0 is x_type\+0\(FP\)` 140 MOVD x_itable+1(FP), R3 // want `unknown variable x_itable; offset 1 is x_type\+0\(FP\)` 141 MOVH x_data+0(FP), R3 // want `invalid offset x_data\+0\(FP\); expected x_data\+8\(FP\)` 142 MOVW x_data+0(FP), R3 // want `invalid offset x_data\+0\(FP\); expected x_data\+8\(FP\)` 143 MOVD x_data+0(FP), R3 // want `invalid offset x_data\+0\(FP\); expected x_data\+8\(FP\)` 144 MOVH x_data+8(FP), R3 // want `invalid MOVH of x_data\+8\(FP\); interface data is 8-byte value` 145 MOVW x_data+8(FP), R3 // want `invalid MOVW of x_data\+8\(FP\); interface data is 8-byte value` 146 MOVD x_data+8(FP), R3 147 MOVH y+16(FP), R3 // want `invalid MOVH of y\+16\(FP\); interface itable is 8-byte value` 148 MOVW y+16(FP), R3 // want `invalid MOVW of y\+16\(FP\); interface itable is 8-byte value` 149 MOVD y+16(FP), R3 150 MOVH y_itable+16(FP), R3 // want `invalid MOVH of y_itable\+16\(FP\); interface itable is 8-byte value` 151 MOVW y_itable+16(FP), R3 // want `invalid MOVW of y_itable\+16\(FP\); interface itable is 8-byte value` 152 MOVD y_itable+16(FP), R3 153 MOVD y_type+16(FP), R3 // want `unknown variable y_type; offset 16 is y_itable\+16\(FP\)` 154 MOVH y_data+16(FP), R3 // want `invalid offset y_data\+16\(FP\); expected y_data\+24\(FP\)` 155 MOVW y_data+16(FP), R3 // want `invalid offset y_data\+16\(FP\); expected y_data\+24\(FP\)` 156 MOVD y_data+16(FP), R3 // want `invalid offset y_data\+16\(FP\); expected y_data\+24\(FP\)` 157 MOVH y_data+24(FP), R3 // want `invalid MOVH of y_data\+24\(FP\); interface data is 8-byte value` 158 MOVW y_data+24(FP), R3 // want `invalid MOVW of y_data\+24\(FP\); interface data is 8-byte value` 159 MOVD y_data+24(FP), R3 160 RET 161 162 TEXT ·returnint(SB),0,$0-8 163 MOVB R3, ret+0(FP) // want `invalid MOVB of ret\+0\(FP\); int is 8-byte value` 164 MOVH R3, ret+0(FP) // want `invalid MOVH of ret\+0\(FP\); int is 8-byte value` 165 MOVW R3, ret+0(FP) // want `invalid MOVW of ret\+0\(FP\); int is 8-byte value` 166 MOVD R3, ret+0(FP) 167 MOVD R3, ret+1(FP) // want `invalid offset ret\+1\(FP\); expected ret\+0\(FP\)` 168 MOVD R3, r+0(FP) // want `unknown variable r; offset 0 is ret\+0\(FP\)` 169 RET 170 171 TEXT ·returnbyte(SB),0,$0-9 172 MOVD x+0(FP), R3 173 MOVB R3, ret+8(FP) 174 MOVH R3, ret+8(FP) // want `invalid MOVH of ret\+8\(FP\); byte is 1-byte value` 175 MOVW R3, ret+8(FP) // want `invalid MOVW of ret\+8\(FP\); byte is 1-byte value` 176 MOVD R3, ret+8(FP) // want `invalid MOVD of ret\+8\(FP\); byte is 1-byte value` 177 MOVB R3, ret+7(FP) // want `invalid offset ret\+7\(FP\); expected ret\+8\(FP\)` 178 RET 179 180 TEXT ·returnnamed(SB),0,$0-41 181 MOVB x+0(FP), R3 182 MOVD R3, r1+8(FP) 183 MOVH R3, r2+16(FP) 184 MOVD R3, r3+24(FP) 185 MOVD R3, r3_base+24(FP) 186 MOVD R3, r3_len+32(FP) 187 MOVB R3, r4+40(FP) 188 MOVW R3, r1+8(FP) // want `invalid MOVW of r1\+8\(FP\); int is 8-byte value` 189 RET 190 191 TEXT ·returnintmissing(SB),0,$0-8 192 RET // want `RET without writing to 8-byte ret\+0\(FP\)` 193 194 // writing to result in ABIInternal function 195 TEXT ·returnABIInternal<ABIInternal>(SB), NOSPLIT, $8 196 MOVD $123, R3 197 RET 198 TEXT ·returnmissingABIInternal<ABIInternal>(SB), NOSPLIT, $8 199 MOVD $123, R10 200 RET // want `RET without writing to result register`