This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/26797] [4.3 regression] ACATS cxh1001 fails
- From: "baldrick at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Mar 2007 09:56:57 -0000
- Subject: [Bug ada/26797] [4.3 regression] ACATS cxh1001 fails
- References: <bug-26797-7210@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #25 from baldrick at gcc dot gnu dot org 2007-03-08 09:56 -------
I can't help feeling that VIEW_CONVERT_EXPR is not the right tool
for implementing 'Valid. I think an intrinsic would be better,
eg "int __builtin_nop(int)" which is defined to return its
argument unchanged. Then 'Valid can be implemented as something
like:
x'Valid
->
y = __builtin_nop(x); valid = (y>=lower_bound && y <=upper_bound);
The point is that the intrinsic would be opaque to the optimizers,
and would only be lowered to the identity function *after* the tree
optimizers have run. One annoyance is that presumably intrinsics
would be needed for all integer and float precisions, eg
__builtin_nop8, __builtin_nop16, etc.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797