llvm/test/Transforms/GVN/null-aliases-nothing.ll

   1 ; RUN: opt < %s -passes=gvn -S | FileCheck %s
   2
   3 %t = type { i32 }
   4 declare void @test1f(ptr)
   5
   6 define void @test1(ptr noalias %stuff ) {
   7     %before = load i32, ptr %stuff
   8
   9     call void @test1f(ptr null)
  10
  11     %after = load i32, ptr %stuff ; <--- This should be a dead load
  12     %sum = add i32 %before, %after
  13
  14     store i32 %sum, ptr %stuff
  15     ret void
  16 ; CHECK: load
  17 ; CHECK-NOT: load
  18 ; CHECK: ret void
  19 }