Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
From:   "Liam R. Howlett" <Liam.Howlett@oracle.com>
To:     Andrew Morton <akpm@linux-foundation.org>
Cc:     linux-kernel@vger.kernel.org, linux-mm@kvack.org,
        maple-tree@lists.infradead.org,
        "Liam R. Howlett" <Liam.Howlett@Oracle.com>,
        Wei Yang <richard.weiyang@gmail.com>,
        "Liam R . Howlett" <Liam.Howlett@oracle.com>
Subject: [PATCH 02/34] maple_tree: Clean up mas_parent_enum()
Date:   Tue, 25 Apr 2023 10:09:23 -0400
Message-Id: <20230425140955.3834476-3-Liam.Howlett@oracle.com>
In-Reply-To: <20230425140955.3834476-1-Liam.Howlett@oracle.com>
References: <20230425140955.3834476-1-Liam.Howlett@oracle.com>
Content-Transfer-Encoding: 8bit
Content-Type: text/plain
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?7zwgsBbXTWSrlWtkl+jeiZ/gHTyoOpLFRDRL/Kg9t5qdZ3W4wM7UuChET+Ea?=
 =?us-ascii?Q?apbzxZKXXTAIrouHbgdXimW/QhCkhDUA9JdetqNiKNdiwq1/C2s09KzsAfpK?=
 =?us-ascii?Q?fOT2WLlIG7MFAw0LjuK2hLG05z/p76Dh+J9sPRFWdEiq5SWZfyp7zYCPLdfz?=
 =?us-ascii?Q?9YW5eOI3pLQWqN5rMhmjsdigM5Wd4IJR6/Cj4vMLya2kaBLs7Vw9mt8TX0RR?=
 =?us-ascii?Q?e2qEGeAldzJBX1z1YEdn8qwfciMJzqwFCcO+/TygJWfnGCzXASk90UzGspte?=
 =?us-ascii?Q?Gzp0B+eyLkqf0ZsXDiEhXHCb46tMRtgApp7+PHZIq4ePqHVaWssGbTk61Sef?=
 =?us-ascii?Q?zVwIKkQxoQC+HHvcHM5OyNCsjXqNQXy0NZJDmHh81f9/4AmBGaWFnZYtXOjb?=
 =?us-ascii?Q?RlhHwavaJ8t0bOkRqt/byUwcCQmoVy6Hbja32GM0zZffJ6RnvavSsPyhXiWS?=
 =?us-ascii?Q?2LpTGQjhoa+GKk962GKDfEapuWq8bJFiqzZndadNahLrUl9VMlIGmR2HXtLx?=
 =?us-ascii?Q?XJKYkn5GTeHk3XWqF4lNJlYUnKY7KjqZ6lgye5CDA9bNFJccVPJTdBZ2fK6L?=
 =?us-ascii?Q?Pj53PggjQ13JkIIeNrbZ2lIZsTiR7RoijkG8roEbMOEhRlshpvwlheuuE7mV?=
 =?us-ascii?Q?mxaFnGZc3OsHqdXzQyXniaP/C3tlaWW0flIoiAcfElxXph5sd8pdhT/F8+85?=
 =?us-ascii?Q?77ZLVaJVboT8byJYodP5P1ABwWQ/ODpidpvXp76/xAVyuzpcIQ9C1e9cFoT0?=
 =?us-ascii?Q?14qvn1lSuNDAcC7gCAzAf1z3pZvVRLa8524a2tOnXr0QamkG0fpblRocsWap?=
 =?us-ascii?Q?0U9qAvAzjAo2qAiWO+ngATv7m7Qmt1/HPJLkAfqVL6+9AA4Rt8QHg3KDxLEt?=
 =?us-ascii?Q?BJHx/tFcfci3SouGe2AOne/VgGFfOF+H2WhCRDA/Bq2x57FNI6dy7Dyj9AsU?=
 =?us-ascii?Q?RS56aO/1HAw9MEcB8XKL0QN8e7XcZduUN6HAPa447LsAivfd3oFhsrhbUhvZ?=
 =?us-ascii?Q?hXxmNDS6EVWIXh78vUQKsSAIK6EnuCxc0Db3VRxUse78nNbtTYssXggZreGl?=
 =?us-ascii?Q?IN0MU2/S6xcmrXxmmO+1JrrbvJpOnxPIa53y87Ns6uODxxIvA6rNLi+FzPig?=
 =?us-ascii?Q?wvfBOtZehGHEf/1AbhbqAk5cAD7qQO1vg6cB3q2ToG/2TvDw1rfC3FMmLIn2?=
 =?us-ascii?Q?waR2MP0T/uLf6dcZOLf+UZUSfeECY2XMvErxnMVxm0YucVLvl+INC+L3rs7w?=
 =?us-ascii?Q?Axz0QzzM/R1s+WRvwf97Xhv9ey1Q2djxo+jKF8TKZ1p8dlDAGTXDMZPcx71Z?=
 =?us-ascii?Q?F0WK0HEnKd27zV+L9/hY15adctRa/J+4qLMZcOUVpxnj42v1njf9kt7GsMdN?=
 =?us-ascii?Q?pXg4SWXTH5tKU1etrDG0AMHNkHBAzy06iOkgQOayw8fLifzkT0kOSIA5QULy?=
 =?us-ascii?Q?NeHyrCKDMw0djMmqTv4CmiUZnzLyesYXtBRSATe9pgdgDjWoPs8G30axHNig?=
 =?us-ascii?Q?trAIUJbGOcBiB4y3gVcR/8Ia0Y2xRtEYMtyl8y8vGzjVqwyptGnWALgwfiMs?=
 =?us-ascii?Q?obd8vcbnVSrfzYgiBxPIY/alvbJiYlH6Fugn7xk2U9vY9j4kdMQo7AHtJvd0?=
 =?us-ascii?Q?hg=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: eRKCnrNQe0d6xf0g+j8A0/eHcmOe6KDPuFZBwIrvw7EEXZKsWm+FXJ3pWSvUrb76Ik2/yPwhV7qCDKLcebH7vRqEQ+Z+gI5e2eOceBhf9OzZWukpzSzWA9fyqTJwUrKDnW+inXD9o5fHdKVNABLSlkpihqGeojBXYDLlpEBjjVYltUMDoxKdSDPoTkG53QjSix0cMDGY94CLtNf1WIPhihX57To8nC/VuuxpmGgT4qZmER5imeHe7Fgw15OoENA6+mriBfXT+vYwYhlZhU1x+HTrrDIkUjYdIVrSMb0kVtLjAl83nhIj3JNd5Mi4xAq1xWhiA61FG7NBMMuU26g1GXIKf/mB0lDNrsAGbPq7ydqfSREDb7HeXkdvPRuLFf03pOK3aRquaAjmThswcyrsRnNcgAnf/BNN5PUY4QD2pm/5DZb/JelbtlFmkcf3PnW6bNrI1PGPUwNoaRzd6vDTtXFkSLB0lbIXIipncPCuOl5UNmXjumcTjjNdafojDaS4K657YRu8SId8dHolZgGxiJ0n0iWWtyfHoiE503Ypzaew87kcl37C1uWooItxJP5Xq6jZseovkllZDdmaUxPlR8ZAQDNmYawJqJrisaTNGzj44Bcz8iqmz5ped53WZaM3vbw+4ubM5ZqOcjw5NegjYs+tP2s/+dvFDFH3c4la0sATd3a5bbfVQEE4uHOBSiSMZRm081L6v3LXLUUj2t9h5N1Hro1vnF3cYDe/0nCfHfg0F7NpY7BT1K+XwGkCL2Fcd2nXD2tHlhWYtrUMc3DDxq7NdTfWTCe7DLh6lS0vrzvvahZyxkof4bgkQlquMJntChF0jtJ3sjZlwy5pmwpwNCJZFoy0CxK8lPBwizGr20pHacvZnrDxLYGeanvE/Mkpig+TnHfSO0QnS4s7kUNcvQsViW77dUhCHALkwsiexhI=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: c9f6cae1-1b02-44ad-540d-08db4596d010
