The CHECKs are going to be shared with the development mode test
; <label>:12: ; preds = %11, %6, %5
%13 = load i32, i32* %2, align 4
ret i32 %13
-}
\ No newline at end of file
+}
+
+; CHECK-NOT: @adder
+; DEFAULT-LABEL: @adder
+; DEFAULT-NEXT: %2 = mul
\ No newline at end of file
; for the 'development' mode.
;
; REQUIRES: have_tf_aot
-; RUN: opt -passes=scc-oz-module-inliner -enable-ml-inliner=release -S < %S/Inputs/test-module.ll 2>&1 | FileCheck %s --check-prefix=CHECK
-; RUN: opt -passes=scc-oz-module-inliner -enable-ml-inliner=default -S < %S/Inputs/test-module.ll 2>&1 | FileCheck %s --check-prefix=DEFAULT
+; RUN: opt -passes=scc-oz-module-inliner -enable-ml-inliner=release -S < %S/Inputs/test-module.ll 2>&1 | FileCheck %S/Inputs/test-module.ll --check-prefix=CHECK
+; RUN: opt -passes=scc-oz-module-inliner -enable-ml-inliner=default -S < %S/Inputs/test-module.ll 2>&1 | FileCheck %S/Inputs/test-module.ll --check-prefix=DEFAULT
; CHECK-NOT: @adder
; DEFAULT-LABEL: @adder