45 lines · plain
1// RUN: mlir-opt %s | FileCheck %s2 3module {4 wasmssa.import_global "from_js" from "env" as @global_0 : i325 6 wasmssa.global @global_1 i32 : {7 %0 = wasmssa.const 10 : i328 wasmssa.return %0 : i329 }10 wasmssa.global @global_2 i32 mutable : {11 %0 = wasmssa.const 17 : i3212 wasmssa.return %0 : i3213 }14 wasmssa.global @global_3 i32 mutable : {15 %0 = wasmssa.const 10 : i3216 wasmssa.return %0 : i3217 }18 wasmssa.global @global_4 i32 : {19 %0 = wasmssa.global_get @global_0 : i3220 wasmssa.return %0 : i3221 }22}23 24// CHECK-LABEL: wasmssa.import_global "from_js" from "env" as @global_0 : i3225 26// CHECK-LABEL: wasmssa.global @global_1 i32 : {27// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i3228// CHECK: wasmssa.return %[[VAL_0]] : i3229// CHECK: }30 31// CHECK-LABEL: wasmssa.global @global_2 i32 mutable : {32// CHECK: %[[VAL_0:.*]] = wasmssa.const 17 : i3233// CHECK: wasmssa.return %[[VAL_0]] : i3234// CHECK: }35 36// CHECK-LABEL: wasmssa.global @global_3 i32 mutable : {37// CHECK: %[[VAL_0:.*]] = wasmssa.const 10 : i3238// CHECK: wasmssa.return %[[VAL_0]] : i3239// CHECK: }40 41// CHECK-LABEL: wasmssa.global @global_4 i32 : {42// CHECK: %[[VAL_0:.*]] = wasmssa.global_get @global_0 : i3243// CHECK: wasmssa.return %[[VAL_0]] : i3244// CHECK: }45