LCOV - code coverage report
Current view: top level - py - sequence.c (source / functions) Hit Total Coverage
Test: unix_coverage_v1.23.0-410-g82e69df33.info Lines: 82 82 100.0 %
Date: 2024-10-10 13:49:24 Functions: 7 7 100.0 %
Branches: 66 66 100.0 %

           Branch data     Line data    Source code
       1                 :            : /*
       2                 :            :  * This file is part of the MicroPython project, http://micropython.org/
       3                 :            :  *
       4                 :            :  * The MIT License (MIT)
       5                 :            :  *
       6                 :            :  * Copyright (c) 2013, 2014 Damien P. George
       7                 :            :  * Copyright (c) 2014 Paul Sokolovsky
       8                 :            :  *
       9                 :            :  * Permission is hereby granted, free of charge, to any person obtaining a copy
      10                 :            :  * of this software and associated documentation files (the "Software"), to deal
      11                 :            :  * in the Software without restriction, including without limitation the rights
      12                 :            :  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      13                 :            :  * copies of the Software, and to permit persons to whom the Software is
      14                 :            :  * furnished to do so, subject to the following conditions:
      15                 :            :  *
      16                 :            :  * The above copyright notice and this permission notice shall be included in
      17                 :            :  * all copies or substantial portions of the Software.
      18                 :            :  *
      19                 :            :  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      20                 :            :  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      21                 :            :  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      22                 :            :  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      23                 :            :  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
      24                 :            :  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
      25                 :            :  * THE SOFTWARE.
      26                 :            :  */
      27                 :            : 
      28                 :            : #include <string.h>
      29                 :            : 
      30                 :            : #include "py/runtime.h"
      31                 :            : 
      32                 :            : // Helpers for sequence types
      33                 :            : 
      34                 :            : #define SWAP(type, var1, var2) { type t = var2; var2 = var1; var1 = t; }
      35                 :            : 
      36                 :            : // Implements backend of sequence * integer operation. Assumes elements are
      37                 :            : // memory-adjacent in sequence.
      38                 :        715 : void mp_seq_multiply(const void *items, size_t item_sz, size_t len, size_t times, void *dest) {
      39         [ +  + ]:      53752 :     for (size_t i = 0; i < times; i++) {
      40                 :      53037 :         size_t copy_sz = item_sz * len;
      41                 :      53037 :         memcpy(dest, items, copy_sz);
      42                 :      53037 :         dest = (char *)dest + copy_sz;
      43                 :            :     }
      44                 :        715 : }
      45                 :            : 
      46                 :            : #if MICROPY_PY_BUILTINS_SLICE
      47                 :            : 
      48                 :       8185 : bool mp_seq_get_fast_slice_indexes(mp_uint_t len, mp_obj_t slice, mp_bound_slice_t *indexes) {
      49                 :       8185 :     mp_obj_slice_indices(slice, len, indexes);
      50                 :            : 
      51                 :            :     // If the index is negative then stop points to the last item, not after it
      52         [ +  + ]:       8181 :     if (indexes->step < 0) {
      53                 :        112 :         indexes->stop++;
      54                 :            :     }
      55                 :            : 
      56                 :            :     // CPython returns empty sequence in such case, or point for assignment is at start
      57   [ +  +  +  + ]:       8181 :     if (indexes->step > 0 && indexes->start > indexes->stop) {
      58                 :         10 :         indexes->stop = indexes->start;
      59   [ +  +  +  + ]:       8171 :     } else if (indexes->step < 0 && indexes->start < indexes->stop) {
      60                 :         36 :         indexes->stop = indexes->start + 1;
      61                 :            :     }
      62                 :            : 
      63                 :       8181 :     return indexes->step == 1;
      64                 :            : }
      65                 :            : 
      66                 :        132 : mp_obj_t mp_seq_extract_slice(const mp_obj_t *seq, mp_bound_slice_t *indexes) {
      67                 :        132 :     mp_int_t start = indexes->start, stop = indexes->stop;
      68                 :        132 :     mp_int_t step = indexes->step;
      69                 :            : 
      70                 :        132 :     mp_obj_t res = mp_obj_new_list(0, NULL);
      71                 :            : 
      72         [ +  + ]:        132 :     if (step < 0) {
      73         [ +  + ]:        380 :         while (start >= stop) {
      74                 :        276 :             mp_obj_list_append(res, seq[start]);
      75                 :        276 :             start += step;
      76                 :            :         }
      77                 :            :     } else {
      78         [ +  + ]:        128 :         while (start < stop) {
      79                 :        100 :             mp_obj_list_append(res, seq[start]);
      80                 :        100 :             start += step;
      81                 :            :         }
      82                 :            :     }
      83                 :        132 :     return res;
      84                 :            : }
      85                 :            : 
      86                 :            : #endif
      87                 :            : 
      88                 :            : // Special-case comparison function for sequences of bytes
      89                 :            : // Don't pass MP_BINARY_OP_NOT_EQUAL here
      90                 :      31455 : bool mp_seq_cmp_bytes(mp_uint_t op, const byte *data1, size_t len1, const byte *data2, size_t len2) {
      91         [ +  + ]:      31455 :     if (op == MP_BINARY_OP_EQUAL && len1 != len2) {
      92                 :            :         return false;
      93                 :            :     }
      94                 :            : 
      95                 :            :     // Let's deal only with > & >=
      96         [ +  + ]:       9264 :     if (op == MP_BINARY_OP_LESS || op == MP_BINARY_OP_LESS_EQUAL) {
      97                 :       1586 :         SWAP(const byte *, data1, data2);
      98                 :       1586 :         SWAP(size_t, len1, len2);
      99         [ +  + ]:       1586 :         if (op == MP_BINARY_OP_LESS) {
     100                 :            :             op = MP_BINARY_OP_MORE;
     101                 :            :         } else {
     102                 :        144 :             op = MP_BINARY_OP_MORE_EQUAL;
     103                 :            :         }
     104                 :            :     }
     105                 :       9264 :     size_t min_len = len1 < len2 ? len1 : len2;
     106                 :       9264 :     int res = memcmp(data1, data2, min_len);
     107         [ +  + ]:       9264 :     if (op == MP_BINARY_OP_EQUAL) {
     108                 :            :         // If we are checking for equality, here's the answer
     109                 :       7220 :         return res == 0;
     110                 :            :     }
     111         [ +  + ]:       2044 :     if (res < 0) {
     112                 :            :         return false;
     113                 :            :     }
     114         [ +  + ]:       1464 :     if (res > 0) {
     115                 :            :         return true;
     116                 :            :     }
     117                 :            : 
     118                 :            :     // If we had tie in the last element...
     119                 :            :     // ... and we have lists of different lengths...
     120         [ +  + ]:        360 :     if (len1 != len2) {
     121         [ +  + ]:        216 :         if (len1 < len2) {
     122                 :            :             // ... then longer list length wins (we deal only with >)
     123                 :        102 :             return false;
     124                 :            :         }
     125         [ +  + ]:        144 :     } else if (op == MP_BINARY_OP_MORE) {
     126                 :            :         // Otherwise, if we have strict relation, equality means failure
     127                 :         80 :         return false;
     128                 :            :     }
     129                 :            :     return true;
     130                 :            : }
     131                 :            : 
     132                 :            : // Special-case comparison function for sequences of mp_obj_t
     133                 :            : // Don't pass MP_BINARY_OP_NOT_EQUAL here
     134                 :        845 : bool mp_seq_cmp_objs(mp_uint_t op, const mp_obj_t *items1, size_t len1, const mp_obj_t *items2, size_t len2) {
     135         [ +  + ]:        845 :     if (op == MP_BINARY_OP_EQUAL && len1 != len2) {
     136                 :            :         return false;
     137                 :            :     }
     138                 :            : 
     139                 :            :     // Let's deal only with > & >=
     140         [ +  + ]:        821 :     if (op == MP_BINARY_OP_LESS || op == MP_BINARY_OP_LESS_EQUAL) {
     141                 :        340 :         SWAP(const mp_obj_t *, items1, items2);
     142                 :        340 :         SWAP(size_t, len1, len2);
     143         [ +  + ]:        340 :         if (op == MP_BINARY_OP_LESS) {
     144                 :            :             op = MP_BINARY_OP_MORE;
     145                 :            :         } else {
     146                 :         76 :             op = MP_BINARY_OP_MORE_EQUAL;
     147                 :            :         }
     148                 :            :     }
     149                 :            : 
     150                 :        821 :     size_t len = len1 < len2 ? len1 : len2;
     151         [ +  + ]:       4333 :     for (size_t i = 0; i < len; i++) {
     152                 :            :         // If current elements equal, can't decide anything - go on
     153         [ +  + ]:       3800 :         if (mp_obj_equal(items1[i], items2[i])) {
     154                 :       3512 :             continue;
     155                 :            :         }
     156                 :            : 
     157                 :            :         // Otherwise, if they are not equal, we can have final decision based on them
     158         [ +  + ]:        288 :         if (op == MP_BINARY_OP_EQUAL) {
     159                 :            :             // In particular, if we are checking for equality, here're the answer
     160                 :            :             return false;
     161                 :            :         }
     162                 :            : 
     163                 :            :         // Otherwise, application of relation op gives the answer
     164                 :        252 :         return mp_binary_op(op, items1[i], items2[i]) == mp_const_true;
     165                 :            :     }
     166                 :            : 
     167                 :            :     // If we had tie in the last element...
     168                 :            :     // ... and we have lists of different lengths...
     169         [ +  + ]:        533 :     if (len1 != len2) {
     170         [ +  + ]:        192 :         if (len1 < len2) {
     171                 :            :             // ... then longer list length wins (we deal only with >)
     172                 :         96 :             return false;
     173                 :            :         }
     174         [ +  + ]:        341 :     } else if (op == MP_BINARY_OP_MORE) {
     175                 :            :         // Otherwise, if we have strict relation, sequence equality means failure
     176                 :         36 :         return false;
     177                 :            :     }
     178                 :            : 
     179                 :            :     return true;
     180                 :            : }
     181                 :            : 
     182                 :            : // Special-case of index() which searches for mp_obj_t
     183                 :        102 : mp_obj_t mp_seq_index_obj(const mp_obj_t *items, size_t len, size_t n_args, const mp_obj_t *args) {
     184                 :        102 :     const mp_obj_type_t *type = mp_obj_get_type(args[0]);
     185                 :        102 :     mp_obj_t value = args[1];
     186                 :        102 :     size_t start = 0;
     187                 :        102 :     size_t stop = len;
     188                 :            : 
     189         [ +  + ]:        102 :     if (n_args >= 3) {
     190                 :         48 :         start = mp_get_index(type, len, args[2], true);
     191         [ +  + ]:         48 :         if (n_args >= 4) {
     192                 :         20 :             stop = mp_get_index(type, len, args[3], true);
     193                 :            :         }
     194                 :            :     }
     195                 :            : 
     196         [ +  + ]:        206 :     for (size_t i = start; i < stop; i++) {
     197         [ +  + ]:        182 :         if (mp_obj_equal(items[i], value)) {
     198                 :            :             // Common sense says this cannot overflow small int
     199                 :         78 :             return MP_OBJ_NEW_SMALL_INT(i);
     200                 :            :         }
     201                 :            :     }
     202                 :            : 
     203                 :         24 :     mp_raise_ValueError(MP_ERROR_TEXT("object not in sequence"));
     204                 :            : }
     205                 :            : 
     206                 :         44 : mp_obj_t mp_seq_count_obj(const mp_obj_t *items, size_t len, mp_obj_t value) {
     207                 :         44 :     size_t count = 0;
     208         [ +  + ]:        352 :     for (size_t i = 0; i < len; i++) {
     209         [ +  + ]:        308 :         if (mp_obj_equal(items[i], value)) {
     210                 :         68 :             count++;
     211                 :            :         }
     212                 :            :     }
     213                 :            : 
     214                 :            :     // Common sense says this cannot overflow small int
     215                 :         44 :     return MP_OBJ_NEW_SMALL_INT(count);
     216                 :            : }

Generated by: LCOV version 1.15-5-g462f71d