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;
1378 if (e->Iex.Unop.arg->tag == Iex_Const) {
1698 if (e->Iex.Binop.arg1->tag == Iex_Const
1699 && e->Iex.Binop.arg2->tag == Iex_Const) {
2358 if (e->Iex.ITE.cond->tag == Iex_Const) {
2439 if (rhs->tag == Iex_Const
2446 case Iex_Const:
2607 if (fguard->tag == Iex_Const) {
2634 if (fguard->tag == Iex_Const) {
2727 if (fcond->tag == Iex_Const) {
2820 if (st2->Ist.WrTmp.data->tag == Iex_Const
2831 if (guard->tag == Iex_Const) {
2977 case Iex_Const:
3069 return toBool( e->tag == Iex_Const
3077 return toBool( e->tag == Iex_Const
3381 case Iex_Const:
3748 if (e->Iex.Binop.arg2->tag == Iex_Const) {
3756 } else if (e->Iex.Binop.arg1->tag == Iex_Const
3767 case Iex_Const:
3787 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3795 } else if (e->Iex.ITE.iffalse->tag == Iex_Const) {
3804 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
4050 if (e->Iex.Binop.arg2->tag != Iex_Const)
4559 case Iex_Const:
4770 if (udst->tag == Iex_Const
4858 vassert(udst->tag == Iex_Const);
5054 case Iex_Const:
5134 case Iex_Const:
5494 case Iex_Const:
6011 case Iex_Const:
