llvm/test/Transforms/NewGVN/unreachable_block_infinite_loop.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -passes=newgvn -disable-output < %s
   3
   4 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-n8:16:32:64"
   5 target triple = "x86_64-apple-darwin10.0"
   6
   7 define i32 @test2() nounwind ssp {
   8 entry:
   9   ret i32 0
  10
  11 unreachable_block:
  12   %a = add i32 %a, 1
  13   ret i32 %a
  14 }
  15
  16 define i32 @pr23096_test0() {
  17 entry:
  18   br label %bb0
  19
  20 bb1:
  21   %ptr1 = ptrtoint ptr %ptr2 to i64
  22   %ptr2 = inttoptr i64 %ptr1 to ptr
  23   br i1 undef, label %bb0, label %bb1
  24
  25 bb0:
  26   %phi = phi ptr [ undef, %entry ], [ %ptr2, %bb1 ]
  27   %load = load i32, ptr %phi
  28   ret i32 %load
  29 }
  30
  31 define i32 @pr23096_test1() {
  32 entry:
  33   br label %bb0
  34
  35 bb1:
  36   %ptr1 = getelementptr i32, ptr %ptr2, i32 0
  37   %ptr2 = getelementptr i32, ptr %ptr1, i32 0
  38   br i1 undef, label %bb0, label %bb1
  39
  40 bb0:
  41   %phi = phi ptr [ undef, %entry ], [ %ptr2, %bb1 ]
  42   %load = load i32, ptr %phi
  43   ret i32 %load
  44 }