From 4cb57c38b19278043b27a4b5bea496c5362a72c8 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Wed, 6 Mar 2024 14:53:07 -0500
Subject: [PATCH] Add encoding for `f16` and `f128`

---
 src/doc/rustc/src/symbol-mangling/v0.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/doc/rustc/src/symbol-mangling/v0.md b/src/doc/rustc/src/symbol-mangling/v0.md
index 61f747fac837c..40eaac1e49ee5 100644
--- a/src/doc/rustc/src/symbol-mangling/v0.md
+++ b/src/doc/rustc/src/symbol-mangling/v0.md
@@ -726,10 +726,12 @@ The type encodings based on the initial tag character are:
   * `h` — `u8`
   * `i` — `isize`
   * `j` — `usize`
+  * `k` - `f16`
   * `l` — `i32`
   * `m` — `u32`
   * `n` — `i128`
   * `o` — `u128`
+  * `q` - `f128`
   * `s` — `i16`
   * `t` — `u16`
   * `u` — unit `()`