Lines Matching refs:Iex_Const
373 case Iex_Const:
1093 case Iex_Const: {
1168 case Iex_Const: {
1184 return toBool( e->tag == Iex_Const
1194 return toBool( e->tag == Iex_Const
1203 return toBool( e->tag == Iex_Const
1211 return toBool( e->tag == Iex_Const
1219 if (e->tag != Iex_Const) return False;
1233 if (e->tag != Iex_Const) return False;
1377 if (e->Iex.Unop.arg->tag == Iex_Const) {
1697 if (e->Iex.Binop.arg1->tag == Iex_Const
1698 && e->Iex.Binop.arg2->tag == Iex_Const) {
2356 if (e->Iex.ITE.cond->tag == Iex_Const) {
2437 if (rhs->tag == Iex_Const
2444 case Iex_Const:
2605 if (fguard->tag == Iex_Const) {
2632 if (fguard->tag == Iex_Const) {
2725 if (fcond->tag == Iex_Const) {
2818 if (st2->Ist.WrTmp.data->tag == Iex_Const
2829 if (guard->tag == Iex_Const) {
2973 case Iex_Const:
3065 return toBool( e->tag == Iex_Const
3073 return toBool( e->tag == Iex_Const
3377 case Iex_Const:
3744 if (e->Iex.Binop.arg2->tag == Iex_Const) {
3752 } else if (e->Iex.Binop.arg1->tag == Iex_Const
3763 case Iex_Const:
3783 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3791 } else if (e->Iex.ITE.iffalse->tag == Iex_Const) {
3800 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
4046 if (e->Iex.Binop.arg2->tag != Iex_Const)
4555 case Iex_Const:
4766 if (udst->tag == Iex_Const
4854 vassert(udst->tag == Iex_Const);
5050 case Iex_Const:
5130 case Iex_Const:
5490 case Iex_Const:
6007 case Iex_Const:
