Re: Bare bones of type verifier

2015-04-29 Thread Jan Hubicka
Hi, this is updated patch that passes all languages LTO and non-LTO testing on ppc64. I found few issues - C++ FE messes up METHOD pointers becuase sometimes it duplicated a type while METHOD list is incomplete, so there are type variants that points to the middle of the final list. (I sup

Re: Bare bones of type verifier

2015-04-28 Thread Jan Hubicka
> >though. > > + if (((TREE_CODE (t) == ENUMERAL_TYPE && COMPLETE_TYPE_P (t)) > + || TREE_CODE (t) == INTEGER_TYPE > + || TREE_CODE (t) == BOOLEAN_TYPE > + || TREE_CODE (t) == REAL_TYPE > + || TREE_CODE (t) == FIXED_POINT_TYPE) > + && (TYPE_MAX_VALUE (t) != TYPE_MAX_VALUE (tv) > +

Re: Bare bones of type verifier

2015-04-28 Thread Bernhard Reutner-Fischer
On April 28, 2015 6:01:24 PM GMT+02:00, Bernhard Reutner-Fischer wrote: >On April 28, 2015 11:05:44 AM GMT+02:00, Jan Hubicka >wrote: >>Hi, >>I will fix the free count issue - my internet access in China was bit >>sporadic >>and I hoped you will know why the count seem to disagree between PPC64

Re: Bare bones of type verifier

2015-04-28 Thread Bernhard Reutner-Fischer
On April 28, 2015 11:05:44 AM GMT+02:00, Jan Hubicka wrote: >Hi, >I will fix the free count issue - my internet access in China was bit >sporadic >and I hoped you will know why the count seem to disagree between PPC64 >and Linux >builds. In meantime PPC64 stopped to build for me. >> >> (early) dw

Re: Bare bones of type verifier

2015-04-28 Thread Jan Hubicka
Hi, I will fix the free count issue - my internet access in China was bit sporadic and I hoped you will know why the count seem to disagree between PPC64 and Linux builds. In meantime PPC64 stopped to build for me. > > (early) dwarf2out is a good place, likewise verifying right after > free-lang-

Re: Bare bones of type verifier

2015-04-28 Thread Richard Biener
On Tue, 28 Apr 2015, Jan Hubicka wrote: > Hi, > this patch adds bare bones of type checker. You can call verify_type on any > type in the IL and see compiler bomb if some of invariants are broken. So far > it only verify tests I already tested in last stage1 with my reverted variant > streaming

Bare bones of type verifier

2015-04-27 Thread Jan Hubicka
Hi, this patch adds bare bones of type checker. You can call verify_type on any type in the IL and see compiler bomb if some of invariants are broken. So far it only verify tests I already tested in last stage1 with my reverted variant streaming patch https://gcc.gnu.org/ml/gcc-patches/2014-06/ms