1// RUN: mlir-translate -verify-diagnostics -split-input-file -mlir-to-llvmir %s 2 3// expected-error @+1 {{unsupported module-level operation}} 4func @foo() { 5 llvm.return 6} 7 8// ----- 9 10// expected-error @+1 {{llvm.noalias attribute attached to LLVM non-pointer argument}} 11llvm.func @invalid_noalias(%arg0 : !llvm.float {llvm.noalias = true}) -> !llvm.float { 12 llvm.return %arg0 : !llvm.float 13} 14 15// ----- 16 17// expected-error @+1 {{llvm.align attribute attached to LLVM non-pointer argument}} 18llvm.func @invalid_align(%arg0 : !llvm.float {llvm.align = 4}) -> !llvm.float { 19 llvm.return %arg0 : !llvm.float 20} 21 22// ----- 23 24llvm.func @no_nested_struct() -> !llvm.array<2 x array<2 x array<2 x struct<(i32)>>>> { 25 // expected-error @+1 {{struct types are not supported in constants}} 26 %0 = llvm.mlir.constant(dense<[[[1, 2], [3, 4]], [[42, 43], [44, 45]]]> : tensor<2x2x2xi32>) : !llvm.array<2 x array<2 x array<2 x struct<(i32)>>>> 27 llvm.return %0 : !llvm.array<2 x array<2 x array<2 x struct<(i32)>>>> 28} 29 30// ----- 31 32// expected-error @+1 {{unsupported constant value}} 33llvm.mlir.global internal constant @test([2.5, 7.4]) : !llvm.array<2 x double> 34 35// ----- 36 37// expected-error @+1 {{LLVM attribute 'noinline' does not expect a value}} 38llvm.func @passthrough_unexpected_value() attributes {passthrough = [["noinline", "42"]]} 39 40// ----- 41 42// expected-error @+1 {{LLVM attribute 'alignstack' expects a value}} 43llvm.func @passthrough_expected_value() attributes {passthrough = ["alignstack"]} 44 45// ----- 46 47// expected-error @+1 {{expected 'passthrough' to contain string or array attributes}} 48llvm.func @passthrough_wrong_type() attributes {passthrough = [42]} 49 50// ----- 51 52// expected-error @+1 {{expected arrays within 'passthrough' to contain two strings}} 53llvm.func @passthrough_wrong_type() attributes {passthrough = [[42, 42]]} 54