llvm/test/Transforms/NewGVN/todo-pr35074-phi-of-ops.ll

   1 ; REQUIRES: asserts
   2
   3 ; RUN: opt -newgvn -S %s | FileCheck %s
   4
   5 XFAIL: *
   6
   7 ; TODO: Test case for PR35074. Crashes caused by phi-of-ops.
   8 define void @crash1_pr35074(i32 %this, i1 %c) {
   9 entry:
  10   br label %for.cond
  11
  12 for.cond:                                         ; preds = %for.inc6, %entry
  13   %y.0 = phi i32 [ 1, %entry ], [ %inc7, %for.inc6 ]
  14   br i1 %c, label %for.inc6, label %for.body.lr.ph
  15
  16 for.body.lr.ph:                                   ; preds = %for.cond
  17   %sub = add nsw i32 %y.0, -1
  18   br label %for.body4
  19
  20 for.body4:                                        ; preds = %for.body.lr.ph
  21   %cmp = icmp ugt i32 %sub, %y.0
  22   br i1 %cmp, label %for.end, label %for.body4.1
  23
  24 for.end:                                          ; preds = %for.body4.1, %for.body4
  25   ret void
  26
  27 for.inc6:                                         ; preds = %for.cond
  28   %inc7 = add nuw nsw i32 %y.0, 1
  29   br label %for.cond
  30
  31 for.body4.1:                                      ; preds = %for.body4
  32   %inc.1 = add nuw nsw i32 %y.0, 1
  33   tail call void @_blah(i32 %inc.1)
  34   br label %for.end
  35 }
  36
  37 declare void @_blah(i32)