Lines Matching refs:U1
1012 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1017 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1022 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1028 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1033 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1038 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1043 e->Iex.Unop.arg->Iex.Const.con->Ico.U1 in fold_Expr()
1126 notBool(e->Iex.Unop.arg->Iex.Const.con->Ico.U1))); in fold_Expr()
2029 vassert(fcond->Iex.Const.con->Ico.U1 == False in subst_and_fold_Stmt()
2030 || fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2031 if (fcond->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()
2035 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()
2260 && e->Iex.Const.con->Ico.U1 == False ); in isZeroU1()
2268 && e->Iex.Const.con->Ico.U1 == True ); in isOneU1()