llvm/test/Transforms/SCCP/apint-array.ll

   1 ; RUN: opt < %s -passes=sccp -S | grep "ret i101 12"
   2
   3 @Y = constant [6 x i101] [ i101 12, i101 123456789000000, i101 -12,i101
   4 -123456789000000, i101 0,i101 9123456789000000]
   5
   6 define i101 @array()
   7 {
   8 Head:
   9    %A = getelementptr [6 x i101], ptr @Y, i32 0, i32 1
  10
  11    %B = load i101, ptr %A
  12    %C = icmp sge i101 %B, 1
  13    br i1 %C, label %True, label %False
  14 True:
  15    %D = and i101 %B, 1
  16    %E = trunc i101 %D to i32
  17    %F = getelementptr [6 x i101], ptr @Y, i32 0, i32 %E
  18    %G = load i101, ptr %F
  19    br label %False
  20 False:
  21    %H = phi i101 [%G, %True], [-1, %Head]
  22    ret i101 %H
  23 }