On 10/23/2017 11:07 AM, Richard Sandiford wrote: > This patch changes the offset and size arguments of > rtx_addr_can_trap_p_1 from HOST_WIDE_INT to poly_int64. It also > uses a size of -1 rather than 0 to represent an unknown size and > BLKmode rather than VOIDmode to represent an unknown mode. > > > 2017-10-23 Richard Sandiford <richard.sandif...@linaro.org> > Alan Hayward <alan.hayw...@arm.com> > David Sherwood <david.sherw...@arm.com> > > gcc/ > * rtlanal.c (rtx_addr_can_trap_p_1): Take the offset and size > as poly_int64s rather than HOST_WIDE_INTs. Use a size of -1 > rather than 0 to represent an unknown size. Assert that the size > is known when the mode isn't BLKmode. > (may_trap_p_1): Use -1 for unknown sizes. > (rtx_addr_can_trap_p): Likewise. Pass BLKmode rather than VOIDmode. OK. jeff
- [013/nnn] poly_int: same_addr_size_stores_p Richard Sandiford
- [014/nnn] poly_int: indirect_refs_may_alias_p Richard Sandiford
- [015/nnn] poly_int: ao_ref and vn_reference_op_t Richard Sandiford
- [016/nnn] poly_int: dse.c Richard Sandiford
- Re: [016/nnn] poly_int: dse.c Jeff Law
- [017/nnn] poly_int: rtx_addr_can_trap_p_1 Richard Sandiford
- Re: [017/nnn] poly_int: rtx_addr_can_trap_p_1 Jeff Law
- [018/nnn] poly_int: MEM_OFFSET and MEM_SIZE Richard Sandiford
- [020/nnn] poly_int: store_bit_field bitrange Richard Sandiford
- [019/nnn] poly_int: lra frame offsets Richard Sandiford
- [021/nnn] poly_int: extract_bit_field bitrange Richard Sandiford
- [022/nnn] poly_int: C++ bitfield regions Richard Sandiford
- [023/nnn] poly_int: store_field & co Richard Sandiford
- [024/nnn] poly_int: ira subreg liveness tracking Richard Sandiford
- [025/nnn] poly_int: SUBREG_BYTE Richard Sandiford
- [026/nnn] poly_int: operand_subword Richard Sandiford
- [027/nnn] poly_int: DWARF CFA offsets Richard Sandiford