llvm/test/Transforms/SimplifyCFG/HoistCode.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=simplifycfg -hoist-common-insts=true -S | FileCheck %s
   3 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true -S | FileCheck %s
   4
   5 define void @foo(i1 %C, ptr %P) {
   6 ; CHECK-LABEL: @foo(
   7 ; CHECK-NEXT:  common.ret:
   8 ; CHECK-NEXT:    store i32 7, ptr [[P:%.*]], align 4
   9 ; CHECK-NEXT:    ret void
  10 ;
  11   br i1 %C, label %T, label %F
  12 T:              ; preds = %0
  13   store i32 7, ptr %P
  14   ret void
  15 F:              ; preds = %0
  16   store i32 7, ptr %P
  17   ret void
  18 }
  19
  20 define void @foo_switch(i64 %C, ptr %P) {
  21 ; CHECK-LABEL: @foo_switch(
  22 ; CHECK-NEXT:    switch i64 [[C:%.*]], label [[BB0:%.*]] [
  23 ; CHECK-NEXT:    i64 1, label [[BB1:%.*]]
  24 ; CHECK-NEXT:    i64 2, label [[BB2:%.*]]
  25 ; CHECK-NEXT:    ]
  26 ; CHECK:       common.ret:
  27 ; CHECK-NEXT:    ret void
  28 ; CHECK:       bb0:
  29 ; CHECK-NEXT:    store i32 7, ptr [[P:%.*]], align 4
  30 ; CHECK-NEXT:    br label [[COMMON_RET:%.*]]
  31 ; CHECK:       bb1:
  32 ; CHECK-NEXT:    store i32 7, ptr [[P]], align 4
  33 ; CHECK-NEXT:    br label [[COMMON_RET]]
  34 ; CHECK:       bb2:
  35 ; CHECK-NEXT:    store i32 7, ptr [[P]], align 4
  36 ; CHECK-NEXT:    br label [[COMMON_RET]]
  37 ;
  38   switch i64 %C, label %bb0 [
  39   i64 1, label %bb1
  40   i64 2, label %bb2
  41   ]
  42 bb0:              ; preds = %0
  43   store i32 7, ptr %P
  44   ret void
  45 bb1:              ; preds = %0
  46   store i32 7, ptr %P
  47   ret void
  48 bb2:              ; preds = %0
  49   store i32 7, ptr %P
  50   ret void
  51 }
  52
  53 define float @PR39535min(float %x) {
  54 ; CHECK-LABEL: @PR39535min(
  55 ; CHECK-NEXT:  entry:
  56 ; CHECK-NEXT:    [[TOBOOL:%.*]] = fcmp une float [[X:%.*]], 0.000000e+00
  57 ; CHECK-NEXT:    [[DOTX:%.*]] = select fast i1 [[TOBOOL]], float 0.000000e+00, float [[X]]
  58 ; CHECK-NEXT:    ret float [[DOTX]]
  59 ;
  60 entry:
  61   %tobool = fcmp une float %x, 0.0
  62   br i1 %tobool, label %cond.true, label %cond.false
  63
  64 cond.true:
  65   br label %cond.end
  66
  67 cond.false:
  68   br label %cond.end
  69
  70 cond.end:
  71   %cond = phi fast float [ 0.0, %cond.true ], [ %x, %cond.false ]
  72   ret float %cond
  73 }
  74
  75 define float @PR39535min_switch(i64 %i, float %x) {
  76 ; CHECK-LABEL: @PR39535min_switch(
  77 ; CHECK-NEXT:  entry:
  78 ; CHECK-NEXT:    switch i64 [[I:%.*]], label [[END:%.*]] [
  79 ; CHECK-NEXT:    i64 1, label [[BB1:%.*]]
  80 ; CHECK-NEXT:    i64 2, label [[BB2:%.*]]
  81 ; CHECK-NEXT:    ]
  82 ; CHECK:       bb1:
  83 ; CHECK-NEXT:    br label [[END]]
  84 ; CHECK:       bb2:
  85 ; CHECK-NEXT:    br label [[END]]
  86 ; CHECK:       end:
  87 ; CHECK-NEXT:    [[COND:%.*]] = phi fast float [ [[X:%.*]], [[BB1]] ], [ [[X]], [[BB2]] ], [ 0.000000e+00, [[ENTRY:%.*]] ]
  88 ; CHECK-NEXT:    ret float [[COND]]
  89 ;
  90 entry:
  91   switch i64 %i, label %bb0 [
  92   i64 1, label %bb1
  93   i64 2, label %bb2
  94   ]
  95
  96 bb0:
  97   br label %end
  98
  99 bb1:
 100   br label %end
 101
 102 bb2:
 103   br label %end
 104
 105 end:
 106   %cond = phi fast float [ 0.0, %bb0 ], [ %x, %bb1 ], [ %x, %bb2 ]
 107   ret float %cond
 108 }