[PATCH] D105937: [OpenMP] Encode `omp [...] assume[...]` assumptions with `omp[x]` prefix

[Johannes Doerfert via Phabricator via cfe-commits]

jdoerfert created this revision.
jdoerfert added a reviewer: jhuber6.
Herald added subscribers: guansong, bollu, yaxunl.
jdoerfert requested review of this revision.
Herald added subscribers: cfe-commits, sstefan1.
Herald added a project: clang.

Since these assumptions are coming from OpenMP it makes sense to mark
them as such in the generic IR encoding. Standardized assumptions will
be named

  omp_ASSUMPTION_NAME

and extensions will be named

  ompx_ASSUMPTION_NAME

which is the OpenMP 5.2 syntax for "extensions" of any kind.

This also matches what the OpenMP-Opt pass expects.

Summarized,

  #pragma omp [...] assume[s] no_parallelism

now generates the same IR assumption annotation as

  __attribute__((assume("omp_no_parallelism")))


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D105937

Files:
  clang/lib/Parse/ParseOpenMP.cpp
  clang/test/OpenMP/assumes_print.cpp
  clang/test/OpenMP/assumes_template_print.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D105937.358415.patch
Type: text/x-patch
Size: 5001 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20210713/29713827/attachment.bin>