70 lines · plain
1// RUN: mlir-opt -convert-memref-to-emitc %s -split-input-file -verify-diagnostics2 3func.func @alloca_with_dynamic_shape() {4 %0 = index.constant 15 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}6 %1 = memref.alloca(%0) : memref<4x?xf32>7 return8}9 10// -----11 12func.func @alloca_with_alignment() {13 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}14 %0 = memref.alloca() {alignment = 64 : i64}: memref<4xf32>15 return16}17 18// -----19 20func.func @non_identity_layout() {21 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}22 %0 = memref.alloca() : memref<4x3xf32, affine_map<(d0, d1) -> (d1, d0)>>23 return24}25 26// -----27 28func.func @zero_rank() {29 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}30 %0 = memref.alloca() : memref<f32>31 return32}33 34// -----35 36func.func @zero_dim_rank_1() {37 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}38 %0 = memref.alloca() : memref<0xf32>39 return40}41 42// -----43 44func.func @zero_dim_rank_3() {45 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}46 %0 = memref.alloca() : memref<2x0x4xf32>47 return48}49 50// -----51 52// expected-error@+1 {{failed to legalize operation 'memref.global'}}53memref.global "nested" constant @nested_global : memref<3x7xf32>54 55// -----56 57func.func @unsupported_type_f128() {58 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}59 %0 = memref.alloca() : memref<4xf128>60 return61}62 63// -----64 65func.func @unsupported_type_i4() {66 // expected-error@+1 {{failed to legalize operation 'memref.alloca'}}67 %0 = memref.alloca() : memref<4xi4>68 return69}70