test/Transforms/GlobalOpt/storepointer-compare-no-null-opt.ll

   1 ; RUN: opt < %s -globalopt -S | FileCheck %s
   2 ; CHECK: global
   3
   4 @G = internal global void ()* null              ; <void ()**> [#uses=2]
   5
   6 define internal void @Actual() {
   7 ; CHECK-LABEL: Actual(
   8         ret void
   9 }
  10
  11 define void @init() {
  12 ; CHECK-LABEL: init(
  13 ; CHECK: store void ()* @Actual, void ()** @G
  14         store void ()* @Actual, void ()** @G
  15         ret void
  16 }
  17
  18 define void @doit() #0 {
  19 ; CHECK-LABEL: doit(
  20         %FP = load void ()*, void ()** @G         ; <void ()*> [#uses=2]
  21 ; CHECK: %FP = load void ()*, void ()** @G
  22         %CC = icmp eq void ()* %FP, null                ; <i1> [#uses=1]
  23 ; CHECK: %CC = icmp eq void ()* %FP, null
  24         br i1 %CC, label %isNull, label %DoCall
  25 ; CHECK: br i1 %CC, label %isNull, label %DoCall
  26
  27 DoCall:         ; preds = %0
  28 ; CHECK: DoCall:
  29 ; CHECK: call void %FP()
  30 ; CHECK: ret void
  31         call void %FP( )
  32         ret void
  33
  34 isNull:         ; preds = %0
  35 ; CHECK: isNull:
  36 ; CHECK: ret void
  37         ret void
  38 }
  39
  40 attributes #0 = { "null-pointer-is-valid"="true" }