aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/NaCl/PNaClABIVerifyModule.cpp
AgeCommit message (Expand)Author
2013-09-06PNaCl bitcode: Strip pointer types from intrinsic declarations' parametersMark Seaborn
2013-08-07Add the new @llvm.nacl.atomic.fence.all intrinsicJF Bastien
2013-08-01Add Intrinsic::nacl_atomic_is_lock_freeJF Bastien
2013-07-22Disallow dev/private intrinsics by default (only llvm.nacl.target.arch remains)Jan Voung
2013-07-20Remove prefetchJF Bastien
2013-07-13Concurrency support for PNaCl ABIJF Bastien
2013-07-10Reject the llvm.powi intrinsic in the PNaCl ABI verifier.Eli Bendersky
2013-07-02Move LLVM sqrt intrinsic to stable (for float and doubles).Jan Voung
2013-07-02Enable ABI verification check for whitelisting external symbolsEli Bendersky
2013-07-01PNaCl ABI checker: Check for exact names and types of whitelisted intrinsicsMark Seaborn
2013-06-29PNaCl ABI: Remove use of @llvm.memset.p0i8.i64 (64-bit intrinsic variant)Mark Seaborn
2013-06-28Move stacksave/restore to allowed list, pow to disallowed.Jan Voung
2013-06-24Move i32/i64 cttz, ctlz, and ctpop to whitelisted intrinsics.Jan Voung
2013-06-19PNaCl ABI: Disallow the "externally_initialized" attribute of GlobalVariablesMark Seaborn
2013-06-19Rewrite llvm.flt.rounds to "1" for now, and disallow llvm.flt.rounds.Jan Voung
2013-06-17PNaCl: Turn on ABI verifier by default in sandboxed translatorMark Seaborn
2013-06-16PNaCl ABI: Disallow non-default symbol visibility ("hidden" and "protected")Mark Seaborn
2013-06-14PNaCl ABI: Disallow the "available_externally" linkage typeMark Seaborn
2013-06-14PNaCl ABI: Convert "private" linkage to "internal"Mark Seaborn
2013-06-13PNaCl: Strip more unwanted attributes: "align" on functions and "unnamed_addr"Mark Seaborn
2013-06-12Move llvm.expect from dev to blacklist. Convert with -lower-expect.Jan Voung
2013-06-12Move non-Pow transcendentals back to disallowed list (unused).Jan Voung
2013-06-06PNaCl ABI: Strip out calling conventions from functions and callsMark Seaborn
2013-06-05PNaCl ABI: Strip out attributes on functions and function callsMark Seaborn
2013-06-04PNaCl ABI checker: Reject functions that are declared but not definedMark Seaborn
2013-06-04PNaCl ABI checker: Reject the "addrspace" attributeMark Seaborn
2013-06-04PNaCl ABI checker: Check for normal form introduced by ReplacePtrsWithIntsMark Seaborn
2013-05-31PNaCl ABI checker: Require global variable initialisers to be flattenedMark Seaborn
2013-05-31PNaCl: Remove and disallow llvm.invariant.start/end intrinsicsMark Seaborn
2013-05-30PNaCl ABI checker: Disallow llvm.lifetime.start/end intrinsicsMark Seaborn
2013-05-29PNaCl ABI checker: Reject integer arguments smaller than i32Mark Seaborn
2013-05-28PNaCl: Disable parts of InstCombine that introduce *.with.overflow intrinsicsMark Seaborn
2013-05-28PNaCl ABI checker: Disallow inline assemblyMark Seaborn
2013-05-22Promote bswap i16, i32, and i64 to be allowed llvm intrinsics.Jan Voung
2013-05-14Adding a pass - RewritePNaClLibraryCalls, that replaces known library calls w...Eli Bendersky
2013-05-13Start to disallow llvm.frameaddress and llvm.returnaddress in ABI checker.Jan Voung
2013-05-09Move llvm.eh.frame.cfa to the blacklist of intrinsics.Jan Voung
2013-05-08Put llvm.powi in the dev list of intrinsics.Jan Voung
2013-05-07Start a whitelist of intrinsics for the PNaCl ABI checker.Jan Voung
2013-04-26Check for metadata in PNaCl ABI checker.Jan Voung
2013-04-12PNaCl: extend GlobalCleanup to null-out extern_weak function references, and ...Derek Schuff
2013-04-12PNaCl ABI checker: Disallow va_arg, varargs functions and varargs callsMark Seaborn
2013-04-10PNaCl ABI checker: Disallow "section", "thread_local" and "gc" attributesMark Seaborn
2013-04-01PNaCl: Allow the ABI checker to be used from "opt"Mark Seaborn
2013-03-18Switch ABI verifier passes to manual initialization.Derek Schuff
2013-03-13ABI verifier: Add standalone tool pnacl-abicheckDerek Schuff
2013-02-22ABI Verifier: Check types in metadata nodesDerek Schuff
2013-02-20ABI Verifier: Check function return and argument types, and instruction opera...Derek Schuff
2013-02-19Move ABI type checker to its own fileDerek Schuff
2013-02-12This CL supersedes the previous 2 outstanding CLs.Derek Schuff