test/Transforms/IndVarSimplify/udiv-invariant-but-traps.ll

   1 ; RUN: opt -indvars -S < %s | FileCheck %s
   2
   3 @b = common global i32 0, align 4
   4
   5 define i32 @foo(i32 %x, i1 %y) {
   6 bb0:
   7   br label %bb1
   8
   9 bb1:
  10   br i1 %y, label %bb14, label %bb8
  11
  12 bb8:
  13   %i = phi i64 [ %i.next, %bb8 ], [ 0, %bb1 ]
  14   %i.next = add i64 %i, 1
  15   %div = udiv i32 1, %x
  16   %c = icmp eq i64 %i.next, 6
  17   br i1 %c, label %bb11, label %bb8
  18
  19 bb11:
  20   br i1 %y, label %bb1, label %bb13
  21
  22 bb13:
  23   store i32 %div, i32* @b, align 4
  24   br label %bb14
  25
  26 bb14:
  27   ret i32 0
  28 }
  29
  30 ; CHECK-LABEL: @foo(
  31 ; CHECK: bb8:
  32 ; CHECK: udiv