1799    IRTemp amtT = newTemp(Ity_I32);  in compute_result_and_C_after_LSL_by_reg()  local
1800    assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );  in compute_result_and_C_after_LSL_by_reg()
1815             binop(Iop_CmpEQ32, mkexpr(amtT), mkU32(0)),  in compute_result_and_C_after_LSL_by_reg()
1818                binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),  in compute_result_and_C_after_LSL_by_reg()
1826                                             mkexpr(amtT)),  in compute_result_and_C_after_LSL_by_reg()
1852                      mkexpr(amtT),  in compute_result_and_C_after_LSL_by_reg()
1911    IRTemp amtT = newTemp(Ity_I32);  in compute_result_and_C_after_LSR_by_reg()  local
1912    assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );  in compute_result_and_C_after_LSR_by_reg()
1925             binop(Iop_CmpEQ32, mkexpr(amtT), mkU32(0)),   in compute_result_and_C_after_LSR_by_reg()
1928                binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),  in compute_result_and_C_after_LSR_by_reg()
1935                                             mkexpr(amtT),  in compute_result_and_C_after_LSR_by_reg()
1962                      mkexpr(amtT),  in compute_result_and_C_after_LSR_by_reg()
2021    IRTemp amtT = newTemp(Ity_I32);  in compute_result_and_C_after_ASR_by_reg()  local
2022    assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );  in compute_result_and_C_after_ASR_by_reg()
2035             binop(Iop_CmpEQ32, mkexpr(amtT), mkU32(0)),  in compute_result_and_C_after_ASR_by_reg()
2038                binop(Iop_CmpLE32U, mkexpr(amtT), mkU32(32)),  in compute_result_and_C_after_ASR_by_reg()
2045                                             mkexpr(amtT),  in compute_result_and_C_after_ASR_by_reg()
2073                binop(Iop_CmpLT32U, mkexpr(amtT), mkU32(32)),  in compute_result_and_C_after_ASR_by_reg()
2074                mkexpr(amtT),  in compute_result_and_C_after_ASR_by_reg()
2092    IRTemp amtT = newTemp(Ity_I32);  in compute_result_and_C_after_ROR_by_reg()  local
2093    assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );  in compute_result_and_C_after_ROR_by_reg()
2102             binop(Iop_CmpNE32, mkexpr(amtT), mkU32(0)),  in compute_result_and_C_after_ROR_by_reg()
2109                                          mkexpr(amtT),   in compute_result_and_C_after_ROR_by_reg()