test/Transforms/GVN/load-constant-mem.ll

   1 ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
   2 ; PR4189
   3 @G = external constant [4 x i32]
   4
   5 define i32 @test(i8* %p, i32 %i) nounwind {
   6 entry:
   7         %P = getelementptr [4 x i32], [4 x i32]* @G, i32 0, i32 %i
   8         %A = load i32, i32* %P
   9         store i8 4, i8* %p
  10         %B = load i32, i32* %P
  11         %C = sub i32 %A, %B
  12         ret i32 %C
  13 }
  14
  15 ; CHECK: define i32 @test(i8* %p, i32 %i) #0 {
  16 ; CHECK-NEXT: entry:
  17 ; CHECK-NEXT:   store i8 4, i8* %p, align 1
  18 ; CHECK-NEXT:   ret i32 0
  19 ; CHECK-NEXT: }