test/Transforms/GVNHoist/hoist-recursive-geps.ll

   1 ; RUN: opt -gvn-hoist -newgvn -gvn-hoist -S < %s | FileCheck %s
   2
   3 ; Check that recursive GEPs are hoisted. Since hoisting creates
   4 ; fully redundant instructions, newgvn is run to remove them which then
   5 ; creates more opportunites for hoisting.
   6
   7 ; CHECK-LABEL: @fun
   8 ; CHECK: load
   9 ; CHECK: fdiv
  10 ; CHECK: load
  11 ; CHECK: load
  12 ; CHECK: load
  13 ; CHECK: fsub
  14 ; CHECK: fmul
  15 ; CHECK: fsub
  16 ; CHECK: fmul
  17 ; CHECK-NOT: fsub
  18 ; CHECK-NOT: fmul
  19
  20 %0 = type { double, double, double }
  21 %1 = type { double, double, double }
  22 %2 = type { %3, %1, %1 }
  23 %3 = type { i32 (...)**, %4, %10*, %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, i8* }
  30 %10 = type <{ i32 (...)**, 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, %3*, %14* }
  34 %14 = type opaque
  35
  36 @d = external global %0, align 8
  37 @p = external global %1, align 8
  38
  39 define zeroext i1 @fun(%2*, %12* dereferenceable(56), double*, %13*) {
  40   %5 = alloca %2*, align 8
  41   %6 = alloca %12*, align 8
  42   %7 = alloca double*, align 8
  43   %8 = alloca %13*, align 8
  44   %9 = alloca double, align 8
  45   %10 = alloca double, align 8
  46   %11 = alloca double, align 8
  47   %12 = alloca double, align 8
  48   %13 = alloca double, align 8
  49   %14 = alloca double, align 8
  50   %15 = alloca double, align 8
  51   store %2* %0, %2** %5, align 8
  52   store %12* %1, %12** %6, align 8
  53   store double* %2, double** %7, align 8
  54   store %13* %3, %13** %8, align 8
  55   %16 = load %2*, %2** %5, align 8
  56   %17 = load double, double* getelementptr inbounds (%0, %0* @d, i32 0, i32 0), align 8
  57   %18 = fdiv double 1.000000e+00, %17
  58   store double %18, double* %15, align 8
  59   %19 = load double, double* %15, align 8
  60   %20 = fcmp oge double %19, 0.000000e+00
  61   br i1 %20, label %21, label %36
  62
  63 ; <label>:21:                                     ; preds = %4
  64   %22 = getelementptr inbounds %2, %2* %16, i32 0, i32 1
  65   %23 = getelementptr inbounds %1, %1* %22, i32 0, i32 0
  66   %24 = load double, double* %23, align 8
  67   %25 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
  68   %26 = fsub double %24, %25
  69   %27 = load double, double* %15, align 8
  70   %28 = fmul double %26, %27
  71   store double %28, double* %9, align 8
  72   %29 = getelementptr inbounds %2, %2* %16, i32 0, i32 2
  73   %30 = getelementptr inbounds %1, %1* %29, i32 0, i32 0
  74   %31 = load double, double* %30, align 8
  75   %32 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
  76   %33 = fsub double %31, %32
  77   %34 = load double, double* %15, align 8
  78   %35 = fmul double %33, %34
  79   store double %35, double* %12, align 8
  80   br label %51
  81
  82 ; <label>:36:                                     ; preds = %4
  83   %37 = getelementptr inbounds %2, %2* %16, i32 0, i32 2
  84   %38 = getelementptr inbounds %1, %1* %37, i32 0, i32 0
  85   %39 = load double, double* %38, align 8
  86   %40 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
  87   %41 = fsub double %39, %40
  88   %42 = load double, double* %15, align 8
  89   %43 = fmul double %41, %42
  90   store double %43, double* %9, align 8
  91   %44 = getelementptr inbounds %2, %2* %16, i32 0, i32 1
  92   %45 = getelementptr inbounds %1, %1* %44, i32 0, i32 0
  93   %46 = load double, double* %45, align 8
  94   %47 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
  95   %48 = fsub double %46, %47
  96   %49 = load double, double* %15, align 8
  97   %50 = fmul double %48, %49
  98   store double %50, double* %12, align 8
  99   br label %51
 100
 101 ; <label>:51:                                     ; preds = %36, %21
 102   %52 = load double, double* %12, align 8
 103   %53 = load double, double* %9, align 8
 104   %54 = fcmp olt double %52, %53
 105   ret i1 %54
 106 }