test/Transforms/ScalarRepl/2011-09-22-PHISpeculateInvoke.ll

   1 ; RUN: opt < %s -scalarrepl -S | FileCheck %s
   2 ; PR10987
   3
   4 ; Make sure scalarrepl doesn't move a load across an invoke which could
   5 ; modify the loaded value.
   6 ; (The PHI could theoretically be transformed by splitting the critical
   7 ; edge, but scalarrepl doesn't modify the CFG, at least at the moment.)
   8
   9 declare void @extern_fn(i32*)
  10 declare i32 @extern_fn2(i32)
  11 declare i32 @__gcc_personality_v0(i32, i64, i8*, i8*)
  12
  13 define void @odd_fn(i1) noinline personality i32 (i32, i64, i8*, i8*)* @__gcc_personality_v0 {
  14   %retptr1 = alloca i32
  15   %retptr2 = alloca i32
  16   br i1 %0, label %then, label %else
  17
  18 then:                                             ; preds = %2
  19   invoke void @extern_fn(i32* %retptr1)
  20           to label %join unwind label %unwind
  21
  22 else:                                             ; preds = %2
  23   store i32 3, i32* %retptr2
  24   br label %join
  25
  26 join:                                             ; preds = %then, %else
  27   %storemerge.in = phi i32* [ %retptr2, %else ], [ %retptr1, %then ]
  28   %storemerge = load i32, i32* %storemerge.in
  29   %x3 = call i32 @extern_fn2(i32 %storemerge)
  30   ret void
  31
  32 unwind:                                           ; preds = %then
  33   %info = landingpad { i8*, i32 }
  34           cleanup
  35   call void @extern_fn(i32* null)
  36   unreachable
  37 }
  38
  39 ; CHECK-LABEL: define void @odd_fn(
  40 ; CHECK: %storemerge.in = phi i32* [ %retptr2, %else ], [ %retptr1, %then ]