test/Transforms/IndVarSimplify/replace-sdiv-by-udiv.ll

   1 ; RUN: opt < %s -indvars -S | FileCheck %s
   2
   3 define void @test0(i32* %a) {
   4 ; CHECK-LABEL: @test0(
   5 entry:
   6   br label %for.body
   7
   8 for.body:                                         ; preds = %entry, %for.body
   9   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  10   %div = sdiv i32 %i.01, 2
  11 ; CHECK-NOT: sdiv
  12 ; CHECK:     udiv
  13   %idxprom = sext i32 %div to i64
  14   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
  15   store i32 %i.01, i32* %arrayidx, align 4
  16   %inc = add nsw i32 %i.01, 1
  17   %cmp = icmp slt i32 %inc, 64
  18   br i1 %cmp, label %for.body, label %for.end
  19
  20 for.end:                                          ; preds = %for.body
  21   ret void
  22 }
  23
  24 define void @test1(i32* %a) {
  25 ; CHECK-LABEL: @test1(
  26 entry:
  27   br label %for.body
  28
  29 for.body:                                         ; preds = %entry, %for.body
  30   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  31   %div = sdiv exact i32 %i.01, 2
  32 ; CHECK-NOT: sdiv
  33 ; CHECK:     udiv exact
  34   %idxprom = sext i32 %div to i64
  35   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
  36   store i32 %i.01, i32* %arrayidx, align 4
  37   %inc = add nsw i32 %i.01, 1
  38   %cmp = icmp slt i32 %inc, 64
  39   br i1 %cmp, label %for.body, label %for.end
  40
  41 for.end:                                          ; preds = %for.body
  42   ret void
  43 }
  44
  45 define void @test2(i32* %a, i32 %d) {
  46 ; CHECK-LABEL: @test2(
  47 entry:
  48   br label %for.body
  49
  50 for.body:                                         ; preds = %entry, %for.body
  51   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  52   %mul = mul nsw i32 %i.01, 64
  53   %div = sdiv i32 %mul, %d
  54 ; CHECK-NOT: udiv
  55   %idxprom = sext i32 %div to i64
  56   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
  57   store i32 %i.01, i32* %arrayidx, align 4
  58   %inc = add nsw i32 %i.01, 1
  59   %cmp = icmp slt i32 %inc, 64
  60   br i1 %cmp, label %for.body, label %for.end
  61
  62 for.end:                                          ; preds = %for.body
  63   ret void
  64 }
  65
  66 define void @test3(i32* %a) {
  67 ; CHECK-LABEL: @test3(
  68 entry:
  69   br label %for.body
  70
  71 for.body:                                         ; preds = %entry, %for.body
  72   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  73   %div = sdiv i32 2048, %i.01
  74 ; CHECK:     udiv
  75 ; CHECK-NOT: sdiv
  76   %idxprom = sext i32 %div to i64
  77   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
  78   store i32 %i.01, i32* %arrayidx, align 4
  79   %inc = add nsw i32 %i.01, 1
  80   %cmp = icmp slt i32 %inc, 64
  81   br i1 %cmp, label %for.body, label %for.end
  82
  83 for.end:                                          ; preds = %for.body
  84   ret void
  85 }
  86
  87 define void @test4(i32* %a) {
  88 ; CHECK-LABEL: @test4(
  89 entry:
  90   br label %for.body
  91
  92 for.body:                                         ; preds = %entry, %for.body
  93   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  94   %mul = mul nsw i32 %i.01, 64
  95   %div = sdiv i32 %mul, 8
  96 ; CHECK:     udiv
  97 ; CHECK-NOT: sdiv
  98   %idxprom = sext i32 %div to i64
  99   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
 100   store i32 %i.01, i32* %arrayidx, align 4
 101   %inc = add nsw i32 %i.01, 1
 102   %cmp = icmp slt i32 %inc, 64
 103   br i1 %cmp, label %for.body, label %for.end
 104
 105 for.end:                                          ; preds = %for.body
 106   ret void
 107 }
 108
 109 define void @test5(i32* %a) {
 110 ; CHECK-LABEL: @test5(
 111 entry:
 112   br label %for.body
 113
 114 for.body:                                         ; preds = %entry, %for.body
 115   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 116   %mul = mul nsw i32 %i.01, 64
 117   %div = sdiv i32 %mul, 6
 118 ; CHECK:     udiv
 119 ; CHECK-NOT: sdiv
 120   %idxprom = sext i32 %div to i64
 121   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
 122   store i32 %i.01, i32* %arrayidx, align 4
 123   %inc = add nsw i32 %i.01, 1
 124   %cmp = icmp slt i32 %inc, 64
 125   br i1 %cmp, label %for.body, label %for.end
 126
 127 for.end:                                          ; preds = %for.body
 128   ret void
 129 }
 130