32 lines · plain
1! Test the `-emit-mlir` option2 3! RUN: %flang_fc1 -emit-mlir %s -o - | FileCheck %s4! RUN: %flang_fc1 -emit-fir %s -o - | FileCheck %s5 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 the7! LIT runner.8! RUN: rm -rf %t-dir && mkdir -p %t-dir && cd %t-dir9! RUN: cp %s .10! RUN: %flang_fc1 -emit-mlir emit-mlir.f90 && ls emit-mlir.mlir11 12! CHECK: module attributes {13! CHECK-SAME: dlti.dl_spec =14! CHECK-SAME: llvm.data_layout =15! CHECK-LABEL: func @_QQmain() {16! CHECK-NEXT: fir.dummy_scope17! CHECK-NEXT: return18! CHECK-NEXT: }19! CHECK-NEXT: func.func private @_FortranAProgramStart(i32, !llvm.ptr, !llvm.ptr, !llvm.ptr)20! CHECK-NEXT: func.func private @_FortranAProgramEndStatement()21! CHECK-NEXT: func.func @main(%arg0: i32, %arg1: !llvm.ptr, %arg2: !llvm.ptr) -> i32 {22! CHECK-NEXT: %c0_i32 = arith.constant 0 : i3223! CHECK-NEXT: %0 = fir.zero_bits !fir.ref<tuple<i32, !fir.ref<!fir.array<0xtuple<!fir.ref<i8>, !fir.ref<i8>>>>>>24! 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>>>>>>)25! CHECK-NEXT: fir.call @_QQmain() fastmath<contract> : () -> ()26! CHECK-NEXT: fir.call @_FortranAProgramEndStatement() {{.*}} : () -> ()27! CHECK-NEXT: return %c0_i32 : i3228! CHECK-NEXT: }29! CHECK-NEXT: }30 31end program32