test/Transforms/GVN/invariant-load.ll

   1 ; RUN: opt -basicaa -gvn -S < %s | FileCheck %s
   2
   3 define i32 @test1(i32* nocapture %p, i8* nocapture %q) {
   4 ; CHECK-LABEL: test1
   5 ; CHECK: %x = load i32* %p, align 4, !invariant.load !0
   6 ; CHECK-NOT: %y = load
   7 entry:
   8   %x = load i32* %p, align 4, !invariant.load !0
   9   %conv = trunc i32 %x to i8
  10   store i8 %conv, i8* %q, align 1
  11   %y = load i32* %p, align 4, !invariant.load !0
  12   %add = add i32 %y, 1
  13   ret i32 %add
  14 }
  15
  16 define i32 @test2(i32* nocapture %p, i8* nocapture %q) {
  17 ; CHECK-LABEL: test2
  18 ; CHECK-NOT: !invariant.load
  19 ; CHECK-NOT: %y = load
  20 entry:
  21   %x = load i32* %p, align 4
  22   %conv = trunc i32 %x to i8
  23   store i8 %conv, i8* %q, align 1
  24   %y = load i32* %p, align 4, !invariant.load !0
  25   %add = add i32 %y, 1
  26   ret i32 %add
  27 }
  28
  29 !0 = metadata !{ }
  30