test/Transforms/PhaseOrdering/PR6627.ll

   1 ; RUN: opt -O3 -S < %s | FileCheck %s
   2 ; XFAIL: *
   3
   4 declare i32 @doo(...)
   5
   6 ; PR6627 - This whole nasty sequence should be flattened down to a single
   7 ; 32-bit comparison.
   8 define void @test2(i8* %arrayidx) nounwind ssp {
   9 entry:
  10   %xx = bitcast i8* %arrayidx to i32*
  11   %x1 = load i32* %xx, align 4
  12   %tmp = trunc i32 %x1 to i8
  13   %conv = zext i8 %tmp to i32
  14   %cmp = icmp eq i32 %conv, 127
  15   br i1 %cmp, label %land.lhs.true, label %if.end
  16
  17 land.lhs.true:                                    ; preds = %entry
  18   %arrayidx4 = getelementptr inbounds i8* %arrayidx, i64 1
  19   %tmp5 = load i8* %arrayidx4, align 1
  20   %conv6 = zext i8 %tmp5 to i32
  21   %cmp7 = icmp eq i32 %conv6, 69
  22   br i1 %cmp7, label %land.lhs.true9, label %if.end
  23
  24 land.lhs.true9:                                   ; preds = %land.lhs.true
  25   %arrayidx12 = getelementptr inbounds i8* %arrayidx, i64 2
  26   %tmp13 = load i8* %arrayidx12, align 1
  27   %conv14 = zext i8 %tmp13 to i32
  28   %cmp15 = icmp eq i32 %conv14, 76
  29   br i1 %cmp15, label %land.lhs.true17, label %if.end
  30
  31 land.lhs.true17:                                  ; preds = %land.lhs.true9
  32   %arrayidx20 = getelementptr inbounds i8* %arrayidx, i64 3
  33   %tmp21 = load i8* %arrayidx20, align 1
  34   %conv22 = zext i8 %tmp21 to i32
  35   %cmp23 = icmp eq i32 %conv22, 70
  36   br i1 %cmp23, label %if.then, label %if.end
  37
  38 if.then:                                          ; preds = %land.lhs.true17
  39   %call25 = call i32 (...)* @doo()
  40   br label %if.end
  41
  42 if.end:
  43   ret void
  44
  45 ; CHECK: @test2
  46 ; CHECK: %x1 = load i32* %xx, align 4
  47 ; CHECK-NEXT: icmp eq i32 %x1, 1179403647
  48 ; CHECK-NEXT: br i1 {{.*}}, label %if.then, label %if.end
  49 }
  50
  51 ; PR6627 - This should all be flattened down to one compare.  This is the same
  52 ; as test2, except that the initial load is done as an i8 instead of i32, thus
  53 ; requiring widening.
  54 define void @test2a(i8* %arrayidx) nounwind ssp {
  55 entry:
  56   %x1 = load i8* %arrayidx, align 4
  57   %conv = zext i8 %x1 to i32
  58   %cmp = icmp eq i32 %conv, 127
  59   br i1 %cmp, label %land.lhs.true, label %if.end
  60
  61 land.lhs.true:                                    ; preds = %entry
  62   %arrayidx4 = getelementptr inbounds i8* %arrayidx, i64 1
  63   %tmp5 = load i8* %arrayidx4, align 1
  64   %conv6 = zext i8 %tmp5 to i32
  65   %cmp7 = icmp eq i32 %conv6, 69
  66   br i1 %cmp7, label %land.lhs.true9, label %if.end
  67
  68 land.lhs.true9:                                   ; preds = %land.lhs.true
  69   %arrayidx12 = getelementptr inbounds i8* %arrayidx, i64 2
  70   %tmp13 = load i8* %arrayidx12, align 1
  71   %conv14 = zext i8 %tmp13 to i32
  72   %cmp15 = icmp eq i32 %conv14, 76
  73   br i1 %cmp15, label %land.lhs.true17, label %if.end
  74
  75 land.lhs.true17:                                  ; preds = %land.lhs.true9
  76   %arrayidx20 = getelementptr inbounds i8* %arrayidx, i64 3
  77   %tmp21 = load i8* %arrayidx20, align 1
  78   %conv22 = zext i8 %tmp21 to i32
  79   %cmp23 = icmp eq i32 %conv22, 70
  80   br i1 %cmp23, label %if.then, label %if.end
  81
  82 if.then:                                          ; preds = %land.lhs.true17
  83   %call25 = call i32 (...)* @doo()
  84   br label %if.end
  85
  86 if.end:
  87   ret void
  88
  89 ; CHECK: @test2a
  90 ; CHECK: %x1 = load i32* {{.*}}, align 4
  91 ; CHECK-NEXT: icmp eq i32 %x1, 1179403647
  92 ; CHECK-NEXT: br i1 {{.*}}, label %if.then, label %if.end
  93 }