Grammar railroad diagram #33
Description
Looking at bif.y there is several conflicts:
bif.y: warning: 125 shift/reduce conflicts [-Wconflicts-sr]
bif.y: warning: 141 reduce/reduce conflicts [-Wconflicts-rr]
The navigable railroad diagram shown bellow can help fix/debug/develop/document the grammar:
//
// EBNF to be viewd at
// (IPV6) https://www.bottlecaps.de/rr/ui
// (IPV4) https://rr.red-dove.com/ui
//
// Copy and paste this at one of the urls shown above in the 'Edit Grammar' tab
// then click the 'View Diagram' tab.
//
bif ::=
group_list
group_list ::=
/*empty*/
| group_list bifoptions
bifoptions ::=
INCLUDE COLON filename
bifoptions ::=
WORD COLON OBRACE file_list EBRACE
file_list ::=
/*empty*/
| file_list file_spec
| file_list other_spec
| file_list image_spec
| file_list metahdr_spec
| file_list new_pdi_spec
| file_list new_file_spec
| file_list partition_spec
metahdr_spec ::=
METAHEADER OBRACE metahdr_attr_list EBRACE
metahdr_attr_list ::=
metahdr_attr
| metahdr_attr COMMA metahdr_attr_list
| metahdr_attr metahdr_attr_list
metahdr_attr ::=
/*empty*/
| ENCRYPTION EQUAL encrvalue
| KEYSRC_ENCRYPTION EQUAL key_src
| AES_KEY_FILE EQUAL filename
| AUTHENTICATION EQUAL authvalue
| PPK_FILE EQUAL filename
| PSK_FILE EQUAL filename
| SPK_FILE EQUAL filename
| SSK_FILE EQUAL filename
| SPK_SIGNATURE_FILE EQUAL filename
| PRESIGN EQUAL filename
| REVOKE_ID EQUAL expression
| CHECKSUM EQUAL checkvalue
| DPA_CM
| BLOCKS EQUAL metahdr_blk
| PUFHD_LOC
optional_data ::=
optional_data_attr
| optional_data_attr SEMICOLON optional_data
optional_data_attr ::=
filename COMMA ID EQUAL expression
| /*empty*/
metahdr_blk ::=
metahdr_blk_attr
| metahdr_blk_attr SEMICOLON metahdr_blk
metahdr_blk_attr ::=
expression
| expression LPAREN expression RPAREN
| expression LPAREN ASTERISK RPAREN
new_pdi_spec ::=
ID EQUAL expression
| PARENT_ID EQUAL expression
| ID_CODE EQUAL expression
| EXT_ID_CODE EQUAL expression
| other_file_attr EQUAL filename
| KEYSRC_ENCRYPTION EQUAL key_src
| PARTITION_TYPE EQUAL ptypevalue
| REVOKE_ID EQUAL expression
image_spec ::=
image_list
| image_spec image_list
image_list ::=
IMAGE OBRACE image_content EBRACE
image_content ::=
/*empty*/
| image_content image_attributes_list
| image_content file_spec
| image_content partition_spec
image_attributes_list ::=
image_attributes
| image_attributes COMMA image_attributes_list
| image_attributes image_attributes_list
image_attributes ::=
ID EQUAL expression
| NAME EQUAL WORD
| DELAY_HANDOFF
| DELAY_LOAD
| INIT
| COPY EQUAL expression
| PARTITION_TYPE EQUAL ptypevalue
| UNIQUE_ID EQUAL expression
| PARENT_UNIQUE_ID EQUAL expression
| FUNCTION_ID EQUAL expression
| PCR_NUMBER EQUAL expression
| PCR_MEASUREMENT_INDEX EQUAL expression
partition_spec ::=
PARTITION partition_content
| partition_content
partition_content ::=
/*empty*/
| partition_content file_spec
| partition_content new_file_spec
other_spec ::=
OBRACKET KEYSRC_ENCRYPTION EBRACKET key_src
other_spec ::=
OBRACKET FSBL_CONFIG EBRACKET fsbl_attr_list
| FSBL_CONFIG OBRACE fsbl_attr_list EBRACE
| BOOT_DEVICE OBRACE sec_boot_attr_list EBRACE
| OBRACKET BOOT_DEVICE EBRACKET boot_device_type
| BOOT_DEVICE EQUAL boot_device_type
| OBRACKET AUTH_PARAMS EBRACKET auth_parameters
| OBRACKET SPLIT EBRACKET split_options
| OBRACKET BOOTVECTORS EBRACKET bootvectors_list
| AUTHJTAG_CONFIG OBRACE authjtag_attr_list EBRACE
| OPTIONAL_DATA OBRACE optional_data EBRACE
sec_boot_attr_list ::=
sec_boot_attr
| sec_boot_attr COMMA sec_boot_attr_list
sec_boot_attr ::=
boot_device_type
| IMAGE_STORE
| ADDRESS EQUAL expression
fsbl_attr_list ::=
fsbl_attr
| fsbl_attr COMMA fsbl_attr_list
authjtag_attr_list ::=
authjtag_attr
| authjtag_attr COMMA authjtag_attr_list
| authjtag_attr authjtag_attr_list
authjtag_attr ::=
REVOKE_ID EQUAL expression
| DEVICE_DNA EQUAL HEXWORD
| JTAG_TIMEOUT EQUAL expression
fsbl_attr ::=
core
| bh_rsa
| auth_hash
| int_hash
| pufhd_loc
| auth_only
| opt_key
| PUF4KMODE
| SHUTTER EQUAL expression
| dpa_cm
| SMAP_WIDTH EQUAL expression
| BYPASS_IDCODE_CHECK
| A_HWROT
| S_HWROT
| PUFROSWAP EQUAL expression
| DICE
file_spec ::=
OBRACKET attribute_list EBRACKET filename
| filename
new_file_spec ::=
OBRACE new_attribute_list EBRACE
new_attribute_list ::=
attribute
| new_attribute
| new_attribute COMMA new_attribute_list
| attribute COMMA new_attribute_list
| new_attribute new_attribute_list
| attribute new_attribute_list
new_attribute ::=
PFILE EQUAL filename
| ID EQUAL expression
| IMAGE_STORE EQUAL expression
| PARTITION_TYPE EQUAL boolattr
| PARTITION_TYPE EQUAL PMCDATA
| BIF_SECTION EQUAL WORD
attribute_list ::=
attribute
| attribute COMMA attribute_list
attribute ::=
boolattr
| optattr
| numattr
| fileattr
| blocksattr_list
blocksattr_list ::=
BLOCKS EQUAL blocksattr
| AUTHBLOCKS EQUAL authblockattr
blocksattr ::=
blockattr
| blockattr SEMICOLON blocksattr
bootvectors_list ::=
bootvector
| bootvector COMMA bootvectors_list
bootvector ::=
expression
authblockattr ::=
expression
boolattr ::=
BOOTLOADER
| BOOT
| USER
| STATIC
| NOAUTOSTART
| MULTIBOOT
| PROTECTED
| EARLY_HANDOFF
| HIVEC
| XIP_MODE
| INIT
| BOOTIMAGE
| key_file
| other_files
| ptypevalue
| LOCKSTEP
trustzone_type ::=
TRUSTZONE
| TRUSTZONE EQUAL TRUSTZONE_TYPE
blockattr ::=
expression
| expression LPAREN expression RPAREN
| expression LPAREN ASTERISK RPAREN
optattr ::=
AUTHENTICATION EQUAL authvalue
| ENCRYPTION EQUAL encrvalue
| CHECKSUM EQUAL checkvalue
| PARTITION_OWNER EQUAL pownervalue
| DEST_CPU EQUAL dest_cpu_type
| DEST_DEVICE EQUAL dest_device_type
| EXCEPTION_LEVEL EQUAL exception_level_type
| AES_KEY_FILE EQUAL filename
| PPK_FILE EQUAL filename
| PSK_FILE EQUAL filename
| SPK_FILE EQUAL filename
| SSK_FILE EQUAL filename
| SPK_SELECT EQUAL spkselect
| SPK_ID EQUAL expression
| SPK_SIGNATURE_FILE EQUAL filename
| trustzone_type
| PARTITION_TYPE EQUAL ptypevalue
| KEYSRC_ENCRYPTION EQUAL key_src
| REVOKE_ID EQUAL expression
| DPA_CM
| SLR_NUM EQUAL expression
| CLUSTER_NUM EQUAL expression
| PUFHD_LOC
| DELAY_AUTH
| TCM_BOOT
other_file_attr ::=
INIT
| key_file
| BH_KEK_IV
| BBRAM_KEK_IV
| EFUSE_KEK_IV
| EFUSE_USER_KEK0_IV
| EFUSE_USER_KEK1_IV
| USER_KEYS
authvalue ::=
NONE
| AUTHVALUE
encrvalue ::=
NONE
| ENCRVALUE
checkvalue ::=
NONE
| CHECKSUMVALUE
pownervalue ::=
POWNERVALUE
ptypevalue ::=
PTYPEVALUE
key_src ::=
KEY_SRC
core ::=
CORE
bh_rsa ::=
BH_RSA
dpa_cm ::=
DPA_CM
auth_hash ::=
AUTH_HASH
int_hash ::=
INT_HASH
pufhd_loc ::=
PUFHD_LOC
opt_key ::=
OPT_KEY
auth_only ::=
AUTH_ONLY
boot_device_type ::=
BOOT_DEVICE_TYPE
dest_cpu_type ::=
DEST_CPU_TYPE
dest_device_type ::=
DEST_DEVICE_TYPE
exception_level_type ::=
EXCEPTION_LEVEL_TYPE
numattr ::=
ALIGNMENT EQUAL expression
| OFFSET EQUAL expression
| RESERVE_LEGACY EQUAL expression
| RESERVE EQUAL expression
| LOAD EQUAL expression
| STARTUP EQUAL expression
| BIGENDIAN
| A32_MODE
| PARTITION_NUM EQUAL expression
| TCM_A_REGION EQUAL expression
| TCM_B_REGION EQUAL expression
| TCM_C_REGION EQUAL expression
fileattr ::=
PRESIGN EQUAL filename
| UDF_DATA EQUAL filename
key_file ::=
AES_KEY_FILE
| rsa_key_file
| SPK_SIGNATURE_FILE
| BH_SIGNATURE_FILE
| HEADER_SIGNATURE_FILE
| BH_KEY_FILE
| PUF_HELPER_FILE
| BH_KEY_IV
| FAMILY_KEY
rsa_key_file ::=
PPK_FILE
| PSK_FILE
| SPK_FILE
| SSK_FILE
other_files ::=
PMUFW_IMAGE
| PMCDATA
| UDF_BH
auth_parameters ::=
PPK_SELECT EQUAL expression
| SPK_SELECT EQUAL spkselect
| SPK_ID EQUAL expression
| HEADER_AUTH
| auth_parameters SEMICOLON auth_parameters
spkselect ::=
SPKSELECT
split_options ::=
SPLIT_MODE EQUAL splitmode
| SPLIT_FMT EQUAL splitfmt
| split_options COMMA split_options
splitmode ::=
SPLITMODE
splitfmt ::=
MCS
| BIN
filename ::=
FILENAME
| QFILENAME
number ::=
HEXVALUE
| DECVALUE
| LPAREN expression RPAREN
unary_expression ::=
number
| PLUS unary_expression
| NEGATION unary_expression
multiplicative_expression ::=
unary_expression
| multiplicative_expression MULT unary_expression
| multiplicative_expression DIVIDE unary_expression
| multiplicative_expression MODULO unary_expression
additive_expression ::=
multiplicative_expression
| additive_expression PLUS multiplicative_expression
| additive_expression MINUS multiplicative_expression
shift_expression ::=
additive_expression
| shift_expression LSHIFT additive_expression
| shift_expression RSHIFT additive_expression
and_expression ::=
shift_expression
| and_expression AND shift_expression
xor_expression ::=
and_expression
| xor_expression XOR and_expression
expression ::=
xor_expression
| expression OR xor_expression
//Tokens
BOOTLOADER ::= "bootloader"
PRESIGN ::= "presign"
UDF_DATA ::= "udf_data"
XIP_MODE ::= "xip_mode"
BOOT ::= "boot"
USER ::= "user"
STATIC ::= "static"
NOAUTOSTART ::= "noautostart"
MULTIBOOT ::= "multiboot"
PROTECTED ::= "protected"
ALIGNMENT ::= "alignment"
EARLY_HANDOFF ::= "early_handoff"
DELAY_HANDOFF ::= "delay_handoff"
DELAY_LOAD ::= "delay_load"
DELAY_AUTH ::= "delay_auth"
HIVEC ::= "hivec"
BLOCKS ::= "blocks"
AUTHBLOCKS ::= "authblocks"
BIGENDIAN ::= "big_endian"
A32_MODE ::= "aarch32_mode"
PARTITION ::= "partition"
IMAGE ::= "image"
METAHEADER ::= "metaheader"
BIF_SECTION ::= "section"
LOCKSTEP ::= "lockstep"
INCLUDE ::= "include"
TCM_BOOT ::= "tcmboot"
OPTIONAL_DATA ::= "optionaldata"
OFFSET ::= "offset"
RESERVE_LEGACY ::= "reserve_legacy"
RESERVE ::= "reserve"
LOAD ::= "load"
COPY ::= "copy"
STARTUP ::= "startup"
PARTITION_NUM ::= "pid"
INIT ::= "init"
UDF_BH ::= "udf_bh"
AES_KEY_FILE ::= "aeskeyfile"
PPK_FILE ::= "ppkfile"
PSK_FILE ::= "pskfile"
SPK_FILE ::= "spkfile"
SSK_FILE ::= "sskfile"
SPK_SIGNATURE_FILE ::= "spksignature"
BH_SIGNATURE_FILE ::= "bhsignature"
HEADER_SIGNATURE_FILE ::= "headersignature"
BOOTVECTORS ::= "bootvectors"
BOOTIMAGE ::= "bootimage"
PARENT_ID ::= "parent_id"
ID_CODE ::= "id_code"
EXT_ID_CODE ::= "extended_id_code"
ID ::= "id"
NAME ::= "name"
PFILE ::= "file"
BH_KEY_FILE ::= "bh_keyfile"
PUF_HELPER_FILE ::= "puf_file"
PMUFW_IMAGE ::= "pmufw_image"
PMCDATA ::= "pmcdata"
BH_KEY_IV ::= "bh_key_iv"
UNIQUE_ID ::= "uid"
PARENT_UNIQUE_ID ::= "parent_uid"
FUNCTION_ID ::= "function_id"
PCR_NUMBER ::= "pcr"
PCR_MEASUREMENT_INDEX ::= "pcr_mindex"
IMAGE_STORE ::= "imagestore"
TCM_A_REGION ::= "tcm_a_region"
TCM_B_REGION ::= "tcm_b_region"
TCM_C_REGION ::= "tcm_c_region"
BBRAM_KEK_IV ::= "bbram_kek_iv"
BH_KEK_IV ::= "bh_kek_iv"
EFUSE_KEK_IV ::= "efuse_kek_iv"
EFUSE_USER_KEK0_IV ::= "efuse_user_kek0_iv"
EFUSE_USER_KEK1_IV ::= "efuse_user_kek1_iv"
USER_KEYS ::= "userkeys"
FAMILY_KEY ::= "familykey"
ENCRYPTION ::= "encryption"
NONE ::= "none"
ENCRVALUE ::= "aes"
AUTHENTICATION ::= "authentication"
AUTHVALUE ::= "rsa"
AUTHVALUE ::= "ecdsa"
AUTHVALUE ::= "ecdsa-p384"
AUTHVALUE ::= "ecdsa-p521"
CHECKSUM ::= "checksum"
CHECKSUMVALUE ::= "md5"
CHECKSUMVALUE ::= "sha2"
CHECKSUMVALUE ::= "sha3"
PARTITION_OWNER ::= "partition_owner"
PARTITION_OWNER ::= "owner"
POWNERVALUE ::= "fsbl"
POWNERVALUE ::= "uboot"
POWNERVALUE ::= "pmc"
POWNERVALUE ::= "non-pmc"
POWNERVALUE ::= "plm"
POWNERVALUE ::= "non-plm"
PARTITION_TYPE ::= "partition_type"
PARTITION_TYPE ::= "type"
PTYPEVALUE ::= "cdo"
PTYPEVALUE ::= "raw"
PTYPEVALUE ::= "cfi"
PTYPEVALUE ::= "cfi-gsc"
PTYPEVALUE ::= "slr-boot"
PTYPEVALUE ::= "slr-config"
PTYPEVALUE ::= "slr-slave"
PTYPEVALUE ::= "slr-slave-boot"
PTYPEVALUE ::= "slr-slave-config"
PTYPEVALUE ::= "elf"
KEYSRC_ENCRYPTION ::= "keysrc_encryption"
KEYSRC_ENCRYPTION ::= "keysrc"
KEY_SRC ::= "efuse"
KEY_SRC ::= "bbram"
KEY_SRC ::= "efuse_red_key"
KEY_SRC ::= "efuse_blk_key"
KEY_SRC ::= "efuse_gry_key"
KEY_SRC ::= "bbram_red_key"
KEY_SRC ::= "bbram_blk_key"
KEY_SRC ::= "bbram_gry_key"
KEY_SRC ::= "bh_gry_key"
KEY_SRC ::= "bh_blk_key"
KEY_SRC ::= "user_key0"
KEY_SRC ::= "user_key1"
KEY_SRC ::= "user_key2"
KEY_SRC ::= "user_key3"
KEY_SRC ::= "user_key4"
KEY_SRC ::= "user_key5"
KEY_SRC ::= "user_key6"
KEY_SRC ::= "user_key7"
KEY_SRC ::= "efuse_user_key0"
KEY_SRC ::= "efuse_user_blk_key0"
KEY_SRC ::= "efuse_user_gry_key0"
KEY_SRC ::= "efuse_user_key1"
KEY_SRC ::= "efuse_user_blk_key1"
KEY_SRC ::= "efuse_user_gry_key1"
KEY_SRC ::= "kup_key"
FSBL_CONFIG ::= "fsbl_config"
FSBL_CONFIG ::= "boot_config"
FSBL_CONFIG ::= "image_config"
CORE ::= "r5_single"
CORE ::= "a53_x32"
CORE ::= "a5x_x32"
CORE ::= "a53_x64"
CORE ::= "a5x_x64"
CORE ::= "r5_dual"
BH_RSA ::= "bh_auth_enable"
AUTH_HASH ::= "auth_sha2_enable"
INT_HASH ::= "INT_HASH"
PUFHD_LOC ::= "pufhd_bh"
AUTH_ONLY ::= "auth_only"
OPT_KEY ::= "opt_key"
PUF4KMODE ::= "puf4kmode"
SHUTTER ::= "shutter"
PUFROSWAP ::= "puf_ro_swap"
DPA_CM ::= "dpacm_enable"
DICE ::= "dice_enable"
SMAP_WIDTH ::= "smap_width"
BYPASS_IDCODE_CHECK ::= "bypass_idcode_check"
A_HWROT ::= "a_hwrot"
S_HWROT ::= "s_hwrot"
BOOT_DEVICE ::= "boot_device"
ADDRESS ::= "address"
BOOT_DEVICE_TYPE ::= "qspi32"
BOOT_DEVICE_TYPE ::= "qspi24"
BOOT_DEVICE_TYPE ::= "nand"
BOOT_DEVICE_TYPE ::= "sd0"
BOOT_DEVICE_TYPE ::= "sd1"
BOOT_DEVICE_TYPE ::= "sd-ls"
BOOT_DEVICE_TYPE ::= "mmc"
BOOT_DEVICE_TYPE ::= "usb"
BOOT_DEVICE_TYPE ::= "ethernet"
BOOT_DEVICE_TYPE ::= "pcie"
BOOT_DEVICE_TYPE ::= "sata"
BOOT_DEVICE_TYPE ::= "ospi"
BOOT_DEVICE_TYPE ::= "smap"
BOOT_DEVICE_TYPE ::= "sbi"
BOOT_DEVICE_TYPE ::= "sd0-raw"
BOOT_DEVICE_TYPE ::= "sd1-raw"
BOOT_DEVICE_TYPE ::= "sd-ls-raw"
BOOT_DEVICE_TYPE ::= "mmc-raw"
BOOT_DEVICE_TYPE ::= "mmc0"
BOOT_DEVICE_TYPE ::= "mmc0-raw"
DEST_CPU ::= "destination_cpu"
DEST_CPU ::= "core"
DEST_CPU_TYPE ::= "a53-0"
DEST_CPU_TYPE ::= "a72-0"
DEST_CPU_TYPE ::= "a78-0"
DEST_CPU_TYPE ::= "a5x-0"
DEST_CPU_TYPE ::= "a53-1"
DEST_CPU_TYPE ::= "a72-1"
DEST_CPU_TYPE ::= "a78-1"
DEST_CPU_TYPE ::= "a5x-1"
DEST_CPU_TYPE ::= "a53-2"
DEST_CPU_TYPE ::= "a78-2"
DEST_CPU_TYPE ::= "a5x-2"
DEST_CPU_TYPE ::= "a53-3"
DEST_CPU_TYPE ::= "a78-3"
DEST_CPU_TYPE ::= "a5x-3"
DEST_CPU_TYPE ::= "r5-0"
DEST_CPU_TYPE ::= "r52-0"
DEST_CPU_TYPE ::= "r5-1"
DEST_CPU_TYPE ::= "r52-1"
DEST_CPU_TYPE ::= "r5-lockstep"
DEST_CPU_TYPE ::= "pmu"
DEST_CPU_TYPE ::= "psm"
DEST_CPU_TYPE ::= "aie"
CLUSTER_NUM ::= "cluster"
DEST_DEVICE ::= "destination_device"
DEST_DEVICE_TYPE ::= "ps"
DEST_DEVICE_TYPE ::= "pl"
DEST_DEVICE_TYPE ::= "pmufw"
DEST_DEVICE_TYPE ::= "xip"
EXCEPTION_LEVEL ::= "exception_level"
EXCEPTION_LEVEL_TYPE ::= "el-0"
EXCEPTION_LEVEL_TYPE ::= "el-1"
EXCEPTION_LEVEL_TYPE ::= "el-2"
EXCEPTION_LEVEL_TYPE ::= "el-3"
TRUSTZONE ::= "trustzone"
TRUSTZONE_TYPE ::= "secure"
TRUSTZONE_TYPE ::= "nonsecure"
SLR_NUM ::= "slr"
AUTH_PARAMS ::= "auth_params"
PPK_SELECT ::= "ppk_select"
SPK_SELECT ::= "spk_select"
SPKSELECT ::= "spk-efuse"
SPKSELECT ::= "user-efuse"
SPK_ID ::= "spk_id"
HEADER_AUTH ::= "header_auth"
REVOKE_ID ::= "revoke_id"
SPLIT ::= "split"
SPLIT_MODE ::= "mode"
SPLITMODE ::= "slaveboot"
SPLITMODE ::= "normal"
SPLIT_FMT ::= "fmt"
MCS ::= "mcs"
BIN ::= "bin"
AUTHJTAG_CONFIG ::= "authjtag_config"
DEVICE_DNA ::= "device_dna"
JTAG_TIMEOUT ::= "jtag_timeout"
COLON ::= ":"
SEMICOLON ::= ";"
EQUAL ::= "="
COMMA ::= ","
OBRACKET ::= "["
EBRACKET ::= "]"
OBRACE ::= "{"
EBRACE ::= "}"
LPAREN ::= "("
RPAREN ::= ")"
ASTERISK ::= "*"
PLUS ::= "+"
MINUS ::= "-"
LSHIFT ::= "<<"
RSHIFT ::= ">>"
MULT ::= "*"
DIVIDE ::= "/"
MODULO ::= "%"
NEGATION ::= "~"
AND ::= "&"
OR ::= "|"
XOR ::= "^"