revng-revng/tests/analysis/arm/memset.yml

#
# This file is distributed under the MIT License. See LICENSE.md for details.
#

---
- FunctionMetadata:
    ControlFlowGraph:
      - End: '2'
        Start: '1'
        Successors:
        - Destination: '2'
          Type: DirectBranch
        - Destination: '9'
          Type: DirectBranch
      - End: '3'
        Start: '2'
        Successors:
        - Destination: '3'
          Type: DirectBranch
      - End: '4'
        Start: '3'
        Successors:
        - Destination: '3'
          Type: DirectBranch
        - Destination: '4'
          Type: DirectBranch
      - End: '5'
        Start: '4'
        Successors:
        - Destination: '5'
          Type: DirectBranch
      - End: '6'
        Start: '5'
        Successors:
        - Destination: '6'
          Type: DirectBranch
        - Destination: '9'
          Type: DirectBranch
      - End: '7'
        Start: '6'
        Successors:
        - Destination: '7'
          Type: DirectBranch
        - Destination: '9'
          Type: DirectBranch
      - End: '8'
        Start: '7'
        Successors:
        - Destination: '8'
          Type: DirectBranch
        - Destination: '9'
          Type: DirectBranch
      - End: '9'
        Start: '8'
        Successors:
        - Destination: '5'
          Type: DirectBranch
        - Destination: '9'
          Type: DirectBranch
      - End: '19'
        Start: '9'
        Successors:
        - Destination: ":Invalid"
          Type: Return
        - Destination: '10'
          Type: DirectBranch
      - End: '11'
        Start: '10'
        Successors:
        - Destination: '12'
          Type: DirectBranch
        - Destination: '13'
          Type: DirectBranch
        - Destination: '14'
          Type: DirectBranch
        - Destination: '15'
          Type: DirectBranch
        - Destination: '16'
          Type: DirectBranch
        - Destination: '17'
          Type: DirectBranch
        - Destination: '18'
          Type: DirectBranch
      - End: '13'
        Start: '12'
        Successors:
        - Destination: '13'
          Type: DirectBranch
      - End: '14'
        Start: '13'
        Successors:
        - Destination: '14'
          Type: DirectBranch
      - End: '15'
        Start: '14'
        Successors:
        - Destination: '15'
          Type: DirectBranch
      - End: '16'
        Start: '15'
        Successors:
        - Destination: '16'
          Type: DirectBranch
      - End: '17'
        Start: '16'
        Successors:
        - Destination: '17'
          Type: DirectBranch
      - End: '18'
        Start: '17'
        Successors:
        - Destination: '18'
          Type: DirectBranch
      - End: '19'
        Start: '18'
        Successors:
        - Destination: ":Invalid"
          Type: Return
  OriginalName: _start
  Type: Regular