[COMMITTED 6/7] Add relation between LHS and op1 for casts and copies.

Andrew MacLeod amacleod@redhat.com
Tue Jun 22 13:19:12 GMT 2021


This patch provides basic relations between the LHS and OP1 for casts 
and copies.

Copies are very straightforward,  LHS == OP1 always.

Casts are a little trickier. If the RHS of the copy is of the same or 
lower precision as the LHS,  then we can consider them EQ_EXPR.  
Otherwise, they are considered to have NO relation.

There is a comment regarding exactly why this is the case in the 
implementation of operator_cast::lhs_op1_relation.

Bootstraps on x86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0006-Add-relation-between-LHS-and-op1-for-casts-and-copie.patch
Type: text/x-patch
Size: 2569 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210622/fb7c3118/attachment.bin>


More information about the Gcc-patches mailing list