Attached patch adds a (rather trivial) simplification routine for the DREAL 
intrinsic (a GNU extension), which is the last unimplemented simplification for 
elemental intrinsics (PR 38718, which tracks this issue, also lists LSHIFT and 
RSHIFT, but both have gained simplification routines since its last update).

Regtested on x86_64-linux, comes with a testcase. OK to commit to trunk?
FX


Attachment: dreal.ChangeLog
Description: Binary data

Attachment: dreal.diff
Description: Binary data

Reply via email to