test/Other/optimization-remarks-inline.ll

   1 ; RUN: opt < %s -inline -pass-remarks='inline' -S 2>&1 | FileCheck %s
   2 ; RUN: opt < %s -inline -pass-remarks='inl.*' -S 2>&1 | FileCheck %s
   3 ; RUN: opt < %s -inline -pass-remarks='vector' -pass-remarks='inl' -S 2>&1 | FileCheck %s
   4
   5 ; These two should not yield an inline remark for the same reason.
   6 ; In the first command, we only ask for vectorizer remarks, in the
   7 ; second one we ask for the inliner, but we then ask for the vectorizer
   8 ; (thus overriding the first flag).
   9 ; RUN: opt < %s -inline -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s
  10 ; RUN: opt < %s -inline -pass-remarks='inl' -pass-remarks='vector' -S 2>&1 | FileCheck --check-prefix=REMARKS %s
  11
  12 ; RUN: opt < %s -inline -S 2>&1 | FileCheck --check-prefix=REMARKS %s
  13 ; RUN: not opt < %s -pass-remarks='(' 2>&1 | FileCheck --check-prefix=BAD-REGEXP %s
  14
  15 define i32 @foo(i32 %x, i32 %y) #0 {
  16 entry:
  17   %x.addr = alloca i32, align 4
  18   %y.addr = alloca i32, align 4
  19   store i32 %x, i32* %x.addr, align 4
  20   store i32 %y, i32* %y.addr, align 4
  21   %0 = load i32, i32* %x.addr, align 4
  22   %1 = load i32, i32* %y.addr, align 4
  23   %add = add nsw i32 %0, %1
  24   ret i32 %add
  25 }
  26
  27 define i32 @bar(i32 %j) #0 {
  28 entry:
  29   %j.addr = alloca i32, align 4
  30   store i32 %j, i32* %j.addr, align 4
  31   %0 = load i32, i32* %j.addr, align 4
  32   %1 = load i32, i32* %j.addr, align 4
  33   %sub = sub nsw i32 %1, 2
  34   %call = call i32 @foo(i32 %0, i32 %sub)
  35 ; CHECK: foo inlined into bar
  36 ; REMARKS-NOT: foo inlined into bar
  37   ret i32 %call
  38 }
  39
  40 ; BAD-REGEXP: Invalid regular expression '(' in -pass-remarks: