test/Transforms/IndVarSimplify/replace-srem-by-urem.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   %rem = srem i32 %i.01, 2
  11 ; CHECK-NOT: srem
  12 ; CHECK:     urem
  13   %idxprom = sext i32 %rem 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 @test2(i32* %a, i32 %d) {
  25 ; CHECK-LABEL: @test2(
  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   %mul = mul nsw i32 %i.01, 64
  32   %rem = srem i32 %mul, %d
  33 ; CHECK-NOT: urem
  34   %idxprom = sext i32 %rem 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 @test3(i32* %a) {
  46 ; CHECK-LABEL: @test3(
  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   %rem = srem i32 2048, %i.01
  53 ; CHECK:     urem
  54 ; CHECK-NOT: srem
  55   %idxprom = sext i32 %rem 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 @test4(i32* %a) {
  67 ; CHECK-LABEL: @test4(
  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   %mul = mul nsw i32 %i.01, 64
  74   %rem = srem i32 %mul, 7
  75 ; CHECK:     urem
  76 ; CHECK-NOT: srem
  77   %idxprom = sext i32 %rem to i64
  78   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
  79   store i32 %i.01, i32* %arrayidx, align 4
  80   %inc = add nsw i32 %i.01, 1
  81   %cmp = icmp slt i32 %inc, 64
  82   br i1 %cmp, label %for.body, label %for.end
  83
  84 for.end:                                          ; preds = %for.body
  85   ret void
  86 }
  87
  88 define void @test5(i32* %a) {
  89 ; CHECK-LABEL: @test5(
  90 entry:
  91   br label %for.body
  92
  93 for.body:                                         ; preds = %entry, %for.body
  94   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  95   %mul = mul nsw i32 %i.01, 64
  96   %rem = srem i32 %mul, 6
  97 ; CHECK:     urem
  98 ; CHECK-NOT: srem
  99   %idxprom = sext i32 %rem to i64
 100   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %idxprom
 101   store i32 %i.01, i32* %arrayidx, align 4
 102   %inc = add nsw i32 %i.01, 1
 103   %cmp = icmp slt i32 %inc, 64
 104   br i1 %cmp, label %for.body, label %for.end
 105
 106 for.end:                                          ; preds = %for.body
 107   ret void
 108 }
 109