winch(docs): Small update to outdated docs (#11948)

saulecabrera · web-flow · commit a7e51412865d · 2025-10-27T21:24:04.000Z
Winch no longer has a notion of {callee/caller}-saved registers.
diff --git a/winch/codegen/src/isa/x64/regs.rs b/winch/codegen/src/isa/x64/regs.rs
@@ -59,9 +59,7 @@ pub(crate) fn r13() -> Reg {
 }
 /// Used as a pinned register to hold
 /// the `VMContext`.
-/// Non-allocatable in Winch's default
-/// ABI, and callee-saved in SystemV and
-/// Fastcall.
+/// Non-allocatable in Winch's default ABI.
 pub(crate) fn r14() -> Reg {
     gpr(ENC_R14)
 }

Original file line number	Diff line number	Diff line change
`@@ -59,9 +59,7 @@ pub(crate) fn r13() -> Reg {`
`59`	`59`	`}`
`60`	`60`	`/// Used as a pinned register to hold`
`61`	`61`	/// the `VMContext`.
`62`		`-/// Non-allocatable in Winch's default`
`63`		`-/// ABI, and callee-saved in SystemV and`
`64`		`-/// Fastcall.`
	`62`	`+/// Non-allocatable in Winch's default ABI.`
`65`	`63`	`pub(crate) fn r14() -> Reg {`
`66`	`64`	`gpr(ENC_R14)`
`67`	`65`	`}`