diff options
Diffstat (limited to 'testsuite/tests/driver/inline-check.stderr')
| -rw-r--r-- | testsuite/tests/driver/inline-check.stderr | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/driver/inline-check.stderr b/testsuite/tests/driver/inline-check.stderr new file mode 100644 index 0000000000..5bf9edaf24 --- /dev/null +++ b/testsuite/tests/driver/inline-check.stderr @@ -0,0 +1,26 @@ +Considering inlining: foo + arg infos [ValueArg] + interesting continuation RhsCtxt + some_benefit True + is exp: True + is work-free: True + guidance IF_ARGS [0] 30 0 + discounted size = 10 + ANSWER = YES +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Inactive unfolding: foo1 +Considering inlining: foo + arg infos [] + interesting continuation RhsCtxt + some_benefit False + is exp: True + is work-free: True + guidance ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) + ANSWER = NO +Inactive unfolding: foo1 |