validation/expand/builtin-expect.c

   1 int flia(long a)
   2 {
   3         return __builtin_expect(a, 1);
   4 }
   5
   6 int flic(void)
   7 {
   8         return __builtin_expect(1L << 32 | 1, 1);
   9 }
  10
  11 long fila(int a)
  12 {
  13         return __builtin_expect(a, 1);
  14 }
  15
  16 long filc(void)
  17 {
  18         return __builtin_expect(1L << 32 | 1, 1);
  19 }
  20
  21 long filu(void)
  22 {
  23         return __builtin_expect(0x80000000U, 1);
  24 }
  25
  26 long fils(void)
  27 {
  28         return __builtin_expect((int)0x80000000, 1);
  29 }
  30
  31 void *fptr(void *a)
  32 {
  33         return __builtin_expect(a, a);
  34 }
  35
  36 /*
  37  * check-name: builtin-expect
  38  * check-command: test-linearize -m64 -Wno-decl $file
  39  * check-assert: sizeof(long) == 8
  40  *
  41  * check-output-start
  42 flia:
  43 .L0:
  44         <entry-point>
  45         trunc.32    %r2 <- (64) %arg1
  46         ret.32      %r2
  47
  48
  49 flic:
  50 .L2:
  51         <entry-point>
  52         ret.32      $1
  53
  54
  55 fila:
  56 .L4:
  57         <entry-point>
  58         sext.64     %r6 <- (32) %arg1
  59         ret.64      %r6
  60
  61
  62 filc:
  63 .L6:
  64         <entry-point>
  65         ret.64      $0x100000001
  66
  67
  68 filu:
  69 .L8:
  70         <entry-point>
  71         ret.64      $0x80000000
  72
  73
  74 fils:
  75 .L10:
  76         <entry-point>
  77         ret.64      $0xffffffff80000000
  78
  79
  80 fptr:
  81 .L12:
  82         <entry-point>
  83         ret.64      %arg1
  84
  85
  86  * check-output-end
  87  *
  88  * check-error-start
  89 expand/builtin-expect.c:33:33: warning: incorrect type in argument 1 (different base types)
  90 expand/builtin-expect.c:33:33:    expected long
  91 expand/builtin-expect.c:33:33:    got void *a
  92 expand/builtin-expect.c:33:36: warning: incorrect type in argument 2 (different base types)
  93 expand/builtin-expect.c:33:36:    expected long
  94 expand/builtin-expect.c:33:36:    got void *a
  95 expand/builtin-expect.c:33:32: warning: incorrect type in return expression (different base types)
  96 expand/builtin-expect.c:33:32:    expected void *
  97 expand/builtin-expect.c:33:32:    got long
  98 expand/builtin-expect.c:8:42: warning: cast truncates bits from constant value (100000001 becomes 1)
  99  * check-error-end
 100  */