X-MS-Exchange-CrossTenant-AuthSource: SN6PR10MB3022.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Apr 2023 14:10:24.1920
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: ALcmypgBA/367MnkhrdBJA1PxQuU12uRnhlt5kzYAbjVCwyjaThEaNtcavaZgFY7eyRMcMc8Mf1YfkEbv/YvBA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR10MB6081
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22
 definitions=2023-04-25_06,2023-04-25_01,2023-02-09_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 phishscore=0 bulkscore=0
 mlxlogscore=999 malwarescore=0 mlxscore=0 spamscore=0 adultscore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2303200000
 definitions=main-2304250128
X-Proofpoint-GUID: bptD89mFRTTn4pZQYcbisEMX_Wg-6fqM
X-Proofpoint-ORIG-GUID: bptD89mFRTTn4pZQYcbisEMX_Wg-6fqM
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE
        autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

From: "Liam R. Howlett" <Liam.Howlett@Oracle.com>

mas_parent_enum() is a simple wrapper for mte_parent_enum() which is
only called from that wrapper.  Remove the wrapper and inline
mte_parent_enum() into mas_parent_enum().

At the same time, clean up the bit masking of the root pointer since it
cannot be set by the time the bit masking occurs.  Change the check on
the root bit to a WARN_ON(), and fix the verification code to not
trigger the WARN_ON() before checking if the node is root.

