8 lines · plain
1// RUN: mlir-opt %s | FileCheck %s2 3// CHECK: wasmssa.memory @mem1 !wasmssa<limit[512:]>4wasmssa.memory @mem1 !wasmssa<limit[512:]>5 6// CHECK: wasmssa.memory exported @mem2 !wasmssa<limit[0: 65536]>7wasmssa.memory exported @mem2 !wasmssa<limit[0:65536]>8