Skip to content

Commit

Permalink
(automated) deploy from commit 42dfe69
Browse files Browse the repository at this point in the history
  • Loading branch information
@a-tiny-kirin
a-tiny-kirin committed Jun 27, 2024
1 parent 6d4e4f3 commit 744ad66
Show file tree
Hide file tree
Showing 61 changed files with 1,033 additions and 1,255 deletions.
2 changes: 1 addition & 1 deletion search-index.js
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion search.desc/wiwi/wiwi-desc-0-.js
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion src-files.js
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions src/wiwi/chainer/mod.rs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -589,7 +589,7 @@
{
<span class="kw">fn </span>fmt(<span class="kw-2">&amp;</span><span class="self">self</span>, f: <span class="kw-2">&amp;mut </span>::std::fmt::Formatter&lt;<span class="lifetime">'_</span>&gt;) -&gt; ::std::fmt::Result {
f.debug_struct(<span class="macro">stringify!</span>(<span class="macro-nonterminal">$chainer</span>))
.field(<span class="string">"_"</span>, <span class="self">self</span>.as_nonchain())
.field(<span class="string">"_"</span>, <span class="macro-nonterminal">$crate::chainer::traits::ChainHalf::as_nonchain</span>(<span class="self">self</span>))
.finish()
}
}
Expand All @@ -612,7 +612,7 @@
{
<span class="attr">#[inline]
</span><span class="kw">fn </span>fmt(<span class="kw-2">&amp;</span><span class="self">self</span>, f: <span class="kw-2">&amp;mut </span>::std::fmt::Formatter&lt;<span class="lifetime">'_</span>&gt;) -&gt; ::std::fmt::Result {
::std::fmt::Display::fmt(<span class="self">self</span>.as_nonchain(), f)
&lt;$(<span class="macro-nonterminal">$nonchain</span>)+ <span class="kw">as </span>::std::fmt::Display&gt;::fmt(<span class="self">self</span>.as_nonchain(), f)
}
}

Expand Down
4 changes: 2 additions & 2 deletions src/wiwi/chainer/vec.rs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1644,11 +1644,11 @@
Vec::from_raw_parts(ptr, length, capacity).into()
}

