Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/pr23623.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do compile } */ /* { dg-require-effective-target size32plus } */ /* { dg-options "-fstrict-volatile-bitfields -fdump-rtl-final" } */ /* With -fstrict-volatile-bitfields, the volatile accesses to bf2.b and bf3.b must do unsigned int reads/writes. The non-volatile accesses to bf1.b are not so constrained. */ extern struct { unsigned int b : 1; unsigned int : 31; } __attribute__((aligned(4))) bf1; extern volatile struct { unsigned int b : 1; unsigned int : 31; } __attribute__((aligned(4))) bf2; extern struct { volatile unsigned int b : 1; volatile unsigned int : 31; } __attribute__((aligned(4))) bf3; void writeb(void) { bf1.b = 1; bf2.b = 1; /* volatile read + volatile write */ bf3.b = 1; /* volatile read + volatile write */ } extern unsigned int x1, x2, x3; void readb(void) { x1 = bf1.b; x2 = bf2.b; /* volatile write */ x3 = bf3.b; /* volatile write */ } /* There should be 6 volatile MEMs total, but scan-rtl-dump-times counts the number of match variables and not the number of matches. Since the parenthesized subexpression in the regexp introduces an extra match variable, we need to give a count of 12 instead of 6 here. */ /* { dg-final { scan-rtl-dump-times "mem/v(/.)*:SI" 12 "final" } } */