test/Transforms/SimplifyCFG/div-rem-pairs.ll

   1 ; RUN: opt -simplifycfg -S < %s | FileCheck %s
   2
   3 ; We could hoist the div/rem in these tests because it's safe to do so.
   4 ; PR31028 - https://bugs.llvm.org/show_bug.cgi?id=31028
   5 ; ...but since there's a separate pass for that, don't bother.
   6
   7 define i32 @hoist_sdiv(i32 %a, i32 %b) {
   8 ; CHECK-LABEL: @hoist_sdiv(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[REM:%.*]] = srem i32 %a, %b
  11 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[REM]], 42
  12 ; CHECK-NEXT:    br i1 [[CMP]], label %if, label %end
  13 ; CHECK:       if:
  14 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i32 %a, %b
  15 ; CHECK-NEXT:    br label %end
  16 ; CHECK:       end:
  17 ; CHECK-NEXT:    [[RET:%.*]] = phi i32 [ [[DIV]], %if ], [ 3, %entry ]
  18 ; CHECK-NEXT:    ret i32 [[RET]]
  19 ;
  20 entry:
  21   %rem = srem i32 %a, %b
  22   %cmp = icmp eq i32 %rem, 42
  23   br i1 %cmp, label %if, label %end
  24
  25 if:
  26   %div = sdiv i32 %a, %b
  27   br label %end
  28
  29 end:
  30   %ret = phi i32 [ %div, %if ], [ 3, %entry ]
  31   ret i32 %ret
  32 }
  33
  34 define i64 @hoist_udiv(i64 %a, i64 %b) {
  35 ; CHECK-LABEL: @hoist_udiv(
  36 ; CHECK-NEXT:  entry:
  37 ; CHECK-NEXT:    [[REM:%.*]] = urem i64 %a, %b
  38 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[REM]], 42
  39 ; CHECK-NEXT:    br i1 [[CMP]], label %if, label %end
  40 ; CHECK:       if:
  41 ; CHECK-NEXT:    [[DIV:%.*]] = udiv i64 %a, %b
  42 ; CHECK-NEXT:    br label %end
  43 ; CHECK:       end:
  44 ; CHECK-NEXT:    [[RET:%.*]] = phi i64 [ [[DIV]], %if ], [ 3, %entry ]
  45 ; CHECK-NEXT:    ret i64 [[RET]]
  46 ;
  47 entry:
  48   %rem = urem i64 %a, %b
  49   %cmp = icmp eq i64 %rem, 42
  50   br i1 %cmp, label %if, label %end
  51
  52 if:
  53   %div = udiv i64 %a, %b
  54   br label %end
  55
  56 end:
  57   %ret = phi i64 [ %div, %if ], [ 3, %entry ]
  58   ret i64 %ret
  59 }
  60
  61 define i16 @hoist_srem(i16 %a, i16 %b) {
  62 ; CHECK-LABEL: @hoist_srem(
  63 ; CHECK-NEXT:  entry:
  64 ; CHECK-NEXT:    [[DIV:%.*]] = sdiv i16 %a, %b
  65 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i16 [[DIV]], 42
  66 ; CHECK-NEXT:    br i1 [[CMP]], label %if, label %end
  67 ; CHECK:       if:
  68 ; CHECK-NEXT:    [[REM:%.*]] = srem i16 %a, %b
  69 ; CHECK-NEXT:    br label %end
  70 ; CHECK:       end:
  71 ; CHECK-NEXT:    [[RET:%.*]] = phi i16 [ [[REM]], %if ], [ 3, %entry ]
  72 ; CHECK-NEXT:    ret i16 [[RET]]
  73 ;
  74 entry:
  75   %div = sdiv i16 %a, %b
  76   %cmp = icmp eq i16 %div, 42
  77   br i1 %cmp, label %if, label %end
  78
  79 if:
  80   %rem = srem i16 %a, %b
  81   br label %end
  82
  83 end:
  84   %ret = phi i16 [ %rem, %if ], [ 3, %entry ]
  85   ret i16 %ret
  86 }
  87
  88 define i8 @hoist_urem(i8 %a, i8 %b) {
  89 ; CHECK-LABEL: @hoist_urem(
  90 ; CHECK-NEXT:  entry:
  91 ; CHECK-NEXT:    [[DIV:%.*]] = udiv i8 %a, %b
  92 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[DIV]], 42
  93 ; CHECK-NEXT:    br i1 [[CMP]], label %if, label %end
  94 ; CHECK:       if:
  95 ; CHECK-NEXT:    [[REM:%.*]] = urem i8 %a, %b
  96 ; CHECK-NEXT:    br label %end
  97 ; CHECK:       end:
  98 ; CHECK-NEXT:    [[RET:%.*]] = phi i8 [ [[REM]], %if ], [ 3, %entry ]
  99 ; CHECK-NEXT:    ret i8 [[RET]]
 100 ;
 101 entry:
 102   %div = udiv i8 %a, %b
 103   %cmp = icmp eq i8 %div, 42
 104   br i1 %cmp, label %if, label %end
 105
 106 if:
 107   %rem = urem i8 %a, %b
 108   br label %end
 109
 110 end:
 111   %ret = phi i8 [ %rem, %if ], [ 3, %entry ]
 112   ret i8 %ret
 113 }
 114