User`s guide

12–30 PALcode Violation Checker
PVC Commands
set freq_file
set freq_file
The set freq_file command specifies a file to contain address usage data from
PVC.
Format
set freq_file filename
Parameters
filename
Specifies an output file name.
Description
The set freq_file command opens the specified file name to collect address usage
data. Each line contains address usage information for one address in the following
format:
Addr: xxx Freq: n inst_decode
where: Addr: xxx is the PALcode address.
Freq: n is the number of code paths (permutations) to this address.
inst_decode is the disassembled instruction.
Example
% pvc
PALcode Violation Checker V3.26
Default Cpu set to DECchip 21164 family.
PVC> set cpu 21164
Cpu set to DECchip 21164 family that first shipped in 1994.
PVC> set code osfpal_pc164.nh
PVC> set freq_file freq.log
PVC> do 500