Lines Matching refs:Iex_Const
373 case Iex_Const:
1085 case Iex_Const: {
1160 case Iex_Const: {
1176 return toBool( e->tag == Iex_Const
1184 return toBool( e->tag == Iex_Const
1192 return toBool( e->tag == Iex_Const
1200 return toBool( e->tag == Iex_Const
1208 if (e->tag != Iex_Const) return False;
1222 if (e->tag != Iex_Const) return False;
1356 if (e->Iex.Unop.arg->tag == Iex_Const) {
1664 if (e->Iex.Binop.arg1->tag == Iex_Const
1665 && e->Iex.Binop.arg2->tag == Iex_Const) {
2293 if (e->Iex.ITE.cond->tag == Iex_Const) {
2374 if (rhs->tag == Iex_Const
2381 case Iex_Const:
2542 if (fguard->tag == Iex_Const) {
2569 if (fguard->tag == Iex_Const) {
2662 if (fcond->tag == Iex_Const) {
2755 if (st2->Ist.WrTmp.data->tag == Iex_Const
2766 if (guard->tag == Iex_Const) {
2910 case Iex_Const:
3002 return toBool( e->tag == Iex_Const
3010 return toBool( e->tag == Iex_Const
3326 else if (arg->tag == Iex_Const) {
3645 if (e->Iex.Binop.arg2->tag == Iex_Const) {
3653 } else if (e->Iex.Binop.arg1->tag == Iex_Const
3664 case Iex_Const:
3684 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3692 } else if (e->Iex.ITE.iffalse->tag == Iex_Const) {
3701 if (e->Iex.ITE.iftrue->tag == Iex_Const) {
3920 if (e->Iex.Binop.arg2->tag != Iex_Const)
4429 case Iex_Const:
4640 if (udst->tag == Iex_Const
4728 vassert(udst->tag == Iex_Const);
4924 case Iex_Const:
5004 case Iex_Const:
5359 case Iex_Const: