Viewing file: fold-notshift-1.c (1.04 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* PR tree-optimization/54579 PR middle-end/55299 */
/* { dg-do compile } */ /* { dg-options "-O -fdump-tree-cddce1" } */
int asr1 (int a, int b) { return ~((~a) >> b); }
long asr1l (long a, long b) { return ~((~a) >> b); }
int asr_conv (unsigned a, unsigned b) { return ~((int)~a >> b); }
unsigned asr_conv2 (unsigned a, unsigned b) { return ~(unsigned)((int)~a >> b); }
unsigned asr_conv3 (int a, int b) { return ~(unsigned)(~a >> b); }
typedef __INT32_TYPE__ int32_t; typedef __INT64_TYPE__ int64_t;
int32_t asr_conv4 (int64_t a, int b) { return ~((int32_t)~a >> b); }
int32_t asr_conv5 (int64_t a, int b) { return ~(int32_t)(~a >> b); }
int asr2 (int a, int b) { return -((-a - 1) >> b) - 1; }
int asr3 (int a, int b) { return a < 0 ? ~((~a) >> b) : a >> b; }
int64_t asr3l (int64_t a, int b) { return a < 0 ? ~((~a) >> b) : a >> b; }
int asr4 (int a, int b) { return a < 0 ? -((-a - 1) >> b) - 1 : a >> b; }
/* { dg-final { scan-tree-dump-times ">>" 11 "cddce1" } } */ /* { dg-final { scan-tree-dump-not "~" "cddce1" } } */
|