test/Transforms/GVN/pr28879.ll

   1 ; RUN: opt -gvn <%s -S -o - | FileCheck %s
   2
   3 define void @f() {
   4 entry:
   5   %a = alloca <7 x i1>, align 2
   6   store <7 x i1> undef, <7 x i1>* %a, align 2
   7 ; CHECK: store <7 x i1> undef, <7 x i1>*
   8   %0 = getelementptr inbounds <7 x i1>, <7 x i1>* %a, i64 0, i64 0
   9   %val = load i1, i1* %0, align 2
  10 ; CHECK: load i1, i1*
  11   br i1 %val, label %cond.true, label %cond.false
  12
  13 cond.true:
  14   ret void
  15
  16 cond.false:
  17   ret void
  18 }
  19
  20 define <7 x i1> @g(<7 x i1>* %a) {
  21 entry:
  22   %vec = load <7 x i1>, <7 x i1>* %a
  23 ; CHECK: load <7 x i1>, <7 x i1>*
  24   %0 = getelementptr inbounds <7 x i1>, <7 x i1>* %a, i64 0, i64 0
  25   %val = load i1, i1* %0, align 2
  26 ; CHECK: load i1, i1*
  27   br i1 %val, label %cond.true, label %cond.false
  28
  29 cond.true:
  30   ret <7 x i1> %vec
  31
  32 cond.false:
  33   ret <7 x i1> <i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>
  34 }