llvm/test/Transforms/IRCE/pr57335.ll

   1 ; RUN: opt -passes=irce -S < %s 2>&1 | FileCheck %s
   2 ; RUN: opt -passes='require<branch-prob>,irce' -S < %s 2>&1 | FileCheck %s
   3
   4 ; Make sure we don't crash.
   5 define void @test() {
   6 ; CHECK-LABEL: test
   7 bb:
   8   %tmp = icmp ult i32 0, undef
   9   br i1 %tmp, label %bb1, label %bb31
  10
  11 bb1:                                              ; preds = %bb
  12   br label %bb5
  13
  14 bb2:                                              ; preds = %bb20
  15   %tmp3 = phi i32 [ %tmp21, %bb20 ]
  16   %tmp4 = add nuw nsw i32 %tmp3, 100
  17   br label %bb5
  18
  19 bb5:                                              ; preds = %bb2, %bb1
  20   %tmp6 = phi i32 [ 102, %bb1 ], [ %tmp4, %bb2 ]
  21   %tmp7 = phi i32 [ 2, %bb1 ], [ %tmp3, %bb2 ]
  22   br label %bb12
  23
  24 bb8:                                              ; preds = %bb12
  25   %tmp9 = phi i32 [ %tmp14, %bb12 ]
  26   %tmp10 = add nsw i32 %tmp9, -1
  27   %tmp11 = icmp ult i32 %tmp10, undef
  28   br i1 %tmp11, label %bb12, label %bb32
  29
  30 bb12:                                             ; preds = %bb8, %bb5
  31   %tmp13 = phi i32 [ 1, %bb5 ], [ %tmp9, %bb8 ]
  32   %tmp14 = add nuw nsw i32 %tmp13, 1
  33   %tmp15 = load atomic i32, ptr addrspace(1) undef unordered, align 8
  34   %tmp16 = icmp ult i32 %tmp14, %tmp6
  35   br i1 %tmp16, label %bb8, label %bb17
  36
  37 bb17:                                             ; preds = %bb12
  38   %tmp18 = phi i32 [ %tmp15, %bb12 ]
  39   %tmp19 = icmp ult i32 %tmp7, %tmp18
  40   br i1 %tmp19, label %bb20, label %bb33
  41
  42 bb20:                                             ; preds = %bb17
  43   %tmp21 = add nuw nsw i32 %tmp7, 2
  44   br i1 undef, label %bb22, label %bb2
  45
  46 bb22:                                             ; preds = %bb20
  47   %tmp23 = phi i32 [ %tmp18, %bb20 ]
  48   br label %bb24
  49
  50 bb24:                                             ; preds = %bb30, %bb22
  51   %tmp25 = phi i32 [ 3, %bb22 ], [ %tmp26, %bb30 ]
  52   %tmp26 = add i32 %tmp25, 1
  53   %tmp27 = icmp ult i32 %tmp26, %tmp23
  54   %tmp28 = and i1 undef, %tmp27
  55   br i1 %tmp28, label %bb30, label %bb29
  56
  57 bb29:                                             ; preds = %bb24
  58   ret void
  59
  60 bb30:                                             ; preds = %bb24
  61   br label %bb24
  62
  63 bb31:                                             ; preds = %bb
  64   ret void
  65
  66 bb32:                                             ; preds = %bb8
  67   unreachable
  68
  69 bb33:                                             ; preds = %bb17
  70   ret void
  71 }