...

Text file src/cuelang.org/go/cue/testdata/benchmarks/disjunction.txtar

Documentation: cuelang.org/go/cue/testdata/benchmarks

     1// Triggering recomputation of disjunctions on each branch results
     2// in exponential run time. Ensure this does not happen.
     3-- stats.txt --
     4Leaks:  0
     5Freed:  82
     6Reused: 74
     7Allocs: 8
     8Retain: 0
     9
    10Unifications: 4
    11Conjuncts:    143
    12Disjuncts:    82
    13
    14-- in.cue --
    15x: a0: {}
    16x: [_]: f: *1 | int
    17x: [_]: f: *1 | int
    18x: [_]: f: *1 | int
    19x: [_]: f: *1 | int
    20x: [_]: f: *1 | int
    21x: [_]: f: *1 | int
    22x: [_]: f: *1 | int
    23x: [_]: f: *1 | int
    24x: [_]: f: *1 | int
    25x: [_]: f: *1 | int
    26x: [_]: f: *1 | int
    27x: [_]: f: *1 | int
    28x: [_]: f: *1 | int
    29x: [_]: f: *1 | int
    30x: [_]: f: *1 | int
    31x: [_]: f: *1 | int
    32x: [_]: f: *1 | int
    33x: [_]: f: *1 | int
    34x: [_]: f: *1 | int
    35x: [_]: f: *1 | int
    36
    37x: a0: {}
    38-- out/compile --
    39--- in.cue
    40{
    41  x: {
    42    a0: {}
    43  }
    44  x: {
    45    [_]: {
    46      f: (*1|int)
    47    }
    48  }
    49  x: {
    50    [_]: {
    51      f: (*1|int)
    52    }
    53  }
    54  x: {
    55    [_]: {
    56      f: (*1|int)
    57    }
    58  }
    59  x: {
    60    [_]: {
    61      f: (*1|int)
    62    }
    63  }
    64  x: {
    65    [_]: {
    66      f: (*1|int)
    67    }
    68  }
    69  x: {
    70    [_]: {
    71      f: (*1|int)
    72    }
    73  }
    74  x: {
    75    [_]: {
    76      f: (*1|int)
    77    }
    78  }
    79  x: {
    80    [_]: {
    81      f: (*1|int)
    82    }
    83  }
    84  x: {
    85    [_]: {
    86      f: (*1|int)
    87    }
    88  }
    89  x: {
    90    [_]: {
    91      f: (*1|int)
    92    }
    93  }
    94  x: {
    95    [_]: {
    96      f: (*1|int)
    97    }
    98  }
    99  x: {
   100    [_]: {
   101      f: (*1|int)
   102    }
   103  }
   104  x: {
   105    [_]: {
   106      f: (*1|int)
   107    }
   108  }
   109  x: {
   110    [_]: {
   111      f: (*1|int)
   112    }
   113  }
   114  x: {
   115    [_]: {
   116      f: (*1|int)
   117    }
   118  }
   119  x: {
   120    [_]: {
   121      f: (*1|int)
   122    }
   123  }
   124  x: {
   125    [_]: {
   126      f: (*1|int)
   127    }
   128  }
   129  x: {
   130    [_]: {
   131      f: (*1|int)
   132    }
   133  }
   134  x: {
   135    [_]: {
   136      f: (*1|int)
   137    }
   138  }
   139  x: {
   140    [_]: {
   141      f: (*1|int)
   142    }
   143  }
   144  x: {
   145    a0: {}
   146  }
   147}
   148-- out/eval/stats --
   149Leaks:  0
   150Freed:  82
   151Reused: 74
   152Allocs: 8
   153Retain: 0
   154
   155Unifications: 4
   156Conjuncts:    143
   157Disjuncts:    82
   158-- out/eval --
   159(struct){
   160  x: (struct){
   161    a0: (struct){
   162      f: (int){ |(*(int){ 1 }, (int){ int }) }
   163    }
   164  }
   165}

View as plain text