revng-revng/tests/unit/mlir_lit_tests/backend/model.yml

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

Architecture: x86_64

TypeDefinitions:
  - ID: 1001
    Kind: CABIFunctionDefinition
    Name: "fun_0x40001001_t"
    ABI: SystemV_x86_64
    Arguments: []

  - ID: 1002
    Kind: CABIFunctionDefinition
    ABI: SystemV_x86_64
    ReturnType:
      Kind: PrimitiveType
      PrimitiveKind: Signed
      Size: 4
    Arguments:
      - Index: 0
        Name: "x"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
      - Index: 1
        Name: "y"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 1003
    Kind: RawFunctionDefinition
    Architecture: x86_64
    Arguments:
      - Location: rcx_x86_64
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
        Name: "rcx"
    ReturnValues:
      - Location: rax_x86_64
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
    StackArgumentsType:
      Kind: DefinedType
      Definition: "/TypeDefinitions/2004-StructDefinition"

  - ID: 1004
    Kind: CABIFunctionDefinition
    ABI: SystemV_x86_64
    Arguments:
      - Index: 0
        Name: "x"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 1005
    Kind: CABIFunctionDefinition
    ABI: SystemV_x86_64
    Arguments: []

  - ID: 2001
    Kind: EnumDefinition
    Name: "my_enum"
    UnderlyingType:
      Kind: PrimitiveType
      PrimitiveKind: Signed
      Size: 4
    Entries:
      - Value: 0
        Name: "my_enum_0"

  - ID: 2002
    Kind: StructDefinition
    Name: "my_struct"
    Size: 4
    Fields:
      - Offset: 0
        Name: "x"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
      - Offset: 4
        Name: "y"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 2003
    Kind: UnionDefinition
    Name: "my_union"
    Fields:
      - Index: 0
        Name: "x"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
      - Index: 1
        Name: "y"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 2004
    Kind: StructDefinition
    Name: "args_1003"
    Size: 4
    Fields:
      - Offset: 0
        Name: "a"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 2005
    Kind: StructDefinition
    Name: "frame_1005"
    Size: 4
    Fields:
      - Offset: 0
        Name: "a"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

  - ID: 2006
    Kind: StructDefinition
    Name: "my_pair"
    Size: 8
    Fields:
      - Offset: 0
        Name: "a"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4
      - Offset: 4
        Name: "b"
        Type:
          Kind: PrimitiveType
          PrimitiveKind: Signed
          Size: 4

Functions:
  - Entry: "0x40001001:Code_x86_64"
    Name: "fun_0x40001001"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1001-CABIFunctionDefinition"

  - Entry: "0x40001002:Code_x86_64"
    Name: "fun_0x40001002"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1002-CABIFunctionDefinition"

  - Entry: "0x40001003:Code_x86_64"
    Name: "fun_0x40001003"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1003-RawFunctionDefinition"

  - Entry: "0x40001004:Code_x86_64"
    Name: "fun_0x40001004"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1004-CABIFunctionDefinition"

  - Entry: "0x40001005:Code_x86_64"
    Name: "fun_0x40001005"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1005-CABIFunctionDefinition"
    StackFrameType:
      Kind: DefinedType
      Definition: "/TypeDefinitions/2005-StructDefinition"

ImportedDynamicFunctions:
  - Name: "imported"
    Prototype:
      Kind: DefinedType
      Definition: "/TypeDefinitions/1001-CABIFunctionDefinition"

Segments:
  - StartAddress: "0x40002001:Generic64"
    VirtualSize: 4
    Name: "seg_0x40002001"
    StartOffset: 0
    FileSize: 4
    IsReadable: true
    IsWriteable: true
    IsExecutable: false