test/wasm/gc-sections.ll

   1 ; RUN: llc -filetype=obj %s -o %t.o
   2 ; RUN: yaml2obj %S/Inputs/globals.yaml -o %t_globals.o
   3 ; RUN: wasm-ld -print-gc-sections -o %t1.wasm %t.o %t_globals.o | \
   4 ; RUN:     FileCheck %s -check-prefix=PRINT-GC
   5 ; PRINT-GC: removing unused section {{.*}}:(unused_function)
   6 ; PRINT-GC-NOT: removing unused section {{.*}}:(used_function)
   7 ; PRINT-GC: removing unused section {{.*}}:(.data.unused_data)
   8 ; PRINT-GC-NOT: removing unused section {{.*}}:(.data.used_data)
   9 ; PRINT-GC: removing unused section {{.*}}:(unused_global)
  10 ; PRINT-GC-NOT: removing unused section {{.*}}:(used_global)
  11
  12 target triple = "wasm32-unknown-unknown"
  13
  14 @unused_data = hidden global i64 1, align 4
  15 @used_data = hidden global i32 2, align 4
  16
  17 define hidden i64 @unused_function(i64 %arg) {
  18   %1 = load i64, i64* @unused_data, align 4
  19   ret i64 %1
  20 }
  21
  22 define hidden i32 @used_function() {
  23   %1 = load i32, i32* @used_data, align 4
  24   ret i32 %1
  25 }
  26
  27 declare i64 @use_global()
  28
  29 define hidden void @_start() {
  30 entry:
  31   call i32 @used_function()
  32   call i64 @use_global()
  33   ret void
  34 }
  35
  36 ; RUN: obj2yaml %t1.wasm | FileCheck %s
  37
  38 ; CHECK:        - Type:            TYPE
  39 ; CHECK-NEXT:     Signatures:
  40 ; CHECK-NEXT:       - Index:           0
  41 ; CHECK-NEXT:         ReturnType:      NORESULT
  42 ; CHECK-NEXT:         ParamTypes:
  43 ; CHECK-NEXT:       - Index:           1
  44 ; CHECK-NEXT:         ReturnType:      I32
  45 ; CHECK-NEXT:         ParamTypes:
  46 ; CHECK-NEXT:       - Index:           2
  47 ; CHECK-NEXT:         ReturnType:      I64
  48 ; CHECK-NEXT:         ParamTypes:
  49 ; CHECK-NEXT:   - Type:            FUNCTION
  50
  51 ; CHECK:        - Type:            GLOBAL
  52 ; CHECK-NEXT:     Globals:
  53 ; CHECK-NEXT:       - Index:           0
  54 ; CHECK-NEXT:         Type:            I32
  55 ; CHECK-NEXT:         Mutable:         true
  56 ; CHECK-NEXT:         InitExpr:
  57 ; CHECK-NEXT:           Opcode:          I32_CONST
  58 ; CHECK-NEXT:           Value:           66576
  59 ; CHECK-NEXT:       - Index:       1
  60 ; CHECK-NEXT:         Type:        I64
  61 ; CHECK-NEXT:         Mutable:     true
  62 ; CHECK-NEXT:         InitExpr:
  63 ; CHECK-NEXT:           Opcode:          I64_CONST
  64 ; CHECK-NEXT:           Value:           456
  65
  66 ; CHECK:        - Type:            DATA
  67 ; CHECK-NEXT:     Segments:
  68 ; CHECK-NEXT:       - SectionOffset:   7
  69 ; CHECK-NEXT:         MemoryIndex:     0
  70 ; CHECK-NEXT:         Offset:
  71 ; CHECK-NEXT:           Opcode:          I32_CONST
  72 ; CHECK-NEXT:           Value:           1024
  73 ; CHECK-NEXT:         Content:         '02000000'
  74 ; CHECK-NEXT:   - Type:            CUSTOM
  75 ; CHECK-NEXT:     Name:            name
  76 ; CHECK-NEXT:     FunctionNames:
  77 ; CHECK-NEXT:       - Index:           0
  78 ; CHECK-NEXT:         Name:            __wasm_call_ctors
  79 ; CHECK-NEXT:       - Index:           1
  80 ; CHECK-NEXT:         Name:            used_function
  81 ; CHECK-NEXT:       - Index:           2
  82 ; CHECK-NEXT:         Name:            _start
  83 ; CHECK-NEXT:       - Index:           3
  84 ; CHECK-NEXT:         Name:            use_global
  85 ; CHECK-NEXT: ...
  86
  87 ; RUN: wasm-ld -print-gc-sections --no-gc-sections -o %t1.no-gc.wasm \
  88 ; RUN:     %t.o %t_globals.o
  89 ; RUN: obj2yaml %t1.no-gc.wasm | FileCheck %s -check-prefix=NO-GC
  90
  91 ; NO-GC:        - Type:            TYPE
  92 ; NO-GC-NEXT:     Signatures:
  93 ; NO-GC-NEXT:       - Index:           0
  94 ; NO-GC-NEXT:         ReturnType:      NORESULT
  95 ; NO-GC-NEXT:         ParamTypes:
  96 ; NO-GC-NEXT:       - Index:           1
  97 ; NO-GC-NEXT:         ReturnType:      I64
  98 ; NO-GC-NEXT:         ParamTypes:
  99 ; NO-GC-NEXT:           - I64
 100 ; NO-GC-NEXT:       - Index:           2
 101 ; NO-GC-NEXT:         ReturnType:      I32
 102 ; NO-GC-NEXT:         ParamTypes:
 103 ; NO-GC-NEXT:       - Index:           3
 104 ; NO-GC-NEXT:         ReturnType:      I64
 105 ; NO-GC-NEXT:         ParamTypes:
 106 ; NO-GC-NEXT:   - Type:            FUNCTION
 107
 108 ; NO-GC:        - Type:            GLOBAL
 109 ; NO-GC-NEXT:     Globals:
 110 ; NO-GC-NEXT:       - Index:           0
 111 ; NO-GC-NEXT:         Type:            I32
 112 ; NO-GC-NEXT:         Mutable:         true
 113 ; NO-GC-NEXT:         InitExpr:
 114 ; NO-GC-NEXT:           Opcode:          I32_CONST
 115 ; NO-GC-NEXT:           Value:           66576
 116 ; NO-GC-NEXT:       - Index:       1
 117 ; NO-GC-NEXT:         Type:        I64
 118 ; NO-GC-NEXT:         Mutable:     true
 119 ; NO-GC-NEXT:         InitExpr:
 120 ; NO-GC-NEXT:           Opcode:          I64_CONST
 121 ; NO-GC-NEXT:           Value:           123
 122 ; NO-GC-NEXT:       - Index:       2
 123 ; NO-GC-NEXT:         Type:        I64
 124 ; NO-GC-NEXT:         Mutable:     true
 125 ; NO-GC-NEXT:         InitExpr:
 126 ; NO-GC-NEXT:           Opcode:          I64_CONST
 127 ; NO-GC-NEXT:           Value:           456
 128
 129 ; NO-GC:        - Type:            DATA
 130 ; NO-GC-NEXT:     Segments:
 131 ; NO-GC-NEXT:       - SectionOffset:   7
 132 ; NO-GC-NEXT:         MemoryIndex:     0
 133 ; NO-GC-NEXT:         Offset:
 134 ; NO-GC-NEXT:           Opcode:          I32_CONST
 135 ; NO-GC-NEXT:           Value:           1024
 136 ; NO-GC-NEXT:         Content:         '010000000000000002000000'
 137 ; NO-GC-NEXT:   - Type:            CUSTOM
 138 ; NO-GC-NEXT:     Name:            name
 139 ; NO-GC-NEXT:     FunctionNames:
 140 ; NO-GC-NEXT:       - Index:           0
 141 ; NO-GC-NEXT:         Name:            __wasm_call_ctors
 142 ; NO-GC-NEXT:       - Index:           1
 143 ; NO-GC-NEXT:         Name:            unused_function
 144 ; NO-GC-NEXT:       - Index:           2
 145 ; NO-GC-NEXT:         Name:            used_function
 146 ; NO-GC-NEXT:       - Index:           3
 147 ; NO-GC-NEXT:         Name:            _start
 148 ; NO-GC-NEXT:       - Index:           4
 149 ; NO-GC-NEXT:         Name:            use_global
 150 ; NO-GC-NEXT: ...
 151
 152 ; RUN: not wasm-ld --gc-sections --relocatable -o %t1.no-gc.wasm %t.o 2>&1 | FileCheck %s -check-prefix=CHECK-ERROR
 153 ; CHECK-ERROR: error: -r and --gc-sections may not be used together