Lines Matching refs:Iex_Const
313 if (a1->tag == Iex_Const)
326 if (a1->tag == Iex_Const)
341 if (a1->tag == Iex_Const && a2->tag == Iex_Const)
916 toBool( e->tag == Iex_Const
924 toBool( e->tag == Iex_Const
3715 case Iex_Const:
4270 case Iex_Const:
4271 tl_assert(shadow->tag == Iex_Const);
4748 tl_assert(at->tag == Iex_Const);
4787 case Iex_Const:
5190 case Iex_Const:
5569 case Iex_Const:
