1 ; RUN: opt -gvn-hoist -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, float* %min, float* %max, float* %a) { 20 entry: 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 32 if.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 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, float* %min, float* %max, float* %a) { 65 entry: 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 77 if.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 87 if.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 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 } 106
