llvm/test/Transforms/GVN/pr28879.ll

   1 ; RUN: opt -passes=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, ptr %a, align 2
   7 ; CHECK: store <7 x i1> undef, ptr
   8   %val = load i1, ptr %a, align 2
   9 ; CHECK: load i1, ptr
  10   br i1 %val, label %cond.true, label %cond.false
  11
  12 cond.true:
  13   ret void
  14
  15 cond.false:
  16   ret void
  17 }
  18
  19 define <7 x i1> @g(ptr %a) {
  20 entry:
  21   %vec = load <7 x i1>, ptr %a
  22 ; CHECK: load <7 x i1>, ptr
  23   %val = load i1, ptr %a, align 2
  24 ; CHECK: load i1, ptr
  25   br i1 %val, label %cond.true, label %cond.false
  26
  27 cond.true:
  28   ret <7 x i1> %vec
  29
  30 cond.false:
  31   ret <7 x i1> <i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>
  32 }