Lines Matching refs:WritableReg

453 ;; Construct a new `WritableXReg` from a `WritableReg`.
456 (decl writable_xreg_new (WritableReg) WritableXReg)
458 (convert WritableReg WritableXReg writable_xreg_new)
477 ;; Convert a `WritableXReg` to an `WritableReg`.
478 (decl pure writable_xreg_to_writable_reg (WritableXReg) WritableReg)
480 (convert WritableXReg WritableReg writable_xreg_to_writable_reg)
513 ;; Construct a new `WritableFReg` from a `WritableReg`.
516 (decl writable_freg_new (WritableReg) WritableFReg)
518 (convert WritableReg WritableFReg writable_freg_new)
537 ;; Convert a `WritableFReg` to an `WritableReg`.
538 (decl pure writable_freg_to_writable_reg (WritableFReg) WritableReg)
540 (convert WritableFReg WritableReg writable_freg_to_writable_reg)
573 ;; Construct a new `WritableVReg` from a `WritableReg`.
576 (decl writable_vreg_new (WritableReg) WritableVReg)
578 (convert WritableReg WritableVReg writable_vreg_new)
597 ;; Convert a `WritableVReg` to an `WritableReg`.
598 (decl pure writable_vreg_to_writable_reg (WritableVReg) WritableReg)
600 (convert WritableVReg WritableReg writable_vreg_to_writable_reg)
795       (let ((dst WritableReg (temp_writable_xreg))