precedence_unary.carbon 2.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // AUTOUPDATE
  6. fn F(p: i32*) {
  7. // Numeric, bitwise, and bit-shift binary operators are lower precedence than
  8. // Numeric and bitwise unary operators, which are lower precedence than
  9. // dereference.
  10. -*p + ^*p;
  11. -*p | ^*p;
  12. -*p << ^*p;
  13. }
  14. // CHECK:STDOUT: [
  15. // CHECK:STDOUT: {kind: 'FunctionIntroducer', text: 'fn'},
  16. // CHECK:STDOUT: {kind: 'Name', text: 'F'},
  17. // CHECK:STDOUT: {kind: 'ParameterListStart', text: '('},
  18. // CHECK:STDOUT: {kind: 'Name', text: 'p'},
  19. // CHECK:STDOUT: {kind: 'Literal', text: 'i32'},
  20. // CHECK:STDOUT: {kind: 'PostfixOperator', text: '*', subtree_size: 2},
  21. // CHECK:STDOUT: {kind: 'PatternBinding', text: ':', subtree_size: 4},
  22. // CHECK:STDOUT: {kind: 'ParameterList', text: ')', subtree_size: 6},
  23. // CHECK:STDOUT: {kind: 'FunctionDefinitionStart', text: '{', subtree_size: 9},
  24. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  25. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  26. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '-', subtree_size: 3},
  27. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  28. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  29. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '^', subtree_size: 3},
  30. // CHECK:STDOUT: {kind: 'InfixOperator', text: '+', subtree_size: 7},
  31. // CHECK:STDOUT: {kind: 'ExpressionStatement', text: ';', subtree_size: 8},
  32. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  33. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  34. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '-', subtree_size: 3},
  35. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  36. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  37. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '^', subtree_size: 3},
  38. // CHECK:STDOUT: {kind: 'InfixOperator', text: '|', subtree_size: 7},
  39. // CHECK:STDOUT: {kind: 'ExpressionStatement', text: ';', subtree_size: 8},
  40. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  41. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  42. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '-', subtree_size: 3},
  43. // CHECK:STDOUT: {kind: 'NameExpression', text: 'p'},
  44. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '*', subtree_size: 2},
  45. // CHECK:STDOUT: {kind: 'PrefixOperator', text: '^', subtree_size: 3},
  46. // CHECK:STDOUT: {kind: 'InfixOperator', text: '<<', subtree_size: 7},
  47. // CHECK:STDOUT: {kind: 'ExpressionStatement', text: ';', subtree_size: 8},
  48. // CHECK:STDOUT: {kind: 'FunctionDefinition', text: '}', subtree_size: 34},
  49. // CHECK:STDOUT: {kind: 'FileEnd', text: ''},
  50. // CHECK:STDOUT: ]