llvm/lld/test/wasm/gc-sections.ll

; RUN: llc -mcpu=mvp -filetype=obj %s -o %t.o
; RUN: yaml2obj %S/Inputs/globals.yaml -o %t_globals.o
; RUN: wasm-ld -print-gc-sections -o %t1.wasm %t.o %t_globals.o | \
; RUN:     FileCheck %s -check-prefix=PRINT-GC
; PRINT-GC: removing unused section {{.*}}:(unused_function)
; PRINT-GC-NOT: removing unused section {{.*}}:(used_function)
; PRINT-GC: removing unused section {{.*}}:(.data.unused_data)
; PRINT-GC-NOT: removing unused section {{.*}}:(.data.used_data)
; PRINT-GC: removing unused section {{.*}}:(unused_global)
; PRINT-GC-NOT: removing unused section {{.*}}:(used_global)

target triple = "wasm32-unknown-unknown"

@unused_data = hidden global i64 1, align 4
@used_data = hidden global i32 2, align 4

define hidden i64 @unused_function(i64 %arg) {
  %1 = load i64, ptr @unused_data, align 4
  ret i64 %1
}

define hidden i32 @used_function() {
  %1 = load i32, ptr @used_data, align 4
  ret i32 %1
}

declare i64 @use_global()

define hidden void @_start() {
entry:
  call i32 @used_function()
  call i64 @use_global()
  ret void
}

; RUN: obj2yaml %t1.wasm | FileCheck %s

; CHECK:        - Type:            TYPE
; CHECK-NEXT:     Signatures:
; CHECK-NEXT:       - Index:           0
; CHECK-NEXT:         ParamTypes:      []
; CHECK-NEXT:         ReturnTypes:
; CHECK-NEXT:           - I32
; CHECK-NEXT:       - Index:           1
; CHECK-NEXT:         ParamTypes:      []
; CHECK-NEXT:         ReturnTypes:     []
; CHECK-NEXT:       - Index:           2
; CHECK-NEXT:         ParamTypes:      []
; CHECK-NEXT:         ReturnTypes:
; CHECK-NEXT:           - I64
; CHECK-NEXT:   - Type:            FUNCTION

; CHECK:        - Type:            GLOBAL
; CHECK-NEXT:     Globals:
; CHECK-NEXT:       - Index:           0
; CHECK-NEXT:         Type:            I32
; CHECK-NEXT:         Mutable:         true
; CHECK-NEXT:         InitExpr:
; CHECK-NEXT:           Opcode:          I32_CONST
; CHECK-NEXT:           Value:           66576
; CHECK-NEXT:       - Index:       1
; CHECK-NEXT:         Type:        I64
; CHECK-NEXT:         Mutable:     true
; CHECK-NEXT:         InitExpr:
; CHECK-NEXT:           Opcode:          I64_CONST
; CHECK-NEXT:           Value:           456

; CHECK:        - Type:            DATA
; CHECK-NEXT:     Segments:
; CHECK-NEXT:       - SectionOffset:   7
; CHECK-NEXT:         InitFlags:       0
; CHECK-NEXT:         Offset:
; CHECK-NEXT:           Opcode:          I32_CONST
; CHECK-NEXT:           Value:           1024
; CHECK-NEXT:         Content:         '02000000'
; CHECK-NEXT:   - Type:            CUSTOM
; CHECK-NEXT:     Name:            name
; CHECK-NEXT:     FunctionNames:
; CHECK-NEXT:       - Index:           0
; CHECK-NEXT:         Name:            used_function
; CHECK-NEXT:       - Index:           1
; CHECK-NEXT:         Name:            _start
; CHECK-NEXT:       - Index:           2
; CHECK-NEXT:         Name:            use_global
; CHECK-NEXT:     GlobalNames:
; CHECK-NEXT:       - Index:           0
; CHECK-NEXT:         Name:            __stack_pointer
; CHECK-NEXT:       - Index:           1
; CHECK-NEXT:         Name:            used_global
; CHECK-NEXT:     DataSegmentNames:
; CHECK-NEXT:       - Index:           0
; CHECK-NEXT:         Name:            .data
; CHECK-NEXT: ...

