llvm/test/Transforms/GVNHoist/hoist-newgvn.ll

   1 ; RUN: opt -passes='function(gvn-hoist),function(newgvn)' -S < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 @GlobalVar = internal global float 1.000000e+00
   6
   7 ; Check that we hoist load and scalar expressions in dominator.
   8 ; CHECK-LABEL: @dominatorHoisting
   9 ; CHECK: load
  10 ; CHECK: load
  11 ; CHECK: fsub
  12 ; CHECK: fmul
  13 ; CHECK: load
  14 ; CHECK: fsub
  15 ; CHECK: fmul
  16 ; CHECK-NOT: load
  17 ; CHECK-NOT: fmul
  18 ; CHECK-NOT: fsub
  19 define float @dominatorHoisting(float %d, ptr %min, ptr %max, ptr %a) {
  20 entry:
  21   %div = fdiv float 1.000000e+00, %d
  22   %0 = load float, ptr %min, align 4
  23   %1 = load float, ptr %a, align 4
  24   %sub = fsub float %0, %1
  25   %mul = fmul float %sub, %div
  26   %2 = load float, ptr %max, align 4
  27   %sub1 = fsub float %2, %1
  28   %mul2 = fmul float %sub1, %div
  29   %cmp = fcmp oge float %div, 0.000000e+00
  30   br i1 %cmp, label %if.then, label %if.end
  31
  32 if.then:                                          ; preds = %entry
  33   %3 = load float, ptr %max, align 4
  34   %4 = load float, ptr %a, align 4
  35   %sub3 = fsub float %3, %4
  36   %mul4 = fmul float %sub3, %div
  37   %5 = load float, ptr %min, align 4
  38   %sub5 = fsub float %5, %4
  39   %mul6 = fmul float %sub5, %div
  40   br label %if.end
  41
  42 if.end:                                          ; preds = %entry
  43   %p1 = phi float [ %mul4, %if.then ], [ 0.000000e+00, %entry ]
  44   %p2 = phi float [ %mul6, %if.then ], [ 0.000000e+00, %entry ]
  45
  46   %x = fadd float %p1, %mul2
  47   %y = fadd float %p2, %mul
  48   %z = fadd float %x, %y
  49   ret float %z
  50 }
  51
  52 ; Check that we hoist load and scalar expressions in dominator.
  53 ; CHECK-LABEL: @domHoisting
  54 ; CHECK: load
  55 ; CHECK: load
  56 ; CHECK: fsub
  57 ; CHECK: fmul
  58 ; CHECK: load
  59 ; CHECK: fsub
  60 ; CHECK: fmul
  61 ; CHECK-NOT: load
  62 ; CHECK-NOT: fmul
  63 ; CHECK-NOT: fsub
  64 define float @domHoisting(float %d, ptr %min, ptr %max, ptr %a) {
  65 entry:
  66   %div = fdiv float 1.000000e+00, %d
  67   %0 = load float, ptr %min, align 4
  68   %1 = load float, ptr %a, align 4
  69   %sub = fsub float %0, %1
  70   %mul = fmul float %sub, %div
  71   %2 = load float, ptr %max, align 4
  72   %sub1 = fsub float %2, %1
  73   %mul2 = fmul float %sub1, %div
  74   %cmp = fcmp oge float %div, 0.000000e+00
  75   br i1 %cmp, label %if.then, label %if.else
  76
  77 if.then:
  78   %3 = load float, ptr %max, align 4
  79   %4 = load float, ptr %a, align 4
  80   %sub3 = fsub float %3, %4
  81   %mul4 = fmul float %sub3, %div
  82   %5 = load float, ptr %min, align 4
  83   %sub5 = fsub float %5, %4
  84   %mul6 = fmul float %sub5, %div
  85   br label %if.end
  86
  87 if.else:
  88   %6 = load float, ptr %max, align 4
  89   %7 = load float, ptr %a, align 4
  90   %sub9 = fsub float %6, %7
  91   %mul10 = fmul float %sub9, %div
  92   %8 = load float, ptr %min, align 4
  93   %sub12 = fsub float %8, %7
  94   %mul13 = fmul float %sub12, %div
  95   br label %if.end
  96
  97 if.end:
  98   %p1 = phi float [ %mul4, %if.then ], [ %mul10, %if.else ]
  99   %p2 = phi float [ %mul6, %if.then ], [ %mul13, %if.else ]
 100
 101   %x = fadd float %p1, %mul2
 102   %y = fadd float %p2, %mul
 103   %z = fadd float %x, %y
 104   ret float %z
 105 }