语法

[utag] .union [expr]

[mem₀ ] element [expr₀]
[mem₁ ] element [expr₁]
... 

[mem_n ] .tag utag [expr_n ]
... 

[mem_N ] element [expr_N]

[size] .endunion

label .tag utag

说明

.union 指令用于为（将在同一存储器空间中分配的）备用数据结构体定义的元素分配符号偏移量。这样可使用户定义多个备用结构体，然后由汇编器计算元素偏移量。它与 C 联合体类似。.union 指令不会分配任何存储器空间；仅创建一个可重复使用的符号模板。

.struct 定义可包含一个 .union 定义，且.structs 和 .unions 可嵌套。

.endunion 指令用于终止联合体定义。

.tag 指令为 label 提供结构或联合体特征，以简化符号表示和定义包含其他结构或联合体的结构或联合体。.tag 指令不会分配存储器空间，必须事先定义 .tag 指令的结构体或联合体标签。

与 .struct、.endstruct 和 .tag 指令一起使用的参数包括：

• utag 是联合体的标签。其值与联合体的开头相关联。如果不存在 utag，汇编器会将联合体成员放在全局符号表中，其值是它们距联合体顶部的绝对偏移量。在这种情况下，每个成员必须有唯一的名称。
• expr 是一个可选表达式，指示联合体的开始偏移量。联合体默认始于 0。此参数只能与顶层联合体一同使用，不能用于定义嵌套联合体。
• mem_n/N 是联合体成员的可选标签。该标签是绝对值，相当于距联合体开始处的当前偏移量。联合体成员的标签不能声明为全局标签。
• element（元素）是以下描述符之一：.byte、.char、.int、.long、.word、.xldouble、.half、.short、.string、.float 和 .field。元素也可以是嵌套结构体或联合体，或由其标签声明的结构体或联合体的完整声明。在 .union 指令之后，这些指令描述元素的大小，不分配存储器空间。
• expr_n/N 是表示所描述元素数量的可选表达式，该值默认为 1。.string 元素大小是一个字节，.field 元素大小是一位。
• size 是表示联合体总大小的可选标签。

这些示例展示了有标签和无标签的联合体。

示例 1

       1              
       2                           .global employid
       3                xample     .union            ; utag
       4          0000  ival       .int              ; member1 = int
       5          0000  fval       .float            ; member2 = float
       6          0000  sval       .string           ; member3 = string
       7          0002  real_len   .endunion
       8              
       9 00000000       employid   .usect ".ebss", real_len  ; allocate memory
      10              
      11                employid   .tag xample       ; name an instance
      12              
      13 00000000 08A1-            ADD AR1, #employid.ival
         00000001 0000

示例 2

       1              
       2                      .union          ; utag
       3        0000  x       .long           ; member 1= long
       4        0000  y       .float          ; member 2 = float
       5        0000  z       .int            ; member 3 = int
       6        0002  size_u  .endunion       ; size_u = 2