354 lines
52 KiB
HTML
354 lines
52 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
|
|
<html lang="en">
|
|
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
|
<title>LCOV - coverage.info - core/dbc_decoder.cpp</title>
|
|
<link rel="stylesheet" type="text/css" href="../gcov.css">
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<table width="100%" border=0 cellspacing=0 cellpadding=0>
|
|
<tr><td class="title">LCOV - code coverage report</td></tr>
|
|
<tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr>
|
|
|
|
<tr>
|
|
<td width="100%">
|
|
<table cellpadding=1 border=0 width="100%">
|
|
<tr>
|
|
<td width="10%" class="headerItem">Current view:</td>
|
|
<td width="10%" class="headerValue"><a href="../index.html" title="Click to go to top-level">top level</a> - <a href="index.html" title="Click to go to directory core">core</a> - dbc_decoder.cpp<span style="font-size: 80%;"> (source / <a href="dbc_decoder.cpp.func-c.html" title="Click to go to function table">functions</a>)</span></td>
|
|
<td width="5%"></td>
|
|
<td width="5%"></td>
|
|
<td width="5%" class="headerCovTableHead">Coverage</td>
|
|
<td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
|
|
<td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
|
|
</tr>
|
|
<tr>
|
|
<td class="headerItem">Test:</td>
|
|
<td class="headerValue">coverage.info</td>
|
|
<td></td>
|
|
<td class="headerItem">Lines:</td>
|
|
<td class="headerCovTableEntryHi">94.9 %</td>
|
|
<td class="headerCovTableEntry">156</td>
|
|
<td class="headerCovTableEntry">148</td>
|
|
</tr>
|
|
<tr>
|
|
<td class="headerItem">Test Date:</td>
|
|
<td class="headerValue">2026-10-20 13:34:58</td>
|
|
<td></td>
|
|
<td class="headerItem">Functions:</td>
|
|
<td class="headerCovTableEntryHi">100.0 %</td>
|
|
<td class="headerCovTableEntry">12</td>
|
|
<td class="headerCovTableEntry">12</td>
|
|
</tr>
|
|
<tr>
|
|
<td></td>
|
|
<td></td>
|
|
<td></td>
|
|
<td class="headerItem">Branches:</td>
|
|
<td class="headerCovTableEntryLo">72.8 %</td>
|
|
<td class="headerCovTableEntry">158</td>
|
|
<td class="headerCovTableEntry">115</td>
|
|
</tr>
|
|
<tr><td><img src="../glass.png" width=3 height=3 alt=""></td></tr>
|
|
</table>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr>
|
|
</table>
|
|
|
|
<table cellpadding=0 cellspacing=0 border=0>
|
|
<tr>
|
|
<td><br></td>
|
|
</tr>
|
|
<tr>
|
|
<td>
|
|
<pre class="sourceHeading"> Branch data Line data Source code</pre>
|
|
<pre class="source">
|
|
<span id="L1"><span class="lineNum"> 1</span> : : /**</span>
|
|
<span id="L2"><span class="lineNum"> 2</span> : : * @file dbc_decoder.cpp</span>
|
|
<span id="L3"><span class="lineNum"> 3</span> : : * @brief CAN signal extraction and physical value conversion.</span>
|
|
<span id="L4"><span class="lineNum"> 4</span> : : *</span>
|
|
<span id="L5"><span class="lineNum"> 5</span> : : * Created: 2026-03-13</span>
|
|
<span id="L6"><span class="lineNum"> 6</span> : : * Author: Deeaitch (Dim. Himro)</span>
|
|
<span id="L7"><span class="lineNum"> 7</span> : : *</span>
|
|
<span id="L8"><span class="lineNum"> 8</span> : : * Licensed under the MIT License.</span>
|
|
<span id="L9"><span class="lineNum"> 9</span> : : * See LICENSE file in the project root for full license text.</span>
|
|
<span id="L10"><span class="lineNum"> 10</span> : : */</span>
|
|
<span id="L11"><span class="lineNum"> 11</span> : : </span>
|
|
<span id="L12"><span class="lineNum"> 12</span> : : #include "dbc_decoder.h"</span>
|
|
<span id="L13"><span class="lineNum"> 13</span> : : #include "j1939.h"</span>
|
|
<span id="L14"><span class="lineNum"> 14</span> : : #include "signal_layout.h"</span>
|
|
<span id="L15"><span class="lineNum"> 15</span> : : #include <cmath></span>
|
|
<span id="L16"><span class="lineNum"> 16</span> : : #include <stdexcept></span>
|
|
<span id="L17"><span class="lineNum"> 17</span> : : #include <unordered_set></span>
|
|
<span id="L18"><span class="lineNum"> 18</span> : : #include <utility></span>
|
|
<span id="L19"><span class="lineNum"> 19</span> : : </span>
|
|
<span id="L20"><span class="lineNum"> 20</span> :<span class="tlaGNC"> 32 : std::shared_ptr<const DecodeFrame> DbcDecoder::FindFrame(const DecodeDatabase &database,</span></span>
|
|
<span id="L21"><span class="lineNum"> 21</span> : : std::uint32_t canId,</span>
|
|
<span id="L22"><span class="lineNum"> 22</span> : : bool isExtended) const {</span>
|
|
<span id="L23"><span class="lineNum"> 23</span> [<span class="tlaGBC" title="Branch 0 was taken 32 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 32 : return ResolveFrame(database, canId, isExtended).definition;</span></span>
|
|
<span id="L24"><span class="lineNum"> 24</span> : : }</span>
|
|
<span id="L25"><span class="lineNum"> 25</span> : : </span>
|
|
<span id="L26"><span class="lineNum"> 26</span> :<span class="tlaGNC"> 6440 : PgnLookupResult DbcDecoder::ResolveFrame(const DecodeDatabase &database,</span></span>
|
|
<span id="L27"><span class="lineNum"> 27</span> : : std::uint32_t canId, bool isExtended) {</span>
|
|
<span id="L28"><span class="lineNum"> 28</span> [<span class="tlaGBC" title="Branch 0 was taken 6440 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6440 : const std::shared_ptr<const DecodeFrame> exact = database.FindFrame(FrameKey(canId, isExtended));</span></span>
|
|
<span id="L29"><span class="lineNum"> 29</span> [<span class="tlaGBC" title="Branch 0 was taken 6335 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 105 times"> + </span>]:<span class="tlaGNC"> 6440 : if (exact)</span></span>
|
|
<span id="L30"><span class="lineNum"> 30</span> :<span class="tlaGNC"> 6335 : return {exact, false};</span></span>
|
|
<span id="L31"><span class="lineNum"> 31</span> [<span class="tlaGBC" title="Branch 0 was taken 87 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 18 times"> + </span><span class="tlaGBC" title="Branch 2 was taken 7 times"> + </span><span class="tlaGBC" title="Branch 3 was taken 80 times"> + </span>]:<span class="tlaGNC"> 105 : if (!isExtended || canId > 0x1FFFFFFFU)</span></span>
|
|
<span id="L32"><span class="lineNum"> 32</span> :<span class="tlaGNC"> 25 : return {};</span></span>
|
|
<span id="L33"><span class="lineNum"> 33</span> [<span class="tlaGBC" title="Branch 0 was taken 80 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 80 : return database.FindFrameByPgn(ExtractJ1939Pgn(canId));</span></span>
|
|
<span id="L34"><span class="lineNum"> 34</span> :<span class="tlaGNC"> 6440 : }</span></span>
|
|
<span id="L35"><span class="lineNum"> 35</span> : : </span>
|
|
<span id="L36"><span class="lineNum"> 36</span> :<span class="tlaGNC"> 6396 : DecodedFrameValue DbcDecoder::Decode(const DecodeDatabase &database,</span></span>
|
|
<span id="L37"><span class="lineNum"> 37</span> : : const RawCanFrame &frame) const {</span>
|
|
<span id="L38"><span class="lineNum"> 38</span> :<span class="tlaGNC"> 6396 : return DecodeImpl(database, frame, nullptr);</span></span>
|
|
<span id="L39"><span class="lineNum"> 39</span> : : }</span>
|
|
<span id="L40"><span class="lineNum"> 40</span> : : </span>
|
|
<span id="L41"><span class="lineNum"> 41</span> :<span class="tlaGNC"> 12 : DecodedFrameValue DbcDecoder::Decode(const DecodeDatabase &database,</span></span>
|
|
<span id="L42"><span class="lineNum"> 42</span> : : const RawCanFrame &frame,</span>
|
|
<span id="L43"><span class="lineNum"> 43</span> : : const std::vector<SignalKey> &selection) const {</span>
|
|
<span id="L44"><span class="lineNum"> 44</span> :<span class="tlaGNC"> 12 : return DecodeImpl(database, frame, &selection);</span></span>
|
|
<span id="L45"><span class="lineNum"> 45</span> : : }</span>
|
|
<span id="L46"><span class="lineNum"> 46</span> : : </span>
|
|
<span id="L47"><span class="lineNum"> 47</span> :<span class="tlaGNC"> 6408 : DecodedFrameValue DbcDecoder::DecodeImpl(const DecodeDatabase &database,</span></span>
|
|
<span id="L48"><span class="lineNum"> 48</span> : : const RawCanFrame &frame,</span>
|
|
<span id="L49"><span class="lineNum"> 49</span> : : const std::vector<SignalKey> *selection) const {</span>
|
|
<span id="L50"><span class="lineNum"> 50</span> :<span class="tlaGNC"> 6408 : DecodedFrameValue result;</span></span>
|
|
<span id="L51"><span class="lineNum"> 51</span> :<span class="tlaGNC"> 6408 : result.key = FrameKey(frame.canId, frame.isExtended);</span></span>
|
|
<span id="L52"><span class="lineNum"> 52</span> [<span class="tlaGBC" title="Branch 0 was taken 6408 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6408 : const PgnLookupResult match = ResolveFrame(database, frame.canId, frame.isExtended);</span></span>
|
|
<span id="L53"><span class="lineNum"> 53</span> [<span class="tlaGBC" title="Branch 0 was taken 8 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6400 times"> + </span>]:<span class="tlaGNC"> 6408 : if (match.ambiguous) {</span></span>
|
|
<span id="L54"><span class="lineNum"> 54</span> :<span class="tlaGNC"> 8 : result.status = FrameDecodeStatus::AmbiguousFrame;</span></span>
|
|
<span id="L55"><span class="lineNum"> 55</span> :<span class="tlaGNC"> 8 : return result;</span></span>
|
|
<span id="L56"><span class="lineNum"> 56</span> : : }</span>
|
|
<span id="L57"><span class="lineNum"> 57</span> :<span class="tlaGNC"> 6400 : const std::shared_ptr<const DecodeFrame> definition = match.definition;</span></span>
|
|
<span id="L58"><span class="lineNum"> 58</span> [<span class="tlaGBC" title="Branch 0 was taken 55 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6345 times"> + </span>]:<span class="tlaGNC"> 6400 : if (definition == nullptr)</span></span>
|
|
<span id="L59"><span class="lineNum"> 59</span> :<span class="tlaGNC"> 55 : return result;</span></span>
|
|
<span id="L60"><span class="lineNum"> 60</span> :<span class="tlaGNC"> 6345 : result.key = definition->GetKey();</span></span>
|
|
<span id="L61"><span class="lineNum"> 61</span> : : </span>
|
|
<span id="L62"><span class="lineNum"> 62</span> :<span class="tlaGNC"> 6345 : std::vector<const DecodeSignal *> selected;</span></span>
|
|
<span id="L63"><span class="lineNum"> 63</span> [<span class="tlaGBC" title="Branch 0 was taken 8 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6337 times"> + </span>]:<span class="tlaGNC"> 6345 : if (selection != nullptr) {</span></span>
|
|
<span id="L64"><span class="lineNum"> 64</span> [<span class="tlaGBC" title="Branch 0 was taken 8 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 8 : selected.reserve(selection->size());</span></span>
|
|
<span id="L65"><span class="lineNum"> 65</span> :<span class="tlaGNC"> 8 : std::unordered_set<SignalKey, SignalKeyHasher> keys;</span></span>
|
|
<span id="L66"><span class="lineNum"> 66</span> [<span class="tlaGBC" title="Branch 0 was taken 8 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 4 times"> + </span>]:<span class="tlaGNC"> 12 : for (const SignalKey &key: *selection) {</span></span>
|
|
<span id="L67"><span class="lineNum"> 67</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 4 times"> + </span>]:<span class="tlaGNC"> 8 : if (!(key.frame == result.key))</span></span>
|
|
<span id="L68"><span class="lineNum"> 68</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaGBC" title="Branch 2 was taken 4 times"> + </span><span class="tlaUNC" title="Branch 3 was not taken"> - </span>]:<span class="tlaGNC"> 4 : throw std::invalid_argument("Selected signal belongs to another frame: " + key.name);</span></span>
|
|
<span id="L69"><span class="lineNum"> 69</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaUNC" title="Branch 2 was not taken"> - </span><span class="tlaGBC" title="Branch 3 was taken 4 times"> + </span>]:<span class="tlaGNC"> 4 : if (!keys.insert(key).second)</span></span>
|
|
<span id="L70"><span class="lineNum"> 70</span> [<span class="tlaUNC" title="Branch 0 was not executed"> # </span><span class="tlaUNC" title="Branch 1 was not executed"> # </span><span class="tlaUNC" title="Branch 2 was not executed"> # </span><span class="tlaUNC" title="Branch 3 was not executed"> # </span>]:<span class="tlaUNC"> 0 : throw std::invalid_argument("Duplicate selected signal: " + key.name);</span></span>
|
|
<span id="L71"><span class="lineNum"> 71</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 4 : const std::shared_ptr<const DecodeSignal> signal = database.FindSignal(key);</span></span>
|
|
<span id="L72"><span class="lineNum"> 72</span> [<span class="tlaUNC" title="Branch 0 was not taken"> - </span><span class="tlaGBC" title="Branch 1 was taken 4 times"> + </span>]:<span class="tlaGNC"> 4 : if (!signal)</span></span>
|
|
<span id="L73"><span class="lineNum"> 73</span> [<span class="tlaUNC" title="Branch 0 was not executed"> # </span><span class="tlaUNC" title="Branch 1 was not executed"> # </span><span class="tlaUNC" title="Branch 2 was not executed"> # </span><span class="tlaUNC" title="Branch 3 was not executed"> # </span>]:<span class="tlaUNC"> 0 : throw std::invalid_argument("Unknown selected signal: " + key.name);</span></span>
|
|
<span id="L74"><span class="lineNum"> 74</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 4 : selected.push_back(signal.get());</span></span>
|
|
<span id="L75"><span class="lineNum"> 75</span> :<span class="tlaGNC"> 4 : }</span></span>
|
|
<span id="L76"><span class="lineNum"> 76</span> :<span class="tlaGNC"> 8 : }</span></span>
|
|
<span id="L77"><span class="lineNum"> 77</span> : : </span>
|
|
<span id="L78"><span class="lineNum"> 78</span> :<span class="tlaGNC"> 6341 : result.definition = definition;</span></span>
|
|
<span id="L79"><span class="lineNum"> 79</span> :<span class="tlaGNC"> 6341 : result.valid = true;</span></span>
|
|
<span id="L80"><span class="lineNum"> 80</span> :<span class="tlaGNC"> 6341 : result.status = frame.data.size() < definition->dlc</span></span>
|
|
<span id="L81"><span class="lineNum"> 81</span> [<span class="tlaGBC" title="Branch 0 was taken 6238 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 103 times"> + </span>]:<span class="tlaGNC"> 6341 : ? FrameDecodeStatus::InsufficientPayload</span></span>
|
|
<span id="L82"><span class="lineNum"> 82</span> : : : FrameDecodeStatus::Valid;</span>
|
|
<span id="L83"><span class="lineNum"> 83</span> : : </span>
|
|
<span id="L84"><span class="lineNum"> 84</span> [<span class="tlaGBC" title="Branch 0 was taken 6341 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6341 : const SelectorState selector = ReadSelector(*definition, frame);</span></span>
|
|
<span id="L85"><span class="lineNum"> 85</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6337 times"> + </span>]:<span class="tlaGNC"> 6341 : const std::size_t count = selection != nullptr ? selected.size() : definition->signals.size();</span></span>
|
|
<span id="L86"><span class="lineNum"> 86</span> [<span class="tlaGBC" title="Branch 0 was taken 6341 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6341 : result.signals.reserve(count);</span></span>
|
|
<span id="L87"><span class="lineNum"> 87</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6341 times"> + </span>]:<span class="tlaGNC"> 12716 : for (std::size_t index = 0U; index < count; ++index) {</span></span>
|
|
<span id="L88"><span class="lineNum"> 88</span> [<span class="tlaGBC" title="Branch 0 was taken 4 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6371 times"> + </span>]:<span class="tlaGNC"> 6375 : const DecodeSignal &signal = selection != nullptr ? *selected[index] : definition->signals[index];</span></span>
|
|
<span id="L89"><span class="lineNum"> 89</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6375 : DecodedSignalValue decoded = DecodeOneSignal(signal, definition->dlc, frame, selector);</span></span>
|
|
<span id="L90"><span class="lineNum"> 90</span> [<span class="tlaGBC" title="Branch 0 was taken 44 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6331 times"> + </span><span class="tlaGBC" title="Branch 2 was taken 31 times"> + </span><span class="tlaGBC" title="Branch 3 was taken 13 times"> + </span>]:<span class="tlaGNC"> 6375 : if (!decoded.valid && decoded.status != SignalDecodeStatus::Inactive &&</span></span>
|
|
<span id="L91"><span class="lineNum"> 91</span> [<span class="tlaGBC" title="Branch 0 was taken 5 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 26 times"> + </span>]:<span class="tlaGNC"> 31 : result.status == FrameDecodeStatus::Valid)</span></span>
|
|
<span id="L92"><span class="lineNum"> 92</span> :<span class="tlaGNC"> 5 : result.status = FrameDecodeStatus::SignalErrors;</span></span>
|
|
<span id="L93"><span class="lineNum"> 93</span> :<span class="tlaGNC"> 6375 : decoded.definition = std::shared_ptr<const DecodeSignal>(definition, &signal);</span></span>
|
|
<span id="L94"><span class="lineNum"> 94</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6375 : decoded.key = SignalKey(result.key, signal.name);</span></span>
|
|
<span id="L95"><span class="lineNum"> 95</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6375 : result.signals.push_back(std::move(decoded));</span></span>
|
|
<span id="L96"><span class="lineNum"> 96</span> :<span class="tlaGNC"> 6375 : }</span></span>
|
|
<span id="L97"><span class="lineNum"> 97</span> : : </span>
|
|
<span id="L98"><span class="lineNum"> 98</span> :<span class="tlaGNC"> 6341 : return result;</span></span>
|
|
<span id="L99"><span class="lineNum"> 99</span> :<span class="tlaGNC"> 6420 : }</span></span>
|
|
<span id="L100"><span class="lineNum"> 100</span> : : </span>
|
|
<span id="L101"><span class="lineNum"> 101</span> :<span class="tlaGNC"> 6396 : bool DbcDecoder::IsValidDefinition(const DecodeSignal &signal, std::uint8_t dlc) {</span></span>
|
|
<span id="L102"><span class="lineNum"> 102</span> [<span class="tlaGBC" title="Branch 0 was taken 3144 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 3252 times"> + </span><span class="tlaGBC" title="Branch 2 was taken 3144 times"> + </span><span class="tlaUNC" title="Branch 3 was not taken"> - </span>]:<span class="tlaGNC"> 6396 : if ((signal.byteOrder != ByteOrder::Intel && signal.byteOrder != ByteOrder::Motorola) ||</span></span>
|
|
<span id="L103"><span class="lineNum"> 103</span> [<span class="tlaGBC" title="Branch 0 was taken 85 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6311 times"> + </span><span class="tlaGBC" title="Branch 2 was taken 85 times"> + </span><span class="tlaUNC" title="Branch 3 was not taken"> - </span>]:<span class="tlaGNC"> 6396 : (signal.valueType != ValueType::Unsigned && signal.valueType != ValueType::Signed) ||</span></span>
|
|
<span id="L104"><span class="lineNum"> 104</span> [<span class="tlaGBC" title="Branch 0 was taken 71 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6325 times"> + </span>]:<span class="tlaGNC"> 6396 : (signal.multiplexing.role != MultiplexRole::Unconditional &&</span></span>
|
|
<span id="L105"><span class="lineNum"> 105</span> [<span class="tlaGBC" title="Branch 0 was taken 29 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 42 times"> + </span>]:<span class="tlaGNC"> 71 : signal.multiplexing.role != MultiplexRole::Selector &&</span></span>
|
|
<span id="L106"><span class="lineNum"> 106</span> [<span class="tlaUNC" title="Branch 0 was not taken"> - </span><span class="tlaGBC" title="Branch 1 was taken 29 times"> + </span>]:<span class="tlaGNC"> 29 : signal.multiplexing.role != MultiplexRole::Branch))</span></span>
|
|
<span id="L107"><span class="lineNum"> 107</span> :<span class="tlaUNC"> 0 : return false;</span></span>
|
|
<span id="L108"><span class="lineNum"> 108</span> : : </span>
|
|
<span id="L109"><span class="lineNum"> 109</span> :<span class="tlaGNC"> 6396 : return IsValidSignalLayout(signal.startBit, signal.length,</span></span>
|
|
<span id="L110"><span class="lineNum"> 110</span> :<span class="tlaGNC"> 6396 : signal.byteOrder == ByteOrder::Intel, dlc);</span></span>
|
|
<span id="L111"><span class="lineNum"> 111</span> : : }</span>
|
|
<span id="L112"><span class="lineNum"> 112</span> : : </span>
|
|
<span id="L113"><span class="lineNum"> 113</span> :<span class="tlaGNC"> 6341 : DbcDecoder::SelectorState DbcDecoder::ReadSelector(const DecodeFrame &definition,</span></span>
|
|
<span id="L114"><span class="lineNum"> 114</span> : : const RawCanFrame &frame) {</span>
|
|
<span id="L115"><span class="lineNum"> 115</span> :<span class="tlaGNC"> 6341 : SelectorState selector;</span></span>
|
|
<span id="L116"><span class="lineNum"> 116</span> :<span class="tlaGNC"> 6341 : std::size_t count = 0U;</span></span>
|
|
<span id="L117"><span class="lineNum"> 117</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6341 times"> + </span>]:<span class="tlaGNC"> 12716 : for (const DecodeSignal &signal: definition.signals) {</span></span>
|
|
<span id="L118"><span class="lineNum"> 118</span> [<span class="tlaGBC" title="Branch 0 was taken 21 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6354 times"> + </span>]:<span class="tlaGNC"> 6375 : if (signal.multiplexing.role == MultiplexRole::Selector) {</span></span>
|
|
<span id="L119"><span class="lineNum"> 119</span> :<span class="tlaGNC"> 21 : selector.definition = &signal;</span></span>
|
|
<span id="L120"><span class="lineNum"> 120</span> :<span class="tlaGNC"> 21 : ++count;</span></span>
|
|
<span id="L121"><span class="lineNum"> 121</span> : : }</span>
|
|
<span id="L122"><span class="lineNum"> 122</span> : : }</span>
|
|
<span id="L123"><span class="lineNum"> 123</span> [<span class="tlaGBC" title="Branch 0 was taken 6320 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 21 times"> + </span>]:<span class="tlaGNC"> 6341 : if (count != 1U)</span></span>
|
|
<span id="L124"><span class="lineNum"> 124</span> :<span class="tlaGNC"> 6320 : return selector;</span></span>
|
|
<span id="L125"><span class="lineNum"> 125</span> : : </span>
|
|
<span id="L126"><span class="lineNum"> 126</span> :<span class="tlaGNC"> 21 : const DecodeSignal &signal = *selector.definition;</span></span>
|
|
<span id="L127"><span class="lineNum"> 127</span> [<span class="tlaGBC" title="Branch 0 was taken 21 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 42 : selector.valid = signal.valueType == ValueType::Unsigned &&</span></span>
|
|
<span id="L128"><span class="lineNum"> 128</span> [<span class="tlaGBC" title="Branch 0 was taken 21 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 21 : IsValidDefinition(signal, definition.dlc);</span></span>
|
|
<span id="L129"><span class="lineNum"> 129</span> [<span class="tlaGBC" title="Branch 0 was taken 21 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaGBC" title="Branch 2 was taken 19 times"> + </span><span class="tlaGBC" title="Branch 3 was taken 2 times"> + </span>]:<span class="tlaGNC"> 21 : selector.available = selector.valid && ExtractUnsigned(frame.data, signal, selector.value);</span></span>
|
|
<span id="L130"><span class="lineNum"> 130</span> :<span class="tlaGNC"> 21 : return selector;</span></span>
|
|
<span id="L131"><span class="lineNum"> 131</span> : : }</span>
|
|
<span id="L132"><span class="lineNum"> 132</span> : : </span>
|
|
<span id="L133"><span class="lineNum"> 133</span> :<span class="tlaGNC"> 6375 : DecodedSignalValue DbcDecoder::DecodeOneSignal(const DecodeSignal &signal,</span></span>
|
|
<span id="L134"><span class="lineNum"> 134</span> : : std::uint8_t dlc,</span>
|
|
<span id="L135"><span class="lineNum"> 135</span> : : const RawCanFrame &frame,</span>
|
|
<span id="L136"><span class="lineNum"> 136</span> : : const SelectorState &selector) {</span>
|
|
<span id="L137"><span class="lineNum"> 137</span> :<span class="tlaGNC"> 6375 : DecodedSignalValue decoded;</span></span>
|
|
<span id="L138"><span class="lineNum"> 138</span> :<span class="tlaGNC"> 6375 : std::uint64_t unsignedValue = 0U;</span></span>
|
|
<span id="L139"><span class="lineNum"> 139</span> : : </span>
|
|
<span id="L140"><span class="lineNum"> 140</span> [<span class="tlaGBC" title="Branch 0 was taken 6375 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaGBC" title="Branch 2 was taken 6375 times"> + </span><span class="tlaUNC" title="Branch 3 was not taken"> - </span> :<span class="tlaGNC"> 12750 : if (!IsValidDefinition(signal, dlc) ||</span></span>
|
|
<span class="lineNum"> </span> <span class="tlaUNC" title="Branch 4 was not taken"> - </span><span class="tlaGBC" title="Branch 5 was taken 6375 times"> + </span>]
|
|
<span id="L141"><span class="lineNum"> 141</span> [<span class="tlaGBC" title="Branch 0 was taken 50 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6325 times"> + </span><span class="tlaUNC" title="Branch 2 was not taken"> - </span><span class="tlaGBC" title="Branch 3 was taken 50 times"> + </span>]:<span class="tlaGNC"> 6375 : (signal.multiplexing.role != MultiplexRole::Unconditional && !selector.valid)) {</span></span>
|
|
<span id="L142"><span class="lineNum"> 142</span> :<span class="tlaUNC"> 0 : return decoded;</span></span>
|
|
<span id="L143"><span class="lineNum"> 143</span> : : }</span>
|
|
<span id="L144"><span class="lineNum"> 144</span> [<span class="tlaGBC" title="Branch 0 was taken 29 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6346 times"> + </span>]:<span class="tlaGNC"> 6375 : if (signal.multiplexing.role == MultiplexRole::Branch) {</span></span>
|
|
<span id="L145"><span class="lineNum"> 145</span> [<span class="tlaGBC" title="Branch 0 was taken 23 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6 times"> + </span><span class="tlaUNC" title="Branch 2 was not taken"> - </span><span class="tlaGBC" title="Branch 3 was taken 23 times"> + </span>]:<span class="tlaGNC"> 29 : if (selector.definition->length < 64U && signal.multiplexing.value >= (std::uint64_t(1U) << selector.definition->length)) {</span></span>
|
|
<span id="L146"><span class="lineNum"> 146</span> :<span class="tlaUNC"> 0 : return decoded;</span></span>
|
|
<span id="L147"><span class="lineNum"> 147</span> : : }</span>
|
|
<span id="L148"><span class="lineNum"> 148</span> [<span class="tlaGBC" title="Branch 0 was taken 3 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 26 times"> + </span>]:<span class="tlaGNC"> 29 : if (!selector.available) {</span></span>
|
|
<span id="L149"><span class="lineNum"> 149</span> :<span class="tlaGNC"> 3 : decoded.status = SignalDecodeStatus::SelectorUnavailable;</span></span>
|
|
<span id="L150"><span class="lineNum"> 150</span> :<span class="tlaGNC"> 3 : return decoded;</span></span>
|
|
<span id="L151"><span class="lineNum"> 151</span> : : }</span>
|
|
<span id="L152"><span class="lineNum"> 152</span> [<span class="tlaGBC" title="Branch 0 was taken 13 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 13 times"> + </span>]:<span class="tlaGNC"> 26 : if (signal.multiplexing.value != selector.value) {</span></span>
|
|
<span id="L153"><span class="lineNum"> 153</span> :<span class="tlaGNC"> 13 : decoded.status = SignalDecodeStatus::Inactive;</span></span>
|
|
<span id="L154"><span class="lineNum"> 154</span> :<span class="tlaGNC"> 13 : return decoded;</span></span>
|
|
<span id="L155"><span class="lineNum"> 155</span> : : }</span>
|
|
<span id="L156"><span class="lineNum"> 156</span> : : }</span>
|
|
<span id="L157"><span class="lineNum"> 157</span> [<span class="tlaGBC" title="Branch 0 was taken 6359 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaGBC" title="Branch 2 was taken 23 times"> + </span><span class="tlaGBC" title="Branch 3 was taken 6336 times"> + </span>]:<span class="tlaGNC"> 6359 : if (!ExtractUnsigned(frame.data, signal, unsignedValue)) {</span></span>
|
|
<span id="L158"><span class="lineNum"> 158</span> :<span class="tlaGNC"> 23 : decoded.status = SignalDecodeStatus::InsufficientPayload;</span></span>
|
|
<span id="L159"><span class="lineNum"> 159</span> :<span class="tlaGNC"> 23 : return decoded;</span></span>
|
|
<span id="L160"><span class="lineNum"> 160</span> : : }</span>
|
|
<span id="L161"><span class="lineNum"> 161</span> : : </span>
|
|
<span id="L162"><span class="lineNum"> 162</span> [<span class="tlaGBC" title="Branch 0 was taken 81 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6255 times"> + </span>]:<span class="tlaGNC"> 6336 : if (signal.valueType == ValueType::Signed)</span></span>
|
|
<span id="L163"><span class="lineNum"> 163</span> [<span class="tlaGBC" title="Branch 0 was taken 81 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 81 : decoded.rawValue = SignExtend(unsignedValue, signal.length);</span></span>
|
|
<span id="L164"><span class="lineNum"> 164</span> : : else</span>
|
|
<span id="L165"><span class="lineNum"> 165</span> :<span class="tlaGNC"> 6255 : decoded.rawValue = unsignedValue;</span></span>
|
|
<span id="L166"><span class="lineNum"> 166</span> : : </span>
|
|
<span id="L167"><span class="lineNum"> 167</span> : : double numericValue;</span>
|
|
<span id="L168"><span class="lineNum"> 168</span> [<span class="tlaGBC" title="Branch 0 was taken 81 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6255 times"> + </span>]:<span class="tlaGNC"> 6336 : if (const std::int64_t *signedValue = std::get_if<std::int64_t>(&decoded.rawValue))</span></span>
|
|
<span id="L169"><span class="lineNum"> 169</span> :<span class="tlaGNC"> 81 : numericValue = static_cast<double>(*signedValue);</span></span>
|
|
<span id="L170"><span class="lineNum"> 170</span> : : else</span>
|
|
<span id="L171"><span class="lineNum"> 171</span> [<span class="tlaGBC" title="Branch 0 was taken 6255 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span>]:<span class="tlaGNC"> 6255 : numericValue = static_cast<double>(std::get<std::uint64_t>(decoded.rawValue));</span></span>
|
|
<span id="L172"><span class="lineNum"> 172</span> :<span class="tlaGNC"> 6336 : decoded.physicalValue = numericValue * signal.factor + signal.offset;</span></span>
|
|
<span id="L173"><span class="lineNum"> 173</span> [<span class="tlaGBC" title="Branch 0 was taken 5 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 6331 times"> + </span>]:<span class="tlaGNC"> 6336 : if (!std::isfinite(decoded.physicalValue)) {</span></span>
|
|
<span id="L174"><span class="lineNum"> 174</span> :<span class="tlaGNC"> 5 : decoded.status = SignalDecodeStatus::PhysicalConversionFailed;</span></span>
|
|
<span id="L175"><span class="lineNum"> 175</span> :<span class="tlaGNC"> 5 : return decoded;</span></span>
|
|
<span id="L176"><span class="lineNum"> 176</span> : : }</span>
|
|
<span id="L177"><span class="lineNum"> 177</span> :<span class="tlaGNC"> 6331 : decoded.valid = true;</span></span>
|
|
<span id="L178"><span class="lineNum"> 178</span> :<span class="tlaGNC"> 6331 : decoded.status = SignalDecodeStatus::Valid;</span></span>
|
|
<span id="L179"><span class="lineNum"> 179</span> : : </span>
|
|
<span id="L180"><span class="lineNum"> 180</span> :<span class="tlaGNC"> 6331 : return decoded;</span></span>
|
|
<span id="L181"><span class="lineNum"> 181</span> :<span class="tlaUNC"> 0 : }</span></span>
|
|
<span id="L182"><span class="lineNum"> 182</span> : : </span>
|
|
<span id="L183"><span class="lineNum"> 183</span> :<span class="tlaGNC"> 6380 : bool DbcDecoder::ExtractUnsigned(const std::vector<std::uint8_t> &data,</span></span>
|
|
<span id="L184"><span class="lineNum"> 184</span> : : const DecodeSignal &signal,</span>
|
|
<span id="L185"><span class="lineNum"> 185</span> : : std::uint64_t &value) {</span>
|
|
<span id="L186"><span class="lineNum"> 186</span> [<span class="tlaGBC" title="Branch 0 was taken 6380 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaUNC" title="Branch 2 was not taken"> - </span><span class="tlaGBC" title="Branch 3 was taken 6380 times"> + </span>]:<span class="tlaGNC"> 6380 : if ((signal.length == 0U) || (signal.length > 64U))</span></span>
|
|
<span id="L187"><span class="lineNum"> 187</span> :<span class="tlaUNC"> 0 : return false;</span></span>
|
|
<span id="L188"><span class="lineNum"> 188</span> : : </span>
|
|
<span id="L189"><span class="lineNum"> 189</span> [<span class="tlaGBC" title="Branch 0 was taken 3242 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 3138 times"> + </span>]:<span class="tlaGNC"> 6380 : if (signal.byteOrder == ByteOrder::Intel)</span></span>
|
|
<span id="L190"><span class="lineNum"> 190</span> :<span class="tlaGNC"> 3242 : return ExtractIntel(data, signal.startBit, signal.length, value);</span></span>
|
|
<span id="L191"><span class="lineNum"> 191</span> : : </span>
|
|
<span id="L192"><span class="lineNum"> 192</span> :<span class="tlaGNC"> 3138 : return ExtractMotorola(data, signal.startBit, signal.length, value);</span></span>
|
|
<span id="L193"><span class="lineNum"> 193</span> : : }</span>
|
|
<span id="L194"><span class="lineNum"> 194</span> : : </span>
|
|
<span id="L195"><span class="lineNum"> 195</span> :<span class="tlaGNC"> 3242 : bool DbcDecoder::ExtractIntel(const std::vector<std::uint8_t> &data,</span></span>
|
|
<span id="L196"><span class="lineNum"> 196</span> : : std::uint32_t startBit,</span>
|
|
<span id="L197"><span class="lineNum"> 197</span> : : std::uint32_t length,</span>
|
|
<span id="L198"><span class="lineNum"> 198</span> : : std::uint64_t &value) {</span>
|
|
<span id="L199"><span class="lineNum"> 199</span> :<span class="tlaGNC"> 3242 : value = 0U;</span></span>
|
|
<span id="L200"><span class="lineNum"> 200</span> : : </span>
|
|
<span id="L201"><span class="lineNum"> 201</span> [<span class="tlaGBC" title="Branch 0 was taken 102334 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 3224 times"> + </span>]:<span class="tlaGNC"> 105558 : for (std::uint32_t bitIndex = 0U; bitIndex < length; ++bitIndex) {</span></span>
|
|
<span id="L202"><span class="lineNum"> 202</span> :<span class="tlaGNC"> 102334 : const std::uint64_t absoluteBit = std::uint64_t(startBit) + bitIndex;</span></span>
|
|
<span id="L203"><span class="lineNum"> 203</span> :<span class="tlaGNC"> 102334 : const std::uint64_t byteIndex = absoluteBit / 8U;</span></span>
|
|
<span id="L204"><span class="lineNum"> 204</span> :<span class="tlaGNC"> 102334 : const std::uint32_t bitInByte = absoluteBit % 8U;</span></span>
|
|
<span id="L205"><span class="lineNum"> 205</span> : : </span>
|
|
<span id="L206"><span class="lineNum"> 206</span> [<span class="tlaGBC" title="Branch 0 was taken 18 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 102316 times"> + </span>]:<span class="tlaGNC"> 102334 : if (byteIndex >= data.size())</span></span>
|
|
<span id="L207"><span class="lineNum"> 207</span> :<span class="tlaGNC"> 18 : return false;</span></span>
|
|
<span id="L208"><span class="lineNum"> 208</span> : : </span>
|
|
<span id="L209"><span class="lineNum"> 209</span> : : const std::uint64_t bitValue =</span>
|
|
<span id="L210"><span class="lineNum"> 210</span> :<span class="tlaGNC"> 102316 : (static_cast<std::uint64_t>((data[byteIndex] >> bitInByte) & 0x01U) << bitIndex);</span></span>
|
|
<span id="L211"><span class="lineNum"> 211</span> : : </span>
|
|
<span id="L212"><span class="lineNum"> 212</span> :<span class="tlaGNC"> 102316 : value |= bitValue;</span></span>
|
|
<span id="L213"><span class="lineNum"> 213</span> : : }</span>
|
|
<span id="L214"><span class="lineNum"> 214</span> : : </span>
|
|
<span id="L215"><span class="lineNum"> 215</span> :<span class="tlaGNC"> 3224 : return true;</span></span>
|
|
<span id="L216"><span class="lineNum"> 216</span> : : }</span>
|
|
<span id="L217"><span class="lineNum"> 217</span> : : </span>
|
|
<span id="L218"><span class="lineNum"> 218</span> :<span class="tlaGNC"> 3138 : bool DbcDecoder::ExtractMotorola(const std::vector<std::uint8_t> &data,</span></span>
|
|
<span id="L219"><span class="lineNum"> 219</span> : : std::uint32_t startBit,</span>
|
|
<span id="L220"><span class="lineNum"> 220</span> : : std::uint32_t length,</span>
|
|
<span id="L221"><span class="lineNum"> 221</span> : : std::uint64_t &value) {</span>
|
|
<span id="L222"><span class="lineNum"> 222</span> : : /*</span>
|
|
<span id="L223"><span class="lineNum"> 223</span> : : * DBC Motorola bit numbering:</span>
|
|
<span id="L224"><span class="lineNum"> 224</span> : : * - startBit points to the most significant bit of the signal</span>
|
|
<span id="L225"><span class="lineNum"> 225</span> : : * - inside a byte, bit numbering goes 7..0</span>
|
|
<span id="L226"><span class="lineNum"> 226</span> : : * - crossing byte boundary moves to the next byte, bit 7</span>
|
|
<span id="L227"><span class="lineNum"> 227</span> : : * Example: a signal starting at 7 follows 7..0, 15..8, 23..16.</span>
|
|
<span id="L228"><span class="lineNum"> 228</span> : : */</span>
|
|
<span id="L229"><span class="lineNum"> 229</span> : : </span>
|
|
<span id="L230"><span class="lineNum"> 230</span> :<span class="tlaGNC"> 3138 : value = 0U;</span></span>
|
|
<span id="L231"><span class="lineNum"> 231</span> : : </span>
|
|
<span id="L232"><span class="lineNum"> 232</span> :<span class="tlaGNC"> 3138 : std::size_t byteIndex = startBit / 8U;</span></span>
|
|
<span id="L233"><span class="lineNum"> 233</span> :<span class="tlaGNC"> 3138 : std::uint32_t bitInByte = startBit % 8U;</span></span>
|
|
<span id="L234"><span class="lineNum"> 234</span> : : </span>
|
|
<span id="L235"><span class="lineNum"> 235</span> [<span class="tlaGBC" title="Branch 0 was taken 101601 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 3131 times"> + </span>]:<span class="tlaGNC"> 104732 : for (std::uint32_t bitIndex = 0U; bitIndex < length; ++bitIndex) {</span></span>
|
|
<span id="L236"><span class="lineNum"> 236</span> [<span class="tlaGBC" title="Branch 0 was taken 7 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 101594 times"> + </span>]:<span class="tlaGNC"> 101601 : if (byteIndex >= data.size())</span></span>
|
|
<span id="L237"><span class="lineNum"> 237</span> :<span class="tlaGNC"> 7 : return false;</span></span>
|
|
<span id="L238"><span class="lineNum"> 238</span> : : </span>
|
|
<span id="L239"><span class="lineNum"> 239</span> :<span class="tlaGNC"> 101594 : value <<= 1U;</span></span>
|
|
<span id="L240"><span class="lineNum"> 240</span> :<span class="tlaGNC"> 101594 : value |= static_cast<std::uint64_t>((data[byteIndex] >> bitInByte) & 0x01U);</span></span>
|
|
<span id="L241"><span class="lineNum"> 241</span> : : </span>
|
|
<span id="L242"><span class="lineNum"> 242</span> [<span class="tlaGBC" title="Branch 0 was taken 12688 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 88906 times"> + </span>]:<span class="tlaGNC"> 101594 : if (bitInByte == 0U) {</span></span>
|
|
<span id="L243"><span class="lineNum"> 243</span> :<span class="tlaGNC"> 12688 : ++byteIndex;</span></span>
|
|
<span id="L244"><span class="lineNum"> 244</span> :<span class="tlaGNC"> 12688 : bitInByte = 7U;</span></span>
|
|
<span id="L245"><span class="lineNum"> 245</span> : : } else</span>
|
|
<span id="L246"><span class="lineNum"> 246</span> :<span class="tlaGNC"> 88906 : --bitInByte;</span></span>
|
|
<span id="L247"><span class="lineNum"> 247</span> : : }</span>
|
|
<span id="L248"><span class="lineNum"> 248</span> : : </span>
|
|
<span id="L249"><span class="lineNum"> 249</span> :<span class="tlaGNC"> 3131 : return true;</span></span>
|
|
<span id="L250"><span class="lineNum"> 250</span> : : }</span>
|
|
<span id="L251"><span class="lineNum"> 251</span> : : </span>
|
|
<span id="L252"><span class="lineNum"> 252</span> :<span class="tlaGNC"> 81 : std::int64_t DbcDecoder::SignExtend(std::uint64_t value, std::uint32_t bitLength) {</span></span>
|
|
<span id="L253"><span class="lineNum"> 253</span> [<span class="tlaGBC" title="Branch 0 was taken 81 times"> + </span><span class="tlaUNC" title="Branch 1 was not taken"> - </span><span class="tlaUNC" title="Branch 2 was not taken"> - </span><span class="tlaGBC" title="Branch 3 was taken 81 times"> + </span>]:<span class="tlaGNC"> 81 : if ((bitLength == 0U) || (bitLength > 64U))</span></span>
|
|
<span id="L254"><span class="lineNum"> 254</span> :<span class="tlaUNC"> 0 : return 0;</span></span>
|
|
<span id="L255"><span class="lineNum"> 255</span> : : </span>
|
|
<span id="L256"><span class="lineNum"> 256</span> :<span class="tlaGNC"> 81 : const std::uint64_t signMask = std::uint64_t(1U) << (bitLength - 1U);</span></span>
|
|
<span id="L257"><span class="lineNum"> 257</span> :<span class="tlaGNC"> 81 : const std::uint64_t valueMask = (bitLength == 64U)</span></span>
|
|
<span id="L258"><span class="lineNum"> 258</span> [<span class="tlaGBC" title="Branch 0 was taken 68 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 13 times"> + </span>]:<span class="tlaGNC"> 81 : ? ~std::uint64_t(0U)</span></span>
|
|
<span id="L259"><span class="lineNum"> 259</span> :<span class="tlaGNC"> 68 : : (std::uint64_t(1U) << bitLength) - 1U;</span></span>
|
|
<span id="L260"><span class="lineNum"> 260</span> :<span class="tlaGNC"> 81 : value &= valueMask;</span></span>
|
|
<span id="L261"><span class="lineNum"> 261</span> : : </span>
|
|
<span id="L262"><span class="lineNum"> 262</span> [<span class="tlaGBC" title="Branch 0 was taken 41 times"> + </span><span class="tlaGBC" title="Branch 1 was taken 40 times"> + </span>]:<span class="tlaGNC"> 81 : if ((value & signMask) == 0U)</span></span>
|
|
<span id="L263"><span class="lineNum"> 263</span> :<span class="tlaGNC"> 41 : return static_cast<std::int64_t>(value);</span></span>
|
|
<span id="L264"><span class="lineNum"> 264</span> : : </span>
|
|
<span id="L265"><span class="lineNum"> 265</span> : : // The complemented magnitude fits int64_t, including for INT64_MIN.</span>
|
|
<span id="L266"><span class="lineNum"> 266</span> :<span class="tlaGNC"> 40 : return -1 - static_cast<std::int64_t>((~value) & valueMask);</span></span>
|
|
<span id="L267"><span class="lineNum"> 267</span> : : }</span>
|
|
</pre>
|
|
</td>
|
|
</tr>
|
|
</table>
|
|
<br>
|
|
|
|
<table width="100%" border=0 cellspacing=0 cellpadding=0>
|
|
<tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr>
|
|
<tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
|
|
</table>
|
|
<br>
|
|
|
|
</body>
|
|
</html>
|