Lines Matching refs:bitwidth
391 (** [i1_type c] returns an integer type of bitwidth 1 in the context [c]. See
395 (** [i8_type c] returns an integer type of bitwidth 8 in the context [c]. See
399 (** [i16_type c] returns an integer type of bitwidth 16 in the context [c]. See
403 (** [i32_type c] returns an integer type of bitwidth 32 in the context [c]. See
407 (** [i64_type c] returns an integer type of bitwidth 64 in the context [c]. See
411 (** [integer_type c n] returns an integer type of bitwidth [n] in the context
721 * None is returned if this is not an integer constant, or bitwidth exceeds 64.
