test/Transforms/CorrelatedValuePropagation/sdiv.ll

   1 ; RUN: opt < %s -correlated-propagation -S | FileCheck %s
   2
   3 ; CHECK-LABEL: @test0(
   4 define void @test0(i32 %n) {
   5 entry:
   6   br label %for.cond
   7
   8 for.cond:                                         ; preds = %for.body, %entry
   9   %j.0 = phi i32 [ %n, %entry ], [ %div, %for.body ]
  10   %cmp = icmp sgt i32 %j.0, 1
  11   br i1 %cmp, label %for.body, label %for.end
  12
  13 for.body:                                         ; preds = %for.cond
  14 ; CHECK: %div1 = udiv i32 %j.0, 2
  15   %div = sdiv i32 %j.0, 2
  16   br label %for.cond
  17
  18 for.end:                                          ; preds = %for.cond
  19   ret void
  20 }
  21
  22 ; CHECK-LABEL: @test1(
  23 define void @test1(i32 %n) {
  24 entry:
  25   br label %for.cond
  26
  27 for.cond:                                         ; preds = %for.body, %entry
  28   %j.0 = phi i32 [ %n, %entry ], [ %div, %for.body ]
  29   %cmp = icmp sgt i32 %j.0, -2
  30   br i1 %cmp, label %for.body, label %for.end
  31
  32 for.body:                                         ; preds = %for.cond
  33 ; CHECK: %div = sdiv i32 %j.0, 2
  34   %div = sdiv i32 %j.0, 2
  35   br label %for.cond
  36
  37 for.end:                                          ; preds = %for.cond
  38   ret void
  39 }
  40
  41 ; CHECK-LABEL: @test2(
  42 define void @test2(i32 %n) {
  43 entry:
  44   %cmp = icmp sgt i32 %n, 1
  45   br i1 %cmp, label %bb, label %exit
  46
  47 bb:
  48 ; CHECK: %div1 = udiv i32 %n, 2
  49   %div = sdiv i32 %n, 2
  50   br label %exit
  51
  52 exit:
  53   ret void
  54 }
  55
  56 ; looping case where loop has exactly one block
  57 ; at the point of sdiv, we know that %a is always greater than 0,
  58 ; because of the guard before it, so we can transform it to udiv.
  59 declare void @llvm.experimental.guard(i1,...)
  60 ; CHECK-LABEL: @test4
  61 define void @test4(i32 %n) {
  62 entry:
  63   %cmp = icmp sgt i32 %n, 0
  64   br i1 %cmp, label %loop, label %exit
  65
  66 loop:
  67 ; CHECK: udiv i32 %a, 6
  68   %a = phi i32 [ %n, %entry ], [ %div, %loop ]
  69   %cond = icmp sgt i32 %a, 4
  70   call void(i1,...) @llvm.experimental.guard(i1 %cond) [ "deopt"() ]
  71   %div = sdiv i32 %a, 6
  72   br i1 %cond, label %loop, label %exit
  73
  74 exit:
  75   ret void
  76 }
  77
  78 ; same test as above with assume instead of guard.
  79 declare void @llvm.assume(i1)
  80 ; CHECK-LABEL: @test5
  81 define void @test5(i32 %n) {
  82 entry:
  83   %cmp = icmp sgt i32 %n, 0
  84   br i1 %cmp, label %loop, label %exit
  85
  86 loop:
  87 ; CHECK: udiv i32 %a, 6
  88   %a = phi i32 [ %n, %entry ], [ %div, %loop ]
  89   %cond = icmp sgt i32 %a, 4
  90   call void @llvm.assume(i1 %cond)
  91   %div = sdiv i32 %a, 6
  92   %loopcond = icmp sgt i32 %div, 8
  93   br i1 %loopcond, label %loop, label %exit
  94
  95 exit:
  96   ret void
  97 }