# HG changeset patch # User Tassilo Philipp # Date 1645296860 -3600 # Node ID c73c59c8b5538cc0816e5ad21eba4ca919280c55 # Parent 5be9f5ccdd354f8f524e6ba8b59a4e629432deee - sparc32 doc clarifications w/ respect to aggregate passing and returning diff -r 5be9f5ccdd35 -r c73c59c8b553 doc/disas_examples/sparc.sparc.disas --- a/doc/disas_examples/sparc.sparc.disas Sat Feb 19 19:27:22 2022 +0100 +++ b/doc/disas_examples/sparc.sparc.disas Sat Feb 19 19:54:20 2022 +0100 @@ -370,5 +370,635 @@ 148: 81 c3 e0 08 retl ; | epilog 14c: 01 00 00 00 nop ; | branch delay slot + + + +; ---------- structs by value ----------> +; +; struct A { int i, j; long long l; }; +; +; void leaf_call(int b, int c, int d, int e, struct A f, int g, int h) +; { +; } +; +; void nonleaf_call(int a, int b, int c, int d, int e, struct A f, int g, int h) +; { +; /* use some local data */ +; char l[100] ={ 'L'}; +; leaf_call(b, c, d, e, f, g, h); +; } +; +; int main() +; { +; nonleaf_call(0, 1, 2, 3, 4, (struct A){5, 6, 7ll}, 8, 9); +; return 0; +; } + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 98 save %sp, -104, %sp + 4: f0 27 a0 44 st %i0, [ %fp + 0x44 ] + 8: f2 27 a0 48 st %i1, [ %fp + 0x48 ] + c: f4 27 a0 4c st %i2, [ %fp + 0x4c ] + 10: f6 27 a0 50 st %i3, [ %fp + 0x50 ] + 14: fa 27 a0 58 st %i5, [ %fp + 0x58 ] + 18: 81 e8 00 00 restore + 1c: 81 c3 e0 08 retl + 20: 01 00 00 00 nop + +00000024 : + 24: 9d e3 bf 18 save %sp, -232, %sp + 28: f0 27 a0 44 st %i0, [ %fp + 0x44 ] + 2c: f2 27 a0 48 st %i1, [ %fp + 0x48 ] + 30: f4 27 a0 4c st %i2, [ %fp + 0x4c ] + 34: f6 27 a0 50 st %i3, [ %fp + 0x50 ] + 38: f8 27 a0 54 st %i4, [ %fp + 0x54 ] + 3c: a0 10 00 1d mov %i5, %l0 + 40: 82 07 bf 94 add %fp, -108, %g1 + 44: 84 10 20 64 mov 0x64, %g2 + 48: 90 10 00 01 mov %g1, %o0 + 4c: 92 10 20 00 clr %o1 + 50: 94 10 00 02 mov %g2, %o2 + 54: 40 00 00 00 call 54 + 58: 01 00 00 00 nop + 5c: 82 10 20 4c mov 0x4c, %g1 ! 4c + 60: c2 2f bf 94 stb %g1, [ %fp + -108 ] + 64: c4 1c 00 00 ldd [ %l0 ], %g2 + 68: c4 3f bf 80 std %g2, [ %fp + -128 ] + 6c: c4 1c 20 08 ldd [ %l0 + 8 ], %g2 + 70: c4 3f bf 88 std %g2, [ %fp + -120 ] + 74: 84 07 bf 80 add %fp, -128, %g2 + 78: c2 07 a0 60 ld [ %fp + 0x60 ], %g1 + 7c: c2 23 a0 5c st %g1, [ %sp + 0x5c ] + 80: d0 07 a0 48 ld [ %fp + 0x48 ], %o0 + 84: d2 07 a0 4c ld [ %fp + 0x4c ], %o1 + 88: d4 07 a0 50 ld [ %fp + 0x50 ], %o2 + 8c: d6 07 a0 54 ld [ %fp + 0x54 ], %o3 + 90: 98 10 00 02 mov %g2, %o4 + 94: da 07 a0 5c ld [ %fp + 0x5c ], %o5 + 98: 40 00 00 00 call 98 + 9c: 01 00 00 00 nop + a0: 81 e8 00 00 restore + a4: 81 c3 e0 08 retl + a8: 01 00 00 00 nop + +000000ac
: + ac: 9d e3 bf 70 save %sp, -144, %sp + b0: 82 10 20 05 mov 5, %g1 + b4: c2 27 bf e8 st %g1, [ %fp + -24 ] + b8: 82 10 20 06 mov 6, %g1 + bc: c2 27 bf ec st %g1, [ %fp + -20 ] + c0: 84 10 20 00 clr %g2 + c4: 86 10 20 07 mov 7, %g3 + c8: c4 3f bf f0 std %g2, [ %fp + -16 ] + cc: c4 1f bf e8 ldd [ %fp + -24 ], %g2 + d0: c4 3f bf d8 std %g2, [ %fp + -40 ] + d4: c4 1f bf f0 ldd [ %fp + -16 ], %g2 + d8: c4 3f bf e0 std %g2, [ %fp + -32 ] + dc: 84 07 bf d8 add %fp, -40, %g2 + e0: 82 10 20 08 mov 8, %g1 + e4: c2 23 a0 5c st %g1, [ %sp + 0x5c ] + e8: 82 10 20 09 mov 9, %g1 + ec: c2 23 a0 60 st %g1, [ %sp + 0x60 ] + f0: 90 10 20 00 clr %o0 + f4: 92 10 20 01 mov 1, %o1 + f8: 94 10 20 02 mov 2, %o2 + fc: 96 10 20 03 mov 3, %o3 + 100: 98 10 20 04 mov 4, %o4 + 104: 9a 10 00 02 mov %g2, %o5 + 108: 40 00 00 00 call 108 + 10c: 01 00 00 00 nop + 110: 82 10 20 00 clr %g1 ! 0 + 114: b0 10 00 01 mov %g1, %i0 + 118: 81 e8 00 00 restore + 11c: 81 c3 e0 08 retl + 120: 01 00 00 00 nop + + + +; ---------- structs by value, complex example (multiple structs) ----------> +; +; struct A { int i, j; float f; }; +; struct B { double d; long long l; }; +; +; void leaf_call(int b, struct A c, struct B d, int e, int f, struct A g, struct B h, int i, int j) +; { +; } +; +; void nonleaf_call(int a, int b, struct A c, struct B d, int e, int f, struct A g, struct B h, int i, int j) +; { +; /* use some local data */ +; char l[100] ={ 'L'}; +; leaf_call(b, c, d, e, f, g, h, i, j); +; } +; +; int main() +; { +; nonleaf_call(0, 1, (struct A){2, 3, 4.f}, (struct B){5., 6ll}, 7, 8, (struct A){9, 10, 11.f}, (struct B){12., 13ll}, 14, 15); +; return 0; +; } + + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 98 save %sp, -104, %sp + 4: f0 27 a0 44 st %i0, [ %fp + 0x44 ] + 8: f6 27 a0 50 st %i3, [ %fp + 0x50 ] + c: f8 27 a0 54 st %i4, [ %fp + 0x54 ] + 10: 81 e8 00 00 restore + 14: 81 c3 e0 08 retl + 18: 01 00 00 00 nop + +0000001c : + 1c: 9d e3 be e0 save %sp, -288, %sp + 20: f0 27 a0 44 st %i0, [ %fp + 0x44 ] + 24: f2 27 a0 48 st %i1, [ %fp + 0x48 ] + 28: a0 10 00 1a mov %i2, %l0 + 2c: a4 10 00 1b mov %i3, %l2 + 30: f8 27 a0 54 st %i4, [ %fp + 0x54 ] + 34: fa 27 a0 58 st %i5, [ %fp + 0x58 ] + 38: e2 07 a0 5c ld [ %fp + 0x5c ], %l1 + 3c: e6 07 a0 60 ld [ %fp + 0x60 ], %l3 + 40: 82 07 bf 94 add %fp, -108, %g1 + 44: 84 10 20 64 mov 0x64, %g2 + 48: 90 10 00 01 mov %g1, %o0 + 4c: 92 10 20 00 clr %o1 + 50: 94 10 00 02 mov %g2, %o2 + 54: 40 00 00 00 call 54 + 58: 01 00 00 00 nop + 5c: 82 10 20 4c mov 0x4c, %g1 ! 4c + 60: c2 2f bf 94 stb %g1, [ %fp + -108 ] + 64: c2 04 00 00 ld [ %l0 ], %g1 + 68: c2 27 bf 80 st %g1, [ %fp + -128 ] + 6c: c2 04 20 04 ld [ %l0 + 4 ], %g1 + 70: c2 27 bf 84 st %g1, [ %fp + -124 ] + 74: c2 04 20 08 ld [ %l0 + 8 ], %g1 + 78: c2 27 bf 88 st %g1, [ %fp + -120 ] + 7c: c4 1c 80 00 ldd [ %l2 ], %g2 + 80: c4 3f bf 70 std %g2, [ %fp + -144 ] + 84: c4 1c a0 08 ldd [ %l2 + 8 ], %g2 + 88: c4 3f bf 78 std %g2, [ %fp + -136 ] + 8c: c2 04 40 00 ld [ %l1 ], %g1 + 90: c2 27 bf 60 st %g1, [ %fp + -160 ] + 94: c2 04 60 04 ld [ %l1 + 4 ], %g1 + 98: c2 27 bf 64 st %g1, [ %fp + -156 ] + 9c: c2 04 60 08 ld [ %l1 + 8 ], %g1 + a0: c2 27 bf 68 st %g1, [ %fp + -152 ] + a4: c4 1c c0 00 ldd [ %l3 ], %g2 + a8: c4 3f bf 50 std %g2, [ %fp + -176 ] + ac: c4 1c e0 08 ldd [ %l3 + 8 ], %g2 + b0: c4 3f bf 58 std %g2, [ %fp + -168 ] + b4: 84 07 bf 80 add %fp, -128, %g2 + b8: 86 07 bf 70 add %fp, -144, %g3 + bc: 88 07 bf 60 add %fp, -160, %g4 + c0: 82 07 bf 50 add %fp, -176, %g1 + c4: c2 23 a0 5c st %g1, [ %sp + 0x5c ] + c8: c2 07 a0 64 ld [ %fp + 0x64 ], %g1 + cc: c2 23 a0 60 st %g1, [ %sp + 0x60 ] + d0: c2 07 a0 68 ld [ %fp + 0x68 ], %g1 + d4: c2 23 a0 64 st %g1, [ %sp + 0x64 ] + d8: d0 07 a0 48 ld [ %fp + 0x48 ], %o0 + dc: 92 10 00 02 mov %g2, %o1 + e0: 94 10 00 03 mov %g3, %o2 + e4: d6 07 a0 54 ld [ %fp + 0x54 ], %o3 + e8: d8 07 a0 58 ld [ %fp + 0x58 ], %o4 + ec: 9a 10 00 04 mov %g4, %o5 + f0: 40 00 00 00 call f0 + f4: 01 00 00 00 nop + f8: 81 e8 00 00 restore + fc: 81 c3 e0 08 retl + 100: 01 00 00 00 nop + +00000104
: + 104: 9d e3 bf 08 save %sp, -248, %sp + 108: 82 10 20 02 mov 2, %g1 + 10c: c2 27 bf bc st %g1, [ %fp + -68 ] + 110: 82 10 20 03 mov 3, %g1 + 114: c2 27 bf c0 st %g1, [ %fp + -64 ] + 118: 03 00 00 00 sethi %hi(0), %g1 + 11c: 82 10 60 00 mov %g1, %g1 ! 0 + 120: d1 00 40 00 ld [ %g1 ], %f8 + 124: d1 27 bf c4 st %f8, [ %fp + -60 ] + 128: 03 00 00 00 sethi %hi(0), %g1 + 12c: 82 10 60 00 mov %g1, %g1 ! 0 + 130: d1 18 40 00 ldd [ %g1 ], %f8 + 134: d1 3f bf c8 std %f8, [ %fp + -56 ] + 138: 84 10 20 00 clr %g2 + 13c: 86 10 20 06 mov 6, %g3 + 140: c4 3f bf d0 std %g2, [ %fp + -48 ] + 144: 82 10 20 09 mov 9, %g1 + 148: c2 27 bf dc st %g1, [ %fp + -36 ] + 14c: 82 10 20 0a mov 0xa, %g1 + 150: c2 27 bf e0 st %g1, [ %fp + -32 ] + 154: 03 00 00 00 sethi %hi(0), %g1 + 158: 82 10 60 00 mov %g1, %g1 ! 0 + 15c: d1 00 40 00 ld [ %g1 ], %f8 + 160: d1 27 bf e4 st %f8, [ %fp + -28 ] + 164: 03 00 00 00 sethi %hi(0), %g1 + 168: 82 10 60 00 mov %g1, %g1 ! 0 + 16c: d1 18 40 00 ldd [ %g1 ], %f8 + 170: d1 3f bf e8 std %f8, [ %fp + -24 ] + 174: 84 10 20 00 clr %g2 + 178: 86 10 20 0d mov 0xd, %g3 + 17c: c4 3f bf f0 std %g2, [ %fp + -16 ] + 180: c2 07 bf bc ld [ %fp + -68 ], %g1 + 184: c2 27 bf a8 st %g1, [ %fp + -88 ] + 188: c2 07 bf c0 ld [ %fp + -64 ], %g1 + 18c: c2 27 bf ac st %g1, [ %fp + -84 ] + 190: c2 07 bf c4 ld [ %fp + -60 ], %g1 + 194: c2 27 bf b0 st %g1, [ %fp + -80 ] + 198: c4 1f bf c8 ldd [ %fp + -56 ], %g2 + 19c: c4 3f bf 98 std %g2, [ %fp + -104 ] + 1a0: c4 1f bf d0 ldd [ %fp + -48 ], %g2 + 1a4: c4 3f bf a0 std %g2, [ %fp + -96 ] + 1a8: c2 07 bf dc ld [ %fp + -36 ], %g1 + 1ac: c2 27 bf 88 st %g1, [ %fp + -120 ] + 1b0: c2 07 bf e0 ld [ %fp + -32 ], %g1 + 1b4: c2 27 bf 8c st %g1, [ %fp + -116 ] + 1b8: c2 07 bf e4 ld [ %fp + -28 ], %g1 + 1bc: c2 27 bf 90 st %g1, [ %fp + -112 ] + 1c0: c4 1f bf e8 ldd [ %fp + -24 ], %g2 + 1c4: c4 3f bf 78 std %g2, [ %fp + -136 ] + 1c8: c4 1f bf f0 ldd [ %fp + -16 ], %g2 + 1cc: c4 3f bf 80 std %g2, [ %fp + -128 ] + 1d0: 84 07 bf a8 add %fp, -88, %g2 + 1d4: 86 07 bf 98 add %fp, -104, %g3 + 1d8: 82 07 bf 88 add %fp, -120, %g1 + 1dc: c2 23 a0 5c st %g1, [ %sp + 0x5c ] + 1e0: 82 07 bf 78 add %fp, -136, %g1 + 1e4: c2 23 a0 60 st %g1, [ %sp + 0x60 ] + 1e8: 82 10 20 0e mov 0xe, %g1 + 1ec: c2 23 a0 64 st %g1, [ %sp + 0x64 ] + 1f0: 82 10 20 0f mov 0xf, %g1 + 1f4: c2 23 a0 68 st %g1, [ %sp + 0x68 ] + 1f8: 90 10 20 00 clr %o0 + 1fc: 92 10 20 01 mov 1, %o1 + 200: 94 10 00 02 mov %g2, %o2 + 204: 96 10 00 03 mov %g3, %o3 + 208: 98 10 20 07 mov 7, %o4 + 20c: 9a 10 20 08 mov 8, %o5 + 210: 40 00 00 00 call 210 + 214: 01 00 00 00 nop + 218: 82 10 20 00 clr %g1 ! 0 + 21c: b0 10 00 01 mov %g1, %i0 + 220: 81 e8 00 00 restore + 224: 81 c3 e0 08 retl + 228: 01 00 00 00 nop + + + +; ---------- returning 64 bit value ----------> + +; long long f() +; { +; return 7171LL; +; } +; +; int main() +; { +; return (int)f(); +; } + + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 98 save %sp, -104, %sp + 4: 84 10 20 00 clr %g2 + 8: 07 00 00 07 sethi %hi(0x1c00), %g3 + c: 86 10 e0 03 or %g3, 3, %g3 ! 1c03 + 10: b0 10 00 02 mov %g2, %i0 + 14: b2 10 00 03 mov %g3, %i1 + 18: 81 e8 00 00 restore + 1c: 81 c3 e0 08 retl + 20: 01 00 00 00 nop + +00000024
: + 24: 9d e3 bf 98 save %sp, -104, %sp + 28: 40 00 00 00 call 28 + 2c: 01 00 00 00 nop + 30: 84 10 00 08 mov %o0, %g2 + 34: 86 10 00 09 mov %o1, %g3 + 38: 82 10 00 03 mov %g3, %g1 + 3c: b0 10 00 01 mov %g1, %i0 + 40: 81 e8 00 00 restore + 44: 81 c3 e0 08 retl + 48: 01 00 00 00 nop + + + +; ---------- returning structs by value ----------> +; +; struct Small { char x; }; +; struct Big { long long i; long j; }; +; +; struct Small f0() +; { +; struct Small s = { 132 }; +; return s; +; } +; +; struct Big f1() +; { +; struct Big b = { 7171LL, 232 }; +; return b; +; } +; +; int main() +; { +; struct Small s = f0(); +; struct Big b = f1(); +; return b.j + s.x; +; } + + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 90 save %sp, -112, %sp + 4: c2 07 a0 40 ld [ %fp + 0x40 ], %g1 + 8: 84 10 3f 84 mov -124, %g2 + c: c4 2f bf f7 stb %g2, [ %fp + -9 ] + 10: c4 0f bf f7 ldub [ %fp + -9 ], %g2 + 14: c4 28 40 00 stb %g2, [ %g1 ] + 18: b0 10 00 01 mov %g1, %i0 + 1c: 81 e8 00 00 restore + 20: 81 c3 e0 0c jmp %o7 + 0xc + 24: 01 00 00 00 nop + +00000028 : + 28: 9d e3 bf 88 save %sp, -120, %sp + 2c: c8 07 a0 40 ld [ %fp + 0x40 ], %g4 + 30: 84 10 20 00 clr %g2 + 34: 07 00 00 07 sethi %hi(0x1c00), %g3 + 38: 86 10 e0 03 or %g3, 3, %g3 ! 1c03 + 3c: c4 3f bf e8 std %g2, [ %fp + -24 ] + 40: 82 10 20 e8 mov 0xe8, %g1 + 44: c2 27 bf f0 st %g1, [ %fp + -16 ] + 48: c4 1f bf e8 ldd [ %fp + -24 ], %g2 + 4c: c4 39 00 00 std %g2, [ %g4 ] + 50: c4 1f bf f0 ldd [ %fp + -16 ], %g2 + 54: c4 39 20 08 std %g2, [ %g4 + 8 ] + 58: b0 10 00 04 mov %g4, %i0 + 5c: 81 e8 00 00 restore + 60: 81 c3 e0 0c jmp %o7 + 0xc + 64: 01 00 00 00 nop + +00000068
: + 68: 9d e3 bf 78 save %sp, -136, %sp + 6c: 82 07 bf df add %fp, -33, %g1 + 70: c2 23 a0 40 st %g1, [ %sp + 0x40 ] + 74: 40 00 00 00 call 74 + 78: 01 00 00 00 nop + 7c: 00 00 00 01 unimp 0x1 + 80: c2 0f bf df ldub [ %fp + -33 ], %g1 + 84: c2 2f bf f7 stb %g1, [ %fp + -9 ] + 88: 82 07 bf e0 add %fp, -32, %g1 + 8c: c2 23 a0 40 st %g1, [ %sp + 0x40 ] + 90: 40 00 00 00 call 90 + 94: 01 00 00 00 nop + 98: 00 00 00 10 unimp 0x10 + 9c: c4 07 bf e8 ld [ %fp + -24 ], %g2 + a0: c2 0f bf f7 ldub [ %fp + -9 ], %g1 + a4: 83 28 60 18 sll %g1, 0x18, %g1 + a8: 83 38 60 18 sra %g1, 0x18, %g1 + ac: 82 00 80 01 add %g2, %g1, %g1 + b0: b0 10 00 01 mov %g1, %i0 + b4: 81 e8 00 00 restore + b8: 81 c3 e0 08 retl + bc: 01 00 00 00 nop + + + +; ---------- passing structs with only fp parts ----------> +; +; struct A { float a; }; +; struct B { float a, b; }; +; struct C { float a, b, c; }; +; struct D { double a; }; +; struct E { double a, b; }; +; struct F { double a, b, c; }; +; +; void leaf_call(struct A a, struct B b, struct C c, struct D d, struct E e, struct F f) +; { +; } +; +; int main() +; { +; leaf_call((struct A){1.f}, (struct B){2.f,3.f}, (struct C){4.f,5.f,6.f}, (struct D){1.}, (struct E){2.,3.}, (struct F){4.,5.,6.}); +; return 0; +; } + + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 98 save %sp, -104, %sp + 4: 81 e8 00 00 restore + 8: 81 c3 e0 08 retl + c: 01 00 00 00 nop + +00000010
: + 10: 9d e3 bf 00 save %sp, -256, %sp + 14: 03 00 00 00 sethi %hi(0), %g1 + 18: 82 10 60 00 mov %g1, %g1 ! 0 + 1c: d1 00 40 00 ld [ %g1 ], %f8 + 20: d1 27 bf b0 st %f8, [ %fp + -80 ] + 24: 03 00 00 00 sethi %hi(0), %g1 + 28: 82 10 60 00 mov %g1, %g1 ! 0 + 2c: d1 00 40 00 ld [ %g1 ], %f8 + 30: d1 27 bf b4 st %f8, [ %fp + -76 ] + 34: 03 00 00 00 sethi %hi(0), %g1 + 38: 82 10 60 00 mov %g1, %g1 ! 0 + 3c: d1 00 40 00 ld [ %g1 ], %f8 + 40: d1 27 bf b8 st %f8, [ %fp + -72 ] + 44: 03 00 00 00 sethi %hi(0), %g1 + 48: 82 10 60 00 mov %g1, %g1 ! 0 + 4c: d1 00 40 00 ld [ %g1 ], %f8 + 50: d1 27 bf bc st %f8, [ %fp + -68 ] + 54: 03 00 00 00 sethi %hi(0), %g1 + 58: 82 10 60 00 mov %g1, %g1 ! 0 + 5c: d1 00 40 00 ld [ %g1 ], %f8 + 60: d1 27 bf c0 st %f8, [ %fp + -64 ] + 64: 03 00 00 00 sethi %hi(0), %g1 + 68: 82 10 60 00 mov %g1, %g1 ! 0 + 6c: d1 00 40 00 ld [ %g1 ], %f8 + 70: d1 27 bf c4 st %f8, [ %fp + -60 ] + 74: 03 00 00 00 sethi %hi(0), %g1 + 78: 82 10 60 00 mov %g1, %g1 ! 0 + 7c: d1 18 40 00 ldd [ %g1 ], %f8 + 80: d1 3f bf c8 std %f8, [ %fp + -56 ] + 84: 03 00 00 00 sethi %hi(0), %g1 + 88: 82 10 60 00 mov %g1, %g1 ! 0 + 8c: d1 18 40 00 ldd [ %g1 ], %f8 + 90: d1 3f bf d0 std %f8, [ %fp + -48 ] + 94: 03 00 00 00 sethi %hi(0), %g1 + 98: 82 10 60 00 mov %g1, %g1 ! 0 + 9c: d1 18 40 00 ldd [ %g1 ], %f8 + a0: d1 3f bf d8 std %f8, [ %fp + -40 ] + a4: 03 00 00 00 sethi %hi(0), %g1 + a8: 82 10 60 00 mov %g1, %g1 ! 0 + ac: d1 18 40 00 ldd [ %g1 ], %f8 + b0: d1 3f bf e0 std %f8, [ %fp + -32 ] + b4: 03 00 00 00 sethi %hi(0), %g1 + b8: 82 10 60 00 mov %g1, %g1 ! 0 + bc: d1 18 40 00 ldd [ %g1 ], %f8 + c0: d1 3f bf e8 std %f8, [ %fp + -24 ] + c4: 03 00 00 00 sethi %hi(0), %g1 + c8: 82 10 60 00 mov %g1, %g1 ! 0 + cc: d1 18 40 00 ldd [ %g1 ], %f8 + d0: d1 3f bf f0 std %f8, [ %fp + -16 ] + d4: d1 07 bf b0 ld [ %fp + -80 ], %f8 + d8: d1 27 bf ac st %f8, [ %fp + -84 ] + dc: c2 07 bf b4 ld [ %fp + -76 ], %g1 + e0: c2 27 bf a0 st %g1, [ %fp + -96 ] + e4: c2 07 bf b8 ld [ %fp + -72 ], %g1 + e8: c2 27 bf a4 st %g1, [ %fp + -92 ] + ec: c2 07 bf bc ld [ %fp + -68 ], %g1 + f0: c2 27 bf 90 st %g1, [ %fp + -112 ] + f4: c2 07 bf c0 ld [ %fp + -64 ], %g1 + f8: c2 27 bf 94 st %g1, [ %fp + -108 ] + fc: c2 07 bf c4 ld [ %fp + -60 ], %g1 + 100: c2 27 bf 98 st %g1, [ %fp + -104 ] + 104: d1 1f bf c8 ldd [ %fp + -56 ], %f8 + 108: d1 3f bf 88 std %f8, [ %fp + -120 ] + 10c: c4 1f bf d0 ldd [ %fp + -48 ], %g2 + 110: c4 3f bf 78 std %g2, [ %fp + -136 ] + 114: c4 1f bf d8 ldd [ %fp + -40 ], %g2 + 118: c4 3f bf 80 std %g2, [ %fp + -128 ] + 11c: c4 1f bf e0 ldd [ %fp + -32 ], %g2 + 120: c4 3f bf 60 std %g2, [ %fp + -160 ] + 124: c4 1f bf e8 ldd [ %fp + -24 ], %g2 + 128: c4 3f bf 68 std %g2, [ %fp + -152 ] + 12c: c4 1f bf f0 ldd [ %fp + -16 ], %g2 + 130: c4 3f bf 70 std %g2, [ %fp + -144 ] + 134: 82 07 bf ac add %fp, -84, %g1 + 138: 84 07 bf a0 add %fp, -96, %g2 + 13c: 86 07 bf 90 add %fp, -112, %g3 + 140: 88 07 bf 88 add %fp, -120, %g4 + 144: 9a 07 bf 78 add %fp, -136, %o5 + 148: 9e 07 bf 60 add %fp, -160, %o7 + 14c: 90 10 00 01 mov %g1, %o0 + 150: 92 10 00 02 mov %g2, %o1 + 154: 94 10 00 03 mov %g3, %o2 + 158: 96 10 00 04 mov %g4, %o3 + 15c: 98 10 00 0d mov %o5, %o4 + 160: 9a 10 00 0f mov %o7, %o5 + 164: 40 00 00 00 call 164 + 168: 01 00 00 00 nop + 16c: 82 10 20 00 clr %g1 ! 0 + 170: b0 10 00 01 mov %g1, %i0 + 174: 81 e8 00 00 restore + 178: 81 c3 e0 08 retl + 17c: 01 00 00 00 nop + + + +; ---------- single-field structs by values (and small array fields) ----------> +; +; struct C { char c; }; +; struct S { short s; }; +; struct I { int i; }; +; struct F { float f; }; +; struct D { double d; }; +; +; struct C2 { char c[2]; }; +; struct C3 { char c[3]; }; +; +; void leaf_call(struct C2 a, struct C b, struct S c, struct I d, struct F e, struct D f, struct C3 g) +; { +; } +; +; int main() +; { +; leaf_call((struct C2){{0,1}}, (struct C){2}, (struct S){3}, (struct I){4}, (struct F){5.f}, (struct D){6.}, (struct C3){{7,8,9}}); +; return 0; +; } + + + +; output from debian-4.0_r3-sparc w/ gcc 4.1.2 + +00000000 : + 0: 9d e3 bf 98 save %sp, -104, %sp + 4: 81 e8 00 00 restore + 8: 81 c3 e0 08 retl + c: 01 00 00 00 nop + +00000010
: + 10: 9d e3 bf 48 save %sp, -184, %sp + 14: c0 2f bf db clrb [ %fp + -37 ] + 18: 82 10 20 01 mov 1, %g1 + 1c: c2 2f bf dc stb %g1, [ %fp + -36 ] + 20: 82 10 20 02 mov 2, %g1 + 24: c2 2f bf dd stb %g1, [ %fp + -35 ] + 28: 82 10 20 03 mov 3, %g1 + 2c: c2 37 bf de sth %g1, [ %fp + -34 ] + 30: 82 10 20 04 mov 4, %g1 + 34: c2 27 bf e0 st %g1, [ %fp + -32 ] + 38: 03 00 00 00 sethi %hi(0), %g1 + 3c: 82 10 60 00 mov %g1, %g1 ! 0 + 40: d1 00 40 00 ld [ %g1 ], %f8 + 44: d1 27 bf e4 st %f8, [ %fp + -28 ] + 48: 03 00 00 00 sethi %hi(0), %g1 + 4c: 82 10 60 00 mov %g1, %g1 ! 0 + 50: d1 18 40 00 ldd [ %g1 ], %f8 + 54: d1 3f bf e8 std %f8, [ %fp + -24 ] + 58: 82 10 20 07 mov 7, %g1 + 5c: c2 2f bf f5 stb %g1, [ %fp + -11 ] + 60: 82 10 20 08 mov 8, %g1 + 64: c2 2f bf f6 stb %g1, [ %fp + -10 ] + 68: 82 10 20 09 mov 9, %g1 + 6c: c2 2f bf f7 stb %g1, [ %fp + -9 ] + 70: c2 0f bf db ldub [ %fp + -37 ], %g1 + 74: c2 2f bf d0 stb %g1, [ %fp + -48 ] + 78: c2 0f bf dc ldub [ %fp + -36 ], %g1 + 7c: c2 2f bf d1 stb %g1, [ %fp + -47 ] + 80: c2 0f bf dd ldub [ %fp + -35 ], %g1 + 84: c2 2f bf cf stb %g1, [ %fp + -49 ] + 88: c2 17 bf de lduh [ %fp + -34 ], %g1 + 8c: c2 37 bf cc sth %g1, [ %fp + -52 ] + 90: c2 07 bf e0 ld [ %fp + -32 ], %g1 + 94: c2 27 bf c8 st %g1, [ %fp + -56 ] + 98: d1 07 bf e4 ld [ %fp + -28 ], %f8 + 9c: d1 27 bf c4 st %f8, [ %fp + -60 ] + a0: d1 1f bf e8 ldd [ %fp + -24 ], %f8 + a4: d1 3f bf b8 std %f8, [ %fp + -72 ] + a8: c2 0f bf f5 ldub [ %fp + -11 ], %g1 + ac: c2 2f bf b0 stb %g1, [ %fp + -80 ] + b0: c2 0f bf f6 ldub [ %fp + -10 ], %g1 + b4: c2 2f bf b1 stb %g1, [ %fp + -79 ] + b8: c2 0f bf f7 ldub [ %fp + -9 ], %g1 + bc: c2 2f bf b2 stb %g1, [ %fp + -78 ] + c0: 84 07 bf d0 add %fp, -48, %g2 + c4: 86 07 bf cf add %fp, -49, %g3 + c8: 88 07 bf cc add %fp, -52, %g4 + cc: 9a 07 bf c8 add %fp, -56, %o5 + d0: 98 07 bf c4 add %fp, -60, %o4 + d4: 9e 07 bf b8 add %fp, -72, %o7 + d8: 82 07 bf b0 add %fp, -80, %g1 + dc: c2 23 a0 5c st %g1, [ %sp + 0x5c ] + e0: 90 10 00 02 mov %g2, %o0 + e4: 92 10 00 03 mov %g3, %o1 + e8: 94 10 00 04 mov %g4, %o2 + ec: 96 10 00 0d mov %o5, %o3 + f0: 9a 10 00 0f mov %o7, %o5 + f4: 40 00 00 00 call f4 + f8: 01 00 00 00 nop + fc: 82 10 20 00 clr %g1 ! 0 + 100: b0 10 00 01 mov %g1, %i0 + 104: 81 e8 00 00 restore + 108: 81 c3 e0 08 retl + 10c: 01 00 00 00 nop + + + ; vim: ft=asm diff -r 5be9f5ccdd35 -r c73c59c8b553 doc/disas_examples/sparc64.sparc64.disas --- a/doc/disas_examples/sparc64.sparc64.disas Sat Feb 19 19:27:22 2022 +0100 +++ b/doc/disas_examples/sparc64.sparc64.disas Sat Feb 19 19:54:20 2022 +0100 @@ -1473,6 +1473,7 @@ ; } + ; output from openbsd-6.0-sparc64 w/ gcc 4.2.1 0000000000000000 : diff -r 5be9f5ccdd35 -r c73c59c8b553 doc/manual/callconvs/callconv_sparc32.tex --- a/doc/manual/callconvs/callconv_sparc32.tex Sat Feb 19 19:27:22 2022 +0100 +++ b/doc/manual/callconvs/callconv_sparc32.tex Sat Feb 19 19:54:20 2022 +0100 @@ -1,6 +1,6 @@ %////////////////////////////////////////////////////////////////////////////// % -% Copyright (c) 2012-2019 Daniel Adler , +% Copyright (c) 2012-2022 Daniel Adler , % Tassilo Philipp % % Permission to use, copy, modify, and distribute this software for any @@ -63,10 +63,11 @@ \item stack parameter order: right-to-left \item caller cleans up the stack \item stack always aligned to 8 bytes -\item first 6 integers and floats are passed independently in registers using \%o0-\%o5 +\item first 6 integers/pointers and floats are passed independently in registers using \%o0-\%o5 \item for every other argument the stack is used \item all arguments \textless=\ 32 bit are passed as 32 bit values \item 64 bit arguments are passed like two consecutive \textless=\ 32 bit values (which allows for an argument to be split between the stack and \%i5) +\item aggregates (struct, union) of any size, as well as quad precision values are passed indirectly as a pointer to a {\bf copy} of the aggregate (like: struct s2 = s; callee(\&s2);) \item minimum stack size is 64 bytes, b/c stack pointer must always point at enough space to store all \%i* and \%l* registers, used when running out of register windows \item if needed, register spill area is adjacent to parameters \end{itemize} @@ -76,7 +77,8 @@ \begin{itemize} \item results are expected by caller to be returned in \%o0/\%o1 (after reg window restore, meaning callee writes to \%i0/\%i1) for integers \item \%f0/\%f1 are used for floating point values -\item structs/unions are returned in a space allocated by the caller, with a pointer to it passed as a {\bf additional}, hidden stack parameter (see below) +\item aggregates (struct, union) and quad precision values are returned in a space allocated by the caller, with a pointer to it passed +as an {\bf additional}, hidden {\bf stack} parameter (always at \%sp+64 for the caller, see below); that pointer is returned in \%o0 \end{itemize} \paragraph{Stack layout}