Lines Matching refs:Iex_Const
325 if (a1->tag == Iex_Const)
338 if (a1->tag == Iex_Const)
353 if (a1->tag == Iex_Const && a2->tag == Iex_Const)
1011 toBool( e->tag == Iex_Const
1019 toBool( e->tag == Iex_Const
4619 case Iex_Const:
5293 case Iex_Const:
5294 tl_assert(shadow->tag == Iex_Const);
5828 tl_assert(at->tag == Iex_Const);
5870 case Iex_Const:
6307 case Iex_Const:
6756 case Iex_Const: