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

   1 ; REQUIRES: asserts
   2
   3 ; RUN: opt -newgvn -S %s | FileCheck %s
   4
   5 ; XFAIL: *
   6
   7 ; TODO: Currently NewGVN crashes on the function below, see PR42422.
   8
   9 define void @d() {
  10 entry:
  11   br label %for.cond
  12
  13 for.cond:                                         ; preds = %cleanup20, %entry
  14   br label %for.cond1
  15
  16 for.cond1:                                        ; preds = %for.inc17, %for.cond
  17   %0 = phi i32 [ %inc18, %for.inc17 ], [ 0, %for.cond ]
  18   %cmp = icmp sle i32 %0, 1
  19   br i1 %cmp, label %for.body, label %for.end19
  20
  21 for.body:                                         ; preds = %for.cond1
  22   br i1 undef, label %for.body3, label %for.body.for.cond4_crit_edge
  23
  24 for.body.for.cond4_crit_edge:                     ; preds = %for.body
  25   br label %for.cond4
  26
  27 for.body3:                                        ; preds = %for.body
  28   br label %cleanup14
  29
  30 for.cond4:                                        ; preds = %cleanup, %for.body.for.cond4_crit_edge
  31   br i1 undef, label %if.then, label %if.end
  32
  33 if.then:                                          ; preds = %for.cond4
  34   br label %cleanup
  35
  36 if.end:                                           ; preds = %for.cond4
  37   br label %for.cond6
  38
  39 for.cond6:                                        ; preds = %for.inc, %if.end
  40   %1 = phi i64 [ %inc, %for.inc ], [ 0, %if.end ]
  41   %cmp7 = icmp sle i64 %1, 1
  42   br i1 %cmp7, label %for.inc, label %for.end9
  43
  44 for.inc:                                          ; preds = %for.cond6
  45   %inc = add nsw i64 %1, 1
  46   br label %for.cond6
  47
  48 for.end9:                                         ; preds = %for.cond6
  49   br i1 true, label %if.then11, label %if.end12
  50
  51 if.then11:                                        ; preds = %for.end9
  52   br label %cleanup
  53
  54 if.end12:                                         ; preds = %for.end9
  55   br label %cleanup
  56
  57 cleanup:                                          ; preds = %if.end12, %if.then11, %if.then
  58   %cleanup.dest = phi i32 [ undef, %if.end12 ], [ 1, %if.then11 ], [ 9, %if.then ]
  59   switch i32 %cleanup.dest, label %cleanup14 [
  60     i32 0, label %for.cond4
  61     i32 9, label %for.end13
  62   ]
  63
  64 for.end13:                                        ; preds = %cleanup
  65   br label %cleanup14
  66
  67 cleanup14:                                        ; preds = %for.end13, %cleanup, %for.body3
  68   %cleanup.dest15 = phi i32 [ 0, %for.end13 ], [ %cleanup.dest, %cleanup ], [ 1, %for.body3 ]
  69   %cond1 = icmp eq i32 %cleanup.dest15, 0
  70   br i1 %cond1, label %for.inc17, label %cleanup20
  71
  72 for.inc17:                                        ; preds = %cleanup14
  73   %inc18 = add nsw i32 %0, 1
  74   br label %for.cond1
  75
  76 for.end19:                                        ; preds = %for.cond1
  77   br label %cleanup20
  78
  79 cleanup20:                                        ; preds = %for.end19, %cleanup14
  80   %cleanup.dest21 = phi i32 [ %cleanup.dest15, %cleanup14 ], [ 0, %for.end19 ]
  81   %cond = icmp eq i32 %cleanup.dest21, 0
  82   br i1 %cond, label %for.cond, label %cleanup23
  83
  84 cleanup23:                                        ; preds = %cleanup20
  85   ret void
  86 }