31 lines · plain
1; RUN: mlir-translate --import-llvm %s | FileCheck %s2; REQUIRES: asserts3 4; This test is primarily used to make sure an assertion is not triggered.5; Thus, we only wrote minimum level of checks.6 7%my_struct = type {i32, ptr}8; CHECK-DAG: llvm.mlir.constant(8 : i32) : i329; CHECK-DAG: llvm.mlir.addressof @str0 : !llvm.ptr10; CHECK-DAG: llvm.mlir.constant(0 : i32) : i3211; CHECK-DAG: llvm.mlir.constant(1 : i32) : i3212; CHECK-DAG: llvm.getelementptr13; CHECK-DAG: llvm.mlir.undef : !llvm.struct<"my_struct", (i32, ptr)>14; CHECK-DAG: llvm.insertvalue15; CHECK-DAG: llvm.insertvalue16; CHECK-DAG: llvm.mlir.constant(7 : i32) : i3217; CHECK-DAG: llvm.mlir.addressof @str1 : !llvm.ptr18; CHECK-DAG: llvm.mlir.constant(2 : i32) : i3219; CHECK-DAG: llvm.mlir.constant(3 : i32) : i3220; CHECK-DAG: llvm.getelementptr21; CHECK-DAG: llvm.mlir.undef : !llvm.struct<"my_struct", (i32, ptr)>22; CHECK-DAG: llvm.insertvalue23; CHECK-DAG: llvm.insertvalue24; CHECK-DAG: llvm.mlir.undef : !llvm.array<2 x struct<"my_struct", (i32, ptr)>>25; CHECK-DAG: llvm.insertvalue26; CHECK-DAG: llvm.insertvalue27; CHECK-DAG: llvm.return28@str0 = private unnamed_addr constant [5 x i8] c"aaaa\00"29@str1 = private unnamed_addr constant [5 x i8] c"bbbb\00"30@g = global [2 x %my_struct] [%my_struct {i32 8, ptr getelementptr ([5 x i8], ptr @str0, i32 0, i32 1)}, %my_struct {i32 7, ptr getelementptr ([5 x i8], ptr @str1, i32 2, i32 3)}]31