test/Transforms/GVN/pr25440.ll

   1 ;RUN: opt -gvn -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
   4 target triple = "thumbv7--linux-gnueabi"
   5
   6 %struct.a = type { i16, i16, [1 x %union.a] }
   7 %union.a = type { i32 }
   8
   9 @length = external global [0 x i32], align 4
  10
  11 ; Function Attrs: nounwind
  12 define fastcc void @foo(%struct.a* nocapture readonly %x) {
  13 ;CHECK-LABEL: foo
  14 entry:
  15   br label %bb0
  16
  17 bb0:                                      ; preds = %land.lhs.true, %entry
  18 ;CHECK: bb0:
  19   %x.tr = phi %struct.a* [ %x, %entry ], [ null, %land.lhs.true ]
  20   %code1 = getelementptr inbounds %struct.a, %struct.a* %x.tr, i32 0, i32 0
  21   %0 = load i16, i16* %code1, align 4
  22 ; CHECK: load i32, i32*
  23   %conv = zext i16 %0 to i32
  24   switch i32 %conv, label %if.end.50 [
  25     i32 43, label %cleanup
  26     i32 52, label %if.then.5
  27   ]
  28
  29 if.then.5:                                        ; preds = %bb0
  30   br i1 undef, label %land.lhs.true, label %if.then.26
  31
  32 land.lhs.true:                                    ; preds = %if.then.5
  33   br i1 undef, label %cleanup, label %bb0
  34
  35 if.then.26:                                       ; preds = %if.then.5
  36   %x.tr.lcssa163 = phi %struct.a* [ %x.tr, %if.then.5 ]
  37   br i1 undef, label %cond.end, label %cond.false
  38
  39 cond.false:                                       ; preds = %if.then.26
  40 ; CHECK: cond.false:
  41 ; CHECK-NOT: load
  42   %mode = getelementptr inbounds %struct.a, %struct.a* %x.tr.lcssa163, i32 0, i32 1
  43   %bf.load = load i16, i16* %mode, align 2
  44   %bf.shl = shl i16 %bf.load, 8
  45   br label %cond.end
  46
  47 cond.end:                                         ; preds = %cond.false, %if.then.26
  48   br i1 undef, label %if.then.44, label %cleanup
  49
  50 if.then.44:                                       ; preds = %cond.end
  51   unreachable
  52
  53 if.end.50:                                        ; preds = %bb0
  54 ;%CHECK: if.end.50:
  55   %conv.lcssa = phi i32 [ %conv, %bb0 ]
  56   %arrayidx52 = getelementptr inbounds [0 x i32], [0 x i32]* @length, i32 0, i32 %conv.lcssa
  57   %1 = load i32, i32* %arrayidx52, align 4
  58   br i1 undef, label %for.body.57, label %cleanup
  59
  60 for.body.57:                                      ; preds = %if.end.50
  61   %i.2157 = add nsw i32 %1, -1
  62   unreachable
  63
  64 cleanup:                                          ; preds = %if.end.50, %cond.end, %land.lhs.true, %bb0
  65   ret void
  66 }
  67
  68 @yy_c_buf_p = external unnamed_addr global i8*, align 4
  69 @dfg_text = external global i8*, align 4
  70
  71 define void @dfg_lex() {
  72 ;CHECK-LABEL: dfg_lex
  73 entry:
  74   br label %while.bodythread-pre-split
  75
  76 while.bodythread-pre-split:                       ; preds = %while.end, %while.end, %entry
  77   br i1 undef, label %if.then.14, label %if.end.15
  78
  79 if.then.14:                                       ; preds = %while.end, %while.bodythread-pre-split
  80   %v1 = load i32, i32* bitcast (i8** @dfg_text to i32*), align 4
  81   %sub.ptr.sub = sub i32 undef, %v1
  82   br label %if.end.15
  83
  84 if.end.15:                                        ; preds = %if.then.14, %while.bodythread-pre-split
  85   %v2 = load i8*, i8** @yy_c_buf_p, align 4
  86   br label %while.cond.16
  87
  88 while.cond.16:                                    ; preds = %while.cond.16, %if.end.15
  89   br i1 undef, label %while.cond.16, label %while.end
  90
  91 while.end:                                        ; preds = %while.cond.16
  92   %add.ptr = getelementptr inbounds i8, i8* %v2, i32 undef
  93   store i8* %add.ptr, i8** @dfg_text, align 4
  94   %sub.ptr.rhs.cast25 = ptrtoint i8* %add.ptr to i32
  95   %sub.ptr.sub26 = sub i32 0, %sub.ptr.rhs.cast25
  96   switch i32 undef, label %sw.default [
  97     i32 65, label %while.bodythread-pre-split
  98     i32 3, label %return
  99     i32 57, label %while.bodythread-pre-split
 100     i32 60, label %if.then.14
 101   ]
 102
 103 sw.default:                                       ; preds = %while.end
 104   unreachable
 105
 106 return:                                           ; preds = %while.end
 107   ret void
 108 }