test/Transforms/SCCP/ipsccp-addr-taken.ll

   1 ; RUN: opt -ipsccp -S < %s | FileCheck %s
   2 ; PR7876
   3 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"
   4 target triple = "x86_64-apple-darwin10.0.0"
   5
   6 define internal i32 @foo() nounwind noinline ssp {
   7 entry:
   8   ret i32 0
   9 ; CHECK-LABEL: @foo(
  10 ; CHECK: entry:
  11 ; CHECK: ret i32 0
  12 }
  13
  14 declare i32 @bar()
  15
  16 define internal i32 @test(i32 %c) nounwind noinline ssp {
  17 bb:
  18   %tmp1 = icmp ne i32 %c, 0                       ; <i1> [#uses=1]
  19   %tmp2 = select i1 %tmp1, i32 ()* @foo, i32 ()* @bar ; <i32 ()*> [#uses=1]
  20   %tmp3 = tail call i32 %tmp2() nounwind          ; <i32> [#uses=1]
  21   ret i32 %tmp3
  22 }
  23
  24 define i32 @main() nounwind ssp {
  25 bb:
  26   %tmp = tail call i32 @test(i32 1)               ; <i32> [#uses=1]
  27   ret i32 %tmp
  28 }