变量中间代码结构 V≡idV. tuple=空 V≡V1.id tuple (AADD, V. Arg, offset(id), V. Arg) v v1[E]V1.tuple E tuple (SUBI, E. Arg, low, t1) (MULTI, t1, size, t2 (AADD, V1. Arg, t2, V Arg V=V↑v.up|e (ASSIGN, V1. Arg, V. Arg)变量中间代码结构 V.tuple=空 • V  V 1.id V 1.tuple (AADD,V1.Arg,offset(id),V.Arg) • V  V 1[E] V 1.tuple E.tuple (SUBI, E.Arg, low, t1) (MULTI, t1, size, t2) (AADD, V1.Arg, t2, V.Arg) • V  V 1  V 1.tuple (ASSIGN,V1.Arg, V.Arg) • V  id