Artifact f5bf981e734bedab6536211688031c2e428ba753:


0000: 2e 54 48 20 43 41 4c 4c 42 41 43 4b 20 33 20 22  .TH CALLBACK 3 "
0010: 31 34 20 4a 61 6e 75 61 72 79 20 32 30 30 31 22  14 January 2001"
0020: 0a 2e 53 48 20 4e 41 4d 45 0a 63 61 6c 6c 62 61  ..SH NAME.callba
0030: 63 6b 20 5c 2d 20 63 6c 6f 73 75 72 65 73 20 77  ck \- closures w
0040: 69 74 68 20 76 61 72 69 61 62 6c 65 20 61 72 67  ith variable arg
0050: 75 6d 65 6e 74 73 20 61 73 20 66 69 72 73 74 2d  uments as first-
0060: 63 6c 61 73 73 20 43 20 66 75 6e 63 74 69 6f 6e  class C function
0070: 73 0a 2e 53 48 20 53 59 4e 4f 50 53 49 53 0a 2e  s..SH SYNOPSIS..
0080: 42 20 23 69 6e 63 6c 75 64 65 20 3c 63 61 6c 6c  B #include <call
0090: 62 61 63 6b 2e 68 3e 0a 2e 4c 50 0a 2e 6e 66 0a  back.h>..LP..nf.
00a0: 2e 42 49 20 22 76 6f 69 64 20 22 20 66 75 6e 63  .BI "void " func
00b0: 74 69 6f 6e 20 22 20 28 22 20 64 61 74 61 20 22  tion " (" data "
00c0: 2c 20 22 20 61 6c 69 73 74 20 22 29 22 0a 2e 42  , " alist ")"..B
00d0: 49 20 22 20 20 76 6f 69 64 2a 20 22 20 64 61 74  I "  void* " dat
00e0: 61 20 22 3b 22 0a 2e 42 49 20 22 20 20 76 61 5f  a ";"..BI "  va_
00f0: 61 6c 69 73 74 20 22 20 61 6c 69 73 74 20 22 3b  alist " alist ";
0100: 22 0a 2e 42 49 20 22 7b 22 0a 2e 42 49 20 22 20  "..BI "{"..BI " 
0110: 20 76 61 5f 73 74 61 72 74 5f 22 20 74 79 70 65   va_start_" type
0120: 20 22 28 22 20 61 6c 69 73 74 20 22 5b 2c 20 22   "(" alist "[, "
0130: 20 72 65 74 75 72 6e 5f 74 79 70 65 20 22 5d 29   return_type "])
0140: 3b 22 0a 2e 42 49 20 22 20 20 22 20 61 72 67 20  ;"..BI "  " arg 
0150: 22 20 3d 20 76 61 5f 61 72 67 5f 22 20 74 79 70  " = va_arg_" typ
0160: 65 20 22 28 22 20 61 6c 69 73 74 20 22 5b 2c 20  e "(" alist "[, 
0170: 22 20 61 72 67 5f 74 79 70 65 20 22 5d 29 3b 22  " arg_type "]);"
0180: 0a 2e 42 49 20 22 20 20 76 61 5f 72 65 74 75 72  ..BI "  va_retur
0190: 6e 5f 22 20 74 79 70 65 20 22 28 22 20 61 6c 69  n_" type "(" ali
01a0: 73 74 20 22 5b 5b 2c 20 22 20 72 65 74 75 72 6e  st "[[, " return
01b0: 5f 74 79 70 65 20 22 5d 2c 20 22 20 72 65 74 75  _type "], " retu
01c0: 72 6e 5f 76 61 6c 75 65 20 22 5d 29 3b 22 0a 2e  rn_value "]);"..
01d0: 42 49 20 22 7d 22 0a 2e 66 69 0a 2e 4c 50 0a 2e  BI "}"..fi..LP..
01e0: 49 42 20 63 61 6c 6c 62 61 63 6b 20 22 20 3d 20  IB callback " = 
01f0: 61 6c 6c 6f 63 5f 63 61 6c 6c 62 61 63 6b 28 22  alloc_callback("
0200: 20 22 26 66 75 6e 63 74 69 6f 6e 22 20 22 2c 20   "&function" ", 
0210: 22 20 64 61 74 61 20 22 29 3b 22 0a 2e 4c 50 0a  " data ");"..LP.
0220: 2e 42 49 20 22 66 72 65 65 5f 63 61 6c 6c 62 61  .BI "free_callba
0230: 63 6b 28 22 20 63 61 6c 6c 62 61 63 6b 20 22 29  ck(" callback ")
0240: 3b 22 0a 2e 4c 50 0a 2e 6e 66 0a 2e 42 49 20 22  ;"..LP..nf..BI "
0250: 69 73 5f 63 61 6c 6c 62 61 63 6b 28 22 20 63 61  is_callback(" ca
0260: 6c 6c 62 61 63 6b 20 22 29 22 0a 2e 42 49 20 22  llback ")"..BI "
0270: 63 61 6c 6c 62 61 63 6b 5f 61 64 64 72 65 73 73  callback_address
0280: 28 22 20 63 61 6c 6c 62 61 63 6b 20 22 29 22 0a  (" callback ")".
0290: 2e 42 49 20 22 63 61 6c 6c 62 61 63 6b 5f 64 61  .BI "callback_da
02a0: 74 61 28 22 20 63 61 6c 6c 62 61 63 6b 20 22 29  ta(" callback ")
02b0: 22 0a 2e 66 69 0a 2e 53 48 20 44 45 53 43 52 49  "..fi..SH DESCRI
02c0: 50 54 49 4f 4e 0a 2e 4c 50 0a 54 68 65 73 65 20  PTION..LP.These 
02d0: 66 75 6e 63 74 69 6f 6e 73 20 69 6d 70 6c 65 6d  functions implem
02e0: 65 6e 74 0a 2e 49 20 63 6c 6f 73 75 72 65 73 0a  ent..I closures.
02f0: 77 69 74 68 20 76 61 72 69 61 62 6c 65 20 61 72  with variable ar
0300: 67 75 6d 65 6e 74 73 20 61 73 20 66 69 72 73 74  guments as first
0310: 2d 63 6c 61 73 73 20 43 20 66 75 6e 63 74 69 6f  -class C functio
0320: 6e 73 2e 0a 0a 43 6c 6f 73 75 72 65 73 20 61 73  ns...Closures as
0330: 0a 2e 49 20 66 69 72 73 74 2d 63 6c 61 73 73 20  ..I first-class 
0340: 43 20 66 75 6e 63 74 69 6f 6e 73 0a 6d 65 61 6e  C functions.mean
0350: 73 20 74 68 61 74 20 74 68 65 79 20 66 69 74 20  s that they fit 
0360: 69 6e 74 6f 20 61 20 66 75 6e 63 74 69 6f 6e 20  into a function 
0370: 70 6f 69 6e 74 65 72 20 61 6e 64 20 63 61 6e 20  pointer and can 
0380: 62 65 20 63 61 6c 6c 65 64 20 65 78 61 63 74 6c  be called exactl
0390: 79 0a 6c 69 6b 65 20 61 6e 79 20 6f 74 68 65 72  y.like any other
03a0: 20 43 20 66 75 6e 63 74 69 6f 6e 2e 20 4d 6f 72   C function. Mor
03b0: 65 6f 76 65 72 2c 20 74 68 65 79 20 63 61 6e 20  eover, they can 
03c0: 62 65 20 63 61 6c 6c 65 64 20 77 69 74 68 20 76  be called with v
03d0: 61 72 69 61 62 6c 65 0a 61 72 67 75 6d 65 6e 74  ariable.argument
03e0: 73 20 61 6e 64 20 63 61 6e 20 72 65 74 75 72 6e  s and can return
03f0: 20 76 61 72 69 61 62 6c 65 20 72 65 74 75 72 6e   variable return
0400: 20 76 61 6c 75 65 73 2e 0a 0a 2e 49 42 20 63 61   values....IB ca
0410: 6c 6c 62 61 63 6b 20 22 20 3d 20 61 6c 6c 6f 63  llback " = alloc
0420: 5f 63 61 6c 6c 62 61 63 6b 28 22 20 22 26 66 75  _callback(" "&fu
0430: 6e 63 74 69 6f 6e 22 20 22 2c 20 22 20 64 61 74  nction" ", " dat
0440: 61 20 22 29 22 0a 61 6c 6c 6f 63 61 74 65 73 20  a ")".allocates 
0450: 61 20 63 61 6c 6c 62 61 63 6b 2e 20 57 68 65 6e  a callback. When
0460: 0a 2e 49 20 63 61 6c 6c 62 61 63 6b 0a 67 65 74  ..I callback.get
0470: 73 20 63 61 6c 6c 65 64 2c 20 69 74 20 61 72 72  s called, it arr
0480: 61 6e 67 65 73 20 74 6f 20 63 61 6c 6c 0a 2e 49  anges to call..I
0490: 52 20 66 75 6e 63 74 69 6f 6e 20 22 2c 22 0a 70  R function ",".p
04a0: 61 73 73 69 6e 67 0a 2e 49 20 64 61 74 61 0a 61  assing..I data.a
04b0: 73 20 66 69 72 73 74 20 61 72 67 75 6d 65 6e 74  s first argument
04c0: 20 61 6e 64 2c 20 61 73 20 73 65 63 6f 6e 64 20   and, as second 
04d0: 61 72 67 75 6d 65 6e 74 2c 20 74 68 65 20 65 6e  argument, the en
04e0: 74 69 72 65 20 73 65 71 75 65 6e 63 65 20 6f 66  tire sequence of
04f0: 20 61 72 67 75 6d 65 6e 74 73 0a 70 61 73 73 65   arguments.passe
0500: 64 20 74 6f 0a 2e 49 52 20 63 61 6c 6c 62 61 63  d to..IR callbac
0510: 6b 20 2e 0a 0a 46 75 6e 63 74 69 6f 6e 20 63 61  k ...Function ca
0520: 6c 6c 69 6e 67 20 63 6f 6e 76 65 6e 74 69 6f 6e  lling convention
0530: 73 20 64 69 66 66 65 72 20 63 6f 6e 73 69 64 65  s differ conside
0540: 72 61 62 6c 79 20 6f 6e 20 64 69 66 66 65 72 65  rably on differe
0550: 6e 74 20 6d 61 63 68 69 6e 65 73 2c 0a 74 68 65  nt machines,.the
0560: 72 65 66 6f 72 65 20 74 68 65 20 61 72 67 75 6d  refore the argum
0570: 65 6e 74 73 20 61 72 65 20 61 63 63 65 73 73 65  ents are accesse
0580: 64 20 61 6e 64 20 74 68 65 20 72 65 73 75 6c 74  d and the result
0590: 20 76 61 6c 75 65 20 69 73 20 73 74 6f 72 65 64   value is stored
05a0: 0a 74 68 72 6f 75 67 68 20 74 68 65 20 73 61 6d  .through the sam
05b0: 65 20 6d 61 63 72 6f 73 20 61 73 20 75 73 65 64  e macros as used
05c0: 20 62 79 20 74 68 65 0a 2e 49 20 76 61 63 61 6c   by the..I vacal
05d0: 6c 0a 70 61 63 6b 61 67 65 2c 20 73 65 65 20 62  l.package, see b
05e0: 65 6c 6f 77 2e 0a 0a 54 68 65 20 63 61 6c 6c 62  elow...The callb
05f0: 61 63 6b 73 20 61 72 65 20 66 75 6e 63 74 69 6f  acks are functio
0600: 6e 73 20 77 69 74 68 20 69 6e 64 65 66 69 6e 69  ns with indefini
0610: 74 65 20 65 78 74 65 6e 74 3a 0a 2e 49 20 63 61  te extent:..I ca
0620: 6c 6c 62 61 63 6b 0a 69 73 20 6f 6e 6c 79 20 64  llback.is only d
0630: 65 61 6c 6c 6f 63 61 74 65 64 20 77 68 65 6e 0a  eallocated when.
0640: 2e 42 49 20 66 72 65 65 5f 63 61 6c 6c 62 61 63  .BI free_callbac
0650: 6b 28 20 63 61 6c 6c 62 61 63 6b 20 29 0a 69 73  k( callback ).is
0660: 20 63 61 6c 6c 65 64 2e 0a 0a 2e 42 49 20 22 69   called....BI "i
0670: 73 5f 63 61 6c 6c 62 61 63 6b 28 22 20 63 61 6c  s_callback(" cal
0680: 6c 62 61 63 6b 20 22 29 22 0a 63 68 65 63 6b 73  lback ")".checks
0690: 20 77 68 65 74 68 65 72 20 74 68 65 20 43 20 66   whether the C f
06a0: 75 6e 63 74 69 6f 6e 0a 2e 49 20 63 61 6c 6c 62  unction..I callb
06b0: 61 63 6b 0a 77 61 73 20 70 72 6f 64 75 63 65 64  ack.was produced
06c0: 20 62 79 20 61 20 63 61 6c 6c 20 74 6f 0a 2e 49   by a call to..I
06d0: 52 20 61 6c 6c 6f 63 5f 63 61 6c 6c 62 61 63 6b  R alloc_callback
06e0: 20 2e 0a 49 66 20 74 68 69 73 20 72 65 74 75 72   ..If this retur
06f0: 6e 73 20 74 72 75 65 2c 20 74 68 65 20 61 72 67  ns true, the arg
0700: 75 6d 65 6e 74 73 20 67 69 76 65 6e 20 74 6f 0a  uments given to.
0710: 2e 49 20 61 6c 6c 6f 63 5f 63 61 6c 6c 62 61 63  .I alloc_callbac
0720: 6b 0a 63 61 6e 20 62 65 20 72 65 74 72 69 65 76  k.can be retriev
0730: 65 64 3a 0a 2e 52 53 20 34 0a 2e 4c 50 0a 2e 42  ed:..RS 4..LP..B
0740: 49 20 22 63 61 6c 6c 62 61 63 6b 5f 61 64 64 72  I "callback_addr
0750: 65 73 73 28 22 20 63 61 6c 6c 62 61 63 6b 20 22  ess(" callback "
0760: 29 22 0a 72 65 74 75 72 6e 73 0a 2e 49 52 20 22  )".returns..IR "
0770: 26 66 75 6e 63 74 69 6f 6e 22 20 2c 0a 2e 4c 50  &function" ,..LP
0780: 0a 2e 42 49 20 22 63 61 6c 6c 62 61 63 6b 5f 64  ..BI "callback_d
0790: 61 74 61 28 22 20 63 61 6c 6c 62 61 63 6b 20 22  ata(" callback "
07a0: 29 22 0a 72 65 74 75 72 6e 73 0a 2e 49 52 20 64  )".returns..IR d
07b0: 61 74 61 20 2e 0a 2e 52 45 0a 0a 2e 53 48 20 56  ata ...RE...SH V
07c0: 41 43 41 4c 4c 20 4d 41 43 52 4f 53 0a 0a 57 69  ACALL MACROS..Wi
07d0: 74 68 69 6e 0a 2e 49 52 20 66 75 6e 63 74 69 6f  thin..IR functio
07e0: 6e 20 2c 0a 74 68 65 20 66 6f 6c 6c 6f 77 69 6e  n ,.the followin
07f0: 67 20 6d 61 63 72 6f 73 20 63 61 6e 20 62 65 20  g macros can be 
0800: 75 73 65 64 20 74 6f 20 77 61 6c 6b 20 74 68 72  used to walk thr
0810: 6f 75 67 68 20 74 68 65 20 61 72 67 75 6d 65 6e  ough the argumen
0820: 74 20 6c 69 73 74 20 61 6e 64 0a 73 70 65 63 69  t list and.speci
0830: 66 79 20 61 20 72 65 74 75 72 6e 20 76 61 6c 75  fy a return valu
0840: 65 3a 0a 2e 52 53 20 30 0a 2e 54 50 0a 2e 42 49  e:..RS 0..TP..BI
0850: 20 22 76 61 5f 73 74 61 72 74 5f 22 20 74 79 70   "va_start_" typ
0860: 65 20 22 28 22 20 61 6c 69 73 74 20 22 5b 2c 20  e "(" alist "[, 
0870: 22 20 72 65 74 75 72 6e 5f 74 79 70 65 20 22 5d  " return_type "]
0880: 29 3b 22 0a 73 74 61 72 74 73 20 74 68 65 20 77  );".starts the w
0890: 61 6c 6b 20 74 68 72 6f 75 67 68 20 74 68 65 20  alk through the 
08a0: 61 72 67 75 6d 65 6e 74 20 6c 69 73 74 20 61 6e  argument list an
08b0: 64 20 73 70 65 63 69 66 69 65 73 20 74 68 65 20  d specifies the 
08c0: 72 65 74 75 72 6e 20 74 79 70 65 2e 0a 2e 54 50  return type...TP
08d0: 0a 2e 49 42 20 61 72 67 20 22 20 3d 20 76 61 5f  ..IB arg " = va_
08e0: 61 72 67 5f 22 20 74 79 70 65 20 22 28 22 20 61  arg_" type "(" a
08f0: 6c 69 73 74 20 22 5b 2c 20 22 20 61 72 67 5f 74  list "[, " arg_t
0900: 79 70 65 20 22 5d 29 3b 22 0a 66 65 74 63 68 65  ype "]);".fetche
0910: 73 20 74 68 65 20 6e 65 78 74 20 61 72 67 75 6d  s the next argum
0920: 65 6e 74 20 66 72 6f 6d 20 74 68 65 20 61 72 67  ent from the arg
0930: 75 6d 65 6e 74 20 6c 69 73 74 2e 0a 2e 54 50 0a  ument list...TP.
0940: 2e 42 49 20 22 76 61 5f 72 65 74 75 72 6e 5f 22  .BI "va_return_"
0950: 20 74 79 70 65 20 22 28 22 20 61 6c 69 73 74 20   type "(" alist 
0960: 22 5b 5b 2c 20 22 20 72 65 74 75 72 6e 5f 74 79  "[[, " return_ty
0970: 70 65 20 22 5d 2c 20 22 20 72 65 74 75 72 6e 5f  pe "], " return_
0980: 76 61 6c 75 65 20 22 5d 29 3b 22 0a 65 6e 64 73  value "]);".ends
0990: 20 74 68 65 20 77 61 6c 6b 20 74 68 72 6f 75 67   the walk throug
09a0: 68 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 6c  h the argument l
09b0: 69 73 74 20 61 6e 64 20 73 70 65 63 69 66 69 65  ist and specifie
09c0: 73 20 74 68 65 20 72 65 74 75 72 6e 20 76 61 6c  s the return val
09d0: 75 65 2e 0a 2e 52 45 0a 0a 54 68 65 0a 2e 49 20  ue...RE..The..I 
09e0: 74 79 70 65 0a 69 6e 0a 2e 42 49 20 76 61 5f 73  type.in..BI va_s
09f0: 74 61 72 74 5f 20 74 79 70 65 0a 61 6e 64 0a 2e  tart_ type.and..
0a00: 42 49 20 76 61 5f 72 65 74 75 72 6e 5f 20 74 79  BI va_return_ ty
0a10: 70 65 0a 73 68 61 6c 6c 20 62 65 20 6f 6e 65 20  pe.shall be one 
0a20: 6f 66 0a 2e 42 52 20 76 6f 69 64 20 22 2c 20 22  of..BR void ", "
0a30: 20 69 6e 74 20 22 2c 20 22 20 75 69 6e 74 20 22   int ", " uint "
0a40: 2c 20 22 20 6c 6f 6e 67 20 22 2c 20 22 20 75 6c  , " long ", " ul
0a50: 6f 6e 67 20 22 2c 20 22 20 6c 6f 6e 67 6c 6f 6e  ong ", " longlon
0a60: 67 20 22 2c 20 22 20 75 6c 6f 6e 67 6c 6f 6e 67  g ", " ulonglong
0a70: 20 22 2c 20 22 20 64 6f 75 62 6c 65 20 22 2c 20   ", " double ", 
0a80: 22 20 73 74 72 75 63 74 20 22 2c 20 22 20 70 74  " struct ", " pt
0a90: 72 0a 6f 72 20 28 66 6f 72 20 41 4e 53 49 20 43  r.or (for ANSI C
0aa0: 20 63 61 6c 6c 69 6e 67 20 63 6f 6e 76 65 6e 74   calling convent
0ab0: 69 6f 6e 73 20 6f 6e 6c 79 29 0a 2e 42 52 20 63  ions only)..BR c
0ac0: 68 61 72 20 22 2c 20 22 20 73 63 68 61 72 20 22  har ", " schar "
0ad0: 2c 20 22 20 75 63 68 61 72 20 22 2c 20 22 20 73  , " uchar ", " s
0ae0: 68 6f 72 74 20 22 2c 20 22 20 75 73 68 6f 72 74  hort ", " ushort
0af0: 20 22 2c 20 22 20 66 6c 6f 61 74 20 2c 0a 64 65   ", " float ,.de
0b00: 70 65 6e 64 69 6e 67 20 6f 6e 20 74 68 65 20 63  pending on the c
0b10: 6c 61 73 73 20 6f 66 0a 2e 49 52 20 72 65 74 75  lass of..IR retu
0b20: 72 6e 5f 74 79 70 65 20 2e 0a 0a 54 68 65 0a 2e  rn_type ...The..
0b30: 49 20 74 79 70 65 0a 73 70 65 63 69 66 69 65 72  I type.specifier
0b40: 73 20 69 6e 0a 2e 42 49 20 76 61 5f 73 74 61 72  s in..BI va_star
0b50: 74 5f 20 74 79 70 65 0a 61 6e 64 0a 2e 42 49 20  t_ type.and..BI 
0b60: 76 61 5f 72 65 74 75 72 6e 5f 20 74 79 70 65 0a  va_return_ type.
0b70: 6d 75 73 74 20 62 65 20 74 68 65 20 73 61 6d 65  must be the same
0b80: 2e 0a 54 68 65 0a 2e 49 20 72 65 74 75 72 6e 5f  ..The..I return_
0b90: 74 79 70 65 0a 73 70 65 63 69 66 69 65 72 73 20  type.specifiers 
0ba0: 70 61 73 73 65 64 20 74 6f 0a 2e 42 49 20 76 61  passed to..BI va
0bb0: 5f 73 74 61 72 74 5f 20 74 79 70 65 0a 61 6e 64  _start_ type.and
0bc0: 0a 2e 42 49 20 76 61 5f 72 65 74 75 72 6e 5f 20  ..BI va_return_ 
0bd0: 74 79 70 65 0a 6d 75 73 74 20 62 65 20 74 68 65  type.must be the
0be0: 20 73 61 6d 65 2e 0a 0a 54 68 65 0a 2e 49 20 74   same...The..I t
0bf0: 79 70 65 0a 69 6e 0a 2e 42 49 20 76 61 5f 61 72  ype.in..BI va_ar
0c00: 67 5f 20 74 79 70 65 0a 73 68 61 6c 6c 20 62 65  g_ type.shall be
0c10: 20 6f 6e 65 20 6f 66 0a 2e 42 52 20 69 6e 74 20   one of..BR int 
0c20: 22 2c 20 22 20 75 69 6e 74 20 22 2c 20 22 20 6c  ", " uint ", " l
0c30: 6f 6e 67 20 22 2c 20 22 20 75 6c 6f 6e 67 20 22  ong ", " ulong "
0c40: 2c 20 22 20 6c 6f 6e 67 6c 6f 6e 67 20 22 2c 20  , " longlong ", 
0c50: 22 20 75 6c 6f 6e 67 6c 6f 6e 67 20 22 2c 20 22  " ulonglong ", "
0c60: 20 64 6f 75 62 6c 65 20 22 2c 20 22 20 73 74 72   double ", " str
0c70: 75 63 74 20 22 2c 20 22 20 70 74 72 0a 6f 72 20  uct ", " ptr.or 
0c80: 28 66 6f 72 20 41 4e 53 49 20 43 20 63 61 6c 6c  (for ANSI C call
0c90: 69 6e 67 20 63 6f 6e 76 65 6e 74 69 6f 6e 73 20  ing conventions 
0ca0: 6f 6e 6c 79 29 0a 2e 42 52 20 63 68 61 72 20 22  only)..BR char "
0cb0: 2c 20 22 20 73 63 68 61 72 20 22 2c 20 22 20 75  , " schar ", " u
0cc0: 63 68 61 72 20 22 2c 20 22 20 73 68 6f 72 74 20  char ", " short 
0cd0: 22 2c 20 22 20 75 73 68 6f 72 74 20 22 2c 20 22  ", " ushort ", "
0ce0: 20 66 6c 6f 61 74 20 2c 0a 64 65 70 65 6e 64 69   float ,.dependi
0cf0: 6e 67 20 6f 6e 20 74 68 65 20 63 6c 61 73 73 20  ng on the class 
0d00: 6f 66 0a 2e 49 52 20 61 72 67 5f 74 79 70 65 20  of..IR arg_type 
0d10: 2e 0a 0a 49 6e 0a 2e 42 49 20 22 76 61 5f 73 74  ...In..BI "va_st
0d20: 61 72 74 5f 73 74 72 75 63 74 28 22 20 61 6c 69  art_struct(" ali
0d30: 73 74 20 22 2c 20 22 20 72 65 74 75 72 6e 5f 74  st ", " return_t
0d40: 79 70 65 20 22 2c 20 22 20 73 70 6c 69 74 74 61  ype ", " splitta
0d50: 62 6c 65 20 29 3b 0a 74 68 65 0a 2e 49 20 73 70  ble );.the..I sp
0d60: 6c 69 74 74 61 62 6c 65 0a 66 6c 61 67 20 73 70  littable.flag sp
0d70: 65 63 69 66 69 65 73 20 77 68 65 74 68 65 72 20  ecifies whether 
0d80: 74 68 65 20 73 74 72 75 63 74 0a 2e 49 20 72 65  the struct..I re
0d90: 74 75 72 6e 5f 74 79 70 65 0a 63 61 6e 20 62 65  turn_type.can be
0da0: 20 72 65 74 75 72 6e 65 64 20 69 6e 20 72 65 67   returned in reg
0db0: 69 73 74 65 72 73 20 73 75 63 68 20 74 68 61 74  isters such that
0dc0: 20 65 76 65 72 79 20 73 74 72 75 63 74 20 66 69   every struct fi
0dd0: 65 6c 64 20 66 69 74 73 20 65 6e 74 69 72 65 6c  eld fits entirel
0de0: 79 20 69 6e 0a 61 20 73 69 6e 67 6c 65 20 72 65  y in.a single re
0df0: 67 69 73 74 65 72 2e 20 54 68 69 73 20 6e 65 65  gister. This nee
0e00: 64 73 20 74 6f 20 62 65 20 73 70 65 63 69 66 69  ds to be specifi
0e10: 65 64 20 66 6f 72 20 73 74 72 75 63 74 73 20 6f  ed for structs o
0e20: 66 20 73 69 7a 65 0a 32 2a 73 69 7a 65 6f 66 28  f size.2*sizeof(
0e30: 6c 6f 6e 67 29 2e 20 46 6f 72 20 73 74 72 75 63  long). For struc
0e40: 74 73 20 6f 66 20 73 69 7a 65 20 3c 3d 20 73 69  ts of size <= si
0e50: 7a 65 6f 66 28 6c 6f 6e 67 29 2c 0a 2e 49 20 73  zeof(long),..I s
0e60: 70 6c 69 74 74 61 62 6c 65 0a 69 73 20 69 67 6e  plittable.is ign
0e70: 6f 72 65 64 20 61 6e 64 20 61 73 73 75 6d 65 64  ored and assumed
0e80: 20 74 6f 20 62 65 20 31 2e 20 46 6f 72 20 73 74   to be 1. For st
0e90: 72 75 63 74 73 20 6f 66 20 73 69 7a 65 20 3e 20  ructs of size > 
0ea0: 32 2a 73 69 7a 65 6f 66 28 6c 6f 6e 67 29 2c 0a  2*sizeof(long),.
0eb0: 2e 49 20 73 70 6c 69 74 74 61 62 6c 65 0a 69 73  .I splittable.is
0ec0: 20 69 67 6e 6f 72 65 64 20 61 6e 64 20 61 73 73   ignored and ass
0ed0: 75 6d 65 64 20 74 6f 20 62 65 20 30 2e 20 54 68  umed to be 0. Th
0ee0: 65 72 65 20 61 72 65 20 73 6f 6d 65 20 68 61 6e  ere are some han
0ef0: 64 79 20 6d 61 63 72 6f 73 20 66 6f 72 20 74 68  dy macros for th
0f00: 69 73 3a 0a 2e 6e 66 0a 2e 42 49 20 22 76 61 5f  is:..nf..BI "va_
0f10: 77 6f 72 64 5f 73 70 6c 69 74 74 61 62 6c 65 5f  word_splittable_
0f20: 31 20 28 22 20 74 79 70 65 31 20 29 0a 2e 42 49  1 (" type1 )..BI
0f30: 20 22 76 61 5f 77 6f 72 64 5f 73 70 6c 69 74 74   "va_word_splitt
0f40: 61 62 6c 65 5f 32 20 28 22 20 74 79 70 65 31 20  able_2 (" type1 
0f50: 22 2c 20 22 20 74 79 70 65 32 20 29 0a 2e 42 49  ", " type2 )..BI
0f60: 20 22 76 61 5f 77 6f 72 64 5f 73 70 6c 69 74 74   "va_word_splitt
0f70: 61 62 6c 65 5f 33 20 28 22 20 74 79 70 65 31 20  able_3 (" type1 
0f80: 22 2c 20 22 20 74 79 70 65 32 20 22 2c 20 22 20  ", " type2 ", " 
0f90: 74 79 70 65 33 20 29 0a 2e 42 49 20 22 76 61 5f  type3 )..BI "va_
0fa0: 77 6f 72 64 5f 73 70 6c 69 74 74 61 62 6c 65 5f  word_splittable_
0fb0: 34 20 28 22 20 74 79 70 65 31 20 22 2c 20 22 20  4 (" type1 ", " 
0fc0: 74 79 70 65 32 20 22 2c 20 22 20 74 79 70 65 33  type2 ", " type3
0fd0: 20 22 2c 20 22 20 74 79 70 65 34 20 29 0a 2e 66   ", " type4 )..f
0fe0: 69 0a 46 6f 72 20 61 20 73 74 72 75 63 74 20 77  i.For a struct w
0ff0: 69 74 68 20 74 68 72 65 65 20 73 6c 6f 74 73 0a  ith three slots.
1000: 2e 6e 66 0a 2e 42 49 20 22 73 74 72 75 63 74 20  .nf..BI "struct 
1010: 7b 20 22 20 22 74 79 70 65 31 20 69 64 31 22 20  { " "type1 id1" 
1020: 22 3b 20 22 20 22 74 79 70 65 32 20 69 64 32 22  "; " "type2 id2"
1030: 20 22 3b 20 22 20 22 74 79 70 65 33 20 69 64 33   "; " "type3 id3
1040: 22 20 22 3b 20 7d 22 0a 2e 66 69 0a 79 6f 75 20  " "; }"..fi.you 
1050: 63 61 6e 20 73 70 65 63 69 66 79 0a 2e 49 20 73  can specify..I s
1060: 70 6c 69 74 74 61 62 6c 65 0a 61 73 0a 2e 42 49  plittable.as..BI
1070: 20 22 76 61 5f 77 6f 72 64 5f 73 70 6c 69 74 74   "va_word_splitt
1080: 61 62 6c 65 5f 33 20 28 22 20 74 79 70 65 31 20  able_3 (" type1 
1090: 22 2c 20 22 20 74 79 70 65 32 20 22 2c 20 22 20  ", " type2 ", " 
10a0: 74 79 70 65 33 20 29 0a 2e 52 42 20 2e 0a 0a 2e  type3 )..RB ....
10b0: 53 48 20 4e 4f 54 45 53 0a 0a 46 75 6e 63 74 69  SH NOTES..Functi
10c0: 6f 6e 73 20 77 68 69 63 68 20 77 61 6e 74 20 74  ons which want t
10d0: 6f 20 65 6d 75 6c 61 74 65 20 4b 65 72 6e 69 67  o emulate Kernig
10e0: 68 61 6e 20 26 20 52 69 74 63 68 69 65 20 73 74  han & Ritchie st
10f0: 79 6c 65 20 66 75 6e 63 74 69 6f 6e 73 20 28 69  yle functions (i
1100: 2e 65 2e 2c 0a 69 6e 20 41 4e 53 49 20 43 2c 20  .e.,.in ANSI C, 
1110: 66 75 6e 63 74 69 6f 6e 73 20 77 69 74 68 6f 75  functions withou
1120: 74 20 61 20 74 79 70 65 64 20 61 72 67 75 6d 65  t a typed argume
1130: 6e 74 20 6c 69 73 74 29 20 63 61 6e 6e 6f 74 20  nt list) cannot 
1140: 75 73 65 20 74 68 65 0a 2e 49 20 74 79 70 65 0a  use the..I type.
1150: 76 61 6c 75 65 73 0a 2e 42 52 20 63 68 61 72 20  values..BR char 
1160: 22 2c 20 22 20 73 63 68 61 72 20 22 2c 20 22 20  ", " schar ", " 
1170: 75 63 68 61 72 20 22 2c 20 22 20 73 68 6f 72 74  uchar ", " short
1180: 20 22 2c 20 22 20 75 73 68 6f 72 74 20 22 2c 20   ", " ushort ", 
1190: 22 20 66 6c 6f 61 74 20 2e 0a 41 73 20 70 72 65  " float ..As pre
11a0: 73 63 72 69 62 65 64 20 62 79 20 74 68 65 20 64  scribed by the d
11b0: 65 66 61 75 6c 74 20 4b 26 52 20 43 20 65 78 70  efault K&R C exp
11c0: 72 65 73 73 69 6f 6e 20 70 72 6f 6d 6f 74 69 6f  ression promotio
11d0: 6e 73 2c 20 74 68 65 79 20 68 61 76 65 0a 74 6f  ns, they have.to
11e0: 20 75 73 65 0a 2e 42 20 69 6e 74 0a 69 6e 73 74   use..B int.inst
11f0: 65 61 64 20 6f 66 0a 2e 42 52 20 63 68 61 72 20  ead of..BR char 
1200: 22 2c 20 22 20 73 63 68 61 72 20 22 2c 20 22 20  ", " schar ", " 
1210: 75 63 68 61 72 20 22 2c 20 22 20 73 68 6f 72 74  uchar ", " short
1220: 20 22 2c 20 22 20 75 73 68 6f 72 74 0a 61 6e 64   ", " ushort.and
1230: 0a 2e 42 20 64 6f 75 62 6c 65 0a 69 6e 73 74 65  ..B double.inste
1240: 61 64 20 6f 66 0a 2e 42 52 20 66 6c 6f 61 74 20  ad of..BR float 
1250: 2e 0a 0a 54 68 65 20 6d 61 63 72 6f 73 0a 2e 42  ...The macros..B
1260: 52 20 76 61 5f 73 74 61 72 74 5f 6c 6f 6e 67 6c  R va_start_longl
1270: 6f 6e 67 28 5c 7c 29 20 2c 0a 2e 42 52 20 76 61  ong(\|) ,..BR va
1280: 5f 73 74 61 72 74 5f 75 6c 6f 6e 67 6c 6f 6e 67  _start_ulonglong
1290: 28 5c 7c 29 20 2c 0a 2e 42 52 20 76 61 5f 72 65  (\|) ,..BR va_re
12a0: 74 75 72 6e 5f 6c 6f 6e 67 6c 6f 6e 67 28 5c 7c  turn_longlong(\|
12b0: 29 20 2c 0a 2e 42 52 20 76 61 5f 72 65 74 75 72  ) ,..BR va_retur
12c0: 6e 5f 75 6c 6f 6e 67 6c 6f 6e 67 28 5c 7c 29 20  n_ulonglong(\|) 
12d0: 2c 0a 2e 42 20 76 61 5f 61 72 67 5f 6c 6f 6e 67  ,..B va_arg_long
12e0: 6c 6f 6e 67 28 5c 7c 29 0a 61 6e 64 0a 2e 42 20  long(\|).and..B 
12f0: 76 61 5f 61 72 67 5f 75 6c 6f 6e 67 6c 6f 6e 67  va_arg_ulonglong
1300: 28 5c 7c 29 0a 77 6f 72 6b 20 6f 6e 6c 79 20 69  (\|).work only i
1310: 66 20 74 68 65 20 43 20 63 6f 6d 70 69 6c 65 72  f the C compiler
1320: 20 68 61 73 20 61 20 77 6f 72 6b 69 6e 67 0a 2e   has a working..
1330: 42 20 6c 6f 6e 67 20 6c 6f 6e 67 0a 36 34 2d 62  B long long.64-b
1340: 69 74 20 69 6e 74 65 67 65 72 20 74 79 70 65 2e  it integer type.
1350: 0a 0a 54 68 65 20 73 74 72 75 63 74 20 74 79 70  ..The struct typ
1360: 65 73 20 75 73 65 64 20 69 6e 0a 2e 42 20 76 61  es used in..B va
1370: 5f 73 74 61 72 74 5f 73 74 72 75 63 74 28 5c 7c  _start_struct(\|
1380: 29 0a 61 6e 64 0a 2e 42 20 76 61 5f 73 74 72 75  ).and..B va_stru
1390: 63 74 28 5c 7c 29 0a 6d 75 73 74 20 6f 6e 6c 79  ct(\|).must only
13a0: 20 63 6f 6e 74 61 69 6e 20 28 73 69 67 6e 65 64   contain (signed
13b0: 20 6f 72 20 75 6e 73 69 67 6e 65 64 29 20 69 6e   or unsigned) in
13c0: 74 2c 20 6c 6f 6e 67 2c 20 6c 6f 6e 67 20 6c 6f  t, long, long lo
13d0: 6e 67 20 6f 72 20 70 6f 69 6e 74 65 72 20 66 69  ng or pointer fi
13e0: 65 6c 64 73 2e 0a 53 74 72 75 63 74 20 74 79 70  elds..Struct typ
13f0: 65 73 20 63 6f 6e 74 61 69 6e 69 6e 67 20 28 73  es containing (s
1400: 69 67 6e 65 64 20 6f 72 20 75 6e 73 69 67 6e 65  igned or unsigne
1410: 64 29 20 63 68 61 72 2c 20 73 68 6f 72 74 2c 20  d) char, short, 
1420: 66 6c 6f 61 74 2c 20 64 6f 75 62 6c 65 20 6f 72  float, double or
1430: 0a 6f 74 68 65 72 20 73 74 72 75 63 74 73 20 61  .other structs a
1440: 72 65 20 6e 6f 74 20 73 75 70 70 6f 72 74 65 64  re not supported
1450: 2e 0a 0a 2e 53 48 20 53 45 45 20 41 4c 53 4f 0a  ....SH SEE ALSO.
1460: 2e 42 52 20 76 61 63 61 6c 6c 20 28 33 29 2c 0a  .BR vacall (3),.
1470: 2e 42 52 20 74 72 61 6d 70 6f 6c 69 6e 65 20 28  .BR trampoline (
1480: 33 29 2e 0a 0a 2e 53 48 20 42 55 47 53 0a 0a 54  3)....SH BUGS..T
1490: 68 65 20 63 75 72 72 65 6e 74 20 69 6d 70 6c 65  he current imple
14a0: 6d 65 6e 74 61 74 69 6f 6e 73 20 68 61 76 65 20  mentations have 
14b0: 62 65 65 6e 20 74 65 73 74 65 64 20 6f 6e 20 61  been tested on a
14c0: 20 73 65 6c 65 63 74 69 6f 6e 20 6f 66 20 63 6f   selection of co
14d0: 6d 6d 6f 6e 0a 63 61 73 65 73 20 62 75 74 20 74  mmon.cases but t
14e0: 68 65 72 65 20 61 72 65 20 70 72 6f 62 61 62 6c  here are probabl
14f0: 79 20 73 74 69 6c 6c 20 6d 61 6e 79 20 62 75 67  y still many bug
1500: 73 2e 0a 0a 54 68 65 72 65 20 61 72 65 20 74 79  s...There are ty
1510: 70 69 63 61 6c 6c 79 20 62 75 69 6c 74 2d 69 6e  pically built-in
1520: 20 6c 69 6d 69 74 73 20 6f 6e 20 74 68 65 20 73   limits on the s
1530: 69 7a 65 20 6f 66 20 74 68 65 20 61 72 67 75 6d  ize of the argum
1540: 65 6e 74 2d 6c 69 73 74 2c 0a 77 68 69 63 68 20  ent-list,.which 
1550: 6d 61 79 20 61 6c 73 6f 20 69 6e 63 6c 75 64 65  may also include
1560: 20 74 68 65 20 73 69 7a 65 20 6f 66 20 61 6e 79   the size of any
1570: 20 73 74 72 75 63 74 75 72 65 20 61 72 67 75 6d   structure argum
1580: 65 6e 74 73 2e 0a 0a 54 68 65 20 64 65 63 69 73  ents...The decis
1590: 69 6f 6e 20 77 68 65 74 68 65 72 20 61 20 73 74  ion whether a st
15a0: 72 75 63 74 20 69 73 20 74 6f 20 62 65 20 72 65  ruct is to be re
15b0: 74 75 72 6e 65 64 20 69 6e 20 72 65 67 69 73 74  turned in regist
15c0: 65 72 73 20 6f 72 20 69 6e 20 6d 65 6d 6f 72 79  ers or in memory
15d0: 0a 63 6f 6e 73 69 64 65 72 73 20 6f 6e 6c 79 20  .considers only 
15e0: 74 68 65 20 73 74 72 75 63 74 27 73 20 73 69 7a  the struct's siz
15f0: 65 20 61 6e 64 20 61 6c 69 67 6e 6d 65 6e 74 2e  e and alignment.
1600: 20 54 68 69 73 20 69 73 20 69 6e 61 63 63 75 72   This is inaccur
1610: 61 74 65 3a 20 66 6f 72 0a 65 78 61 6d 70 6c 65  ate: for.example
1620: 2c 20 67 63 63 20 6f 6e 20 6d 36 38 6b 2d 6e 65  , gcc on m68k-ne
1630: 78 74 20 72 65 74 75 72 6e 73 0a 2e 42 20 22 73  xt returns..B "s
1640: 74 72 75 63 74 20 7b 20 63 68 61 72 20 61 2c 62  truct { char a,b
1650: 2c 63 3b 20 7d 22 0a 69 6e 20 72 65 67 69 73 74  ,c; }".in regist
1660: 65 72 73 20 61 6e 64 0a 2e 42 20 22 73 74 72 75  ers and..B "stru
1670: 63 74 20 7b 20 63 68 61 72 20 61 5b 33 5d 3b 20  ct { char a[3]; 
1680: 7d 22 0a 69 6e 20 6d 65 6d 6f 72 79 2c 20 61 6c  }".in memory, al
1690: 74 68 6f 75 67 68 20 62 6f 74 68 20 74 79 70 65  though both type
16a0: 73 20 68 61 76 65 20 74 68 65 20 73 61 6d 65 20  s have the same 
16b0: 73 69 7a 65 20 61 6e 64 20 74 68 65 20 73 61 6d  size and the sam
16c0: 65 20 61 6c 69 67 6e 6d 65 6e 74 2e 0a 0a 2e 42  e alignment....B
16d0: 20 3c 63 61 6c 6c 62 61 63 6b 2e 68 3e 0a 63 61   <callback.h>.ca
16e0: 6e 6e 6f 74 20 62 65 20 69 6e 63 6c 75 64 65 64  nnot be included
16f0: 20 77 68 65 6e 0a 2e 42 20 3c 76 61 72 61 72 67   when..B <vararg
1700: 73 2e 68 3e 0a 6f 72 0a 2e 42 20 3c 73 74 64 61  s.h>.or..B <stda
1710: 72 67 2e 68 3e 0a 69 73 20 69 6e 63 6c 75 64 65  rg.h>.is include
1720: 64 2e 0a 28 4e 61 6d 65 20 63 6c 61 73 68 20 66  d..(Name clash f
1730: 6f 72 0a 2e 42 52 20 76 61 5f 61 6c 69 73 74 20  or..BR va_alist 
1740: 22 2e 29 22 0a 0a 54 68 65 20 61 72 67 75 6d 65  ".)"..The argume
1750: 6e 74 20 6c 69 73 74 20 63 61 6e 20 6f 6e 6c 79  nt list can only
1760: 20 62 65 20 77 61 6c 6b 65 64 20 6f 6e 63 65 2e   be walked once.
1770: 0a 0a 2e 53 48 20 4e 4f 4e 2d 42 55 47 53 0a 0a  ...SH NON-BUGS..
1780: 41 6c 6c 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 20  All information 
1790: 69 73 20 70 61 73 73 65 64 20 69 6e 20 43 50 55  is passed in CPU
17a0: 20 72 65 67 69 73 74 65 72 73 20 61 6e 64 20 74   registers and t
17b0: 68 65 20 73 74 61 63 6b 2e 20 54 68 65 0a 2e 42  he stack. The..B
17c0: 20 63 61 6c 6c 62 61 63 6b 0a 70 61 63 6b 61 67   callback.packag
17d0: 65 20 69 73 20 74 68 65 72 65 66 6f 72 65 20 6d  e is therefore m
17e0: 75 6c 74 69 74 68 72 65 61 64 2d 73 61 66 65 2e  ultithread-safe.
17f0: 0a 0a 2e 53 48 20 50 4f 52 54 49 4e 47 0a 0a 50  ...SH PORTING..P
1800: 6f 72 74 69 6e 67 0a 2e 42 20 63 61 6c 6c 62 61  orting..B callba
1810: 63 6b 0a 63 6f 6e 73 69 73 74 73 20 69 6e 20 66  ck.consists in f
1820: 69 72 73 74 20 70 6f 72 74 69 6e 67 20 74 68 65  irst porting the
1830: 0a 2e 42 20 76 61 63 61 6c 6c 0a 61 6e 64 0a 2e  ..B vacall.and..
1840: 42 20 74 72 61 6d 70 6f 6c 69 6e 65 0a 70 61 63  B trampoline.pac
1850: 6b 61 67 65 73 2c 20 74 68 65 6e 20 63 68 6f 6f  kages, then choo
1860: 73 69 6e 67 20 61 20 43 50 55 20 72 65 67 69 73  sing a CPU regis
1870: 74 65 72 20 66 6f 72 20 70 61 73 73 69 6e 67 20  ter for passing 
1880: 74 68 65 20 63 6c 6f 73 75 72 65 20 66 72 6f 6d  the closure from
1890: 0a 2e 42 20 74 72 61 6d 70 6f 6c 69 6e 65 0a 74  ..B trampoline.t
18a0: 6f 0a 2e 42 52 20 76 61 63 61 6c 6c 20 2e 0a 54  o..BR vacall ..T
18b0: 68 69 73 20 72 65 67 69 73 74 65 72 20 69 73 20  his register is 
18c0: 6e 6f 72 6d 61 6c 6c 79 20 74 68 65 20 72 65 67  normally the reg
18d0: 69 73 74 65 72 20 64 65 73 69 67 6e 61 74 65 64  ister designated
18e0: 20 62 79 20 53 54 41 54 49 43 5f 43 48 41 49 4e   by STATIC_CHAIN
18f0: 5f 52 45 47 4e 55 4d 0a 69 6e 20 74 68 65 20 67  _REGNUM.in the g
1900: 63 63 20 73 6f 75 72 63 65 2c 20 66 69 6c 65 0a  cc source, file.
1910: 2e 52 49 20 67 63 63 2d 32 2e 37 2e 32 2f 63 6f  .RI gcc-2.7.2/co
1920: 6e 66 69 67 2f 20 63 70 75 20 2f 20 63 70 75 20  nfig/ cpu / cpu 
1930: 2e 68 2e 0a 0a 2e 53 48 20 41 55 54 48 4f 52 0a  .h....SH AUTHOR.
1940: 0a 42 72 75 6e 6f 20 48 61 69 62 6c 65 20 3c 62  .Bruno Haible <b
1950: 72 75 6e 6f 40 63 6c 69 73 70 2e 6f 72 67 3e 0a  runo@clisp.org>.
1960: 0a 2e 53 48 20 41 43 4b 4e 4f 57 4c 45 44 47 45  ..SH ACKNOWLEDGE
1970: 4d 45 4e 54 53 0a 0a 4d 61 6e 79 20 69 64 65 61  MENTS..Many idea
1980: 73 20 77 65 72 65 20 63 72 69 62 62 65 64 20 66  s were cribbed f
1990: 72 6f 6d 20 74 68 65 20 67 63 63 20 73 6f 75 72  rom the gcc sour
19a0: 63 65 2e 0a 0a                                   ce...