procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c++/56381 (ICE: cc1plus: internal compiler error: in gimplify_expr, at gimplify.c:7842)

Browse source 
PR tree-optimization/56381
	* tree-ssa-pre.c (create_expression_by_pieces): Fix up last argument
	to fold_build3.

	* g++.dg/opt/pr56381.C: New test.

From-SVN: r196133
This commit is contained in:
Jakub Jelinek 2013-02-19 07:43:34 +01:00
parent 0cacd11977
commit a475fd3dcb
5 changed files with 170 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/ChangeLog
View file

@ -1,4 +1,10 @@
2013-02-15 Aldy Hernandez <aldyh@redhat.com>
2013-02-19 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/56381
* tree-ssa-pre.c (create_expression_by_pieces): Fix up last argument
to fold_build3.
2013-02-18 Aldy Hernandez <aldyh@redhat.com>
Jakub Jelinek <jakub@redhat.com>
PR target/52555

2
gcc/c-family/ChangeLog
View file

@ -1,4 +1,4 @@
2013-02-11 Aldy Hernandez <aldyh@redhat.com>
2013-02-18 Aldy Hernandez <aldyh@redhat.com>
PR target/52555
* c-common.c (handle_optimize_attribute): Call

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2013-02-19 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/56381
* g++.dg/opt/pr56381.C: New test.
2013-02-18 Jakub Jelinek <jakub@redhat.com>
PR pch/54117

156
gcc/testsuite/g++.dg/opt/pr56381.C Normal file
View file

@ -0,0 +1,156 @@
// PR tree-optimization/56381
// { dg-do compile }
// { dg-options "-std=c++11 -O2 -w" }
template <class>
class intrusive_ptr {};
class BasicReferenceCounted
{
};
template <class T>
class ReferenceCountingPointer : intrusive_ptr <T>
{
};
typedef BasicReferenceCounted ReferenceCountedInConditions;
class PointTag;
template <typename T, typename>
struct PreciseFloatType
{
typedef T Type;
};
template <typename T, int N>
struct ExtVecTraits
{
typedef T __attribute__ ((vector_size (N * sizeof (T)))) type;
};
template <typename T, int N>
using ExtVec = typename ExtVecTraits <T, N>::type;
template <typename T> using Vec4 = ExtVec <T, 4>;
template <typename Vec>
Vec cross3 (Vec x, Vec y)
{
Vec x1200 = (Vec) { x[2], x[0] };
Vec y2010 { y[2], y[0], y[1], y[0] };
Vec x2010 = (Vec) { x[2], x[0], x[1], x[0] };
Vec y1200 = (Vec) { y[1], y[0] };
return x1200 * y2010 - x2010 * y1200;
}
template <typename T>
struct Rot3
{
typedef Vec4 <T> Vec;
Vec axis[3];
};
class Basic2DVector
{
};
template <typename T>
struct Basic3DVector
{
typedef Vec4 <T> MathVector;
Basic3DVector (MathVector iv) : v { (iv[0]), (iv[1]), (iv[2]), (iv[3]) } {}
T mag2 () {}
Basic3DVector unit ()
{
T my_mag = mag2 ();
return (my_mag) ? (*this) * (T () / (my_mag)) : *this;
}
Basic3DVector
cross (Basic3DVector lh) { return cross3 (v, lh.v); }
Vec4 <T> v;
};
template <class T>
Basic3DVector <T> operator * (Basic3DVector <T>, T);
template <class T, class, class>
struct PV3DBase
{
typedef Basic3DVector <T> BasicVectorType;
template <class U>
PV3DBase (Basic3DVector <U> v) : theVector (v) {}
BasicVectorType basicVector () { return theVector; }
T x ();
T y ();
BasicVectorType theVector;
};
class VectorTag;
template <class T, class FrameTag>
struct Vector3DBase:public PV3DBase <T, VectorTag, FrameTag>
{
typedef PV3DBase <T, VectorTag, FrameTag> BaseClass;
template <class U>
Vector3DBase (Basic3DVector <U> v) : BaseClass (v) {}
Vector3DBase unit () { return (this->basicVector ().unit ()); }
template <class U>
Vector3DBase <typename PreciseFloatType <T, U>::Type, FrameTag> cross (Vector3DBase <U, FrameTag> v)
{
return (this->theVector.cross (v.basicVector ()));
}
};
template <class T, class FrameTag>
class Point3DBase : public PV3DBase <T, PointTag, FrameTag>
{
};
template <typename T, typename U, class Frame>
Vector3DBase <typename PreciseFloatType <T, U>::Type, Frame> operator - (Point3DBase <T, Frame>, Point3DBase <U, Frame>);
class GlobalTag;
template <class T>
struct TkRotation
{
typedef Vector3DBase <T, GlobalTag> GlobalVector;
TkRotation (GlobalVector aX, GlobalVector aY)
{
GlobalVector uX = aX.unit ();
GlobalVector uY = aY.unit ();
GlobalVector uZ (uX.cross (uY));
rot.axis[2] = uZ.basicVector ().v;
}
Basic3DVector <T> z ();
Rot3 <T> rot;
};
template <class T>
struct GloballyPositioned
{
typedef Point3DBase <T, GlobalTag> PositionType;
typedef TkRotation <T> RotationType;
typedef Point3DBase <T, GlobalTag> GlobalPoint;
typedef Vector3DBase <T, GlobalTag> GlobalVector;
T iniPhi () { return 999.9978; }
GloballyPositioned (PositionType pos, RotationType rot) : thePos (pos), theRot (rot) { resetCache (); }
PositionType position () const;
RotationType rotation () const;
PositionType thePos;
RotationType theRot;
void resetCache ()
{
if ((thePos.x () == 0.) && (thePos.y () == 0.))
thePhi = 0.;
else
thePhi = iniPhi ();
}
T thePhi;
};
class Plane;
using TangentPlane = Plane;
struct Surface : public GloballyPositioned <float>, ReferenceCountedInConditions
{
typedef GloballyPositioned <float> Base;
Surface (PositionType pos, RotationType rot):
Base (pos, rot) {}
};
struct Plane : Surface
{
template <typename ... Args>
Plane (Args ... args):
Surface ((args) ...) {}
};
class Cylinder : Surface
{
void tangentPlane (const GlobalPoint &) const;
};
void
Cylinder::tangentPlane (const GlobalPoint & aPoint) const
{
GlobalVector yPlane (rotation ().z ());
GlobalVector xPlane (yPlane.cross (aPoint - position ()));
new TangentPlane (aPoint, RotationType (xPlane, yPlane));
}

2
gcc/tree-ssa-pre.c
View file

@ -2923,7 +2923,7 @@ create_expression_by_pieces (basic_block block, pre_expr expr,
break;
case 3:
folded = fold_build3 (nary->opcode, nary->type,
genop[0], genop[1], genop[3]);
genop[0], genop[1], genop[2]);
break;
default:
gcc_unreachable ();