Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.213 - 1.214
---
Log message:
Use DominatorTree instead of ETForest.
---
Diffs of the changes: (+16 -16)
Verifier.cpp | 32
1 files changed, 16 insertions(+), 16 deletions(-)
Index:
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.212 - 1.213
---
Log message:
Add assert to check if the attributes ZExt/SExt, NoAlias are apply to the
correct type of parameters.
---
Diffs of the changes: (+15 -0)
Verifier.cpp | 15 +++
1 files changed, 15
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.207 - 1.208
---
Log message:
Let Verifier check aliasees
---
Diffs of the changes: (+7 -0)
Verifier.cpp |7 +++
1 files changed, 7 insertions(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
On Apr 28, 2007, at 7:35 AM, Anton Korobeynikov wrote:
Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.207 llvm/lib/VMCore/
Verifier.cpp:1.208
--- llvm/lib/VMCore/Verifier.cpp:1.207Sat Apr 28 08:45:00 2007
+++ llvm/lib/VMCore/Verifier.cpp Sat Apr 28
I'd suggest: isaGlobalValue(CE-getOperand(0))
So, nobody will produce multiple bitcasts, right?
e.g. this is illegal:
@A = alias (bitcast (bitcast i64* @foo to i8*) to i32*
--
With best regards, Anton Korobeynikov.
Faculty of Mathematics Mechanics, Saint Petersburg State University.
On Apr 28, 2007, at 1:01 PM, Anton Korobeynikov wrote:
I'd suggest: isaGlobalValue(CE-getOperand(0))
So, nobody will produce multiple bitcasts, right?
e.g. this is illegal:
@A = alias (bitcast (bitcast i64* @foo to i8*) to i32*
Right, ConstantExpr::getBitCast will fold those. Try doing
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.203 - 1.204
---
Log message:
catch a case that was biting jeffc
---
Diffs of the changes: (+7 -1)
Verifier.cpp |8 +++-
1 files changed, 7 insertions(+), 1 deletion(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.202 - 1.203
---
Log message:
eliminate a use of Instruction::getPrev(), patch by Gabor Greif in 2005.
---
Diffs of the changes: (+2 -1)
Verifier.cpp |3 ++-
1 files changed, 2 insertions(+), 1 deletion(-)
Index:
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.199 - 1.200
---
Log message:
Fix build problem.
---
Diffs of the changes: (+1 -1)
Verifier.cpp |2 +-
1 files changed, 1 insertion(+), 1 deletion(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.200 - 1.201
---
Log message:
unbreak the build :(
---
Diffs of the changes: (+1 -1)
Verifier.cpp |2 +-
1 files changed, 1 insertion(+), 1 deletion(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic.
Should this check that the third type is smaller than the other two?
-Chris
---
Diffs of the changes: (+2 -0)
Verifier.cpp |2 ++
1 files changed, 2 insertions(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
On Wed, 2007-04-04 at 17:38 -0700, Chris Lattner wrote:
Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic.
Should this check that the third type is smaller than the other two?
No, because that commit comment is in error. I was thinking of the
prototype for part_set (which I
On Apr 4, 2007, at 5:57 PM, Reid Spencer wrote:
On Wed, 2007-04-04 at 17:38 -0700, Chris Lattner wrote:
Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic.
Should this check that the third type is smaller than the other two?
No, because that commit comment is in error. I was
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.197 - 1.198
---
Log message:
For PR1297: http://llvm.org/PR1297 :
1. Clear up confusion between GotBits and ExpectBits. GotBits is the
type actually provided. ExpectedBits is the type expected for the
intrinsics. Before this
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.191 - 1.192
---
Log message:
Change an std::set to a SmallPtrSet. This speeds up the verifier on
447.dealII from 1.27s to 0.86s.
---
Diffs of the changes: (+2 -1)
Verifier.cpp |3 ++-
1 files changed, 2 insertions(+), 1
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.192 - 1.193
---
Log message:
speed up the verifier 8.5% by using a smallvector instead of vector.
---
Diffs of the changes: (+5 -2)
Verifier.cpp |7 +--
1 files changed, 5 insertions(+), 2 deletions(-)
Index:
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.193 - 1.194
---
Log message:
convert some vectors to smallvector.
---
Diffs of the changes: (+3 -2)
Verifier.cpp |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.190 - 1.191
---
Log message:
Support var arg intrinsics.
---
Diffs of the changes: (+4 -0)
Verifier.cpp |4
1 files changed, 4 insertions(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.180 - 1.181
---
Log message:
Do not allow packed types for icmp and fcmp instructions.
---
Diffs of the changes: (+2 -5)
Verifier.cpp |7 ++-
1 files changed, 2 insertions(+), 5 deletions(-)
Index:
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.176 - 1.177
---
Log message:
Revert the previous patch which was incorrect. This unbreaks eon, but rebreaks
invoke-1.ll
---
Diffs of the changes: (+2 -1)
Verifier.cpp |3 ++-
1 files changed, 2 insertions(+), 1 deletion(-)
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.177 - 1.178
---
Log message:
Fix Regression/Verifier/invoke-1.ll
---
Diffs of the changes: (+7 -2)
Verifier.cpp |9 +++--
1 files changed, 7 insertions(+), 2 deletions(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
On 12/18/06, Reid Spencer [EMAIL PROTECTED] wrote:
-if (Bad) {
+if (!Bad) {
Bad = false;
Isn't the above statement not needed then?
-bw
for (pred_iterator PI = pred_begin(OpBlock),
E = pred_end(OpBlock); PI != E;
On Mon, 2006-12-18 at 14:14 -0800, Bill Wendling wrote:
On 12/18/06, Reid Spencer [EMAIL PROTECTED] wrote:
-if (Bad) {
+if (!Bad) {
Bad = false;
Isn't the above statement not needed then?
Yup. I'll remove it.
-bw
for
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.175 - 1.176
---
Log message:
Remove a useless statement.
---
Diffs of the changes: (+0 -1)
Verifier.cpp |1 -
1 files changed, 1 deletion(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.175
On 12/18/06, Reid Spencer [EMAIL PROTECTED] wrote:
On Mon, 2006-12-18 at 14:14 -0800, Bill Wendling wrote:
On 12/18/06, Reid Spencer [EMAIL PROTECTED] wrote:
-if (Bad) {
+if (!Bad) {
Bad = false;
Isn't the above statement not needed then?
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.173 - 1.174
---
Log message:
Fix PR1042: http://llvm.org/PR1042 , by tightening up the subtle rules with
invoke value use.
---
Diffs of the changes: (+37 -3)
Verifier.cpp | 40 +---
1
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.171 - 1.172
---
Log message:
Reject attempts to define intrinsics. This fixes PR1047:
http://llvm.org/PR1047 and
Regression/Verifier/2006-12-12-IntrinsicDefine.ll
---
Diffs of the changes: (+7 -0)
Verifier.cpp |7 +++
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.172 - 1.173
---
Log message:
only check non-external functions
---
Diffs of the changes: (+6 -6)
Verifier.cpp | 12 ++--
1 files changed, 6 insertions(+), 6 deletions(-)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.170 - 1.171
---
Log message:
Don't use sstream in Streams.h but iosfwd instead.
---
Diffs of the changes: (+1 -0)
Verifier.cpp |1 +
1 files changed, 1 insertion(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.163 - 1.164
---
Log message:
Added some eye-candy for Subtarget type checking
Added X86 StdCall FastCall calling conventions. Codegen will follow.
---
Diffs of the changes: (+1 -0)
Verifier.cpp |1 +
1 files changed, 1
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.159 - 1.160
---
Log message:
For PR780: http://llvm.org/PR780 :
1. Move IncludeFile.h to System library
2. Move IncludeFile.cpp to System library
3. #1 and #2 required to prevent cyclic library dependencies for libSystem
4. Convert
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.158 - 1.159
---
Log message:
Fix PR826: http://llvm.org/PR826 , testcase here:
Regression/Verifier/2006-07-11-StoreStruct.ll
---
Diffs of the changes: (+8 -2)
Verifier.cpp | 10 --
1 files changed, 8 insertions(+), 2
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.157 - 1.158
---
Log message:
Change the verifier to never throw an exception. Instead verifyModule
canoptionally return the string error, which is an easier api for clients touse
anyway.
---
Diffs of the changes: (+7 -8)
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.155 - 1.156
---
Log message:
csret functions can be varargs (as can target cc's). Verify restrictions on
csret functions.
---
Diffs of the changes: (+18 -3)
Verifier.cpp | 21 ++---
1 files changed, 18
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.153 - 1.154
---
Log message:
Use the isValidOperands helper instead of duplicating checking code
---
Diffs of the changes: (+7 -16)
Verifier.cpp | 23 +++
1 files changed, 7 insertions(+), 16 deletions(-)
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.150 - 1.151
---
Log message:
Add a new method to verify intrinsic function prototypes.
---
Diffs of the changes: (+60 -2)
Verifier.cpp | 62 +--
1 files changed, 60
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.151 - 1.152
---
Log message:
Fix build breakage.
---
Diffs of the changes: (+1 -0)
Verifier.cpp |1 +
1 files changed, 1 insertion(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u llvm/lib/VMCore/Verifier.cpp:1.151
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.149 - 1.150
---
Log message:
Use the autogenerated intrinsic verifier
---
Diffs of the changes: (+5 -266)
Verifier.cpp | 271 +--
1 files changed, 5 insertions(+), 266
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.145 - 1.146
---
Log message:
Make sure the only user of InlineAsm's are direct calls.
---
Diffs of the changes: (+4 -0)
Verifier.cpp |4
1 files changed, 4 insertions(+)
Index: llvm/lib/VMCore/Verifier.cpp
diff -u
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.144 - 1.145
---
Log message:
Don't accept the ctpop, cttz, or ctlz intrinsics with signed arguments. The
interface requires unsigned arguments.
---
Diffs of the changes: (+16 -36)
Verifier.cpp | 52
40 matches
Mail list logo
