std::all_of/std::any_of/std:none_of

Use case

Check if predicate holds for all/any/none of the elements.

Explanation

Useful for validating instruction sequences.

Time complexity: O(n) worst-case but short-circuits:

• all_of: stops at first false
• any_of: stops at first true
• none_of: stops at first true

Best case O(1) if first element determines result.

See possible implementation.

Code

#include <algorithm>
#include <cstdint>
#include <print>
#include <vector>

// https://developer.arm.com/documentation/ddi0602/2025-12/Base-Instructions/B--Branch-?lang=en
// https://developer.arm.com/documentation/ddi0602/2025-12/Base-Instructions/BL--Branch-with-link-?lang=en
constexpr bool isBranch(uint32_t opcode) {
  uint32_t op = opcode >> 26;
  return op == 0x05 /* B */ || op == 0x25 /* BL */;
}

int main() {
  std::vector<uint32_t> instructions = {
      // $ echo "bl 0x40" | llvm-mc -triple=aarch64 -show-encoding
      // bl	#64                             // encoding: [0x10,0x00,0x00,0x94]
      0x94000010,
      // $ echo "sub sp, sp, 0x20" | llvm-mc -triple=aarch64 -show-encoding
      // sub	sp, sp, #32                     // encoding: [0xff,0x83,0x00,0xd1]
      0xd10083ff,
      // $ echo "nop" | llvm-mc -triple=aarch64 -show-encoding
      //	nop                                     // encoding: [0x1f,0x20,0x03,0xd5]
      0xd503201f};

  bool allBranch =
      std::all_of(instructions.begin(), instructions.end(), isBranch);

  bool anyBranch =
      std::any_of(instructions.begin(), instructions.end(), isBranch);

  bool noneBranch =
      std::none_of(instructions.begin(), instructions.end(), isBranch);

  std::println("All branch instructions: {}", allBranch);
  std::println("Any branch instructions: {}", anyBranch);
  std::println("No branch instructions: {}", noneBranch);

  return 0;
}

View on GitHub.

Output

$ ./src/algorithms/build/std-all_of-std-any_of-std-none_of
All branch instructions: false
Any branch instructions: true
No branch instructions: false