llvm/test/Transforms/SimplifyCFG/pr34131.ll

   1 ; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
   2
   3 ; Just checking for lack of crash here, but we should be able to check the IR?
   4 ; Earlier version using auto-generated checks from utils/update_test_checks.py
   5 ; had bot problems though...
   6
   7 define void @patatino() {
   8
   9 ; CHECK-LABEL: @patatino
  10
  11   br label %bb1
  12 bb1:                                              ; preds = %bb36, %0
  13   br label %bb2
  14 bb2:                                              ; preds = %bb3, %bb1
  15   br i1 undef, label %bb4, label %bb3
  16 bb3:                                              ; preds = %bb4, %bb2
  17   br i1 undef, label %bb2, label %bb5
  18 bb4:                                              ; preds = %bb2
  19   switch i32 undef, label %bb3 [
  20   ]
  21 bb5:                                              ; preds = %bb3
  22   br label %bb6
  23 bb6:                                              ; preds = %bb5
  24   br i1 undef, label %bb7, label %bb9
  25 bb7:                                              ; preds = %bb6
  26   %tmp = or i64 undef, 1
  27   %tmp8 = icmp ult i64 %tmp, 0
  28   br i1 %tmp8, label %bb12, label %bb9
  29 bb9:                                              ; preds = %bb35, %bb34, %bb33, %bb32, %bb31, %bb30, %bb27, %bb24, %bb21, %bb18, %bb16, %bb14, %bb12, %bb7, %bb6
  30   br label %bb11
  31 bb10:                                             ; preds = %bb36
  32   br label %bb11
  33 bb11:                                             ; preds = %bb10, %bb9
  34   ret void
  35 bb12:                                             ; preds = %bb7
  36   %tmp13 = icmp ult i64 0, 0
  37   br i1 %tmp13, label %bb14, label %bb9
  38 bb14:                                             ; preds = %bb12
  39   %tmp15 = icmp ult i64 undef, 0
  40   br i1 %tmp15, label %bb16, label %bb9
  41 bb16:                                             ; preds = %bb14
  42   %tmp17 = icmp ult i64 undef, 0
  43   br i1 %tmp17, label %bb18, label %bb9
  44 bb18:                                             ; preds = %bb16
  45   %tmp19 = or i64 undef, 5
  46   %tmp20 = icmp ult i64 %tmp19, 0
  47   br i1 %tmp20, label %bb21, label %bb9
  48 bb21:                                             ; preds = %bb18
  49   %tmp22 = or i64 undef, 6
  50   %tmp23 = icmp ult i64 %tmp22, 0
  51   br i1 %tmp23, label %bb24, label %bb9
  52 bb24:                                             ; preds = %bb21
  53   %tmp25 = or i64 undef, 7
  54   %tmp26 = icmp ult i64 %tmp25, 0
  55   br i1 %tmp26, label %bb27, label %bb9
  56 bb27:                                             ; preds = %bb24
  57   %tmp28 = or i64 undef, 8
  58   %tmp29 = icmp ult i64 %tmp28, 0
  59   br i1 %tmp29, label %bb30, label %bb9
  60 bb30:                                             ; preds = %bb27
  61   br i1 undef, label %bb31, label %bb9
  62 bb31:                                             ; preds = %bb30
  63   br i1 undef, label %bb32, label %bb9
  64 bb32:                                             ; preds = %bb31
  65   br i1 undef, label %bb33, label %bb9
  66 bb33:                                             ; preds = %bb32
  67   br i1 undef, label %bb34, label %bb9
  68 bb34:                                             ; preds = %bb33
  69   br i1 undef, label %bb35, label %bb9
  70 bb35:                                             ; preds = %bb34
  71   br i1 undef, label %bb36, label %bb9
  72 bb36:                                             ; preds = %bb35
  73   br i1 undef, label %bb1, label %bb10
  74 }