Reported-by: Wei Yang <richard.weiyang@gmail.com>
Signed-off-by: Liam R. Howlett <Liam.Howlett@oracle.com>
---
 lib/maple_tree.c | 28 +++++++++++-----------------
 1 file changed, 11 insertions(+), 17 deletions(-)

diff --git a/lib/maple_tree.c b/lib/maple_tree.c
index 9cf4fca42310c..ac0245dd88dad 100644
--- a/lib/maple_tree.c
+++ b/lib/maple_tree.c
@@ -428,25 +428,23 @@ static inline unsigned long mte_parent_slot_mask(unsigned long parent)
  * mas_parent_enum() - Return the maple_type of the parent from the stored
  * parent type.
  * @mas: The maple state
- * @node: The maple_enode to extract the parent's enum
+ * @enode: The maple_enode to extract the parent's enum
  * Return: The node->parent maple_type
  */
 static inline
-enum maple_type mte_parent_enum(struct maple_enode *p_enode,
-				struct maple_tree *mt)
+enum maple_type mas_parent_enum(struct ma_state *mas, struct maple_enode *enode)
 {
 	unsigned long p_type;
 
-	p_type = (unsigned long)p_enode;
-	if (p_type & MAPLE_PARENT_ROOT)
-		return 0; /* Validated in the caller. */
+	p_type = (unsigned long)mte_to_node(enode)->parent;
+	if (WARN_ON(p_type & MAPLE_PARENT_ROOT))
+		return 0;
 
 	p_type &= MAPLE_NODE_MASK;
-	p_type = p_type & ~(MAPLE_PARENT_ROOT | mte_parent_slot_mask(p_type));
-
+	p_type &= ~mte_parent_slot_mask(p_type);
 	switch (p_type) {
 	case MAPLE_PARENT_RANGE64: /* or MAPLE_PARENT_ARANGE64 */
-		if (mt_is_alloc(mt))
+		if (mt_is_alloc(mas->tree))
 			return maple_arange_64;
 		return maple_range_64;
 	}
@@ -454,12 +452,6 @@ enum maple_type mte_parent_enum(struct maple_enode *p_enode,
 	return 0;
 }
 
-static inline
-enum maple_type mas_parent_enum(struct ma_state *mas, struct maple_enode *enode)
-{
-	return mte_parent_enum(ma_enode_ptr(mte_to_node(enode)->parent), mas->tree);
-}
-
 /*
  * mte_set_parent() - Set the parent node and encode the slot
  * @enode: The encoded maple node.
@@ -7008,14 +7000,16 @@ static void mas_validate_parent_slot(struct ma_state *mas)
 {
 	struct maple_node *parent;
 	struct maple_enode *node;
-	enum maple_type p_type = mas_parent_enum(mas, mas->node);
-	unsigned char p_slot = mte_parent_slot(mas->node);
+	enum maple_type p_type;
+	unsigned char p_slot;
 	void __rcu **slots;
 	int i;
 
 	if (mte_is_root(mas->node))
 		return;
 
+	p_slot = mte_parent_slot(mas->node);
+	p_type = mas_parent_enum(mas, mas->node);
 	parent = mte_parent(mas->node);
 	slots = ma_slots(parent, p_type);
 	MT_BUG_ON(mas->tree, mas_mn(mas) == parent);
-- 
2.39.2