<span class="doccomment">/// Creates a new vector, and preallocate some memory
<span class="doccomment">/// Creates a new vector chain, and preallocate some memory
///
/// The amount of memory allocated will be _at least_ enough to hold `capacity`
/// elements without reallocating. No allocation will happen if the provided
/// capacity is zero.
/// capacity is zero, or if `T` is a ZST.
///
/// There is NO GUARANTEE that this function will allocate an exact amount
/// of memory, so do not rely on this for soundness. If knowing the actual
Expand Down
235 changes: 235 additions & 0 deletions src/wiwi/int/add.rs.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,235 @@
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="Source of the Rust file `src/int/add.rs`."><title>add.rs - source</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-46f98efaafac5295.ttf.woff2,FiraSans-Regular-018c141bf0843ffd.woff2,FiraSans-Medium-8f9a781e4970d388.woff2,SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2,SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../../../static.files/rustdoc-dd39b87e5fcfba68.css"><meta name="rustdoc-vars" data-root-path="../../../" data-static-root-path="../../../static.files/" data-current-crate="wiwi" data-themes="meadow" data-resource-suffix="" data-rustdoc-version="1.80.0-nightly (ab14f944a 2024-05-13)" data-channel="nightly" data-search-js="search-d52510db62a78183.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../../../static.files/storage-118b08c4c78b968e.js"></script><script defer src="../../../static.files/src-script-e66d777a5a92e9b2.js"></script><script defer src="../../../src-files.js"></script><script defer src="../../../static.files/main-20a3ad099b048cf2.js"></script><noscript><link rel="stylesheet" href="../../../static.files/noscript-df360f571f6edeae.css"></noscript><link rel="alternate icon" type="image/png" href="../../../static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="../../../static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc src"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="sidebar"><div class="src-sidebar-title"><h2>Files</h2></div></nav><div class="sidebar-resizer"></div><main><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="example-wrap"><div data-nosnippet><pre class="src-line-numbers"><a href="#1" id="1">1</a>
<a href="#2" id="2">2</a>
<a href="#3" id="3">3</a>
<a href="#4" id="4">4</a>
<a href="#5" id="5">5</a>
<a href="#6" id="6">6</a>
<a href="#7" id="7">7</a>
<a href="#8" id="8">8</a>
<a href="#9" id="9">9</a>
<a href="#10" id="10">10</a>
<a href="#11" id="11">11</a>
<a href="#12" id="12">12</a>
<a href="#13" id="13">13</a>
<a href="#14" id="14">14</a>
<a href="#15" id="15">15</a>
<a href="#16" id="16">16</a>
<a href="#17" id="17">17</a>
<a href="#18" id="18">18</a>
<a href="#19" id="19">19</a>
<a href="#20" id="20">20</a>
<a href="#21" id="21">21</a>
<a href="#22" id="22">22</a>
<a href="#23" id="23">23</a>
<a href="#24" id="24">24</a>
<a href="#25" id="25">25</a>
<a href="#26" id="26">26</a>
<a href="#27" id="27">27</a>
<a href="#28" id="28">28</a>
<a href="#29" id="29">29</a>
<a href="#30" id="30">30</a>
<a href="#31" id="31">31</a>
<a href="#32" id="32">32</a>
<a href="#33" id="33">33</a>
<a href="#34" id="34">34</a>
<a href="#35" id="35">35</a>
<a href="#36" id="36">36</a>
<a href="#37" id="37">37</a>
<a href="#38" id="38">38</a>
<a href="#39" id="39">39</a>
<a href="#40" id="40">40</a>
<a href="#41" id="41">41</a>
<a href="#42" id="42">42</a>
<a href="#43" id="43">43</a>
<a href="#44" id="44">44</a>
<a href="#45" id="45">45</a>
<a href="#46" id="46">46</a>
<a href="#47" id="47">47</a>
<a href="#48" id="48">48</a>
<a href="#49" id="49">49</a>
<a href="#50" id="50">50</a>
<a href="#51" id="51">51</a>
<a href="#52" id="52">52</a>
<a href="#53" id="53">53</a>
<a href="#54" id="54">54</a>
<a href="#55" id="55">55</a>
<a href="#56" id="56">56</a>
<a href="#57" id="57">57</a>
<a href="#58" id="58">58</a>
<a href="#59" id="59">59</a>
<a href="#60" id="60">60</a>
<a href="#61" id="61">61</a>
<a href="#62" id="62">62</a>
<a href="#63" id="63">63</a>
<a href="#64" id="64">64</a>
<a href="#65" id="65">65</a>
<a href="#66" id="66">66</a>
<a href="#67" id="67">67</a>
<a href="#68" id="68">68</a>
<a href="#69" id="69">69</a>
<a href="#70" id="70">70</a>
<a href="#71" id="71">71</a>
<a href="#72" id="72">72</a>
<a href="#73" id="73">73</a>
<a href="#74" id="74">74</a>
<a href="#75" id="75">75</a>
<a href="#76" id="76">76</a>
<a href="#77" id="77">77</a>
<a href="#78" id="78">78</a>
<a href="#79" id="79">79</a>
<a href="#80" id="80">80</a>
<a href="#81" id="81">81</a>
<a href="#82" id="82">82</a>
<a href="#83" id="83">83</a>
<a href="#84" id="84">84</a>
<a href="#85" id="85">85</a>
<a href="#86" id="86">86</a>
<a href="#87" id="87">87</a>
<a href="#88" id="88">88</a>
<a href="#89" id="89">89</a>
<a href="#90" id="90">90</a>
<a href="#91" id="91">91</a>
<a href="#92" id="92">92</a>
<a href="#93" id="93">93</a>
<a href="#94" id="94">94</a>
<a href="#95" id="95">95</a>
<a href="#96" id="96">96</a>
<a href="#97" id="97">97</a>
<a href="#98" id="98">98</a>
<a href="#99" id="99">99</a>
<a href="#100" id="100">100</a>
<a href="#101" id="101">101</a>
<a href="#102" id="102">102</a>
<a href="#103" id="103">103</a>
<a href="#104" id="104">104</a>
<a href="#105" id="105">105</a>
<a href="#106" id="106">106</a>
<a href="#107" id="107">107</a>
<a href="#108" id="108">108</a>
<a href="#109" id="109">109</a>
<a href="#110" id="110">110</a>
<a href="#111" id="111">111</a>
<a href="#112" id="112">112</a>
<a href="#113" id="113">113</a>
<a href="#114" id="114">114</a>
<a href="#115" id="115">115</a>
<a href="#116" id="116">116</a>
<a href="#117" id="117">117</a>
</pre></div><pre class="rust"><code><span class="kw">use </span><span class="kw">crate</span>::num_traits::UnsignedInt;
<span class="kw">use </span>std::mem::MaybeUninit;

