Searched refs:ExtendedValue (Results 1 – 3 of 3) sorted by relevance
15 (model ExtendedValue (type (bv 67)))16 (type ExtendedValue extern (enum))18 ;; We represent ExtendedValue as a bv54 (decl alu_rr_extend_reg (ALUOp Type Reg ExtendedValue) Reg)77 (decl extended_value_from_value (ExtendedValue) Value)105 (decl add_extend (Type Reg ExtendedValue) Reg)
71 pub struct ExtendedValue { struct426 fn extended_value_from_value(&mut self, val: Value) -> Option<ExtendedValue> { in extended_value_from_value() argument428 Some(ExtendedValue { val, extend }) in extended_value_from_value()431 fn put_extended_in_reg(&mut self, reg: &ExtendedValue) -> Reg { in put_extended_in_reg()435 fn get_extended_op(&mut self, reg: &ExtendedValue) -> ExtendOp { in get_extended_op()
1991 (model ExtendedValue (type (bv 67)))1992 (type ExtendedValue extern (enum))2008 (decl extended_value_from_value (ExtendedValue) Value)2011 ;; Constructors used to poke at the fields of an `ExtendedValue`.2012 (decl put_extended_in_reg (ExtendedValue) Reg)2014 (decl get_extended_op (ExtendedValue) ExtendOp)2269 ;; Same as `alu_rrr_extend`, but takes an `ExtendedValue` packed "pair" instead2271 (decl alu_rr_extend_reg (ALUOp Type Reg ExtendedValue) Reg)2774 (decl add_extend (Type Reg ExtendedValue) Reg)2846 (decl sub_extend (Type Reg ExtendedValue) Reg)