gcc/testsuite/gcc.target/s390/htm-builtins-compile-1.c

   1 /* This checks the availability of the low-level builtins introduced
   2    for transactional execution.  */
   3
   4 /* { dg-do compile } */
   5 /* { dg-options "-O3 -march=zEC12 -mzarch" } */
   6
   7 #include <stdint.h>
   8 #include <htmintrin.h>
   9
  10 int global = 0;
  11 uint64_t g;
  12 struct __htm_tdb global_tdb;
  13
  14 int
  15 foo (struct __htm_tdb* tdb, int reg, int *mem, uint64_t *mem64)
  16 {
  17
  18   int cc;
  19   int n;
  20
  21   __builtin_tbegin ((void *)0);
  22   __builtin_tbegin ((void *)-99999);
  23   __builtin_tbegin ((void *)99999);
  24   while (__builtin_tbegin ((void *)0) != 0)
  25   {
  26   }
  27   cc = __builtin_tbegin ((void *)0x12345678);
  28   cc = __builtin_tbegin (tdb);
  29   cc = __builtin_tbegin (&global_tdb);
  30   cc = __builtin_tbegin ((void *)(long)(reg + 0x12345678));
  31   cc = __builtin_tbegin ((void *)(long)(reg));
  32
  33   __builtin_tbegin_nofloat ((void *)0);
  34   __builtin_tbegin_nofloat ((void *)-99999);
  35   __builtin_tbegin_nofloat ((void *)99999);
  36   cc = __builtin_tbegin_nofloat ((void *)0x12345678);
  37   cc = __builtin_tbegin_nofloat (tdb);
  38   cc = __builtin_tbegin_nofloat (&global_tdb);
  39   cc = __builtin_tbegin_nofloat ((void *)(long)(reg + 0x12345678));
  40   cc = __builtin_tbegin_nofloat ((void *)(long)(reg));
  41
  42   __builtin_tbegin_retry ((void *)0, 0);
  43   cc = __builtin_tbegin_retry ((void *)0, 1);
  44   cc = __builtin_tbegin_retry ((void *)0, -1);
  45   cc = __builtin_tbegin_retry ((void *)0, 42);
  46   cc = __builtin_tbegin_retry ((void *)0, reg);
  47   cc = __builtin_tbegin_retry ((void *)0, *mem);
  48   cc = __builtin_tbegin_retry ((void *)0, global);
  49   cc = __builtin_tbegin_retry (tdb, 42);
  50   cc = __builtin_tbegin_retry (&global_tdb, 42);
  51   cc = __builtin_tbegin_retry ((void *)0x12345678, global);
  52   cc = __builtin_tbegin_retry (
  53           (void *)(long) (reg + 0x12345678), global + 1);
  54   cc = __builtin_tbegin_retry (
  55           (void *)(long)(reg), global - 1);
  56
  57   __builtin_tbegin_retry_nofloat ((void *)0, 0);
  58   cc = __builtin_tbegin_retry_nofloat ((void *)0, 1);
  59   cc = __builtin_tbegin_retry_nofloat ((void *)0, -1);
  60   cc = __builtin_tbegin_retry_nofloat ((void *)0, 42);
  61   cc = __builtin_tbegin_retry_nofloat ((void *)0, reg);
  62   cc = __builtin_tbegin_retry_nofloat ((void *)0, *mem);
  63   cc = __builtin_tbegin_retry_nofloat ((void *)0, global);
  64   cc = __builtin_tbegin_retry_nofloat (tdb, 42);
  65   cc = __builtin_tbegin_retry_nofloat (&global_tdb, 42);
  66   cc = __builtin_tbegin_retry_nofloat ((void *)0x12345678, global);
  67   cc = __builtin_tbegin_retry_nofloat (
  68           (void *)(long) (reg + 0x12345678), global + 1);
  69   cc = __builtin_tbegin_retry_nofloat (
  70           (void *)(long)(reg), global - 1);
  71
  72   __builtin_tbeginc ();
  73
  74   __builtin_tx_nesting_depth ();
  75   n = __builtin_tx_nesting_depth ();
  76
  77   __builtin_non_tx_store (mem64, 0);
  78   {
  79           const uint64_t val_var = 0x1122334455667788;
  80
  81           __builtin_non_tx_store (mem64, val_var);
  82   }
  83   __builtin_non_tx_store (mem64, (uint64_t)reg);
  84   __builtin_non_tx_store (mem64, g);
  85   __builtin_non_tx_store ((uint64_t *)0, 0);
  86   __builtin_non_tx_store ((uint64_t *)0x12345678, 0);
  87   __builtin_non_tx_store (&g, 23);
  88   __builtin_non_tx_store (&g, reg);
  89   __builtin_non_tx_store (&g, *mem);
  90   __builtin_non_tx_store (&g, global);
  91
  92   __builtin_tend();
  93
  94   __builtin_tx_assist (0);
  95   __builtin_tx_assist (1);
  96   __builtin_tx_assist (reg);
  97   __builtin_tx_assist (*mem);
  98   __builtin_tx_assist (global);
  99 }
 100
 101 /* The taborts must go into separate function since they are
 102    "noreturn".  */
 103
 104 void
 105 tabort1 ()
 106 {
 107   __builtin_tabort (256);
 108 }
 109
 110 void
 111 tabort2 (int reg)
 112 {
 113   __builtin_tabort (reg);
 114 }
 115
 116 void
 117 tabort3 (int reg)
 118 {
 119   /* { dg-final { scan-assembler-times "tabort\t255" 1 } } */
 120   __builtin_tabort (reg + 255);
 121 }
 122
 123 void
 124 tabort4 (int *mem)
 125 {
 126   __builtin_tabort (*mem);
 127 }
 128
 129 void
 130 tabort5 ()
 131 {
 132   __builtin_tabort (global);
 133 }
 134
 135 void
 136 tabort6 (int *mem)
 137 {
 138   /* Here global + 255 gets reloaded into a reg.  Better would be to
 139      just reload global or *mem and get the +255 for free as address
 140      arithmetic.  */
 141   __builtin_tabort (*mem + 255);
 142 }
 143
 144 void
 145 tabort7 ()
 146 {
 147   __builtin_tabort (global + 255);
 148 }
 149
 150 void
 151 tabort8 ()
 152 {
 153   __builtin_tabort (-1);
 154 }
 155
 156
 157 /* Make sure the tdb NULL argument ends up as immediate value in the
 158    instruction.  */
 159 /* { dg-final { scan-assembler-times "tbegin\t0," 17 } } */
 160 /* { dg-final { scan-assembler-times "tbegin\t" 41 } } */
 161 /* Check number of occurences of certain instructions.  */
 162 /* { dg-final { scan-assembler-times "tbeginc\t" 1 } } */
 163 /* { dg-final { scan-assembler-times "tabort\t" 8 } } */
 164 /* { dg-final { scan-assembler "ppa\t" } } */