<span class="comment">// /// Performs standard addition, with overflow checking depending on overflow
// /// checks compiler option
// ///
// /// NOTE: `cfg(overflow_checks)` is for some reason still unstable, so for now,
// /// without the `nightly` feature, this will panic on overflow depending on
// /// `cfg(debug_assertions)` (which is usually enabled in debug and disabled in release)
// pub fn add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; [I; BYTES] {
// let (res, overflow) = overflowing_add(int1, int2);
//
// #[cfg_attr(not(feature = "nightly"), cfg(debug_assertions))]
// #[cfg_attr(feature = "nightly", cfg(overflow_checks))]
// assert!(!overflow, "attempt to add with overflow");
//
// res
// }

// pub fn checked_add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; Option&lt;[I; BYTES]&gt; {
// let (res, overflow) = overflowing_add(int1, int2);
// if overflow { None } else { Some(res) }
// }

// pub fn strict_add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; [I; BYTES] {
// let (res, overflow) = overflowing_add(int1, int2);
// assert!(!overflow, "attempt to add with overflow");
// res
// }

// pub unsafe fn unchecked_add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; [I; BYTES] {
// let (res, overflow) = overflowing_add(int1, int2);
// res
// }

// pub fn saturating_add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; [I; BYTES] {
// let (res, overflow) = overflowing_add(int1, int2);
// if overflow { [I::MAX; BYTES] } else { res }
// }

// pub fn wrapping_add&lt;I: Int&lt;BYTES_PER_INT&gt;, const BYTES_PER_INT: usize, const BYTES: usize&gt;(
// int1: [I; BYTES],
// int2: [I; BYTES]
// ) -&gt; [I; BYTES] {
// let (res, overflow) = overflowing_add(int1, int2);
// res
// }

</span><span class="kw">pub fn </span>overflowing_add&lt;
<span class="kw">const </span>BYTES_PER_INT: usize,
<span class="kw">const </span>BYTES: usize,
I: UnsignedInt&lt;BYTES_PER_INT&gt;
&gt;(
int1: [I; BYTES],
int2: [I; BYTES]
) -&gt; ([I; BYTES], bool) {
<span class="kw">unsafe </span>{
<span class="kw">let </span>int1_ptr = int1.as_ptr();
<span class="kw">let </span>int2_ptr = int2.as_ptr();

<span class="kw">let </span><span class="kw-2">mut </span>result = MaybeUninit::&lt;[I; BYTES]&gt;::uninit();
<span class="kw">let </span>result_ptr = result.as_mut_ptr() <span class="kw">as </span><span class="kw-2">*mut </span>I;

<span class="kw">let </span><span class="kw-2">mut </span>carry = <span class="bool-val">false</span>;

<span class="kw">for </span>i <span class="kw">in </span><span class="number">0</span>..BYTES {
<span class="kw">let </span>i1 = <span class="kw-2">*</span>int1_ptr.add(i);
<span class="kw">let </span>i2 = <span class="kw-2">*</span>int2_ptr.add(i);

<span class="kw">let </span>(r, c) = I::add_carrying(i1, i2, carry);

result_ptr.add(i).write(r);
carry = c;
}

(result.assume_init(), carry)
}
}

<span class="attr">#[cfg(test)]
</span><span class="kw">mod </span>tests {
<span class="kw">use super</span>::<span class="kw-2">*</span>;
<span class="kw">use </span>rand::{ RngCore, Rng, thread_rng };
<span class="kw">use </span>std::mem::transmute;

<span class="attr">#[test]
</span><span class="kw">fn </span>overflowing_random_u32() {
<span class="kw">for _ in </span><span class="number">0</span>..<span class="number">1000 </span>{
<span class="kw">let </span>orig_int1 = thread_rng().next_u32();
<span class="kw">let </span>orig_int2 = thread_rng().next_u32();
<span class="kw">let </span>expected = orig_int1.overflowing_add(orig_int2);

<span class="kw">let </span>int1 = orig_int1.to_le_bytes();
<span class="kw">let </span>int2 = orig_int2.to_le_bytes();

<span class="kw">let </span>(res, overflow) = overflowing_add(int1, int2);
<span class="kw">let </span>res = u32::from_le_bytes(res);

<span class="macro">assert_eq!</span>(expected, (res, overflow));
}
}
}
</code></pre></div></section></main></body></html>
Loading

0 comments on commit 744ad66

Please sign in to comment.