llvm/test/Transforms/GVN/fake-use-constprop.ll

   1 ; RUN: opt -passes=gvn -S < %s | FileCheck %s
   2 ;
   3 ; The Global Value Numbering pass (GVN) propagates boolean values
   4 ; that are constant in dominated basic blocks to all the uses
   5 ; in these basic blocks. However, we don't want the constant propagated
   6 ; into fake.use intrinsics since this would render the intrinsic useless
   7 ; with respect to keeping the variable live up until the fake.use.
   8 ; This test checks that we don't generate any fake.uses with constant 0.
   9 ;
  10 ; Reduced from the following test case, generated with clang -O2 -S -emit-llvm -fextend-lifetimes test.c
  11 ;
  12 ; extern void func1();
  13 ; extern int bar();
  14 ; extern void baz(int);
  15 ;
  16 ; int foo(int i, float f, int *punused)
  17 ; {
  18 ;   int j = 3*i;
  19 ;   if (j > 0) {
  20 ;     int m = bar(i);
  21 ;     if (m) {
  22 ;       char b = f;
  23 ;       baz(b);
  24 ;       if (b)
  25 ;         goto lab;
  26 ;       func1();
  27 ;     }
  28 ; lab:
  29 ;     func1();
  30 ;   }
  31 ;   return 1;
  32 ; }
  33
  34 ;; GVN should propagate a constant value through to a regular call, but not to
  35 ;; a fake use, which should continue to track the original value.
  36 ; CHECK: %[[CONV_VAR:[a-zA-Z0-9]+]] = fptosi
  37 ; CHECK: call {{.+}} @bees(i8 0)
  38 ; CHECK: call {{.+}} @llvm.fake.use(i8 %[[CONV_VAR]])
  39
  40 define i32 @foo(float %f) optdebug {
  41   %conv = fptosi float %f to i8
  42   %tobool3 = icmp eq i8 %conv, 0
  43   br i1 %tobool3, label %if.end, label %lab
  44
  45 if.end:
  46   tail call void (...) @bees(i8 %conv)
  47   tail call void (...) @llvm.fake.use(i8 %conv)
  48   br label %lab
  49
  50 lab:
  51   ret i32 1
  52 }
  53
  54 declare i32 @bar(...)
  55
  56 declare void @baz(i32)
  57
  58 declare void @bees(i32)
  59
  60 declare void @func1(...)