aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2013-06-03PNaCl ABI checker: Disallow ExtractValue and InsertValue instructions (2nd try)Mark Seaborn
2013-06-02Revert "PNaCl ABI checker: Disallow ExtractValue and InsertValue instructions"JF Bastien
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-31PNaCl ABI checker: Disallow ExtractValue and InsertValue instructionsMark Seaborn
2013-05-30PNaCl ABI checker: Disallow llvm.lifetime.start/end intrinsicsMark Seaborn
2013-05-30Enable integer promotion pass and add ABI check for integer typesDerek Schuff
2013-05-29PNaCl ABI checker: Reject integer arguments smaller than i32Mark Seaborn
2013-05-29Revert "Enable integer promotion pass and enable ABI check for integer types."Mark Seaborn
2013-05-29Enable integer promotion pass and enable ABI check for integer types.Derek Schuff
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-14Fix some build warnings in Nacl-specific codeEli Bendersky
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-22Fix bot build of translator, renormalize CMakeLists/LLVMBuild.txt/MakefileDerek Schuff
2013-04-18Fix CMake buildDerek Schuff
2013-04-15PNaCl ABI checker: Disallow the "resume" instructionMark Seaborn
2013-04-12PNaCl: extend GlobalCleanup to null-out extern_weak function references, and ...Derek Schuff
2013-04-12PNaCl ABI checker: Disallow ConstantExprs inside functionsMark Seaborn
2013-04-12PNaCl ABI checker: Disallow va_arg, varargs functions and varargs callsMark Seaborn
2013-04-12PNaCl ABI checker: Disallow invoke+landingpad instructionsMark Seaborn
2013-04-10PNaCl ABI checker: Disallow the GetElementPtr instructionMark Seaborn
2013-04-10PNaCl ABI checker: Disallow "section", "thread_local" and "gc" attributesMark Seaborn
2013-04-01PNaCl: Tidy: Remove an unnecessary cast in the ABI checkerMark Seaborn
2013-04-01PNaCl ABI checker: Disable integer size check since it doesn't pass yetMark Seaborn
2013-04-01PNaCl: Fix ABI checker to give a better error message on BlockAddressesMark Seaborn
2013-04-01PNaCl: Allow the ABI checker to be used from "opt"Mark Seaborn
2013-03-20Merge remote-tracking branch 'origin/master'Eli Bendersky
2013-03-18Switch ABI verifier passes to manual initialization.Derek Schuff
2013-03-14Fix LLVMBuild.txt for NaCl analysis passesDerek Schuff
2013-03-13ABI verifier: Add standalone tool pnacl-abicheckDerek Schuff
2013-03-11Merge commit '279b9184c2ff4fea93b198a3519b8cb3a1d8d195'Eli Bendersky
2013-02-28Fix a problem in alias analysis. It is about the misinterpretation of "Object".Shuxin Yang
2013-02-26Constant fold vector bitcasts of halves similarly to how floats and doubles a...Michael Ilseman
2013-02-26Unify clang/llvm attributes for asan/tsan/msan (LLVM part)Kostya Serebryany
2013-02-22ABI Verifier: Check types in metadata nodesDerek Schuff
2013-02-20Formatting.Chad Rosier
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-14Teach the DataLayout aware constant folder to be much more aggressive towardsNick Lewycky
2013-02-13Metadata for annotating loops as parallel. The first consumer for this Pekka Jaaskelainen
2013-02-13[tsan] disable load widening in ThreadSanitizer modeKostya Serebryany
2013-02-12This CL supersedes the previous 2 outstanding CLs.Derek Schuff
2013-02-12Cost model: Add check for reverse shuffles to CostModel analysisArnold Schwaighofer