test/Transforms/GVNHoist/hoist-mssa.ll

   1 ; RUN: opt -S -gvn-hoist -newgvn < %s | FileCheck %s
   2
   3 ; Check that store hoisting works: there should be only one store left.
   4 ; CHECK-LABEL: @getopt
   5 ; CHECK: store i32
   6 ; CHECK-NOT: store i32
   7
   8 @optind = external global i32, align 4
   9
  10 define void @getopt() {
  11 bb:
  12   br label %bb1
  13
  14 bb1:                                              ; preds = %bb
  15   br i1 undef, label %bb2, label %bb3
  16
  17 bb2:                                              ; preds = %bb1
  18   br label %bb13
  19
  20 bb3:                                              ; preds = %bb1
  21   br i1 undef, label %bb4, label %bb9
  22
  23 bb4:                                              ; preds = %bb3
  24   %tmp = load i32, i32* @optind, align 4
  25   br i1 undef, label %bb5, label %bb7
  26
  27 bb5:                                              ; preds = %bb4
  28   %tmp6 = add nsw i32 %tmp, 1
  29   store i32 %tmp6, i32* @optind, align 4
  30   br label %bb12
  31
  32 bb7:                                              ; preds = %bb4
  33   %tmp8 = add nsw i32 %tmp, 1
  34   store i32 %tmp8, i32* @optind, align 4
  35   br label %bb13
  36
  37 bb9:                                              ; preds = %bb3
  38   %tmp10 = load i32, i32* @optind, align 4
  39   %tmp11 = add nsw i32 %tmp10, 1
  40   store i32 %tmp11, i32* @optind, align 4
  41   br label %bb12
  42
  43 bb12:                                             ; preds = %bb9, %bb5
  44   br label %bb13
  45
  46 bb13:                                             ; preds = %bb12, %bb7, %bb2
  47   ret void
  48 }
  49
  50 @GlobalVar = internal global float 1.000000e+00
  51
  52 ; Check that we hoist stores and remove the MSSA phi node.
  53 ; CHECK-LABEL: @hoistStoresUpdateMSSA
  54 ; CHECK: store float
  55 ; CHECK-NOT: store float
  56 define float @hoistStoresUpdateMSSA(float %d) {
  57 entry:
  58   store float 0.000000e+00, float* @GlobalVar
  59   %cmp = fcmp oge float %d, 0.000000e+00
  60   br i1 %cmp, label %if.then, label %if.end
  61
  62 if.then:
  63   store float 0.000000e+00, float* @GlobalVar
  64   br label %if.end
  65
  66 if.end:
  67   %tmp = load float, float* @GlobalVar, align 4
  68   ret float %tmp
  69 }