xref: /llvm-project/flang/test/Driver/emit-mlir.f90 (revision ecec1311fe0521404a11d6f3b90253259c8c3518)
1! Test the `-emit-mlir` option
2
3! RUN: %flang_fc1 -emit-mlir %s -o - | FileCheck %s
4! RUN: %flang_fc1 -emit-fir %s -o - | FileCheck %s
5
6! Verify that an `.mlir` file is created when `-emit-mlir` is used. Do it in a temporary directory, which will be cleaned up by the
7! LIT runner.
8! RUN: rm -rf %t-dir && mkdir -p %t-dir && cd %t-dir
9! RUN: cp %s .
10! RUN: %flang_fc1 -emit-mlir emit-mlir.f90 && ls emit-mlir.mlir
11
12! CHECK: module attributes {
13! CHECK-SAME: dlti.dl_spec =
14! CHECK-SAME: llvm.data_layout =
15! CHECK-LABEL: func @_QQmain() {
16! CHECK-NEXT:  return
17! CHECK-NEXT: }
18! CHECK-NEXT: func.func private @_FortranAProgramStart(i32, !llvm.ptr, !llvm.ptr, !llvm.ptr)
19! CHECK-NEXT: func.func private @_FortranAProgramEndStatement()
20! CHECK-NEXT: func.func @main(%arg0: i32, %arg1: !llvm.ptr, %arg2: !llvm.ptr) -> i32 {
21! CHECK-NEXT: %c0_i32 = arith.constant 0 : i32
22! CHECK-NEXT: %0 = fir.zero_bits !fir.ref<tuple<i32, !fir.ref<!fir.array<0xtuple<!fir.ref<i8>, !fir.ref<i8>>>>>>
23! CHECK-NEXT: fir.call @_FortranAProgramStart(%arg0, %arg1, %arg2, %0) {{.*}} : (i32, !llvm.ptr, !llvm.ptr, !fir.ref<tuple<i32, !fir.ref<!fir.array<0xtuple<!fir.ref<i8>, !fir.ref<i8>>>>>>)
24! CHECK-NEXT: fir.call @_QQmain() fastmath<contract> : () -> ()
25! CHECK-NEXT: fir.call @_FortranAProgramEndStatement() {{.*}} : () -> ()
26! CHECK-NEXT: return %c0_i32 : i32
27! CHECK-NEXT: }
28! CHECK-NEXT: }
29
30end program
31