diff --git a/llvm/unittests/Frontend/CMakeLists.txt b/llvm/unittests/Frontend/CMakeLists.txt --- a/llvm/unittests/Frontend/CMakeLists.txt +++ b/llvm/unittests/Frontend/CMakeLists.txt @@ -9,11 +9,13 @@ ) add_llvm_unittest(LLVMFrontendTests + OpenACCTest.cpp OpenMPContextTest.cpp OpenMPIRBuilderTest.cpp OpenMPParsingTest.cpp DEPENDS + acc_gen omp_gen ) diff --git a/llvm/unittests/Frontend/OpenACCTest.cpp b/llvm/unittests/Frontend/OpenACCTest.cpp new file mode 100644 --- /dev/null +++ b/llvm/unittests/Frontend/OpenACCTest.cpp @@ -0,0 +1,332 @@ +//===- llvm/unittest/Frontend/OpenACCTest.cpp - OpenACC Frontend tests ----===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// + +#include "llvm/ADT/ArrayRef.h" +#include "llvm/ADT/SmallSet.h" +#include "llvm/ADT/SmallVector.h" +#include "llvm/Frontend/OpenACC/ACC.h.inc" +#include "gtest/gtest.h" + +using namespace llvm; +using namespace acc; + +namespace { + +static const Clause AllClauses[] = {ACCC_unknown, + ACCC_async, + ACCC_attach, + ACCC_auto, + ACCC_bind, + ACCC_capture, + ACCC_collapse, + ACCC_copy, + ACCC_copyin, + ACCC_copyout, + ACCC_create, + ACCC_default, + ACCC_default_async, + ACCC_delete, + ACCC_detach, + ACCC_device, + ACCC_device_num, + ACCC_deviceptr, + ACCC_device_resident, + ACCC_device_type, + ACCC_finalize, + ACCC_firstprivate, + ACCC_gang, + ACCC_host, + ACCC_if, + ACCC_if_present, + ACCC_independent, + ACCC_link, + ACCC_no_create, + ACCC_nohost, + ACCC_num_gangs, + ACCC_num_workers, + ACCC_present, + ACCC_private, + ACCC_read, + ACCC_reduction, + ACCC_self, + ACCC_seq, + ACCC_tile, + ACCC_unknown, + ACCC_use_device, + ACCC_vector, + ACCC_vector_length, + ACCC_wait, + ACCC_worker, + ACCC_write}; + +TEST(OpenACCTest, DirectiveHelpers) { + EXPECT_EQ(getOpenACCDirectiveKind(""), ACCD_unknown); + EXPECT_EQ(getOpenACCDirectiveKind("dummy"), ACCD_unknown); + EXPECT_EQ(getOpenACCDirectiveKind("atomic"), ACCD_atomic); + EXPECT_EQ(getOpenACCDirectiveKind("cache"), ACCD_cache); + EXPECT_EQ(getOpenACCDirectiveKind("data"), ACCD_data); + EXPECT_EQ(getOpenACCDirectiveKind("declare"), ACCD_declare); + EXPECT_EQ(getOpenACCDirectiveKind("enter data"), ACCD_enter_data); + EXPECT_EQ(getOpenACCDirectiveKind("exit data"), ACCD_exit_data); + EXPECT_EQ(getOpenACCDirectiveKind("host_data"), ACCD_host_data); + EXPECT_EQ(getOpenACCDirectiveKind("init"), ACCD_init); + EXPECT_EQ(getOpenACCDirectiveKind("kernels"), ACCD_kernels); + EXPECT_EQ(getOpenACCDirectiveKind("kernels loop"), ACCD_kernels_loop); + EXPECT_EQ(getOpenACCDirectiveKind("loop"), ACCD_loop); + EXPECT_EQ(getOpenACCDirectiveKind("parallel"), ACCD_parallel); + EXPECT_EQ(getOpenACCDirectiveKind("parallel loop"), ACCD_parallel_loop); + EXPECT_EQ(getOpenACCDirectiveKind("routine"), ACCD_routine); + EXPECT_EQ(getOpenACCDirectiveKind("serial"), ACCD_serial); + EXPECT_EQ(getOpenACCDirectiveKind("serial loop"), ACCD_serial_loop); + EXPECT_EQ(getOpenACCDirectiveKind("set"), ACCD_set); + EXPECT_EQ(getOpenACCDirectiveKind("shutdown"), ACCD_shutdown); + EXPECT_EQ(getOpenACCDirectiveKind("unknown"), ACCD_unknown); + EXPECT_EQ(getOpenACCDirectiveKind("update"), ACCD_update); + EXPECT_EQ(getOpenACCDirectiveKind("wait"), ACCD_wait); + + EXPECT_EQ(getOpenACCDirectiveName(ACCD_atomic), "atomic"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_cache), "cache"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_data), "data"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_declare), "declare"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_enter_data), "enter data"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_exit_data), "exit data"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_host_data), "host_data"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_init), "init"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_kernels), "kernels"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_kernels_loop), "kernels loop"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_loop), "loop"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_parallel), "parallel"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_parallel_loop), "parallel loop"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_routine), "routine"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_serial), "serial"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_serial_loop), "serial loop"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_set), "set"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_shutdown), "shutdown"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_unknown), "unknown"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_update), "update"); + EXPECT_EQ(getOpenACCDirectiveName(ACCD_wait), "wait"); +} + +TEST(OpenACCTest, ClauseHelpers) { + EXPECT_EQ(getOpenACCClauseKind(""), ACCC_unknown); + EXPECT_EQ(getOpenACCClauseKind("dummy"), ACCC_unknown); + EXPECT_EQ(getOpenACCClauseKind("async"), ACCC_async); + EXPECT_EQ(getOpenACCClauseKind("attach"), ACCC_attach); + EXPECT_EQ(getOpenACCClauseKind("auto"), ACCC_auto); + EXPECT_EQ(getOpenACCClauseKind("bind"), ACCC_bind); + EXPECT_EQ(getOpenACCClauseKind("capture"), ACCC_capture); + EXPECT_EQ(getOpenACCClauseKind("collapse"), ACCC_collapse); + EXPECT_EQ(getOpenACCClauseKind("copy"), ACCC_copy); + EXPECT_EQ(getOpenACCClauseKind("copyin"), ACCC_copyin); + EXPECT_EQ(getOpenACCClauseKind("copyout"), ACCC_copyout); + EXPECT_EQ(getOpenACCClauseKind("create"), ACCC_create); + EXPECT_EQ(getOpenACCClauseKind("default"), ACCC_default); + EXPECT_EQ(getOpenACCClauseKind("default_async"), ACCC_default_async); + EXPECT_EQ(getOpenACCClauseKind("delete"), ACCC_delete); + EXPECT_EQ(getOpenACCClauseKind("detach"), ACCC_detach); + EXPECT_EQ(getOpenACCClauseKind("device"), ACCC_device); + EXPECT_EQ(getOpenACCClauseKind("device_num"), ACCC_device_num); + EXPECT_EQ(getOpenACCClauseKind("deviceptr"), ACCC_deviceptr); + EXPECT_EQ(getOpenACCClauseKind("device_resident"), ACCC_device_resident); + EXPECT_EQ(getOpenACCClauseKind("device_type"), ACCC_device_type); + EXPECT_EQ(getOpenACCClauseKind("finalize"), ACCC_finalize); + EXPECT_EQ(getOpenACCClauseKind("firstprivate"), ACCC_firstprivate); + EXPECT_EQ(getOpenACCClauseKind("gang"), ACCC_gang); + EXPECT_EQ(getOpenACCClauseKind("host"), ACCC_host); + EXPECT_EQ(getOpenACCClauseKind("if"), ACCC_if); + EXPECT_EQ(getOpenACCClauseKind("if_present"), ACCC_if_present); + EXPECT_EQ(getOpenACCClauseKind("independent"), ACCC_independent); + EXPECT_EQ(getOpenACCClauseKind("link"), ACCC_link); + EXPECT_EQ(getOpenACCClauseKind("no_create"), ACCC_no_create); + EXPECT_EQ(getOpenACCClauseKind("nohost"), ACCC_nohost); + EXPECT_EQ(getOpenACCClauseKind("num_gangs"), ACCC_num_gangs); + EXPECT_EQ(getOpenACCClauseKind("num_workers"), ACCC_num_workers); + EXPECT_EQ(getOpenACCClauseKind("present"), ACCC_present); + EXPECT_EQ(getOpenACCClauseKind("private"), ACCC_private); + EXPECT_EQ(getOpenACCClauseKind("read"), ACCC_read); + EXPECT_EQ(getOpenACCClauseKind("reduction"), ACCC_reduction); + EXPECT_EQ(getOpenACCClauseKind("self"), ACCC_self); + EXPECT_EQ(getOpenACCClauseKind("seq"), ACCC_seq); + EXPECT_EQ(getOpenACCClauseKind("tile"), ACCC_tile); + EXPECT_EQ(getOpenACCClauseKind("unknown"), ACCC_unknown); + EXPECT_EQ(getOpenACCClauseKind("use_device"), ACCC_use_device); + EXPECT_EQ(getOpenACCClauseKind("vector"), ACCC_vector); + EXPECT_EQ(getOpenACCClauseKind("vector_length"), ACCC_vector_length); + EXPECT_EQ(getOpenACCClauseKind("wait"), ACCC_wait); + EXPECT_EQ(getOpenACCClauseKind("worker"), ACCC_worker); + EXPECT_EQ(getOpenACCClauseKind("write"), ACCC_write); + + EXPECT_EQ(getOpenACCClauseName(ACCC_async), "async"); + EXPECT_EQ(getOpenACCClauseName(ACCC_attach), "attach"); + EXPECT_EQ(getOpenACCClauseName(ACCC_auto), "auto"); + EXPECT_EQ(getOpenACCClauseName(ACCC_bind), "bind"); + EXPECT_EQ(getOpenACCClauseName(ACCC_capture), "capture"); + EXPECT_EQ(getOpenACCClauseName(ACCC_collapse), "collapse"); + EXPECT_EQ(getOpenACCClauseName(ACCC_copy), "copy"); + EXPECT_EQ(getOpenACCClauseName(ACCC_copyin), "copyin"); + EXPECT_EQ(getOpenACCClauseName(ACCC_copyout), "copyout"); + EXPECT_EQ(getOpenACCClauseName(ACCC_create), "create"); + EXPECT_EQ(getOpenACCClauseName(ACCC_default), "default"); + EXPECT_EQ(getOpenACCClauseName(ACCC_default_async), "default_async"); + EXPECT_EQ(getOpenACCClauseName(ACCC_delete), "delete"); + EXPECT_EQ(getOpenACCClauseName(ACCC_detach), "detach"); + EXPECT_EQ(getOpenACCClauseName(ACCC_device), "device"); + EXPECT_EQ(getOpenACCClauseName(ACCC_device_num), "device_num"); + EXPECT_EQ(getOpenACCClauseName(ACCC_deviceptr), "deviceptr"); + EXPECT_EQ(getOpenACCClauseName(ACCC_device_resident), "device_resident"); + EXPECT_EQ(getOpenACCClauseName(ACCC_device_type), "device_type"); + EXPECT_EQ(getOpenACCClauseName(ACCC_finalize), "finalize"); + EXPECT_EQ(getOpenACCClauseName(ACCC_firstprivate), "firstprivate"); + EXPECT_EQ(getOpenACCClauseName(ACCC_gang), "gang"); + EXPECT_EQ(getOpenACCClauseName(ACCC_host), "host"); + EXPECT_EQ(getOpenACCClauseName(ACCC_if), "if"); + EXPECT_EQ(getOpenACCClauseName(ACCC_if_present), "if_present"); + EXPECT_EQ(getOpenACCClauseName(ACCC_independent), "independent"); + EXPECT_EQ(getOpenACCClauseName(ACCC_link), "link"); + EXPECT_EQ(getOpenACCClauseName(ACCC_no_create), "no_create"); + EXPECT_EQ(getOpenACCClauseName(ACCC_nohost), "nohost"); + EXPECT_EQ(getOpenACCClauseName(ACCC_num_gangs), "num_gangs"); + EXPECT_EQ(getOpenACCClauseName(ACCC_num_workers), "num_workers"); + EXPECT_EQ(getOpenACCClauseName(ACCC_present), "present"); + EXPECT_EQ(getOpenACCClauseName(ACCC_private), "private"); + EXPECT_EQ(getOpenACCClauseName(ACCC_read), "read"); + EXPECT_EQ(getOpenACCClauseName(ACCC_reduction), "reduction"); + EXPECT_EQ(getOpenACCClauseName(ACCC_self), "self"); + EXPECT_EQ(getOpenACCClauseName(ACCC_seq), "seq"); + EXPECT_EQ(getOpenACCClauseName(ACCC_tile), "tile"); + EXPECT_EQ(getOpenACCClauseName(ACCC_unknown), "unknown"); + EXPECT_EQ(getOpenACCClauseName(ACCC_use_device), "use_device"); + EXPECT_EQ(getOpenACCClauseName(ACCC_vector), "vector"); + EXPECT_EQ(getOpenACCClauseName(ACCC_vector_length), "vector_length"); + EXPECT_EQ(getOpenACCClauseName(ACCC_wait), "wait"); + EXPECT_EQ(getOpenACCClauseName(ACCC_worker), "worker"); + EXPECT_EQ(getOpenACCClauseName(ACCC_write), "write"); +} + +static void expectAllowedClauses(Directive Dir, unsigned Version, + const ArrayRef &AllowedClauses) { + SmallSet AllowedClausesSet; + for (Clause Cl : AllowedClauses) { + EXPECT_TRUE(isAllowedClauseForDirective(Dir, Cl, Version)); + AllowedClausesSet.insert(Cl); + } + + for (Clause Cl : AllClauses) { + if (!AllowedClausesSet.contains(Cl)) { + EXPECT_FALSE(isAllowedClauseForDirective(Dir, Cl, Version)); + } + } +} + +TEST(OpenACCTest, AllowedClause) { + expectAllowedClauses(ACCD_atomic, 3, {}); + expectAllowedClauses(ACCD_cache, 3, {}); + expectAllowedClauses(ACCD_unknown, 3, {}); + expectAllowedClauses(ACCD_parallel, 0, {}); // Version starts at 1 + + expectAllowedClauses(ACCD_data, 3, + {ACCC_if, ACCC_attach, ACCC_copy, ACCC_copyin, + ACCC_copyout, ACCC_create, ACCC_default, ACCC_deviceptr, + ACCC_no_create, ACCC_present}); + + expectAllowedClauses(ACCD_declare, 3, + {ACCC_copy, ACCC_copyin, ACCC_copyout, ACCC_create, + ACCC_present, ACCC_deviceptr, ACCC_device_resident, + ACCC_link}); + + expectAllowedClauses( + ACCD_enter_data, 3, + {ACCC_async, ACCC_if, ACCC_wait, ACCC_attach, ACCC_create, ACCC_copyin}); + + expectAllowedClauses(ACCD_exit_data, 3, + {ACCC_async, ACCC_if, ACCC_wait, ACCC_finalize, + ACCC_copyout, ACCC_delete, ACCC_detach}); + + expectAllowedClauses(ACCD_host_data, 3, + {ACCC_if, ACCC_if_present, ACCC_use_device}); + + expectAllowedClauses(ACCD_init, 3, + {ACCC_device_num, ACCC_device_type, ACCC_if}); + + expectAllowedClauses(ACCD_kernels, 3, + {ACCC_attach, ACCC_copy, ACCC_copyin, ACCC_copyout, + ACCC_create, ACCC_device_type, ACCC_no_create, + ACCC_present, ACCC_deviceptr, ACCC_async, ACCC_default, + ACCC_if, ACCC_num_gangs, ACCC_num_workers, ACCC_self, + ACCC_vector_length, ACCC_wait}); + + expectAllowedClauses( + ACCD_kernels_loop, 3, + {ACCC_copy, ACCC_copyin, ACCC_copyout, ACCC_create, + ACCC_device_type, ACCC_no_create, ACCC_present, ACCC_private, + ACCC_deviceptr, ACCC_attach, ACCC_async, ACCC_collapse, + ACCC_default, ACCC_gang, ACCC_if, ACCC_num_gangs, + ACCC_num_workers, ACCC_reduction, ACCC_self, ACCC_tile, + ACCC_vector, ACCC_vector_length, ACCC_wait, ACCC_worker, + ACCC_auto, ACCC_independent, ACCC_seq}); + + expectAllowedClauses(ACCD_loop, 3, + {ACCC_device_type, ACCC_private, ACCC_collapse, + ACCC_gang, ACCC_reduction, ACCC_tile, ACCC_vector, + ACCC_worker, ACCC_auto, ACCC_independent, ACCC_seq}); + + expectAllowedClauses(ACCD_parallel, 3, + {ACCC_async, ACCC_wait, ACCC_num_gangs, + ACCC_num_workers, ACCC_vector_length, ACCC_device_type, + ACCC_if, ACCC_self, ACCC_reduction, + ACCC_copy, ACCC_copyin, ACCC_copyout, + ACCC_create, ACCC_no_create, ACCC_present, + ACCC_deviceptr, ACCC_attach, ACCC_private, + ACCC_firstprivate, ACCC_default}); + + expectAllowedClauses( + ACCD_parallel_loop, 3, + {ACCC_attach, ACCC_copy, ACCC_copyin, ACCC_copyout, + ACCC_create, ACCC_deviceptr, ACCC_device_type, ACCC_firstprivate, + ACCC_no_create, ACCC_present, ACCC_private, ACCC_tile, + ACCC_wait, ACCC_async, ACCC_collapse, ACCC_default, + ACCC_gang, ACCC_if, ACCC_num_gangs, ACCC_num_workers, + ACCC_reduction, ACCC_self, ACCC_vector, ACCC_vector_length, + ACCC_worker, ACCC_auto, ACCC_independent, ACCC_seq}); + + expectAllowedClauses(ACCD_routine, 3, + {ACCC_bind, ACCC_device_type, ACCC_nohost, ACCC_gang, + ACCC_seq, ACCC_vector, ACCC_worker}); + + expectAllowedClauses(ACCD_serial, 3, + {ACCC_attach, ACCC_copy, ACCC_copyin, ACCC_copyout, + ACCC_create, ACCC_deviceptr, ACCC_device_type, + ACCC_firstprivate, ACCC_no_create, ACCC_present, + ACCC_private, ACCC_wait, ACCC_async, ACCC_default, + ACCC_if, ACCC_reduction, ACCC_self}); + + expectAllowedClauses( + ACCD_serial_loop, 3, + {ACCC_attach, ACCC_copy, ACCC_copyin, ACCC_copyout, + ACCC_create, ACCC_deviceptr, ACCC_device_type, ACCC_firstprivate, + ACCC_no_create, ACCC_present, ACCC_private, ACCC_wait, + ACCC_async, ACCC_collapse, ACCC_default, ACCC_gang, + ACCC_if, ACCC_reduction, ACCC_self, ACCC_tile, + ACCC_vector, ACCC_worker, ACCC_auto, ACCC_independent, + ACCC_seq}); + + expectAllowedClauses( + ACCD_set, 3, + {ACCC_default_async, ACCC_device_num, ACCC_device_type, ACCC_if}); + + expectAllowedClauses(ACCD_shutdown, 3, + {ACCC_device_num, ACCC_device_type, ACCC_if}); + + expectAllowedClauses(ACCD_update, 3, + {ACCC_async, ACCC_wait, ACCC_device_type, ACCC_if, + ACCC_if_present, ACCC_self, ACCC_host, ACCC_device}); + + expectAllowedClauses(ACCD_wait, 3, {ACCC_async, ACCC_if}); +} + +} // namespace