clang-tools-extra/pseudo/test/lr-build-conflicts.test

   1 _ := expr EOF
   2 expr := expr - expr  # S/R conflict at state 4 on '-' token
   3 expr := IDENTIFIER
   4
   5 # RUN: clang-pseudo -grammar %s -print-graph | FileCheck %s --check-prefix=GRAPH
   6 #      GRAPH: States
   7 # GRAPH-NEXT: State 0
   8 # GRAPH-NEXT:     _ :=  • expr EOF
   9 # GRAPH-NEXT:     expr :=  • expr - expr
  10 # GRAPH-NEXT:     expr :=  • IDENTIFIER
  11 # GRAPH-NEXT: State 1
  12 # GRAPH-NEXT:     _ := expr • EOF
  13 # GRAPH-NEXT:     expr := expr • - expr
  14 # GRAPH-NEXT: State 2
  15 # GRAPH-NEXT:     expr := IDENTIFIER •
  16 # GRAPH-NEXT: State 3
  17 # GRAPH-NEXT:     _ := expr EOF •
  18 # GRAPH-NEXT: State 4
  19 # GRAPH-NEXT:     expr :=  • expr - expr
  20 # GRAPH-NEXT:     expr := expr - • expr
  21 # GRAPH-NEXT:     expr :=  • IDENTIFIER
  22 # GRAPH-NEXT: State 5
  23 # GRAPH-NEXT:     expr := expr - expr •
  24 # GRAPH-NEXT:     expr := expr • - expr
  25 # GRAPH-NEXT: 0 ->[expr] 1
  26 # GRAPH-NEXT: 0 ->[IDENTIFIER] 2
  27 # GRAPH-NEXT: 1 ->[EOF] 3
  28 # GRAPH-NEXT: 1 ->[-] 4
  29 # GRAPH-NEXT: 4 ->[expr] 5
  30 # GRAPH-NEXT: 4 ->[IDENTIFIER] 2
  31 # GRAPH-NEXT: 5 ->[-] 4
  32
  33 # RUN: clang-pseudo -grammar %s -print-table | FileCheck %s --check-prefix=TABLE
  34 #      TABLE: LRTable:
  35 # TABLE-NEXT: State 0
  36 # TABLE-NEXT:     IDENTIFIER: shift state 2
  37 # TABLE-NEXT:     expr: go to state 1
  38 # TABLE-NEXT: State 1
  39 # TABLE-NEXT:     EOF: shift state 3
  40 # TABLE-NEXT:     -: shift state 4
  41 # TABLE-NEXT: State 2
  42 # TABLE-NEXT:     EOF -: reduce by rule 2 'expr := IDENTIFIER'
  43 # TABLE-NEXT: State 3
  44 # TABLE-NEXT: State 4
  45 # TABLE-NEXT:     IDENTIFIER: shift state 2
  46 # TABLE-NEXT:     expr: go to state 5
  47 # TABLE-NEXT: State 5
  48 # TABLE-NEXT:     -: shift state 4
  49 # TABLE-NEXT:     EOF -: reduce by rule 1 'expr := expr - expr'