1; RUN: opt -gvn-hoist -newgvn -S < %s | FileCheck %s 2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 3target 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 19define float @dominatorHoisting(float %d, float* %min, float* %max, float* %a) { 20entry: 21 %div = fdiv float 1.000000e+00, %d 22 %0 = load float, float* %min, align 4 23 %1 = load float, float* %a, align 4 24 %sub = fsub float %0, %1 25 %mul = fmul float %sub, %div 26 %2 = load float, float* %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 32if.then: ; preds = %entry 33 %3 = load float, float* %max, align 4 34 %4 = load float, float* %a, align 4 35 %sub3 = fsub float %3, %4 36 %mul4 = fmul float %sub3, %div 37 %5 = load float, float* %min, align 4 38 %sub5 = fsub float %5, %4 39 %mul6 = fmul float %sub5, %div 40 br label %if.end 41 42if.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 64define float @domHoisting(float %d, float* %min, float* %max, float* %a) { 65entry: 66 %div = fdiv float 1.000000e+00, %d 67 %0 = load float, float* %min, align 4 68 %1 = load float, float* %a, align 4 69 %sub = fsub float %0, %1 70 %mul = fmul float %sub, %div 71 %2 = load float, float* %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 77if.then: 78 %3 = load float, float* %max, align 4 79 %4 = load float, float* %a, align 4 80 %sub3 = fsub float %3, %4 81 %mul4 = fmul float %sub3, %div 82 %5 = load float, float* %min, align 4 83 %sub5 = fsub float %5, %4 84 %mul6 = fmul float %sub5, %div 85 br label %if.end 86 87if.else: 88 %6 = load float, float* %max, align 4 89 %7 = load float, float* %a, align 4 90 %sub9 = fsub float %6, %7 91 %mul10 = fmul float %sub9, %div 92 %8 = load float, float* %min, align 4 93 %sub12 = fsub float %8, %7 94 %mul13 = fmul float %sub12, %div 95 br label %if.end 96 97if.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} 106