llvm/test/Transforms/GVN/phi-translate-partial-alias.ll

   1 ; RUN: opt -passes=gvn -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-f128:128:128-n8:16:32:64"
   4
   5 ; GVN shouldn't PRE the load around the loop backedge because it's
   6 ; not actually redundant around the loop backedge, despite appearances
   7 ; if phi-translation is ignored.
   8
   9 ; CHECK: define void @test0(ptr %begin)
  10 ; CHECK: loop:
  11 ; CHECK:   %l0 = load i8, ptr %phi
  12 ; CHECK:   call void @bar(i8 %l0)
  13 ; CHECK:   %l1 = load i8, ptr %phi
  14 define void @test0(ptr %begin) {
  15 entry:
  16   br label %loop
  17
  18 loop:
  19   %phi = phi ptr [ %begin, %entry ], [ %next, %loop ]
  20   %l0 = load i8, ptr %phi
  21   call void @bar(i8 %l0)
  22   %l1 = load i8, ptr %phi
  23   %next = getelementptr inbounds i8, ptr %phi, i8 %l1
  24   br label %loop
  25 }
  26
  27 declare void @bar(i8)