test/CodeGen/WebAssembly/global.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that globals assemble as expected.
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-NOT: llvm.used
   9 ; CHECK-NOT: llvm.metadata
  10 @llvm.used = appending global [1 x i32*] [i32* @g], section "llvm.metadata"
  11
  12 ; CHECK: foo:
  13 ; CHECK: i32.const $push0=, answer{{$}}
  14 ; CHECK-NEXT: i32.load $push1=, 0($pop0){{$}}
  15 ; CHECK-NEXT: return $pop1{{$}}
  16 define i32 @foo() {
  17   %a = load i32, i32* @answer
  18   ret i32 %a
  19 }
  20
  21 ; CHECK-LABEL: call_memcpy:
  22 ; CHECK-NEXT: .param          i32, i32, i32{{$}}
  23 ; CHECK-NEXT: .result         i32{{$}}
  24 ; CHECK-NEXT: i32.const       $push0=, memcpy{{$}}
  25 ; CHECK-NEXT: call_indirect   $pop0, $0, $1, $2{{$}}
  26 ; CHECK-NEXT: return          $0{{$}}
  27 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture readonly, i32, i32, i1)
  28 define i8* @call_memcpy(i8* %p, i8* nocapture readonly %q, i32 %n) {
  29   tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %p, i8* %q, i32 %n, i32 1, i1 false)
  30   ret i8* %p
  31 }
  32
  33 ; CHECK: .type   g,@object
  34 ; CHECK: .align  2{{$}}
  35 ; CHECK-NEXT: g:
  36 ; CHECK-NEXT: .int32 1337{{$}}
  37 ; CHECK-NEXT: .size g, 4{{$}}
  38 @g = private global i32 1337
  39
  40 ; CHECK-LABEL: ud:
  41 ; CHECK-NEXT: .zero 4{{$}}
  42 ; CHECK-NEXT: .size ud, 4{{$}}
  43 @ud = internal global i32 undef
  44
  45 ; CHECK: .type nil,@object
  46 ; CHECK-NEXT: .lcomm nil,4,2{{$}}
  47 @nil = internal global i32 zeroinitializer
  48
  49 ; CHECK: .type z,@object
  50 ; CHECK-NEXT: .lcomm z,4,2{{$}}
  51 @z = internal global i32 0
  52
  53 ; CHECK-NEXT: .type one,@object
  54 ; CHECK-NEXT: .align 2{{$}}
  55 ; CHECK-NEXT: one:
  56 ; CHECK-NEXT: .int32 1{{$}}
  57 ; CHECK-NEXT: .size one, 4{{$}}
  58 @one = internal global i32 1
  59
  60 ; CHECK: .type answer,@object
  61 ; CHECK: .align 2{{$}}
  62 ; CHECK-NEXT: answer:
  63 ; CHECK-NEXT: .int32 42{{$}}
  64 ; CHECK-NEXT: .size answer, 4{{$}}
  65 @answer = internal global i32 42
  66
  67 ; CHECK: .type u32max,@object
  68 ; CHECK: .align 2{{$}}
  69 ; CHECK-NEXT: u32max:
  70 ; CHECK-NEXT: .int32 4294967295{{$}}
  71 ; CHECK-NEXT: .size u32max, 4{{$}}
  72 @u32max = internal global i32 -1
  73
  74 ; CHECK: .type ud64,@object
  75 ; CHECK: .align 3{{$}}
  76 ; CHECK-NEXT: ud64:
  77 ; CHECK-NEXT: .zero 8{{$}}
  78 ; CHECK-NEXT: .size ud64, 8{{$}}
  79 @ud64 = internal global i64 undef
  80
  81 ; CHECK: .type nil64,@object
  82 ; CHECK: .lcomm nil64,8,3{{$}}
  83 @nil64 = internal global i64 zeroinitializer
  84
  85 ; CHECK: .type z64,@object
  86 ; CHECK: .lcomm z64,8,3{{$}}
  87 @z64 = internal global i64 0
  88
  89 ; CHECK: .type twoP32,@object
  90 ; CHECK: .align 3{{$}}
  91 ; CHECK-NEXT: twoP32:
  92 ; CHECK-NEXT: .int64 4294967296{{$}}
  93 ; CHECK-NEXT: .size twoP32, 8{{$}}
  94 @twoP32 = internal global i64 4294967296
  95
  96 ; CHECK: .type u64max,@object
  97 ; CHECK: .align 3{{$}}
  98 ; CHECK-NEXT: u64max:
  99 ; CHECK-NEXT: .int64 -1{{$}}
 100 ; CHECK-NEXT: .size u64max, 8{{$}}
 101 @u64max = internal global i64 -1
 102
 103 ; CHECK: .type f32ud,@object
 104 ; CHECK: .align 2{{$}}
 105 ; CHECK-NEXT: f32ud:
 106 ; CHECK-NEXT: .zero 4{{$}}
 107 ; CHECK-NEXT: .size f32ud, 4{{$}}
 108 @f32ud = internal global float undef
 109
 110 ; CHECK: .type f32nil,@object
 111 ; CHECK: .lcomm f32nil,4,2{{$}}
 112 @f32nil = internal global float zeroinitializer
 113
 114 ; CHECK: .type f32z,@object
 115 ; CHECK: .lcomm f32z,4,2{{$}}
 116 @f32z = internal global float 0.0
 117
 118 ; CHECK: .type f32nz,@object
 119 ; CHECK: .align 2{{$}}
 120 ; CHECK: f32nz:
 121 ; CHECK: .int32 2147483648{{$}}
 122 ; CHECK: .size f32nz, 4{{$}}
 123 @f32nz = internal global float -0.0
 124
 125 ; CHECK: .type f32two,@object
 126 ; CHECK: .align 2{{$}}
 127 ; CHECK-NEXT: f32two:
 128 ; CHECK-NEXT: .int32 1073741824{{$}}
 129 ; CHECK-NEXT: .size f32two, 4{{$}}
 130 @f32two = internal global float 2.0
 131
 132 ; CHECK: .type f64ud,@object
 133 ; CHECK: .align 3{{$}}
 134 ; CHECK-NEXT: f64ud:
 135 ; CHECK-NEXT: .zero 8{{$}}
 136 ; CHECK-NEXT: .size f64ud, 8{{$}}
 137 @f64ud = internal global double undef
 138
 139 ; CHECK: .type f64nil,@object
 140 ; CHECK: .lcomm f64nil,8,3{{$}}
 141 @f64nil = internal global double zeroinitializer
 142
 143 ; CHECK: .type f64z,@object
 144 ; CHECK: .lcomm f64z,8,3{{$}}
 145 @f64z = internal global double 0.0
 146
 147 ; CHECK: .type f64nz,@object
 148 ; CHECK: .align 3{{$}}
 149 ; CHECK-NEXT: f64nz:
 150 ; CHECK-NEXT: .int64 -9223372036854775808{{$}}
 151 ; CHECK-NEXT: .size f64nz, 8{{$}}
 152 @f64nz = internal global double -0.0
 153
 154 ; CHECK: .type f64two,@object
 155 ; CHECK: .align 3{{$}}
 156 ; CHECK-NEXT: f64two:
 157 ; CHECK-NEXT: .int64 4611686018427387904{{$}}
 158 ; CHECK-NEXT: .size f64two, 8{{$}}
 159 @f64two = internal global double 2.0