gcc/testsuite/gcc.target/i386/volatile-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2" } */
   3
   4 /* Check volatiles are written, read or not re-read consistently */
   5
   6
   7 /* simple assignments */
   8
   9 extern int volatile obj_0;
  10 void test_0 (int data)
  11 {
  12   /* should not reread obj */
  13   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_0(\\(%rip\\))?" } } */
  14   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_0(\\(%rip\\))?," } } */
  15   obj_0 = data;
  16 }
  17
  18 extern int volatile obj_1;
  19 int test_1 (int data)
  20 {
  21   /* should not reread obj */
  22   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_1(\\(%rip\\))?" } } */
  23   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_1(\\(%rip\\))?," } } */
  24   return obj_1 = data;
  25 }
  26
  27 extern int volatile obj_2;
  28 int test_2 (void)
  29 {
  30   /* should not reread obj */
  31   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_2(\\(%rip\\))?" } } */
  32   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_2(\\(%rip\\))?," } } */
  33   return obj_2 = 0;
  34 }
  35
  36
  37 /* Assignments in compound exprs */
  38
  39 extern int volatile obj_3;
  40 int test_3 (int data)
  41 {
  42   /* should not reread obj */
  43   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_3(\\(%rip\\))?" } } */
  44   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_3(\\(%rip\\))?," } } */
  45   return (obj_3 = data, 0);
  46 }
  47
  48 extern int volatile obj_4;
  49 int test_4 (void)
  50 {
  51   /* should not reread obj */
  52   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_4(\\(%rip\\))?" } } */
  53   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_4(\\(%rip\\))?," } } */
  54   return (obj_4 = 0, 0);
  55 }
  56 extern int volatile obj_5;
  57 int test_5 (void)
  58 {
  59   /* should reread obj */
  60   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_5(\\(%rip\\))?" } } */
  61   /* { dg-final { scan-assembler "movl\[ \t\]obj_5(\\(%rip\\))?," } } */
  62   return (obj_5 = 0, obj_5);
  63 }
  64
  65 /* Assignments in conditional exprs */
  66
  67 extern int volatile obj_6;
  68 void test_6 (int data, int cond)
  69 {
  70   /* should not reread obj */
  71   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_6(\\(%rip\\))?" } } */
  72   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_6(\\(%rip\\))?," } } */
  73   cond ? obj_6 = data : 0;
  74 }
  75
  76 extern int volatile obj_7;
  77 int test_7 (int data, int cond)
  78 {
  79   /* should not reread obj */
  80   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_7(\\(%rip\\))?" } } */
  81   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_7(\\(%rip\\))?," } } */
  82   return cond ? obj_7 = data : 0;
  83 }
  84
  85 extern int volatile obj_8;
  86 int test_8 (int cond)
  87 {
  88   /* should not reread obj */
  89   /* { dg-final { scan-assembler "movl\[ \t\]\[^,\]+, obj_8(\\(%rip\\))?" } } */
  90   /* { dg-final { scan-assembler-not "movl\[ \t\]obj_8(\\(%rip\\))?," } } */
  91   return cond ? obj_8 = 0 : 0;
  92 }