From patchwork Wed Apr 12 12:59:11 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: 9677489 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 AAA5060383 for ; Wed, 12 Apr 2017 13:01:31 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id 9D7C628662 for ; Wed, 12 Apr 2017 13:01:31 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id 925E82866C; Wed, 12 Apr 2017 13:01:31 +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 0E36028662 for ; Wed, 12 Apr 2017 13:01:31 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753622AbdDLNBa (ORCPT ); Wed, 12 Apr 2017 09:01:30 -0400 Received: from mail-wm0-f66.google.com ([74.125.82.66]:34539 "EHLO mail-wm0-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753214AbdDLNB3 (ORCPT ); Wed, 12 Apr 2017 09:01:29 -0400 Received: by mail-wm0-f66.google.com with SMTP id x75so6270802wma.1 for ; Wed, 12 Apr 2017 06:01:28 -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=MLGxnhvbDHrcjQ4nESuPiEeYcyhai6kObMDDeRynXcg=; b=FYEXJ/Gw0fbzOnNAW6uIsure0iRR36pj4d0saaheG+8SU5wTzL54PkPOXF0udPDteK AxhASgcy39F8Wh6tjBNzAZ9lCKwdmhEpaNZqkQ1ntATcHkvUMopt2biM52bvruG6rdYK lMwpa7FpR/Iy3ORwiv1y0jfbm28qpo6bY6Iy38c/buVcr0VD5NcvXK+8HybbKiwEIA1J v3/NCIrYJpxzCz66nMuhGnm0ISZTK2bkGWmahX9ckq+2tqWQKeYSWNqSYKyXlk0m8VgS Cj0P71spYBqSAJFERQl7MohkVNZ9irEBQQYmo1TdAxTvIaRznvU3H8hKKwbIgoLobQ7r m8cw== 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=MLGxnhvbDHrcjQ4nESuPiEeYcyhai6kObMDDeRynXcg=; b=XL7lvEnv1UZBxA8O/ZPLfHdGhQBlBjFC2BHm6OD2K+EvhVv3gMYOGQRGgDb8GCMrD2 Tz+J25mnn2mzbELZLbBTr/1dK/kcaVyqymagOFxw6bVs77+JkxDHAG17vuzSpbmgRf09 6h1rb61lV+/w74isATc3xrX2HVPR5ktNV/t2g1Ttc1U0d/3kb2Ro37utsWjWI9DntYX7 RgmeVV/mCRqqjpoNssHaG56J/pcDH1IkZugJ3crIY9o0H6zlZdY/m5bFJv6l+e5wNu7w T6YyGi+vvmhqD6Y2mjsY3X02Ct8hKBbW1BL0F11yz/E26peZiG5/JpwMAY0vIPg7yE7M uCyQ== X-Gm-Message-State: AN3rC/5iywj6QgkMlozAcDHogx2e+kuEimSEa244lG/QnOr4OEmPg9+K q+gycz4/T/Vy5g== X-Received: by 10.28.91.1 with SMTP id p1mr19866284wmb.63.1492002087538; Wed, 12 Apr 2017 06:01:27 -0700 (PDT) Received: from localhost.localdomain ([2a02:a03f:8b2:dc00:6c54:829e:388a:2472]) by smtp.gmail.com with ESMTPSA id o22sm25391467wro.45.2017.04.12.06.01.25 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 12 Apr 2017 06:01:26 -0700 (PDT) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Christopher Li , Luc Van Oostenryck Subject: [PATCH 1/2] CSE: split optim/cse-dual-compare.c in two files Date: Wed, 12 Apr 2017 14:59:11 +0200 Message-Id: <20170412125912.46641-2-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.12.0 In-Reply-To: <20170412125912.46641-1-luc.vanoostenryck@gmail.com> References: <20170412125912.46641-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 This is a preparatory step for the nex patch (half of the tests will succeed). Signed-off-by: Luc Van Oostenryck --- .../optim/{cse-dual-compare.c => cse-dual-cmpeq.c} | 10 +----- validation/optim/cse-dual-cmpne.c | 40 ++++++++++++++++++++++ 2 files changed, 41 insertions(+), 9 deletions(-) rename validation/optim/{cse-dual-compare.c => cse-dual-cmpeq.c} (69%) create mode 100644 validation/optim/cse-dual-cmpne.c diff --git a/validation/optim/cse-dual-compare.c b/validation/optim/cse-dual-cmpeq.c similarity index 69% rename from validation/optim/cse-dual-compare.c rename to validation/optim/cse-dual-cmpeq.c index b43cf7899..45ceee12d 100644 --- a/validation/optim/cse-dual-compare.c +++ b/validation/optim/cse-dual-cmpeq.c @@ -14,16 +14,8 @@ static int enlelt(int a, int b) { return (a <= b) == !(b < a); } static int engegt(int a, int b) { return (a >= b) == !(b > a); } static int engtge(int a, int b) { return (a > b) == !(b >= a); } -static int neeqne(int a, int b) { return (a == b) != (b != a); } -static int neneeq(int a, int b) { return (a != b) != (b == a); } - -static int neltle(int a, int b) { return (a < b) != (b <= a); } -static int nelelt(int a, int b) { return (a <= b) != (b < a); } -static int negegt(int a, int b) { return (a >= b) != (b > a); } -static int negtge(int a, int b) { return (a > b) != (b >= a); } - /* - * check-name: cse-dual-compare + * check-name: cse-dual-cmpeq * check-command: test-linearize $file * check-output-ignore * check-known-to-fail diff --git a/validation/optim/cse-dual-cmpne.c b/validation/optim/cse-dual-cmpne.c new file mode 100644 index 000000000..489150c32 --- /dev/null +++ b/validation/optim/cse-dual-cmpne.c @@ -0,0 +1,40 @@ +int eqeqnea(int a, int b) { return (a == b) == (a != b); } +int eqneeqa(int a, int b) { return (a != b) == (a == b); } +int eqeqneb(int a, int b) { return (a == b) == (b != a); } +int eqneeqb(int a, int b) { return (a != b) == (b == a); } + +int eqltlea(int a, int b) { return (a < b) == (a >= b); } +int eqlelta(int a, int b) { return (a <= b) == (a > b); } +int eqgegta(int a, int b) { return (a >= b) == (a < b); } +int eqgtgea(int a, int b) { return (a > b) == (a <= b); } + +int eqltleb(int a, int b) { return (a < b) == (b <= a); } +int eqleltb(int a, int b) { return (a <= b) == (b < a); } +int eqgegtb(int a, int b) { return (a >= b) == (b > a); } +int eqgtgeb(int a, int b) { return (a > b) == (b >= a); } + +int neeqnea(int a, int b) { return (a == b) != (a != b); } +int neneeqa(int a, int b) { return (a != b) != (a == b); } +int neeqneb(int a, int b) { return (a == b) != (b != a); } +int neneeqb(int a, int b) { return (a != b) != (b == a); } + +int neltlea(int a, int b) { return (a < b) != (a >= b); } +int nelelta(int a, int b) { return (a <= b) != (a > b); } +int negegta(int a, int b) { return (a >= b) != (a < b); } +int negtgea(int a, int b) { return (a > b) != (a <= b); } + +int neltleb(int a, int b) { return (a < b) != (b <= a); } +int neleltb(int a, int b) { return (a <= b) != (b < a); } +int negegtb(int a, int b) { return (a >= b) != (b > a); } +int negtgeb(int a, int b) { return (a > b) != (b >= a); } + +/* + * check-name: cse-dual-cmpne + * check-command: test-linearize $file + * check-output-ignore + * check-known-to-fail + * + * check-output-excludes: set[gl][et]\\. + * check-output-excludes: seteq\\. + * check-output-excludes: setne\\. + */