validation/optim/canonical-cmp-zero.c

   1 int f00(int x) { return x >= 0; }
   2 int f01(int x) { return x > -1; }
   3 int f02(int x) { return x <  1; }
   4 int f03(int x) { return x <= 0; }
   5
   6 int f10(int x) { return x <  16; }
   7 int f11(int x) { return x <= 15; }
   8
   9 int f20(int x) { return x >  -9; }
  10 int f21(int x) { return x >= -8; }
  11
  12 /*
  13  * check-name: canonical-cmp-zero
  14  * check-command: test-linearize -Wno-decl $file
  15  *
  16  * check-output-start
  17 f00:
  18 .L0:
  19         <entry-point>
  20         setge.32    %r2 <- %arg1, $0
  21         ret.32      %r2
  22
  23
  24 f01:
  25 .L2:
  26         <entry-point>
  27         setge.32    %r5 <- %arg1, $0
  28         ret.32      %r5
  29
  30
  31 f02:
  32 .L4:
  33         <entry-point>
  34         setle.32    %r8 <- %arg1, $0
  35         ret.32      %r8
  36
  37
  38 f03:
  39 .L6:
  40         <entry-point>
  41         setle.32    %r11 <- %arg1, $0
  42         ret.32      %r11
  43
  44
  45 f10:
  46 .L8:
  47         <entry-point>
  48         setle.32    %r14 <- %arg1, $15
  49         ret.32      %r14
  50
  51
  52 f11:
  53 .L10:
  54         <entry-point>
  55         setle.32    %r17 <- %arg1, $15
  56         ret.32      %r17
  57
  58
  59 f20:
  60 .L12:
  61         <entry-point>
  62         setge.32    %r20 <- %arg1, $0xfffffff8
  63         ret.32      %r20
  64
  65
  66 f21:
  67 .L14:
  68         <entry-point>
  69         setge.32    %r23 <- %arg1, $0xfffffff8
  70         ret.32      %r23
  71
  72
  73  * check-output-end
  74  */