Lines Matching defs:con
483 if (guard->tag == Iex_Const && guard->Iex.Const.con->tag == Ico_U1
484 && guard->Iex.Const.con->Ico.U1 == True) {
586 if (guard->tag == Iex_Const && guard->Iex.Const.con->tag == Ico_U1
587 && guard->Iex.Const.con->Ico.U1 == True) {
718 && e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U64
720 uLong_is_4_aligned(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64) : True)
721 && uLong_fits_in_16_bits(e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)) {
722 return MIPSAMode_IR((Int) e->Iex.Binop.arg2->Iex.Const.con->Ico.U64,
739 && e->Iex.Binop.arg2->Iex.Const.con->tag == Ico_U32
740 && uInt_fits_in_16_bits(e->Iex.Binop.arg2->Iex.Const.con-> Ico.U32)) {
741 return MIPSAMode_IR((Int) e->Iex.Binop.arg2->Iex.Const.con->Ico.U32,
1808 IRConst *con = e->Iex.Const.con;
1809 switch (con->tag) {
1813 l = (Long) con->Ico.U64;
1816 l = (Long) (Int) con->Ico.U32;
1819 l = (Long) (Int) (Short) con->Ico.U16;
1822 l = (Long) (Int) (Char) con->Ico.U8;
1908 IRConst *con = e->Iex.Const.con;
1910 switch (con->tag) {
1914 u = con->Ico.U64;
1917 u = 0xFFFFFFFF & con->Ico.U32;
1920 u = 0x0000FFFF & con->Ico.U16;
1923 u = 0x000000FF & con->Ico.U8;
1975 && e->Iex.Const.con->tag == Ico_U8
1976 && e->Iex.Const.con->Ico.U8 >= 1 && e->Iex.Const.con->Ico.U8 <= 31) {
1977 return MIPSRH_Imm(False /*unsigned */ , e->Iex.Const.con->Ico.U8);
2014 && e->Iex.Const.con->tag == Ico_U8
2015 && e->Iex.Const.con->Ico.U8 >= 1 && e->Iex.Const.con->Ico.U8 <= 63)
2018 e->Iex.Const.con->Ico.U8);
2305 ULong w64 = e->Iex.Const.con->Ico.U64;
2310 vassert(e->Iex.Const.con->tag == Ico_U64);
4079 IRConst* cdst = next->Iex.Const.con;
