From patchwork Sun Sep 9 23:53:26 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 10593523 Return-Path: Received: from mail.wl.linuxfoundation.org (pdx-wl-mail.web.codeaurora.org [172.30.200.125]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id CF4C0112B for ; Mon, 10 Sep 2018 02:50:03 +0000 (UTC) Received: from mail.wl.linuxfoundation.org (localhost [127.0.0.1]) by mail.wl.linuxfoundation.org (Postfix) with ESMTP id BD57728DFD for ; Mon, 10 Sep 2018 02:50:03 +0000 (UTC) Received: by mail.wl.linuxfoundation.org (Postfix, from userid 486) id AD5CF28F4F; Mon, 10 Sep 2018 02:50:03 +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=-8.0 required=2.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI 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 523F328DFD for ; Mon, 10 Sep 2018 02:50:03 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726547AbeIJHlr (ORCPT ); Mon, 10 Sep 2018 03:41:47 -0400 Received: from mail-wr1-f49.google.com ([209.85.221.49]:41910 "EHLO mail-wr1-f49.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726495AbeIJHlr (ORCPT ); Mon, 10 Sep 2018 03:41:47 -0400 Received: by mail-wr1-f49.google.com with SMTP id z96-v6so20211923wrb.8 for ; Sun, 09 Sep 2018 19:50:01 -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=XPhWMwYwLvFj1SNAI5uEA+jMFXoAcLvrC4X1bOpKv1s=; b=OlwSv3yViKhq0qZx7LUzx3FKHQs/jM3AI8I08TKbMVxkesJ9WLWLywQskZu77gR6T+ Z+voipDolKnCgyQ7SuU6OOXzIZK+Jx3DK4/qvT/Vxd0oiWas+ru7Ako6EYV0BavVb3AN Z6YylsY9v6KPJQaKqDceG/gl6wCrHaH3bkhAdyFuSmw64VSB1Hqelru3LmY4gEi/3fl1 6yZr5gezJKDw6hCAvHlMwiAtTAKPA450bEF5Q6BzwD/MGhrhBoExUgQh8hJWB76Z8LUQ hBSXG/kmu45NHh1LmbUdP1smb4ySPIJmqtsbQmBRge9Gl1KTg2hBQ54rjrfMyghXPyf1 cdZw== 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=XPhWMwYwLvFj1SNAI5uEA+jMFXoAcLvrC4X1bOpKv1s=; b=WoFdiAc3VqNbWwiCiSvtQCFeTIyfhK+glvmCLYy6jDEpE2bWU/zNUVwbpxoYXX98I7 +q/MEnngvQNH6VyhOkEeF3Opw/WO1yd2J7tzUhIKjBjmWMNl1RKH0zLQdWlxs+H1fp/c rbb1OX2fjIlYIXKjLVXnyLYLfZkuirhFq6pOxa8lljXC1qbl90HIyz3qox2dEmA/TMOh i007AORF8eJWwD68BFuSv6HswQLR4KRWUSo2RlZrJHwUBhx1Whcf0repi571dzB3KmKO iEEyXzXcBna5lBlkP5vARFkPseNB1ts9j31Gsepgs4AwUkHocf1A79jTXE13VRbnkcmn /moA== X-Gm-Message-State: APzg51DDgoBebHnanrtfCnC0fNX+Evd2YOdGOyxpRNgwZiYYck7OBYab +KBqRIeiHZ1pFhXOaQa0dnzu4uiR X-Google-Smtp-Source: ANB0VdZ3aRjKcr915hSJrE62lasZYd3n66U/JmTf64JNGNYC/1SUeQu6MSgSDoFsKQZfqtMeFvnSGQ== X-Received: by 2002:adf:fd90:: with SMTP id d16-v6mr13573568wrr.276.1536537332861; Sun, 09 Sep 2018 16:55:32 -0700 (PDT) Received: from localhost.localdomain ([2a02:a03f:4006:df00:5977:db62:b6c9:6a45]) by smtp.gmail.com with ESMTPSA id n11-v6sm15121516wra.26.2018.09.09.16.55.32 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 09 Sep 2018 16:55:32 -0700 (PDT) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Ramsay Jones , Luc Van Oostenryck Subject: [PATCH 3/4] test: make 32-bit version of failed test Date: Mon, 10 Sep 2018 01:53:26 +0200 Message-Id: <20180909235327.26252-4-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.18.0 In-Reply-To: <20180909235327.26252-1-luc.vanoostenryck@gmail.com> References: <20180909235327.26252-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 The test mem2reg/init-local.c succeeds on 64-bit but fails on 32-bit. Duplicate the test, one with -m64 and the other with -m32 and mark this one as known-to-fail. Reported-by: Ramsay Jones Signed-off-by: Luc Van Oostenryck --- validation/mem2reg/init-local32.c | 29 +++++++++++++++++++ .../mem2reg/{init-local.c => init-local64.c} | 4 +-- 2 files changed, 31 insertions(+), 2 deletions(-) create mode 100644 validation/mem2reg/init-local32.c rename validation/mem2reg/{init-local.c => init-local64.c} (71%) diff --git a/validation/mem2reg/init-local32.c b/validation/mem2reg/init-local32.c new file mode 100644 index 000000000..c988bb6e7 --- /dev/null +++ b/validation/mem2reg/init-local32.c @@ -0,0 +1,29 @@ +int ssimple(void) +{ + struct { + int a; + } s; + + s.a = 1; + return s.a; +} + +double sdouble(void) +{ + struct { + double a; + } s; + + s.a = 1.23; + return s.a; +} + +/* + * check-name: init-local32 + * check-command: test-linearize -Wno-decl -m32 -fdump-ir=mem2reg $file + * check-known-to-fail + * + * check-output-ignore + * check-output-excludes: load\\. + * check-output-excludes: store\\. + */ diff --git a/validation/mem2reg/init-local.c b/validation/mem2reg/init-local64.c similarity index 71% rename from validation/mem2reg/init-local.c rename to validation/mem2reg/init-local64.c index d51c9247a..72f89742b 100644 --- a/validation/mem2reg/init-local.c +++ b/validation/mem2reg/init-local64.c @@ -19,8 +19,8 @@ double sdouble(void) } /* - * check-name: init-local - * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file + * check-name: init-local64 + * check-command: test-linearize -Wno-decl -m64 -fdump-ir=mem2reg $file * check-output-ignore * check-output-excludes: load\\. * check-output-excludes: store\\.