User`s guide
12–4 PALcode Violation Checker
Labels
The format of the output .map file generated by the ALIST tool is:
label address
For example:
pvc$osf11$5000 00004298
pvc$osf28$5000.1 00004430
pvc$osf29$5000.2 000044B8
pvc$osf0$3000 000053BC
pvc$osf1$3000.1 000053C0
pvc$osf2$3000.2 000053D0
pvc$osf3$3000.3 000053E0
pvc$osf4$3000.4 000053F0
pvc$osf5$3000.5 00005400
pvc$osf6$3000.6 0000540C
pvc$osf31$84 000056F0
12.3 Labels
Labels are defined in the PALcode source file to allow you to specify additional
information to PVC. Labels serve the following two functions in PVC:
• To suppress error messages, disabling a specific PALcode restriction for a
specific instruction
• To specify how PVC follows a computed goto or subroutine branch
The label format is:
PVC<$><label_name><$><num>[.<dest>]
Table 12–1 describes the parts of a PVC label.
All label examples in this document use a dollar sign ($) as the delimiter.
Table 12–1 PVC Label Format
Label Part Description
PVC Specifies that the label is a PVC label. It must appear in all uppercase or
all lowercase letters.
<$> Specifies single character delimiter. It must be a dollar sign ($).
<label_name> Provides a unique name for the label. This field is ignored by PVC.
<num> Specifies the label type (error, computed goto, or a subroutine branch).
<dest> Specifies that this label is the destination of a computed goto or a
subroutine branch.