File: lazy-boolean.rs

package info (click to toggle)
rustc 1.85.0%2Bdfsg3-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental, sid, trixie
  • size: 893,396 kB
  • sloc: xml: 158,127; python: 35,830; javascript: 19,497; cpp: 19,002; sh: 17,245; ansic: 13,127; asm: 4,376; makefile: 1,051; perl: 29; lisp: 29; ruby: 19; sql: 11
file content (80 lines) | stat: -rw-r--r-- 1,957 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
#![feature(coverage_attribute)]
//@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count

// Tests for branch coverage of the lazy boolean operators `&&` and `||`,
// as ordinary expressions that aren't part of an `if` condition or similar.

use core::hint::black_box;

// Helper macro to prevent start-of-function spans from being merged into
// spans on the lines we care about.
macro_rules! no_merge {
    () => {
        for _ in 0..1 {}
    };
}

fn branch_and(a: bool, b: bool) {
    no_merge!();

    //      |13  |18 (no branch)
    let c = a && b;
    black_box(c);
}

fn branch_or(a: bool, b: bool) {
    no_merge!();

    //      |13  |18 (no branch)
    let c = a || b;
    black_box(c);
}

// Test for chaining one operator several times.
fn chain(x: u32) {
    no_merge!();

    //      |13      |22      |31      |40 (no branch)
    let c = x > 1 && x > 2 && x > 4 && x > 8;
    black_box(c);

    //      |13      |22      |31      |40 (no branch)
    let d = x < 1 || x < 2 || x < 4 || x < 8;
    black_box(d);
}

// Test for nested combinations of different operators.
fn nested_mixed(x: u32) {
    no_merge!();

    //       |14      |23         |35      |44 (no branch)
    let c = (x < 4 || x >= 9) && (x < 2 || x >= 10);
    black_box(c);

    //       |14      |23        |34       |44 (no branch)
    let d = (x < 4 && x < 1) || (x >= 8 && x >= 10);
    black_box(d);
}

#[coverage(off)]
fn main() {
    // Use each set of arguments (2^n) times, so that each combination has a
    // unique sum, and we can use those sums to verify expected control flow.
    // 1x (false, false)
    // 2x (false, true)
    // 4x (true, false)
    // 8x (true, true)
    for a in [false, true, true, true, true] {
        for b in [false, true, true] {
            branch_and(a, b);
            branch_or(a, b);
        }
    }

    for x in 0..16 {
        chain(x);
        nested_mixed(x);
    }
}