[Committed] Add two testcases for 1bit bit-field

Message ID	CA+=Sn1me+VS06uLrFePxNGLHtK1yOvB5UscPDE6cTgrS8YDu=g@mail.gmail.com
State	New
Headers	show Return-Path: <gcc-patches-return-516587-incoming=patchwork.ozlabs.org@gcc.gnu.org> DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :mime-version:from:date:message-id:subject:to:content-type; q= dns; s=default; b=PJzkYxsc3jcHb7WurFVehV2vo2xs4UxVK2cWtc+iLYHvIk yzY/GKXMoNUpRYTFNgeJsWHXzGX93rpRO0rOarjaZ/0x5QT7x1GNLYymlj+Iap8R eukj5HAA7vfuFCemEmsOgyTduc3fTFRxFE71WISQyIuJKK4WxPAicrc42zgtE= Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk Sender: gcc-patches-owner@gcc.gnu.org MIME-Version: 1.0 From: Andrew Pinski <pinskia@gmail.com> Date: Thu, 2 Jan 2020 12:26:59 -0800 Message-ID: <CA+=Sn1me+VS06uLrFePxNGLHtK1yOvB5UscPDE6cTgrS8YDu=g@mail.gmail.com> Subject: [Committed] Add two testcases for 1bit bit-field To: GCC Patches <gcc-patches@gcc.gnu.org> Content-Type: multipart/mixed; boundary="0000000000008e942d059b2e0482"
Series	[Committed] Add two testcases for 1bit bit-field \| expand [Committed] Add two testcases for 1bit bit-field

Message ID

CA+=Sn1me+VS06uLrFePxNGLHtK1yOvB5UscPDE6cTgrS8YDu=g@mail.gmail.com

State

New

Headers

DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id
	:list-unsubscribe:list-archive:list-post:list-help:sender
	:mime-version:from:date:message-id:subject:to:content-type; q=
	dns; s=default; b=PJzkYxsc3jcHb7WurFVehV2vo2xs4UxVK2cWtc+iLYHvIk
	yzY/GKXMoNUpRYTFNgeJsWHXzGX93rpRO0rOarjaZ/0x5QT7x1GNLYymlj+Iap8R
	eukj5HAA7vfuFCemEmsOgyTduc3fTFRxFE71WISQyIuJKK4WxPAicrc42zgtE=
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
Sender: gcc-patches-owner@gcc.gnu.org
MIME-Version: 1.0
From: Andrew Pinski <pinskia@gmail.com>
Date: Thu, 2 Jan 2020 12:26:59 -0800
Message-ID: <CA+=Sn1me+VS06uLrFePxNGLHtK1yOvB5UscPDE6cTgrS8YDu=g@mail.gmail.com>
Subject: [Committed] Add two testcases for 1bit bit-field
To: GCC Patches <gcc-patches@gcc.gnu.org>
Content-Type: multipart/mixed; boundary="0000000000008e942d059b2e0482"

Series

[Committed] Add two testcases for 1bit bit-field | expand

Commit Message

Andrew Pinski Jan. 2, 2020, 8:26 p.m. UTC

Hi,
  While working an optimization, the optimization would produce wrong
code but I noticed there was no testcase for that case at all.

Committed as obvious.

Thanks,
Andrew Pinski

ChangeLog:
* gcc.c-torture/execute/bitfld-8.c: New testcase.
* gcc.c-torture/execute/bitfld-9.c: New testcase.

Index: gcc.c-torture/execute/bitfld-8.c
===================================================================
--- gcc.c-torture/execute/bitfld-8.c	(nonexistent)
+++ gcc.c-torture/execute/bitfld-8.c	(working copy)
@@ -0,0 +1,63 @@ 
+struct mouse_button_str {
+        unsigned char left      : 1;
+        unsigned char right     : 1;
+        unsigned char middle    : 1;
+        } button;
+
+static char fct (struct mouse_button_str newbutton) __attribute__ ((__noipa__));
+static char
+fct (struct mouse_button_str newbutton)
+{
+  char l = newbutton.left;
+  char r = newbutton.right;
+  char m = newbutton.middle;
+	return l || r || m;
+}
+
+int main(void)
+{
+  struct mouse_button_str newbutton1;
+  newbutton1.left = 1;
+  newbutton1.middle = 1;
+  newbutton1.right = 1;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+
+  newbutton1.left = 0;
+  newbutton1.middle = 1;
+  newbutton1.right = 1;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 1;
+  newbutton1.middle = 0;
+  newbutton1.right = 1;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 1;
+  newbutton1.middle = 1;
+  newbutton1.right = 0;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+
+
+  newbutton1.left = 1;
+  newbutton1.middle = 0;
+  newbutton1.right = 0;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 1;
+  newbutton1.right = 0;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 0;
+  newbutton1.right = 1;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 0;
+  newbutton1.right = 0;
+  if (fct (newbutton1))
+    __builtin_abort ();
+}
\ No newline at end of file
Index: gcc.c-torture/execute/bitfld-9.c
===================================================================
--- gcc.c-torture/execute/bitfld-9.c	(nonexistent)
+++ gcc.c-torture/execute/bitfld-9.c	(working copy)
@@ -0,0 +1,63 @@ 
+struct mouse_button_str {
+        unsigned char left      : 1;
+        unsigned char right     : 1;
+        unsigned char middle    : 1;
+        } button;
+
+static char fct (struct mouse_button_str newbutton) __attribute__ ((__noipa__));
+static char
+fct (struct mouse_button_str newbutton)
+{
+  char l = newbutton.left;
+  char r = newbutton.right;
+  char m = newbutton.middle;
+  return l && r && m;
+}
+
+int main(void)
+{
+  struct mouse_button_str newbutton1;
+  newbutton1.left = 1;
+  newbutton1.middle = 1;
+  newbutton1.right = 1;
+  if (!fct (newbutton1))
+    __builtin_abort ();
+
+  newbutton1.left = 0;
+  newbutton1.middle = 1;
+  newbutton1.right = 1;
+  if (fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 1;
+  newbutton1.middle = 0;
+  newbutton1.right = 1;
+  if (fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 1;
+  newbutton1.middle = 1;
+  newbutton1.right = 0;
+  if (fct (newbutton1))
+    __builtin_abort ();
+
+
+  newbutton1.left = 1;
+  newbutton1.middle = 0;
+  newbutton1.right = 0;
+  if (fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 1;
+  newbutton1.right = 0;
+  if (fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 0;
+  newbutton1.right = 1;
+  if (fct (newbutton1))
+    __builtin_abort ();
+  newbutton1.left = 0;
+  newbutton1.middle = 0;
+  newbutton1.right = 0;
+  if (fct (newbutton1))
+    __builtin_abort ();
+}