test/Transforms/JumpThreading/pr26096.ll

   1 ; RUN: opt -prune-eh -inline -jump-threading -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 @d = external global i32*, align 8
   7
   8 define void @fn3(i1 %B) {
   9 entry:
  10   br i1 %B, label %if.end, label %if.then
  11
  12 if.then:                                          ; preds = %entry
  13   call void @fn2()
  14   ret void
  15
  16 if.end:                                           ; preds = %entry
  17   call void @fn2()
  18   ret void
  19 }
  20
  21 define internal void @fn2() unnamed_addr {
  22 entry:
  23   call void @fn1()
  24   call void @fn1()
  25   call void @fn1()
  26   unreachable
  27 }
  28
  29 ; CHECK-LABEL: define internal void @fn2(
  30 ; CHECK:   %[[LOAD:.*]] = load i32*, i32** @d, align 8
  31 ; CHECK:   %tobool1.i = icmp eq i32* %[[LOAD]], null
  32
  33 define internal void @fn1() unnamed_addr {
  34 entry:
  35   br label %for.body
  36
  37 for.body:                                         ; preds = %entry
  38   %0 = load i32*, i32** @d, align 8
  39   %tobool1 = icmp eq i32* %0, null
  40   br i1 %tobool1, label %cond.false, label %cond.end
  41
  42 cond.false:                                       ; preds = %for.body
  43   call void @__assert_fail(i8* null)
  44   unreachable
  45
  46 cond.end:                                         ; preds = %for.body
  47   %1 = load i32*, i32** @d, align 8
  48   %cmp = icmp eq i32* %1, null
  49   br i1 %cmp, label %cond.end4, label %cond.false3
  50
  51 cond.false3:                                      ; preds = %cond.end
  52   call void @__assert_fail(i8* null)
  53   unreachable
  54
  55 cond.end4:                                        ; preds = %cond.end
  56   call void @__assert_fail(i8* null)
  57   unreachable
  58
  59 for.end:                                          ; No predecessors!
  60   ret void
  61 }
  62
  63 declare void @__assert_fail(i8*)
  64
  65 ; Function Attrs: noreturn nounwind
  66 declare void @llvm.trap() #0
  67
  68 attributes #0 = { noreturn nounwind }