| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-evrp" }*/ | |
| typedef __INT32_TYPE__ int32_t; | |
| int32_t and(int32_t x, int32_t y) | |
| { | |
| int32_t tx = x >> 24; | |
| int32_t ty = y >> 24; | |
| int32_t t = tx & ty; | |
| return t; | |
| } | |
| int32_t ior(int32_t x, int32_t y) | |
| { | |
| int32_t tx = x >> 24; | |
| int32_t ty = y >> 24; | |
| int32_t t = tx | ty; | |
| return t; | |
| } | |
| int32_t xor(int32_t x, int32_t y) | |
| { | |
| int32_t tx = x >> 24; | |
| int32_t ty = y >> 24; | |
| int32_t t = tx ^ ty; | |
| return t; | |
| } | |
| /* { dg-final { scan-tree-dump-times "\\\[-128, 127\\\]" 9 "evrp" } } */ |