is_load_store predicate
CodeArtifact`is_load_store` is a Boolean predicate over `instr` values that classifies load/store instructions by combining word, halfword, and byte load/store predicates. In the cited HOL-TestGen case study, it is used as a precondition to restrict generated tests to load/store operations and is also lifted with `list_all` to constrain instruction sequences.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1
WIKI
Definition
is_load_store is defined as a predicate of type instr ⇒ bool:
definition is_load_store :: instr ⇒ bool
where is_load_store iw ≡ is_load_store_word’ iw
∨ is_load_store_hword’ iw
∨ is_load_store_byte’ iw
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsis_load_store is used as a test purpose to constrain test generation to load/store operations.