File 0531-beam_ssa_dead-Simplify-will_succeed_vars-4... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0531-beam_ssa_dead-Simplify-will_succeed_vars-4.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Currently displaying revision db1acd30fa2136b2cf32ed954074cb8e , Show latest

From 7946476c4b82b06ade6b2d7fb24bea62d34bd313 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Mon, 23 Oct 2023 05:44:46 +0200
Subject: [PATCH 1/3] beam_ssa_dead: Simplify will_succeed_vars/4

There is no need to compare #b_var{} records using `==`.
---
 lib/compiler/src/beam_ssa_dead.erl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/lib/compiler/src/beam_ssa_dead.erl b/lib/compiler/src/beam_ssa_dead.erl
index 0319dd600e..31283398e4 100644
--- a/lib/compiler/src/beam_ssa_dead.erl
+++ b/lib/compiler/src/beam_ssa_dead.erl
@@ -826,13 +826,13 @@ will_succeed_1('/=', A, '==', B) when A == B -> no;
 
 will_succeed_1(_, _, _, _) -> 'maybe'.
 
-will_succeed_vars('=/=', Val, '=:=', Val) -> no;
-will_succeed_vars('=:=', Val, '=/=', Val) -> no;
-will_succeed_vars('=:=', Val, '>=',  Val) -> yes;
-will_succeed_vars('=:=', Val, '=<',  Val) -> yes;
+will_succeed_vars('=/=', Var, '=:=', Var) -> no;
+will_succeed_vars('=:=', Var, '=/=', Var) -> no;
+will_succeed_vars('=:=', Var, '>=',  Var) -> yes;
+will_succeed_vars('=:=', Var, '=<',  Var) -> yes;
 
-will_succeed_vars('/=', Val1, '==', Val2) when Val1 == Val2 -> no;
-will_succeed_vars('==', Val1, '/=', Val2) when Val1 == Val2 -> no;
+will_succeed_vars('/=', Var, '==', Var) -> no;
+will_succeed_vars('==', Var, '/=', Var) -> no;
 
 will_succeed_vars(_, _, _, _) -> 'maybe'.
 
-- 
2.35.3

Places

File 0531-beam_ssa_dead-Simplify-will_succeed_vars-4.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Places