107 lines · plain
1; RUN: opt -passes='function(gvn-hoist),function(newgvn),function(gvn-hoist)' -S < %s | FileCheck %s2 3; Check that recursive GEPs are hoisted. Since hoisting creates4; fully redundant instructions, newgvn is run to remove them which then5; creates more opportunites for hoisting.6 7; CHECK-LABEL: @fun8; CHECK: load9; CHECK: fdiv10; CHECK: load11; CHECK: load12; CHECK: load13; CHECK: fsub14; CHECK: fmul15; CHECK: fsub16; CHECK: fmul17; CHECK-NOT: fsub18; CHECK-NOT: fmul19 20%0 = type { double, double, double }21%1 = type { double, double, double }22%2 = type { %3, %1, %1 }23%3 = type { ptr, %4, ptr, %11, %11, %11, %11, %11, %11, %11, %11, %11 }24%4 = type { %5 }25%5 = type { %6 }26%6 = type { %7 }27%7 = type { %8 }28%8 = type { %9 }29%9 = type { i64, i64, ptr }30%10 = type <{ ptr, i32, [4 x i8] }>31%11 = type { [4 x [4 x double]] }32%12 = type <{ %1, %0, i32, [4 x i8] }>33%13 = type { %1, %0, %12, ptr, ptr }34%14 = type opaque35 36@d = external global %0, align 837@p = external global %1, align 838 39define zeroext i1 @fun(ptr, ptr dereferenceable(56), ptr, ptr) {40 %5 = alloca ptr, align 841 %6 = alloca ptr, align 842 %7 = alloca ptr, align 843 %8 = alloca ptr, align 844 %9 = alloca double, align 845 %10 = alloca double, align 846 %11 = alloca double, align 847 %12 = alloca double, align 848 %13 = alloca double, align 849 %14 = alloca double, align 850 %15 = alloca double, align 851 store ptr %0, ptr %5, align 852 store ptr %1, ptr %6, align 853 store ptr %2, ptr %7, align 854 store ptr %3, ptr %8, align 855 %16 = load ptr, ptr %5, align 856 %17 = load double, ptr @d, align 857 %18 = fdiv double 1.000000e+00, %1758 store double %18, ptr %15, align 859 %19 = load double, ptr %15, align 860 %20 = fcmp oge double %19, 0.000000e+0061 br i1 %20, label %21, label %3662 63; <label>:21: ; preds = %464 %22 = getelementptr inbounds %2, ptr %16, i32 0, i32 165 %23 = getelementptr inbounds %1, ptr %22, i32 0, i32 066 %24 = load double, ptr %23, align 867 %25 = load double, ptr @p, align 868 %26 = fsub double %24, %2569 %27 = load double, ptr %15, align 870 %28 = fmul double %26, %2771 store double %28, ptr %9, align 872 %29 = getelementptr inbounds %2, ptr %16, i32 0, i32 273 %30 = getelementptr inbounds %1, ptr %29, i32 0, i32 074 %31 = load double, ptr %30, align 875 %32 = load double, ptr @p, align 876 %33 = fsub double %31, %3277 %34 = load double, ptr %15, align 878 %35 = fmul double %33, %3479 store double %35, ptr %12, align 880 br label %5181 82; <label>:36: ; preds = %483 %37 = getelementptr inbounds %2, ptr %16, i32 0, i32 284 %38 = getelementptr inbounds %1, ptr %37, i32 0, i32 085 %39 = load double, ptr %38, align 886 %40 = load double, ptr @p, align 887 %41 = fsub double %39, %4088 %42 = load double, ptr %15, align 889 %43 = fmul double %41, %4290 store double %43, ptr %9, align 891 %44 = getelementptr inbounds %2, ptr %16, i32 0, i32 192 %45 = getelementptr inbounds %1, ptr %44, i32 0, i32 093 %46 = load double, ptr %45, align 894 %47 = load double, ptr @p, align 895 %48 = fsub double %46, %4796 %49 = load double, ptr %15, align 897 %50 = fmul double %48, %4998 store double %50, ptr %12, align 899 br label %51100 101; <label>:51: ; preds = %36, %21102 %52 = load double, ptr %12, align 8103 %53 = load double, ptr %9, align 8104 %54 = fcmp olt double %52, %53105 ret i1 %54106}107