TAG_LABEL          67 core/vm-x86.c  #define TAG_JMPTO(tag)   TAG_LABEL(tag)
TAG_LABEL          81 core/vm-x86.c  #define TAG_JMPTOW(tag)      TAG_LABEL(tag)
TAG_LABEL         114 core/vm-x86.c          TAG_LABEL(dbl_a); if (two) { TAG_LABEL(dbl_a1); }               \
TAG_LABEL         120 core/vm-x86.c          TAG_LABEL(end_b); \
TAG_LABEL         148 core/vm-x86.c          TAG_LABEL(dbl_a);                               /* #dbl_a: b=int + a=dbl */ \
TAG_LABEL         155 core/vm-x86.c          TAG_LABEL(dbl_b); 				/* #b dbl, a? */ \
TAG_LABEL         165 core/vm-x86.c  	TAG_LABEL(cmp_dbl); ASMS(xmms);			/* ucomisd xmm0<=>xmm1; */ \
TAG_LABEL         167 core/vm-x86.c          TAG_LABEL(false_); X86_MOVQ(op.a, PN_FALSE); 	/* false: -A(%rbp) = FALSE */ \
TAG_LABEL         169 core/vm-x86.c          TAG_LABEL(true_1); TAG_LABEL(true_2); \
TAG_LABEL         869 core/vm-x86.c    TAG_LABEL(false1); TAG_LABEL(false2);			//false:
TAG_LABEL         871 core/vm-x86.c    TAG_LABEL(true1);					//true:
TAG_LABEL         931 core/vm-x86.c    TAG_LABEL(tag);
TAG_LABEL         966 core/vm-x86.c    TAG_LABEL(tag_c);
TAG_LABEL         973 core/vm-x86.c    TAG_LABEL(tag_a1); TAG_LABEL(tag_a2);
TAG_LABEL         983 core/vm-x86.c    TAG_LABEL(tag_d);
TAG_LABEL         986 core/vm-x86.c    TAG_LABEL(tag_b);