test/Transforms/SimplifyLibCalls/FFS.ll

   1 ; Test that FFSOpt works correctly
   2 ; RUN: opt < %s -simplify-libcalls -S | FileCheck %s
   3
   4 ; CHECK-NOT: call{{.*}}@ffs
   5
   6 @non_const = external global i32                ; <i32*> [#uses=1]
   7
   8 declare i32 @ffs(i32)
   9
  10 declare i32 @ffsl(i32)
  11
  12 declare i32 @ffsll(i64)
  13
  14 define i32 @main() {
  15         %arg = load i32* @non_const             ; <i32> [#uses=1]
  16         %val0 = call i32 @ffs( i32 %arg )               ; <i32> [#uses=1]
  17         %val1 = call i32 @ffs( i32 1 )          ; <i32> [#uses=1]
  18         %val2 = call i32 @ffs( i32 2048 )               ; <i32> [#uses=1]
  19         %val3 = call i32 @ffsl( i32 65536 )             ; <i32> [#uses=1]
  20         %val4 = call i32 @ffsll( i64 1024 )             ; <i32> [#uses=1]
  21         %val5 = call i32 @ffsll( i64 17179869184 )              ; <i32> [#uses=1]
  22         %val6 = call i32 @ffsll( i64 1152921504606846976 )              ; <i32> [#uses=1]
  23         %rslt1 = add i32 %val1, %val2           ; <i32> [#uses=1]
  24         %rslt2 = add i32 %val3, %val4           ; <i32> [#uses=1]
  25         %rslt3 = add i32 %val5, %val6           ; <i32> [#uses=1]
  26         %rslt4 = add i32 %rslt1, %rslt2         ; <i32> [#uses=1]
  27         %rslt5 = add i32 %rslt4, %rslt3         ; <i32> [#uses=2]
  28         %rslt6 = add i32 %rslt5, %val0          ; <i32> [#uses=0]
  29         ret i32 %rslt5
  30 }
  31
  32
  33 ; PR4206
  34 define i32 @a(i64) nounwind {
  35         %2 = call i32 @ffsll(i64 %0)            ; <i32> [#uses=1]
  36         ret i32 %2
  37 }
  38
  39 ; PR13028
  40 define i32 @b() nounwind {
  41   %ffs = call i32 @ffsll(i64 0)
  42   ret i32 %ffs
  43 ; CHECK: @b
  44 ; CHECK-NEXT: ret i32 0
  45 }