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: llvm/lib/
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 inse
On Apr 28, 2007, at 1:01 PM, Anton Korobeynikov wrote:
>> I'd suggest: && isa(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 llvm-a
> I'd suggest: && isa(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 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 2
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 llvm/lib/VMCore/Verifier.cpp
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.204 -> 1.205
---
Log message:
Fix regressions introduced by my previous patch: opt calls verifier in a
way that the "Mod" ivar was not getting set.
---
Diffs of the changes: (+3 -1)
Verifier.cpp |4 +++-
1 files changed, 3
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 llvm/
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: llvm/lib
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.201 -> 1.202
---
Log message:
For PR1284: http://llvm.org/PR1284 :
Implement the "part_set" intrinsic.
---
Diffs of the changes: (+3 -2)
Verifier.cpp |5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
Index: llvm/l
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 llvm/lib/VMCore/Verifier.c
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 llvm/lib/VMCore/Verifier.cpp:
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 erro
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
> 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
> dif
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.198 -> 1.199
---
Log message:
Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic.
---
Diffs of the changes: (+2 -0)
Verifier.cpp |2 ++
1 files changed, 2 insertions(+)
Index: llvm/lib/VMCore/Verifier.cpp
di
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 th
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 llv
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: llvm/lib
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 de
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 llvm/lib/VMCore/Verifier.cpp:1.1
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: llvm/lib/VMCore/Ver
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 ll
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(-)
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 statem
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 l
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
>
> >
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 !
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.174 -> 1.175
---
Log message:
For PR1042: http://llvm.org/PR1042 :
Fix a thinko. We want to check the second case if the first cast *didn't*
trigger.
---
Diffs of the changes: (+1 -1)
Verifier.cpp |2 +-
1 files changed, 1 i
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 fil
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 l
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.170 -> 1.171
---
Log message:
Don't use in Streams.h but instead.
---
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.
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.168 -> 1.169
---
Log message:
Remove the 'printname' argument to WriteAsOperand. It is always true, and
passing false would make the asmprinter fail anyway.
---
Diffs of the changes: (+1 -1)
Verifier.cpp |2 +-
1 files chan
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 in
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)
Ver
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 insert
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.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 llvm/lib/
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 inse
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 de
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 ll
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 ---
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.141 -> 1.142
---
Log message:
Thanks to Daniel Berlin's ETForest fix, we can now use it again for the verifier
---
Diffs of the changes: (+0 -2)
Verifier.cpp |2 --
1 files changed, 2 deletions(-)
Index: llvm/lib/VMCore/Ve
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.140 -> 1.141
---
Log message:
ET-Forest has issues with unreachable blocks. Temporarily disable verifiers use
of it until they are resolved.
---
Diffs of the changes: (+2 -0)
Verifier.cpp |2 ++
1 files changed, 2 insertion
Changes in directory llvm/lib/VMCore:
Verifier.cpp updated: 1.137 -> 1.138
---
Log message:
Convert the verifier over to use ETForest instead of DominatorSet. Patch
by Daniel Berlin
---
Diffs of the changes: (+14 -14)
Verifier.cpp | 28 ++--
1 files changed, 14 i
48 matches
Mail list logo