test/Transforms/GVNHoist/hoist-simplify-phi.ll

   1 ; RUN: opt < %s -gvn-hoist -S | FileCheck %s
   2
   3 ; This test is meant to make sure that MemorySSAUpdater works correctly
   4 ; in non-trivial cases.
   5
   6 ; CHECK: if.else218:
   7 ; CHECK-NEXT: %0 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
   8 ; CHECK-NEXT: %1 = load i32, i32* %0, align 4
   9
  10 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
  11
  12 %s = type { i32, %s**, [3 x i8], i8 }
  13
  14 define void @test() {
  15 entry:
  16   br label %cond.end118
  17
  18 cond.end118:                                      ; preds = %entry
  19   br i1 undef, label %cleanup, label %if.end155
  20
  21 if.end155:                                        ; preds = %cond.end118
  22   br label %while.cond
  23
  24 while.cond:                                       ; preds = %while.body, %if.end155
  25   br i1 undef, label %while.end, label %while.body
  26
  27 while.body:                                       ; preds = %while.cond
  28   br label %while.cond
  29
  30 while.end:                                        ; preds = %while.cond
  31   switch i32 undef, label %if.else218 [
  32     i32 1, label %cleanup
  33     i32 0, label %if.then174
  34   ]
  35
  36 if.then174:                                       ; preds = %while.end
  37   unreachable
  38
  39 if.else218:                                       ; preds = %while.end
  40   br i1 undef, label %if.then226, label %if.else326
  41
  42 if.then226:                                       ; preds = %if.else218
  43   %size227 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
  44   %0 = load i32, i32* %size227, align 4
  45   unreachable
  46
  47 if.else326:                                       ; preds = %if.else218
  48   %size330 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
  49   %1 = load i32, i32* %size330, align 4
  50   unreachable
  51
  52 cleanup:                                          ; preds = %while.end, %cond.end118
  53   ret void
  54 }