validation/linear/range-op.c

   1 static void foo(int a)
   2 {
   3         __range__(a, 0, 8);
   4 }
   5
   6 static void bar(int a, int b, int c)
   7 {
   8         __range__(a, b, c);
   9 }
  10
  11 /*
  12  * check-name: range-op
  13  * check-command: test-linearize -Wno-decl $file
  14  *
  15  * check-output-start
  16 foo:
  17 .L0:
  18         <entry-point>
  19         range-check %arg1 between $0..$8
  20         ret
  21
  22
  23 bar:
  24 .L2:
  25         <entry-point>
  26         range-check %arg1 between %arg2..%arg3
  27         ret
  28
  29
  30  * check-output-end
  31  */