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 5
 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
 151 ;;======================== test7
 152
 153
 154 %T = type {i32,i32}
 155
 156 define internal {i32, i32} @test7a(i32 %A) {
 157   %X = add i32 1, %A
 158   %mrv0 = insertvalue %T undef, i32 %X, 0
 159   %mrv1 = insertvalue %T %mrv0, i32 %A, 1
 160   ret %T %mrv1
 161 ; CHECK: @test7a
 162 ; CHECK-NEXT: %mrv0 = insertvalue %T undef, i32 18, 0
 163 ; CHECK-NEXT: %mrv1 = insertvalue %T %mrv0, i32 17, 1
 164 }
 165
 166 define i32 @test7b() {
 167         %X = call {i32, i32} @test7a(i32 17)
 168         %Y = extractvalue {i32, i32} %X, 0
 169         %Z = add i32 %Y, %Y
 170         ret i32 %Z
 171 ; CHECK: define i32 @test7b
 172 ; CHECK-NEXT: call %T @test7a(i32 17)
 173 ; CHECK-NEXT: ret i32 36
 174 }
 175
 176 ;;======================== test8
 177
 178
 179 define internal {} @test8a(i32 %A, i32* %P) {
 180   store i32 %A, i32* %P
 181   ret {} {}
 182 ; CHECK: @test8a
 183 ; CHECK-NEXT: store i32 5,
 184 ; CHECK-NEXT: ret
 185 }
 186
 187 define void @test8b(i32* %P) {
 188     %X = call {} @test8a(i32 5, i32* %P)
 189     ret void
 190 ; CHECK: define void @test8b
 191 ; CHECK-NEXT: call {} @test8a
 192 ; CHECK-NEXT: ret void
 193 }
 194
 195 ;;======================== test9
 196
 197 @test9g = internal global {  } zeroinitializer
 198
 199 define void @test9() {
 200 entry:
 201         %local_foo = alloca {  }
 202         load {  }* @test9g
 203         store {  } %0, {  }* %local_foo
 204         ret void
 205 }
 206