From patchwork Wed Aug 16 15:34:50 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 9904007 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork.web.codeaurora.org (Postfix) with ESMTP id 5674760231 for ; Wed, 16 Aug 2017 15:35:52 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 489AE286AC for ; Wed, 16 Aug 2017 15:35:52 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 3D7F0288DA; Wed, 16 Aug 2017 15:35:52 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on pdx-wl-mail.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-6.3 required=2.0 tests=BAYES_00, DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED, FREEMAIL_FROM, RCVD_IN_DNSWL_HI, RCVD_IN_SORBS_SPAM, T_DKIM_INVALID autolearn=ham version=3.3.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id E30BC286AC for ; Wed, 16 Aug 2017 15:35:51 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751605AbdHPPfv (ORCPT ); Wed, 16 Aug 2017 11:35:51 -0400 Received: from mail-wr0-f196.google.com ([209.85.128.196]:38049 "EHLO mail-wr0-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751471AbdHPPfv (ORCPT ); Wed, 16 Aug 2017 11:35:51 -0400 Received: by mail-wr0-f196.google.com with SMTP id g32so3684831wrd.5 for ; Wed, 16 Aug 2017 08:35:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=PAb9HpoCD5AqjELBLkuOUOKcr8aIRy8xpaer7hwtzX4=; b=Ds1L7PRu9Z/MHpNnieY71BuGmFVAL38y+tRKQ5fi4MzsRmkt75sTXhMLBIjmNlN+UI LpjMq3J14/6vNQZbi8xZs7GI7U099dvJ3FMe0X8ieP3tqNzPB6t3uIHLXOOCq+lnbNyz axM499NIeOztgLtGKUjKhEHpM8X9spLnARupxrt2G6N/X1WbgQ8IsrRd/R7JOnRfkpEm +0+RmUemIBGtQEnzeuBEdER+5yFdNRT2NS4zmH9svGiF/ZcqDBvSmglSYnP4OKWoBaR+ 7JE0TvlJ8N2b6bpZildTRaMvTmCFZiKyiWykVRKsYygHMiFDF5Nuq3svkzXP8liWCpD+ JUQA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=PAb9HpoCD5AqjELBLkuOUOKcr8aIRy8xpaer7hwtzX4=; b=obcquSPIk5V92QzmUsHeg5YUELcxSYH7QNFna7ZulrnLa9KuwvoExkL54mKpdMdhx6 54U135B0vZooIHZIQfMNvWEeOwQA8gxHD1gDgKWw+8+CNV7CjNQYWJRW42snBdFk2Swu jmrwWx6mw6HFLbuECS/xuKMwpHxuqOWbcwSiCMbKHdNIIeXF+1fxn33CftmVAiASb4xj ft6cOHLkjsrkU1GgDwrhRWlOhkwk+FuGtygyrpdM3D/MZDY+n0IhEKzcgCvxKg3AE+Em uZppdzBxX+n0EiIOFSrfivhPA/Ch6hr6vbBJF098a4FexcfEzhHQCzZ02cMbr9ObZF9B bzOg== X-Gm-Message-State: AHYfb5j4piXGrjUzDen3Tsqphs3NMEauKYbgbsf4WR14qR+mSsIs42E4 JN0JPBBGfCmmxCvX+c0= X-Received: by 10.80.205.147 with SMTP id p19mr2310657edi.59.1502897749829; Wed, 16 Aug 2017 08:35:49 -0700 (PDT) Received: from localhost.localdomain ([2a02:a03f:4076:600:895a:bb88:13f:9772]) by smtp.gmail.com with ESMTPSA id y19sm690635edi.6.2017.08.16.08.35.48 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 16 Aug 2017 08:35:49 -0700 (PDT) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Linus Torvalds , Christopher Li , Luc Van Oostenryck Subject: [PATCH 24/29] sssa: add PSEUDO_INDIR Date: Wed, 16 Aug 2017 17:34:50 +0200 Message-Id: <20170816153455.97693-25-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.14.0 In-Reply-To: <20170816153455.97693-1-luc.vanoostenryck@gmail.com> References: <20170816153455.97693-1-luc.vanoostenryck@gmail.com> Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org X-Virus-Scanned: ClamAV using ClamSMTP Simplification of trivial pseudos require to replace a pseudo for another in all ptrmap. Since this could be an annoying and relatively costly operation if effectively done by looking after each pseudos, this patch introduce a new type of pseudo used as a a sort of a symlink for another one: PSEUDO_INDIR. So the processing is almost for free and this indirection has just to be done when looking after the corresponding var. Signed-off-by: Luc Van Oostenryck --- linearize.c | 2 ++ linearize.h | 2 ++ ssa.c | 2 ++ 3 files changed, 6 insertions(+) diff --git a/linearize.c b/linearize.c index 1630810d4..f47748b38 100644 --- a/linearize.c +++ b/linearize.c @@ -157,6 +157,8 @@ const char *show_pseudo(pseudo_t pseudo) break; case PSEUDO_UNDEF: return "UNDEF"; + case PSEUDO_INDIR: + return show_pseudo(pseudo->target); default: snprintf(buf, 64, "", pseudo->type); } diff --git a/linearize.h b/linearize.h index eba0323d0..3fdcd487c 100644 --- a/linearize.h +++ b/linearize.h @@ -29,6 +29,7 @@ enum pseudo_type { PSEUDO_VAL, PSEUDO_ARG, PSEUDO_PHI, + PSEUDO_INDIR, }; struct pseudo { @@ -40,6 +41,7 @@ struct pseudo { struct symbol *sym; struct instruction *def; long long value; + pseudo_t target; }; void *priv; }; diff --git a/ssa.c b/ssa.c index e50fae0cc..10279a602 100644 --- a/ssa.c +++ b/ssa.c @@ -73,6 +73,8 @@ pseudo_t load_var(struct basic_block *bb, struct symbol *var) pseudo_t val = phi_map_lookup(var->phi_map, bb); if (!val) val = load_var_parents(bb, var); + while (val->type == PSEUDO_INDIR) + val = val->target; return val; }