test/Transforms/SCCP/ipsccp-basic.ll

   1 ; RUN: opt < %s -ipsccp -S | FileCheck %s
   2
   3 ;;======================== test1
   4
   5 define internal i32 @test1a(i32 %A) {
   6         %X = add i32 1, 2
   7         ret i32 %A
   8 }
   9 ; CHECK: define internal i32 @test1a
  10 ; CHECK: ret i32 undef
  11
  12 define i32 @test1b() {
  13         %X = call i32 @test1a( i32 17 )
  14         ret i32 %X
  15
  16 ; CHECK: define i32 @test1b
  17 ; CHECK: ret i32 17
  18 }
  19
  20
  21
  22 ;;======================== test2
  23
  24 define internal i32 @test2a(i32 %A) {
  25         %C = icmp eq i32 %A, 0
  26         br i1 %C, label %T, label %F
  27 T:
  28         %B = call i32 @test2a( i32 0 )
  29         ret i32 0
  30 F:
  31         %C.upgrd.1 = call i32 @test2a(i32 1)
  32         ret i32 %C.upgrd.1
  33 }
  34 ; CHECK: define internal i32 @test2a
  35 ; CHECK-NEXT: br label %T
  36 ; CHECK: ret i32 undef
  37
  38
  39 define i32 @test2b() {
  40         %X = call i32 @test2a(i32 0)
  41         ret i32 %X
  42 }
  43 ; CHECK: define i32 @test2b
  44 ; CHECK-NEXT: %X = call i32 @test2a(i32 0)
  45 ; CHECK-NEXT: ret i32 0
  46
  47
  48 ;;======================== test3
  49
  50 @G = internal global i32 undef
  51
  52 define void @test3a() {
  53         %X = load i32* @G
  54         store i32 %X, i32* @G
  55         ret void
  56 }
  57 ; CHECK: define void @test3a
  58 ; CHECK-NEXT: ret void
  59
  60
  61 define i32 @test3b() {
  62         %V = load i32* @G
  63         %C = icmp eq i32 %V, 17
  64         br i1 %C, label %T, label %F
  65 T:
  66         store i32 17, i32* @G
  67         ret i32 %V
  68 F:
  69         store i32 123, i32* @G
  70         ret i32 0
  71 }
  72 ; CHECK: define i32 @test3b
  73 ; CHECK-NOT: store
  74 ; CHECK: ret i32 0
  75
  76
  77 ;;======================== test4
  78
  79 define internal {i64,i64} @test4a() {
  80   %a = insertvalue {i64,i64} undef, i64 4, 1
  81   %b = insertvalue {i64,i64} %a, i64 5, 0
  82   ret {i64,i64} %b
  83 }
  84
  85 define i64 @test4b() {
  86   %a = invoke {i64,i64} @test4a()
  87           to label %A unwind label %B
  88 A:
  89   %b = extractvalue {i64,i64} %a, 0
  90   %c = call i64 @test4c(i64 %b)
  91   ret i64 %c
  92 B:
  93   ret i64 0
  94 }
  95 ; CHECK: define i64 @test4b()
  96 ; CHECK:   %c = call i64 @test4c(i64 5)
  97 ; CHECK-NEXT:  ret i64 5
  98
  99
 100 define internal i64 @test4c(i64 %a) {
 101   ret i64 %a
 102 }
 103 ; CHECK: define internal i64 @test4c
 104 ; CHECK: ret i64 undef
 105
 106
 107
 108 ;;======================== test5
 109
 110 ; PR4313
 111 define internal {i64,i64} @test5a() {
 112   %a = insertvalue {i64,i64} undef, i64 4, 1
 113   %b = insertvalue {i64,i64} %a, i64 5, 0
 114   ret {i64,i64} %b
 115 }
 116
 117 define i64 @test5b() {
 118   %a = invoke {i64,i64} @test5a()
 119           to label %A unwind label %B
 120 A:
 121   %c = call i64 @test5c({i64,i64} %a)
 122   ret i64 %c
 123 B:
 124   ret i64 0
 125 }
 126
 127 ; CHECK: define i64 @test5b()
 128 ; CHECK:     A:
 129 ; CHECK-NEXT:  %c = call i64 @test5c(%0 %a)
 130 ; CHECK-NEXT:  ret i64 %c
 131
 132 define internal i64 @test5c({i64,i64} %a) {
 133   %b = extractvalue {i64,i64} %a, 0
 134   ret i64 %b
 135 }
 136
 137
 138 ;;======================== test6
 139
 140 define i64 @test6a() {
 141   ret i64 0
 142 }
 143
 144 define i64 @test6b() {
 145   %a = call i64 @test6a()
 146   ret i64 %a
 147 }
 148 ; CHECK: define i64 @test6b
 149 ; CHECK: ret i64 0
 150