Concurrency support for PNaCl ABI

lib/Analysis/NaCl/PNaClABIVerifyModule.cpp

 //===- PNaClABIVerifyModule.cpp - Verify PNaCl ABI rules ------------------===//
 //
 //                     The LLVM Compiler Infrastructure
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 //
 // Verify module-level PNaCl ABI requirements (specifically those that do not
 // require looking at the function bodies)
 //
 //
 //===----------------------------------------------------------------------===//
 
-#include "llvm/Pass.h"
 #include "llvm/ADT/Twine.h"
 #include "llvm/Analysis/NaCl.h"
 #include "llvm/IR/Constants.h"
 #include "llvm/IR/DerivedTypes.h"
+#include "llvm/IR/Instructions.h"
 #include "llvm/IR/Intrinsics.h"
 #include "llvm/IR/Module.h"
+#include "llvm/Pass.h"
 #include "llvm/Support/Debug.h"
 #include "llvm/Support/raw_ostream.h"
 
 #include "PNaClABITypeChecker.h"
 using namespace llvm;
 
 namespace llvm {
 cl::opt<bool>
 PNaClABIAllowDebugMetadata("pnaclabi-allow-debug-metadata",
   cl::desc("Allow debug metadata during PNaCl ABI verification."),
@@ skipping 144 matching lines @@
     return false;
   Type *ParamType = FT->getParamType(0);
   LLVMContext &C = F->getContext();
   Type *AcceptableTypes[] = { Type::getInt32Ty(C), Type::getInt64Ty(C) };
   return TypeAcceptable(ParamType, AcceptableTypes);
 }
 
 bool PNaClABIVerifyModule::isWhitelistedIntrinsic(const Function *F,
                                                   unsigned ID) {
   // Keep 3 categories of intrinsics for now.
-  // (1) Allowed always
-  // (2) Never allowed
+  // (1) Allowed.
+  // (2) Never allowed.
   // (3) "Dev" intrinsics, which may or may not be allowed.
   // "Dev" intrinsics are controlled by the PNaClABIAllowDevIntrinsics flag.
   // Please keep these sorted or grouped in a sensible way, within
   // each category.
   switch(ID) {
     // Disallow by default.
     default: return false;
-    // (1) Always allowed.
+    // (1) Allowed.
+    case Intrinsic::memcpy:
+    case Intrinsic::memmove:
+    case Intrinsic::memset:
+    case Intrinsic::nacl_atomic_8:
+    case Intrinsic::nacl_atomic_16:
+    case Intrinsic::nacl_atomic_32:
+    case Intrinsic::nacl_atomic_64:
+    case Intrinsic::nacl_setjmp:
+    case Intrinsic::nacl_longjmp:
+    case Intrinsic::nacl_read_tp:
+    case Intrinsic::trap:
+      return true;
     case Intrinsic::bswap: return isWhitelistedBswap(F);
     case Intrinsic::ctlz:
     case Intrinsic::cttz: return isWhitelistedCountBits(F, 2);
     case Intrinsic::ctpop: return isWhitelistedCountBits(F, 1);
-    case Intrinsic::memcpy:
-    case Intrinsic::memmove:
-    case Intrinsic::memset:
-    case Intrinsic::nacl_read_tp:
-    case Intrinsic::nacl_setjmp:
-    case Intrinsic::nacl_longjmp:
-    case Intrinsic::trap:
-      return true;
 
     // (2) Known to be never allowed.
     case Intrinsic::not_intrinsic:
     // Trampolines depend on a target-specific-sized/aligned buffer.
     case Intrinsic::adjust_trampoline:
     case Intrinsic::init_trampoline:
     // CXX exception handling is not stable.
     case Intrinsic::eh_dwarf_cfa:
     case Intrinsic::eh_return_i32:
     case Intrinsic::eh_return_i64:
@@ skipping 252 matching lines @@
 }
 
 char PNaClABIVerifyModule::ID = 0;
 INITIALIZE_PASS(PNaClABIVerifyModule, "verify-pnaclabi-module",
                 "Verify module for PNaCl", false, true)
 
 ModulePass *llvm::createPNaClABIVerifyModulePass(
     PNaClABIErrorReporter *Reporter, bool StreamingMode) {
   return new PNaClABIVerifyModule(Reporter, StreamingMode);
 }