modes.cocci 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. /* StarPU --- Runtime system for heterogeneous multicore architectures.
  2. *
  3. * Copyright (C) 2012 Inria
  4. * Copyright (C) 2012,2017 CNRS
  5. *
  6. * StarPU is free software; you can redistribute it and/or modify
  7. * it under the terms of the GNU Lesser General Public License as published by
  8. * the Free Software Foundation; either version 2.1 of the License, or (at
  9. * your option) any later version.
  10. *
  11. * StarPU is distributed in the hope that it will be useful, but
  12. * WITHOUT ANY WARRANTY; without even the implied warranty of
  13. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  14. *
  15. * See the GNU Lesser General Public License in COPYING.LGPL for more details.
  16. */
  17. /*
  18. * KNOWN BUGS :
  19. *
  20. * - Undefined behaviour if a codelet is used by more than one task
  21. * - buffers[x].mode must be STARPU_{R,W,RW} : cant be a variable
  22. */
  23. @r@
  24. identifier c;
  25. identifier t;
  26. expression id;
  27. constant MODE;
  28. expression H;
  29. @@
  30. t->cl = &c;
  31. <...
  32. - t->buffers[id].handle = H;
  33. + t->handles[id] = H;
  34. - t->buffers[id].mode = MODE;
  35. ...>
  36. @s depends on r@
  37. identifier r.c;
  38. expression r.id;
  39. constant r.MODE;
  40. @@
  41. struct starpu_codelet c = {
  42. ++ .modes[id] = MODE,
  43. };