llvm/test/Transforms/GVNSink/int_sideeffect.ll

   1 ; RUN: opt -S < %s -passes=gvn-sink | FileCheck %s
   2
   3 declare void @llvm.sideeffect()
   4
   5 ; GVN sinking across a @llvm.sideeffect.
   6
   7 ; CHECK-LABEL: scalarsSinking
   8 ; CHECK-NOT: fmul
   9 ; CHECK: = phi
  10 ; CHECK: = fmul
  11 define float @scalarsSinking(float %d, float %m, float %a, i1 %cmp) {
  12 entry:
  13   br i1 %cmp, label %if.then, label %if.else
  14
  15 if.then:
  16   call void @llvm.sideeffect()
  17   %sub = fsub float %m, %a
  18   %mul0 = fmul float %sub, %d
  19   br label %if.end
  20
  21 if.else:
  22   %add = fadd float %m, %a
  23   %mul1 = fmul float %add, %d
  24   br label %if.end
  25
  26 if.end:
  27   %phi = phi float [ %mul0, %if.then ], [ %mul1, %if.else ]
  28   ret float %phi
  29 }
  30
  31 ; CHECK-LABEL: scalarsSinkingReverse
  32 ; CHECK-NOT: fmul
  33 ; CHECK: = phi
  34 ; CHECK: = fmul
  35 define float @scalarsSinkingReverse(float %d, float %m, float %a, i1 %cmp) {
  36 ; This test is just a reverse(graph mirror) of the test
  37 ; above to ensure GVNSink doesn't depend on the order of branches.
  38 entry:
  39   br i1 %cmp, label %if.then, label %if.else
  40
  41 if.then:
  42   %add = fadd float %m, %a
  43   %mul1 = fmul float %add, %d
  44   br label %if.end
  45
  46 if.else:
  47   call void @llvm.sideeffect()
  48   %sub = fsub float %m, %a
  49   %mul0 = fmul float %sub, %d
  50   br label %if.end
  51
  52 if.end:
  53   %phi = phi float [ %mul1, %if.then ], [ %mul0, %if.else ]
  54   ret float %phi
  55 }
  56