Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / 4ee451de366474b9c228b4e5fa573795a715216d / lib / VMCore / Verifier.cpp
  1. 4ee451d Remove attribution from file headers, per discussion on llvmdev. by Chris Lattner · 17 years ago
  2. e1433f2 Noting and enforcing that GC intrinsics are valid only within a by Gordon Henriksen · 17 years ago
  3. 27acd3a Adjusting verification of "llvm.gc*" intrinsic prototypes to match LangRef. by Gordon Henriksen · 17 years ago
  4. d9d7039 Get the verifier to check attributes on calls as well by Duncan Sands · 17 years ago
  5. fd7b326 Make invokes of inline asm legal. Teach codegen by Duncan Sands · 17 years ago
  6. 43ad6b3 Change the PointerType api for creating pointer types. The old functionality of PointerType::get() has become PointerType::getUnqual(), which returns a pointer in the generic address space. The new prototype of PointerType::get() requires both a type and an address space. by Christopher Lamb · 17 years ago
  7. 303dae9 Make it clear in the LangRef that allocation instructions only operated on the generic address space. Implement support in the verifier for ensuring this is true. by Christopher Lamb · 17 years ago
  8. a8b9746 Check that there are not more attributes than function parameters. by Duncan Sands · 17 years ago
  9. dc02467 Fix PR1146: parameter attributes are longer part of by Duncan Sands · 17 years ago
  10. 827cde1 Fix PR1816. If a bitcast of a function only exists because of a by Duncan Sands · 17 years ago
  11. ed4a2f1 Rename the 'const' parameter attribute to 'readnone', by Duncan Sands · 17 years ago
  12. b348d18 Add support for vectors to int <-> float casts. by Nate Begeman · 17 years ago
  13. c455ebe I discover array_lengthof, thanks to gabor on #llvm. by Duncan Sands · 17 years ago
  14. 0a4f91e Simplify the attribute verification code. by Duncan Sands · 17 years ago
  15. 0adb7b4 Add pure/const attributes. Documentation will follow. by Anton Korobeynikov · 17 years ago
  16. d056190 Don't barf on empty basic blocks. Do not rely on assert by Duncan Sands · 17 years ago
  17. b5c9164 remove verifier command line option: this should be part of the API, not by Chris Lattner · 17 years ago
  18. 765d645 Now with less tabs! by Owen Anderson · 17 years ago
  19. c570e33 Add a preverifier pass to check that every basic block ends in a terminator, so that we don't segfault when verifying invalid code. by Owen Anderson · 17 years ago
  20. 0569187 I am not sure this is a good idea to be an option, but rename the option for by Chris Lattner · 17 years ago
  21. 536c64b Add 'pedantic' mode to verifier rejecting syntactically valid, but 'bad' due to other reasons code by Anton Korobeynikov · 17 years ago
  22. f51edad Check that the second parameter of init_trampoline by Duncan Sands · 17 years ago
  23. 6693da0 reject things like "declare internal @foo" by Chris Lattner · 17 years ago
  24. b508521 Incorporating review feedback for GC verifier patch. by Gordon Henriksen · 17 years ago
  25. 8c33da5 Fix for PR1633: Verifier doesn't fully verify GC intrinsics by Gordon Henriksen · 17 years ago
  26. b8f7479 by David Greene · 17 years ago
  27. 453eed1 use a nicer accessor. by Chris Lattner · 17 years ago
  28. fe5b439 Fix the verification for overloaded intrinsic types. Check that they are by Dan Gohman · 17 years ago
  29. 0fee3ff Add MVT::fAny for overloading intrinsics on floating-point types. by Dan Gohman · 17 years ago
  30. 181b6c9 Fix minor doxygen nits. by Reid Spencer · 17 years ago
  31. 6994040 This is the patch to provide clean intrinsic function overloading support in LLVM. It cleans up the intrinsic definitions and generally smooths the process for more complicated intrinsic writing. It will be used by the upcoming atomic intrinsics as well as vector and float intrinsics in the future. by Chandler Carruth · 17 years ago
  32. e87f233 After a discussion with Anton, it turns out that the InReg attribute is not by Reid Spencer · 17 years ago
  33. 6e800fe The InReg parameter attribute is valid on function results. The llvm-gcc-4.0 by Reid Spencer · 17 years ago
  34. 9d3e791 It seems logical that InReg should be incompatible by Duncan Sands · 17 years ago
  35. fdef00f As the number of parameter attributes increases, by Duncan Sands · 17 years ago
  36. 36397f5 Support for trampolines, except for X86 codegen which is still under discussion. by Duncan Sands · 17 years ago
  37. bb862c0 Make output match actual condition tested. Thanks, Duncan. by Reid Spencer · 17 years ago
  38. d6b42b2 1. Make sure we print the Function Value for parameter attribute errors by Reid Spencer · 17 years ago
  39. 552d640 Add better verification of attributes on function types. It is not permitted by Reid Spencer · 17 years ago
  40. 969c444 detect invalid combination of sret and byval by Rafael Espindola · 17 years ago
  41. 07a9676 Fix comments about vectors to use the current wording. by Dan Gohman · 17 years ago
  42. b91025b check for correct usage of the byval attribute by Rafael Espindola · 17 years ago
  43. 1aa7efb Add the byval attribute by Rafael Espindola · 17 years ago
  44. 2099ff0 Use DominatorTree instead of ETForest. by Devang Patel · 17 years ago
  45. 5cbf316 Add assert to check if the attributes ZExt/SExt, NoAlias are apply to the by Zhou Sheng · 17 years ago
  46. 1997473 Drop 'const' by Devang Patel · 17 years ago
  47. 3e15bf3 Use 'static const char' instead of 'static const int'. by Devang Patel · 17 years ago
  48. 794fd75 Do not use typeinfo to identify pass in pass manager. by Devang Patel · 17 years ago
  49. c6c98af Implement review feedback by Anton Korobeynikov · 17 years ago
  50. 0f53f7f Let Verifier check aliasees by Anton Korobeynikov · 17 years ago
  51. a80e118 Implement review feedback. Aliasees can be either GlobalValue's or by Anton Korobeynikov · 17 years ago
  52. 8b0a8c8 Implement aliases. This fixes PR1017 and it's dependent bugs. CFE part by Anton Korobeynikov · 17 years ago
  53. cd07075 Fix regressions introduced by my previous patch: opt calls verifier in a by Chris Lattner · 17 years ago
  54. 19b6dcd catch a case that was biting jeffc by Chris Lattner · 17 years ago
  55. 4d8c16f eliminate a use of Instruction::getPrev(), patch by Gabor Greif in 2005. by Chris Lattner · 17 years ago
  56. f75b874 For PR1284: Implement the "part_set" intrinsic. by Reid Spencer · 17 years ago
  57. 466b9bd unbreak the build :( by Chris Lattner · 17 years ago
  58. a838321 Fix build problem. by Jeff Cohen · 17 years ago
  59. addd11d Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic. by Reid Spencer · 17 years ago
  60. 559d77a For PR1297: by Reid Spencer · 17 years ago
  61. ac9dcb9 For PR1195: by Reid Spencer · 17 years ago
  62. 9d6565a For PR1195: by Reid Spencer · 17 years ago
  63. dec628e Switch ValueSymbolTable to use StringMap<Value*> instead of std::map<std::string, Value*> by Chris Lattner · 18 years ago
  64. f8edb62 convert some vectors to smallvector. by Chris Lattner · 18 years ago
  65. 8552fae speed up the verifier 8.5% by using a smallvector instead of vector. by Chris Lattner · 18 years ago
  66. 78287b4 Change an std::set to a SmallPtrSet. This speeds up the verifier on by Chris Lattner · 18 years ago
  67. ba4cc09 Support var arg intrinsics. by Jim Laskey · 18 years ago
  68. ef9b9a7 For PR411: by Reid Spencer · 18 years ago
  69. 832254e Changes to support making the shift instructions be true BinaryOperators. by Reid Spencer · 18 years ago
  70. 5cbf985 For PR1136: Rename GlobalVariable::isExternal as isDeclaration to avoid by Reid Spencer · 18 years ago
  71. b10308e Propagate changes from my local tree. This patch includes: by Anton Korobeynikov · 18 years ago
  72. 42a7551 rename Type::isIntegral to Type::isInteger, eliminating the old Type::isInteger. by Chris Lattner · 18 years ago
  73. b9d8b97 teach VMCore to accept i1 add's and shifts by Chris Lattner · 18 years ago
  74. a54b7cb For PR1064: by Reid Spencer · 18 years ago
  75. 4fe16d6 Rename BoolTy as Int1Ty. Patch by Sheng Zhou. by Reid Spencer · 18 years ago
  76. 78d033e For PR411: by Reid Spencer · 18 years ago
  77. affaf07 Do not allow packed types for icmp and fcmp instructions. by Reid Spencer · 18 years ago
  78. 79e21d3 For PR950: Change signed integer type names to unsigned equivalents. by Reid Spencer · 18 years ago
  79. e4d87aa For PR950: by Reid Spencer · 18 years ago
  80. 62d75e7 Fix Regression/Verifier/invoke-1.ll by Chris Lattner · 18 years ago
  81. 19591b3 Revert the previous patch which was incorrect. This unbreaks eon, but rebreaks by Chris Lattner · 18 years ago
  82. c597a88 Remove a useless statement. by Reid Spencer · 18 years ago
  83. d71b620 For PR1042: by Reid Spencer · 18 years ago
  84. e3cbe03 Fix PR1042, by tightening up the subtle rules with invoke value use. by Chris Lattner · 18 years ago
  85. 4d17caa only check non-external functions by Chris Lattner · 18 years ago
  86. 41af719 Reject attempts to define intrinsics. This fixes PR1047 and by Chris Lattner · 18 years ago
  87. 1a097e3 Don't use <sstream> in Streams.h but <iosfwd> instead. by Bill Wendling · 18 years ago
  88. e815619 Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, are by Bill Wendling · 18 years ago
  89. 3749c9c Remove the 'printname' argument to WriteAsOperand. It is always true, and by Chris Lattner · 18 years ago
  90. 8f48766 Changed to using LLVM streams. by Bill Wendling · 18 years ago
  91. 3da59db For PR950: by Reid Spencer · 18 years ago
  92. 45fb3f3 For PR950: by Reid Spencer · 18 years ago
  93. b83eb64 For PR950: by Reid Spencer · 18 years ago
  94. bcb9770 Added some eye-candy for Subtarget type checking by Anton Korobeynikov · 18 years ago
  95. b74ed07 Adding dllimport, dllexport and external weak linkage types. by Anton Korobeynikov · 18 years ago
  96. 7f8897f eliminate RegisterOpt. It does the same thing as RegisterPass. by Chris Lattner · 18 years ago
  97. a4f0b3a s|llvm/Support/Visibility.h|llvm/Support/Compiler.h| by Chris Lattner · 18 years ago
  98. 7107c3b For PR780: by Reid Spencer · 18 years ago
  99. f4ea921 Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.ll by Chris Lattner · 18 years ago
  100. 05ac92c Change the verifier to never throw an exception. Instead verifyModule canoptionally return the string error, which is an easier api for clients touse anyway. by Chris Lattner · 18 years ago