; RUN: wasm-ld -print-gc-sections --no-gc-sections -o %t1.no-gc.wasm \
; RUN:     %t.o %t_globals.o
; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC

; NO-GC:        - Type:            TYPE
; NO-GC-NEXT:     Signatures:
; NO-GC-NEXT:       - Index:           0
; NO-GC-NEXT:         ParamTypes:      []
; NO-GC-NEXT:         ReturnTypes:     []
; NO-GC-NEXT:       - Index:           1
; NO-GC-NEXT:         ParamTypes:
; NO-GC-NEXT:           - I64
; NO-GC-NEXT:         ReturnTypes:
; NO-GC-NEXT:           - I64
; NO-GC-NEXT:       - Index:           2
; NO-GC-NEXT:         ParamTypes:      []
; NO-GC-NEXT:         ReturnTypes:
; NO-GC-NEXT:           - I32
; NO-GC-NEXT:       - Index:           3
; NO-GC-NEXT:         ParamTypes:      []
; NO-GC-NEXT:         ReturnTypes:
; NO-GC-NEXT:           - I64
; NO-GC-NEXT:   - Type:            FUNCTION

; NO-GC:        - Type:            GLOBAL
; NO-GC-NEXT:     Globals:
; NO-GC-NEXT:       - Index:           0
; NO-GC-NEXT:         Type:            I32
; NO-GC-NEXT:         Mutable:         true
; NO-GC-NEXT:         InitExpr:
; NO-GC-NEXT:           Opcode:          I32_CONST
; NO-GC-NEXT:           Value:           66576
; NO-GC-NEXT:       - Index:       1
; NO-GC-NEXT:         Type:        I64
; NO-GC-NEXT:         Mutable:     true
; NO-GC-NEXT:         InitExpr:
; NO-GC-NEXT:           Opcode:          I64_CONST
; NO-GC-NEXT:           Value:           123
; NO-GC-NEXT:       - Index:       2
; NO-GC-NEXT:         Type:        I64
; NO-GC-NEXT:         Mutable:     true
; NO-GC-NEXT:         InitExpr:
; NO-GC-NEXT:           Opcode:          I64_CONST
; NO-GC-NEXT:           Value:           456

; NO-GC:        - Type:            DATA
; NO-GC-NEXT:     Segments:
; NO-GC-NEXT:       - SectionOffset:   7
; NO-GC-NEXT:         InitFlags:       0
; NO-GC-NEXT:         Offset:
; NO-GC-NEXT:           Opcode:          I32_CONST
; NO-GC-NEXT:           Value:           1024
; NO-GC-NEXT:         Content:         '010000000000000002000000'
; NO-GC-NEXT:   - Type:            CUSTOM
; NO-GC-NEXT:     Name:            name
; NO-GC-NEXT:     FunctionNames:
; NO-GC-NEXT:       - Index:           0
; NO-GC-NEXT:         Name:            __wasm_call_ctors
; NO-GC-NEXT:       - Index:           1
; NO-GC-NEXT:         Name:            unused_function
; NO-GC-NEXT:       - Index:           2
; NO-GC-NEXT:         Name:            used_function
; NO-GC-NEXT:       - Index:           3
; NO-GC-NEXT:         Name:            _start
; NO-GC-NEXT:       - Index:           4
; NO-GC-NEXT:         Name:            use_global
; NO-GC-NEXT:     GlobalNames:
; NO-GC-NEXT:       - Index:           0
; NO-GC-NEXT:         Name:            __stack_pointer
; NO-GC-NEXT:       - Index:           1
; NO-GC-NEXT:         Name:            unused_global
; NO-GC-NEXT:       - Index:           2
; NO-GC-NEXT:         Name:            used_global
; NO-GC-NEXT:     DataSegmentNames:
; NO-GC-NEXT:       - Index:           0
; NO-GC-NEXT:         Name:            .data
; NO-GC-NEXT: ...

; RUN: not wasm-ld --gc-sections --relocatable -o %t1.no-gc.wasm %t.o 2>&1 | FileCheck %s -check-prefix=CHECK-ERROR
; CHECK-ERROR: error: -r and --gc-sections may not be used together