		Search-engine friendly clone of the ACL2 documentation.

Vl-expr-svex-translation

Sv::vl-expr.lisp

Subtopics

Vl-scopecontext-to-addr: Create an svex address from a path, based on which scope the scopecontext object indicates.
Vl-binaryop-to-svex
Vl-expr-to-svex-maybe-typed: Convert an expression to svex, maybe given a datatype that it needs to match.
Vl-datatype-syscall-to-svex
Vl-operandinfo-to-svex-preproc: Preprocesses an operandinfo, changing an outer bitselect or partselect into a +: style partselect.
Vl-structmemberlist->types: (vl-structmemberlist->types x) maps vl-structmember->type across a list.
Vl-seltrace-to-svex-select
Vl-portdecllist->types: (vl-portdecllist->types x) maps vl-portdecl->type across a list.
Vl-operandinfo-to-svex-select
Vl-plusminus-partselect->svex: This ONLY shifts the base expression to the right point for the partselect; it does not truncate it at the right width.
Vl-arrayrange->rel-lsb-and-width
Vl-unaryop-to-svex
Vl-funcall-args-to-ordered
Vl-expr-to-svex-lhs
Vl-operandinfo-to-svex
Vl-array-assignpat-keyval-resolve
Vl-err->vfatal
Vl-datatypelist-usertype-resolve
Vl-upscope-to-svex-upscope
Vl-err->fatal
Vl-streaming-concat-trunc/extend
Vl-operandinfo-base-svar
Vl-index-shift-amount
Vttree->constraints
Vl-slicesize-resolve
Vl-function-map-find-matching-aux
Vl-funname-lookup
Vl-datatype-size-warn
Svex-repeat-aux
Vl-$test$plusargs-to-svex
Svex-extend: Returns an svex representing the sign- or zero-extension of x at the given width.
Vl-structmemberlist-shift-bits
Vl-datatype-slot-width/range
Vl-datatype-index-shift-amount
Vl-datatype-field-shift-amount
4vec-extend: Returns an 4vec representing the sign- or zero-extension of x at the given width.
Vl-function-pair-inputs-with-actuals
Vl-expr-to-svex-untyped: Convert an expression to svex, and return its datatype.
Vl-function-map-check-matching
Vl-datatype-syscall-remove-dims
Svex-concat-list-aux
Vttree-add-constraints
Vttree-add-warnings
Vl-check-struct-assignpat-keys
Vl-check-array-assignpat-keys
Sv::constraintlist-subst-memo
Vl-svex-keyval-index-lookup
Vl-function-map-find-matching
Vl-convert-dollarsign-to-expr
Vttree->constraints-acc
Vl-seltrace-type
Vl-seltrace-to-path: Turns a seltrace object into an svex path.
Vl-keyval-member-lookup
Svex-repeat
Vttree->warnings-acc
Vl-trunc/extend-type-err
Constraintlist-add-ctx
Vl-hidtrace-add-to-path
Svex-multiconcat
Vttree-join
Vl-value-to-string-aux
Vl-seltrace-add-to-path
Vl-value-to-4vec
Vl-expr-to-svex-selfdet: Translates a VL expression to svex in a self-determined context, perhaps with a context size.
Vl-svex-keyval-default-lookup
Vl-$test$plusargs-p
Vl-value-to-svex
Vl-value-in-range
Vl-keyval-default-lookup
Sv::svexlist-args-extract-constants
Vl-string->bits
Vl-size-to-unsigned-logic
Vl-hidtrace-to-path
Svex-concat-list
Vttree->warnings
Vl-seltrace-unres-count: Checks that all indices in the seltrace are resolved expressions.
Vl-datatype-index-is-bitselect
Vl-bitlist->4vec: Turn a vl-bitlist into a 4vec. Assumes msb-first ordering, such as in a vl-weirdint.
Vl-svex-keyvallist-vars
Vl-hidstep->svex-index
Vl-selstep->svex-name
Vl-datatypelist-resolved-p
Vl-datatype-$unpacked_dimensions
Vl-datatype-$dimensions
Vl-bitlist->offset
Vl-bitlist->onset
Vl-streamexprlist-has-with
Vl-hidstep-resolved-p: Checks that the index, if any, is resolved, and that the item has a name.
Vl-expr-needs-type-context
Vl-streamexprlist->exprs
Vl-integer-to-string
Vl-hidtrace-resolved-p
Vl-selstep-resolved-p
Vl-select-resolved-p
Vl-svex-keyvallist: An alist mapping vl-patternkey-p to sv::svex-p.
Vl-datatypelist: A list of vl-datatype-p objects.
Svex-x: Infinite width X