revng-revng/tests/Unit/FileCheckTests/CheckDLA.ll

; RUN: %revngopt %s -S -dla --model-type-id-seed=0xDEADBEEF -o - | revng dump-model | FileCheck %s
; CHECK:    - Entry:           "0x401200:Code_x86_64"
; CHECK:      Prototype:       "/Types/RawFunctionType-6646220838590018230"
; CHECK:    - !Struct
; CHECK:      ID:              7208194089656236300
; CHECK:      Fields:
; CHECK:        - Type:
; CHECK:            UnqualifiedType: "/Types/Struct-14349066955625060511"
; CHECK:              - Kind:            Pointer
; CHECK:        - Type:
; CHECK:            UnqualifiedType: "/Types/Primitive-1032"
; CHECK:    - !Struct
; CHECK:      ID:              14349066955625060511
; CHECK:        - Type:
; CHECK:            UnqualifiedType: "/Types/Struct-14349066955625060511"
; CHECK:              - Kind:            Pointer
; CHECK:              - Kind:            Pointer
; CHECK:        - Type:
; CHECK:            UnqualifiedType: "/Types/Struct-14349066955625060511"
; CHECK:              - Kind:            Pointer
; CHECK:        - Type:
; CHECK:            UnqualifiedType: "/Types/Primitive-1032"
; CHECK:   - !RawFunctionType
; CHECK:    Kind:            RawFunctionType
; CHECK:    ID:              6646220838590018230
; CHECK:            UnqualifiedType: "/Types/Struct-14349066955625060511"
; CHECK:              - Kind:            Pointer
; CHECK:            UnqualifiedType: "/Types/Struct-7208194089656236300"
; CHECK:              - Kind:            Pointer

; This file is meant to be used to test that the DLA is able to merge the
; recovered type information with an already existing model.
; In particular, in this file all functions and indirect calls share the same
; prototype in the model, so all the information recovered by the DLA from each
; call should ultimately end into the same model entity, i.e. the prototype.
target triple = "x86_64-unknown-linux-gnu"

%struct.PlainMetaAddress = type { i32, i16, i16, i64 }

define void @local_function_0x401200_Code_x86_64(i64 %rax, i64 %rdx) !revng.tags !58898 !revng.function.entry !59052 {
newFuncRoot:
  %0 = inttoptr i64 %rdx to i64*
  store i64 %rax, i64* %0, align 8
  %1 = add i64 %rdx, 8
  %2 = inttoptr i64 %1 to i64*
  store i64 0, i64* %2, align 8
  ret void
}

define void @local_function_0x401060_Code_x86_64(i64 %rax, i64 %rdx) !revng.tags !58898 !revng.function.entry !58936 {
newFuncRoot:
  %0 = add i64 %rax, 0                ; rax
  %1 = add i64 %0, 8                  ; rax + 8
  %2 = add i64 %1, 16                 ; rax + 16
  %3 = add i64 %2, -8                 ; rax + 8
  %4 = inttoptr i64 %3 to i64*
  store i64 %rax, i64* %4, align 8    ; store rax into rax+8
  %5 = add i64 %2, -16                ; rax
  %6 = inttoptr i64 %5 to i64*
  store i64 %3, i64* %6, align 16     ; store rax+8 into rax
  %7 = load i64, i64* inttoptr (i64 4210656 to i64*), align 32 ; load from const
  %8 = add i64 %2, 0                  ; rax + 0
  %9 = inttoptr i64 %8 to i64*
  store i64 4198542, i64* %9, align 8 ; store 8-byte const into rax-8
  %10 = inttoptr i64 %7 to void (i64, i64)*
  call void %10(i64 %rax, i64 %rdx), !revng.callerblock.start !58936
  ret void
}

; General Metadata
!revng.input.architecture = !{!5870}
!revng.model = !{!5872}

!58898 = !{!"Lifted"}
!5870 = !{!"x86_64", i32 1, i32 0, !"pc", !"rsp", !5871}
!5871 = !{!"rax", !"rbx", !"rcx", !"rdx", !"rbp", !"rsp", !"rsi", !"rdi", !"r8", !"r9", !"r10", !"r11", !"r12", !"r13", !"r14", !"r15", !"state_0x8558", !"state_0x8598", !"state_0x85d8", !"state_0x8618", !"state_0x8658", !"state_0x8698", !"state_0x86d8", !"state_0x8718"}

; Function metaaddresses {epoch, addressspace index, type, address in decimal format}
!59052 = !{%struct.PlainMetaAddress { i32 0, i16 0, i16 4, i64 4198912 }}
!58936 = !{%struct.PlainMetaAddress { i32 0, i16 0, i16 4, i64 4198496 }}

; Model
!5872 = !{!"---
Functions:
  - Entry:           \220x401200:Code_x86_64\22
    Type:            Regular
    CFG:
      - Start:           \220x401200:Code_x86_64\22
        End:             \220x401205:Code_x86_64\22
        Successors:
          - !FunctionEdge
            Destination:     \22:Invalid\22
            Type:            Return
    Prototype:       \22/Types/RawFunctionType-6646220838590018230\22
  - Entry:           \220x401060:Code_x86_64\22
    Type:            Regular
    CFG:
      - Start:           \220x401060:Code_x86_64\22
        End:             \220x40108e:Code_x86_64\22
        Successors:
          - !CallEdge
            Destination:     \22:Invalid\22
            Type:            IndirectCall
            Prototype:       \22/Types/RawFunctionType-6646220838590018230\22
      - Start:           \220x40108e:Code_x86_64\22
        End:             \220x40108f:Code_x86_64\22
        Successors:
          - !FunctionEdge
            Destination:     \22:Invalid\22
            Type:            Return
    Prototype:       \22/Types/RawFunctionType-6646220838590018230\22
ImportedDynamicFunctions: []
Types:
  - !Primitive
    Kind:            Primitive
    ID:              520
    PrimitiveKind:   Generic
    Size:            8
  - !Primitive
    Kind:            Primitive
    ID:              776
    PrimitiveKind:   PointerOrNumber
    Size:            8
  - !RawFunctionType
    Kind:            RawFunctionType
    ID:              6646220838590018230
    Arguments:
      - Location:        rax_x86_64
        Type:
          UnqualifiedType: \22/Types/Primitive-520\22
      - Location:        rdx_x86_64
        Type:
          UnqualifiedType: \22/Types/Primitive-520\22
    ReturnValues:    []
    PreservedRegisters: []
    FinalStackOffset: 0
Architecture:    x86_64
Segments:
  - StartAddress:    \220x400000:Generic64\22
    EndAddress:      \220x4005c8:Generic64\22
    StartOffset:     0
    EndOffset:       1480
    IsReadable:      true
    IsWriteable:     false
    IsExecutable:    false
...
"}