test/wasm/undefined-weak-call.ll

   1 ; RUN: llc -filetype=obj %s -o %t.o
   2 ; RUN: wasm-ld --no-entry --print-gc-sections %t.o \
   3 ; RUN:     -o %t.wasm 2>&1 | FileCheck -check-prefix=CHECK-GC %s
   4 ; RUN: obj2yaml %t.wasm | FileCheck %s
   5
   6 ; Check that calling an undefined weak function generates an appropriate stub
   7 ; that will fail at runtime with "unreachable".
   8
   9 target triple = "wasm32-unknown-unknown"
  10
  11 declare extern_weak void @weakFunc1()
  12 declare extern_weak void @weakFunc2()         ; same signature
  13 declare extern_weak void @weakFunc3(i32 %arg) ; different
  14 declare extern_weak void @weakFunc4()         ; should be GC'd as not called
  15
  16 ; CHECK-GC: removing unused section {{.*}}:(weakFunc4)
  17
  18 define i32 @callWeakFuncs() {
  19   call void @weakFunc1()
  20   call void @weakFunc2()
  21   call void @weakFunc3(i32 2)
  22   %addr1 = ptrtoint void ()* @weakFunc1 to i32
  23   %addr4 = ptrtoint void ()* @weakFunc4 to i32
  24   %sum = add i32 %addr1, %addr4
  25   ret i32 %sum
  26 }
  27
  28 ; CHECK:      --- !WASM
  29 ; CHECK-NEXT: FileHeader:
  30 ; CHECK-NEXT:   Version:         0x00000001
  31 ; CHECK-NEXT: Sections:
  32 ; CHECK-NEXT:   - Type:            TYPE
  33 ; CHECK-NEXT:     Signatures:
  34 ; CHECK-NEXT:       - Index:           0
  35 ; CHECK-NEXT:         ReturnType:      NORESULT
  36 ; CHECK-NEXT:         ParamTypes:
  37 ; CHECK-NEXT:       - Index:           1
  38 ; CHECK-NEXT:         ReturnType:      NORESULT
  39 ; CHECK-NEXT:         ParamTypes:
  40 ; CHECK-NEXT:           - I32
  41 ; CHECK-NEXT:       - Index:           2
  42 ; CHECK-NEXT:         ReturnType:      I32
  43 ; CHECK-NEXT:         ParamTypes:
  44 ; CHECK-NEXT:   - Type:            FUNCTION
  45 ; CHECK-NEXT:     FunctionTypes:   [ 0, 0, 0, 1, 2 ]
  46 ; CHECK-NEXT:   - Type:            TABLE
  47 ; CHECK-NEXT:     Tables:
  48 ; CHECK-NEXT:       - ElemType:        ANYFUNC
  49 ; CHECK-NEXT:         Limits:
  50 ; CHECK-NEXT:           Flags:           [ HAS_MAX ]
  51 ; CHECK-NEXT:           Initial:         0x00000001
  52 ; CHECK-NEXT:           Maximum:         0x00000001
  53 ; CHECK-NEXT:   - Type:            MEMORY
  54 ; CHECK-NEXT:     Memories:
  55 ; CHECK-NEXT:       - Initial:         0x00000002
  56 ; CHECK-NEXT:   - Type:            GLOBAL
  57 ; CHECK-NEXT:     Globals:
  58 ; CHECK-NEXT:       - Index:           0
  59 ; CHECK-NEXT:         Type:            I32
  60 ; CHECK-NEXT:         Mutable:         true
  61 ; CHECK-NEXT:         InitExpr:
  62 ; CHECK-NEXT:           Opcode:          I32_CONST
  63 ; CHECK-NEXT:           Value:           66560
  64 ; CHECK-NEXT:       - Index:           1
  65 ; CHECK-NEXT:         Type:            I32
  66 ; CHECK-NEXT:         Mutable:         false
  67 ; CHECK-NEXT:         InitExpr:
  68 ; CHECK-NEXT:           Opcode:          I32_CONST
  69 ; CHECK-NEXT:           Value:           66560
  70 ; CHECK-NEXT:       - Index:           2
  71 ; CHECK-NEXT:         Type:            I32
  72 ; CHECK-NEXT:         Mutable:         false
  73 ; CHECK-NEXT:         InitExpr:
  74 ; CHECK-NEXT:           Opcode:          I32_CONST
  75 ; CHECK-NEXT:           Value:           1024
  76 ; CHECK-NEXT:   - Type:            EXPORT
  77 ; CHECK-NEXT:     Exports:
  78 ; CHECK-NEXT:       - Name:            memory
  79 ; CHECK-NEXT:         Kind:            MEMORY
  80 ; CHECK-NEXT:         Index:           0
  81 ; CHECK-NEXT:       - Name:            __heap_base
  82 ; CHECK-NEXT:         Kind:            GLOBAL
  83 ; CHECK-NEXT:         Index:           1
  84 ; CHECK-NEXT:       - Name:            __data_end
  85 ; CHECK-NEXT:         Kind:            GLOBAL
  86 ; CHECK-NEXT:         Index:           2
  87 ; CHECK-NEXT:       - Name:            callWeakFuncs
  88 ; CHECK-NEXT:         Kind:            FUNCTION
  89 ; CHECK-NEXT:         Index:           4
  90 ; CHECK-NEXT:   - Type:            CODE
  91 ; CHECK-NEXT:     Functions:
  92 ; CHECK-NEXT:       - Index:           0
  93 ; CHECK-NEXT:         Locals:
  94 ; CHECK-NEXT:         Body:            0B
  95 ; CHECK-NEXT:       - Index:           1
  96 ; CHECK-NEXT:         Locals:
  97 ; CHECK-NEXT:         Body:            000B
  98 ; CHECK-NEXT:       - Index:           2
  99 ; CHECK-NEXT:         Locals:
 100 ; CHECK-NEXT:         Body:            000B
 101 ; CHECK-NEXT:       - Index:           3
 102 ; CHECK-NEXT:         Locals:
 103 ; CHECK-NEXT:         Body:            000B
 104 ; CHECK-NEXT:       - Index:           4
 105 ; CHECK-NEXT:         Locals:
 106 ; CHECK-NEXT:         Body:            10818080800010828080800041021083808080004180808080004180808080006A0B
 107 ; CHECK-NEXT:   - Type:            CUSTOM
 108 ; CHECK-NEXT:     Name:            name
 109 ; CHECK-NEXT:     FunctionNames:
 110 ; CHECK-NEXT:       - Index:           0
 111 ; CHECK-NEXT:         Name:            __wasm_call_ctors
 112 ; CHECK-NEXT:       - Index:           1
 113 ; CHECK-NEXT:         Name:            undefined function weakFunc1
 114 ; CHECK-NEXT:       - Index:           2
 115 ; CHECK-NEXT:         Name:            undefined function weakFunc2
 116 ; CHECK-NEXT:       - Index:           3
 117 ; CHECK-NEXT:         Name:            undefined function weakFunc3
 118 ; CHECK-NEXT:       - Index:           4
 119 ; CHECK-NEXT:         Name:            callWeakFuncs
 120 ; CHECK-NEXT: ...