test/Transforms/NewGVN/condprop-xfail.ll

   1 ; XFAIL: *
   2 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
   3
   4 @a = external global i32                ; <i32*> [#uses=7]
   5
   6 ;; NewGVN takes two passes to get this, because we prune predicateinfo
   7 ; CHECK-LABEL: @test1(
   8 define i32 @test1() nounwind {
   9 entry:
  10         %0 = load i32, i32* @a, align 4
  11         %1 = icmp eq i32 %0, 4
  12         br i1 %1, label %bb, label %bb1
  13
  14 bb:             ; preds = %entry
  15         br label %bb8
  16
  17 bb1:            ; preds = %entry
  18         %2 = load i32, i32* @a, align 4
  19         %3 = icmp eq i32 %2, 5
  20         br i1 %3, label %bb2, label %bb3
  21
  22 bb2:            ; preds = %bb1
  23         br label %bb8
  24
  25 bb3:            ; preds = %bb1
  26         %4 = load i32, i32* @a, align 4
  27         %5 = icmp eq i32 %4, 4
  28 ; CHECK: br i1 false, label %bb4, label %bb5
  29         br i1 %5, label %bb4, label %bb5
  30
  31 bb4:            ; preds = %bb3
  32         %6 = load i32, i32* @a, align 4
  33         %7 = add i32 %6, 5
  34         br label %bb8
  35
  36 bb5:            ; preds = %bb3
  37         %8 = load i32, i32* @a, align 4
  38         %9 = icmp eq i32 %8, 5
  39 ; CHECK: br i1 false, label %bb6, label %bb7
  40         br i1 %9, label %bb6, label %bb7
  41
  42 bb6:            ; preds = %bb5
  43         %10 = load i32, i32* @a, align 4
  44         %11 = add i32 %10, 4
  45         br label %bb8
  46
  47 bb7:            ; preds = %bb5
  48         %12 = load i32, i32* @a, align 4
  49         br label %bb8
  50
  51 bb8:            ; preds = %bb7, %bb6, %bb4, %bb2, %bb
  52         %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]
  53         br label %return
  54
  55 return:         ; preds = %bb8
  56         ret i32 %.0
  57 }
  58 ;; NewGVN takes two passes to get test[6,8] and test[6,8]_fp's main part
  59 ;; The icmp ne requires an equality table that inserts the inequalities for each
  60 ;; discovered equality while processing.
  61 ; CHECK-LABEL: @test6(
  62 define i1 @test6(i32 %x, i32 %y) {
  63   %cmp2 = icmp ne i32 %x, %y
  64   %cmp = icmp eq i32 %x, %y
  65   %cmp3 = icmp eq i32 %x, %y
  66   br i1 %cmp, label %same, label %different
  67
  68 same:
  69 ; CHECK: ret i1 false
  70   ret i1 %cmp2
  71
  72 different:
  73 ; CHECK: ret i1 false
  74   ret i1 %cmp3
  75 }
  76
  77 ; CHECK-LABEL: @test6_fp(
  78 define i1 @test6_fp(float %x, float %y) {
  79   %cmp2 = fcmp une float %x, %y
  80   %cmp = fcmp oeq float %x, %y
  81   %cmp3 = fcmp oeq float  %x, %y
  82   br i1 %cmp, label %same, label %different
  83
  84 same:
  85 ; CHECK: ret i1 false
  86   ret i1 %cmp2
  87
  88 different:
  89 ; CHECK: ret i1 false
  90   ret i1 %cmp3
  91 }
  92 ; CHECK-LABEL: @test8(
  93 define i1 @test8(i32 %x, i32 %y) {
  94   %cmp2 = icmp sle i32 %x, %y
  95   %cmp = icmp sgt i32 %x, %y
  96   %cmp3 = icmp sgt i32 %x, %y
  97   br i1 %cmp, label %same, label %different
  98
  99 same:
 100 ; CHECK: ret i1 false
 101   ret i1 %cmp2
 102
 103 different:
 104 ; CHECK: ret i1 false
 105   ret i1 %cmp3
 106 }
 107
 108 ; CHECK-LABEL: @test8_fp(
 109 define i1 @test8_fp(float %x, float %y) {
 110   %cmp2 = fcmp ule float %x, %y
 111   %cmp = fcmp ogt float %x, %y
 112   %cmp3 = fcmp ogt float %x, %y
 113   br i1 %cmp, label %same, label %different
 114
 115 same:
 116 ; CHECK: ret i1 false
 117   ret i1 %cmp2
 118
 119 different:
 120 ; CHECK: ret i1 false
 121   ret i1 %cmp3
 122 }
 123