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