llvm/test/Transforms/GVN/pre-new-inst.ll

   1 ; RUN: opt -passes=gvn -S %s | FileCheck %s
   2
   3 %MyStruct = type { i32, i32 }
   4 define i8 @foo(i64 %in, ptr %arr) {
   5   %addr = alloca %MyStruct
   6   %dead = trunc i64 %in to i32
   7   br i1 undef, label %next, label %tmp
   8
   9 tmp:
  10   call void @bar()
  11   br label %next
  12
  13 next:
  14   store i64 %in, ptr %addr
  15   br label %final
  16
  17 final:
  18   %idx32 = load i32, ptr %addr
  19
  20 ; CHECK: %resptr = getelementptr i8, ptr %arr, i32 %dead
  21   %resptr = getelementptr i8, ptr %arr, i32 %idx32
  22   %res = load i8, ptr %resptr
  23
  24   ret i8 %res
  25 }
  26
  27 declare void @bar()