1 files changed, 69 insertions, 0 deletions
diff --git a/flang/test/Integration/inline_directive.f90 b/flang/test/Integration/inline_directive.f90
new file mode 100644
index 0000000..1f05384
--- /dev/null
+++ b/flang/test/Integration/inline_directive.f90
@@ -0,0 +1,69 @@
+! This directory can be used to add Integration tests involving multiple stages of the compiler (for eg. from Fortran to LLVM IR).
+! It should not contain executable tests. We should only add tests here sparingly and only if there is no other way to test.
+! RUN: %flang_fc1 -emit-llvm -o - %s | FileCheck %s
+
+! CHECK-LABEL: test_inline
+subroutine test_inline()
+  integer :: x, y
+!CHECK:  %[[VAL_1:.*]] = alloca i32, i64 1, align 4
+!CHECK:  %[[VAL_2:.*]] = alloca i32, i64 1, align 4
+!CHECK:  %[[VAL_3:.*]] = alloca i32, i64 1, align 4
+!CHECK:  %[[VAL_4:.*]] = alloca i32, i64 1, align 4
+
+  !dir$ forceinline
+  y = g(x)
+  !dir$ forceinline
+  call f(x, y)
+!CHECK:  %[[VAL_5:.*]] = load i32, ptr %[[VAL_3]], align 4
+!CHECK:  %[[VAL_6:.*]] = mul i32 %[[VAL_5]], 2
+!CHECK:  store i32 %6, ptr %[[VAL_1]], align 4
+!CHECK:  %[[VAL_7:.*]] = load i32, ptr %[[VAL_1]], align 4
+!CHECK:  store i32 %7, ptr %[[VAL_2]], align 4
+!CHECK:  %[[VAL_8:.]] = load i32, ptr %[[VAL_3]], align 4
+!CHECK:  %[[VAL_9:.]] = mul i32 %[[VAL_8]], 2
+!CHECK:  store i32 %9, ptr %[[VAL_2]], align 4
+
+  !dir$ inline
+  y = g(x)
+  !dir$ inline
+  call f(x, y)
+!CHECK:  %[[VAL_10:.*]] = call i32 @_QFtest_inlinePg(ptr %[[VAL_3]]) #[[INLINE:.*]]
+!CHECK:  store i32 %[[VAL_10]], ptr %[[VAL_2]], align 4
+!CHECK:  call void @_QFtest_inlinePf(ptr %[[VAL_3]], ptr %[[VAL_2]]) #[[INLINE]]
+
+  !dir$ inline
+  do i = 1, 100
+    call f(x, y)
+    !CHECK: br i1 %[[VAL_14:.*]], label %[[VAL_15:.*]], label %[[VAL_19:.*]]
+    !CHECK: call void @_QFtest_inlinePf(ptr %[[VAL_3]], ptr %[[VAL_2]]) #[[INLINE]]
+  enddo
+
+  !dir$ noinline
+  y = g(x)
+  !dir$ noinline
+  call f(x, y)
+!CHECK:  %[[VAL_10:.*]] = call i32 @_QFtest_inlinePg(ptr %[[VAL_3]]) #[[NOINLINE:.*]]
+!CHECK:  store i32 %[[VAL_10]], ptr %[[VAL_2]], align 4
+!CHECK:  call void @_QFtest_inlinePf(ptr %[[VAL_3]], ptr %[[VAL_2]]) #[[NOINLINE]]
+
+  !dir$ noinline
+  do i = 1, 100
+    call f(x, y)
+    !CHECK: br i1 %[[VAL_14:.*]], label %[[VAL_15:.*]], label %[[VAL_19:.*]]
+    !CHECK: call void @_QFtest_inlinePf(ptr %[[VAL_3]], ptr %[[VAL_2]]) #[[NOINLINE]]
+  enddo
+
+  contains
+    subroutine f(x, y)
+      integer, intent(in) :: x
+      integer, intent(out) :: y
+      y = x*2
+    end subroutine f
+    integer function g(x)
+      integer :: x
+      g = x*2
+    end function g
+end subroutine test_inline
+
+!CHECK: attributes #[[INLINE]] = { inlinehint }
+!CHECK: attributes #[[NOINLINE]] = { noinline }