User`s guide

PALcode Violation Checker 12–1
12
PALcode Violation Checker
12.1 Overview
The PALcode Violation Checker (PVC) tool checks assembly language code for
instruction sequences that could cause unexpected results, and produces warning
messages that describe the violation.
12.2 PVC Input Files
Three input files are required by PVC:
• An executable PALcode image (.exe or .nh)
• A set of PALcode entry points (.ent or .entry)
• A description of PVC symbols (.map)
To generate these files, you need to take the PALcode source and generate an object
file. To generate an object file, preprocess the PALcode source file with the C
preprocessor, and then run GAS. Or, combine these two steps by using the GAS -P
option. For example:
% gas -P -o filename.o filename.s
This produces an object file used as input for the ALIST and ASTRIP tools to
produce the PVC input files.
Figure 12–1 shows the PVC tool map.