llvm/test/Bitcode/constantsTest.3.2.ll

   1 ; RUN:  llvm-dis < %s.bc| FileCheck %s
   2
   3 ; constantsTest.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   4 ; The test checks that LLVM does not misread binary float instructions of
   5 ; older bitcode files.
   6
   7 ;global variable address
   8 ; CHECK: @X = global i32 0
   9 @X = global i32 0
  10 ; CHECK: @Y = global i32 1
  11 @Y = global i32 1
  12 ; CHECK: @Z = global [2 x ptr] [ptr @X, ptr @Y]
  13 @Z = global [2 x i32*] [i32* @X, i32* @Y]
  14
  15
  16 define void @SimpleConstants(i32 %x) {
  17 entry:
  18 ; null
  19 ; CHECK: store i32 %x, ptr null
  20   store i32 %x, i32* null
  21
  22 ; boolean
  23 ; CHECK-NEXT: %res1 = fcmp true float 1.000000e+00, 1.000000e+00
  24   %res1 = fcmp true float 1.0, 1.0
  25 ; CHECK-NEXT: %res2 = fcmp false float 1.000000e+00, 1.000000e+00
  26   %res2 = fcmp false float 1.0, 1.0
  27
  28 ;integer
  29 ; CHECK-NEXT: %res3 = add i32 0, 0
  30   %res3 = add i32 0, 0
  31
  32 ;float
  33 ; CHECK-NEXT: %res4 = fadd float 0.000000e+00, 0.000000e+00
  34   %res4 = fadd float 0.0, 0.0
  35
  36   ret void
  37 }
  38
  39 define void @ComplexConstants(<2 x i32> %x){
  40 entry:
  41 ;constant structure
  42 ; CHECK: %res1 = extractvalue { i32, float } { i32 1, float 2.000000e+00 }, 0
  43   %res1 = extractvalue {i32, float} {i32 1, float 2.0}, 0
  44
  45 ;const array
  46 ; CHECK-NEXT: %res2 = extractvalue [2 x i32] [i32 1, i32 2], 0
  47   %res2 = extractvalue [2 x i32] [i32 1, i32 2], 0
  48
  49 ;const vector
  50 ; CHECK-NEXT: %res3 = add <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
  51   %res3 = add <2 x i32> <i32 1, i32 1>, <i32 1, i32 1>
  52
  53 ;zeroinitializer
  54 ; CHECK-NEXT: %res4 = add <2 x i32> %x, zeroinitializer
  55   %res4 = add <2 x i32> %x, zeroinitializer
  56
  57   ret void
  58 }
  59
  60 define void @OtherConstants(i32 %x, i8* %Addr){
  61 entry:
  62   ;undef
  63   ; CHECK: %res1 = add i32 %x, undef
  64   %res1 = add i32 %x, undef
  65
  66   ;poison
  67   ; CHECK-NEXT: %poison = sub nuw i32 0, 1
  68   %poison = sub nuw i32 0, 1
  69
  70   ;address of basic block
  71   ; CHECK-NEXT: %res2 = icmp eq ptr blockaddress(@OtherConstants, %Next), null
  72   %res2 = icmp eq i8* blockaddress(@OtherConstants, %Next), null
  73   br label %Next
  74   Next:
  75   ret void
  76 }
  77
  78 define void @OtherConstants2(){
  79 entry:
  80   ; CHECK: trunc i32 1 to i8
  81   trunc i32 1 to i8
  82   ; CHECK-NEXT: zext i8 1 to i32
  83   zext i8 1 to i32
  84   ; CHECK-NEXT: sext i8 1 to i32
  85   sext i8 1 to i32
  86   ; CHECK-NEXT: fptrunc double 1.000000e+00 to float
  87   fptrunc double 1.0 to float
  88   ; CHECK-NEXT: fpext float 1.000000e+00 to double
  89   fpext float 1.0 to double
  90   ; CHECK-NEXT: fptosi float 1.000000e+00 to i32
  91   fptosi float 1.0 to i32
  92   ; CHECK-NEXT: uitofp i32 1 to float
  93   uitofp i32 1 to float
  94   ; CHECK-NEXT: sitofp i32 -1 to float
  95   sitofp i32 -1 to float
  96   ; CHECK-NEXT: ptrtoint ptr @X to i32
  97   ptrtoint i32* @X to i32
  98   ; CHECK-NEXT: inttoptr i8 1 to ptr
  99   inttoptr i8 1 to i8*
 100   ; CHECK-NEXT: bitcast i32 1 to <2 x i16>
 101   bitcast i32 1 to <2 x i16>
 102   ; CHECK-NEXT: getelementptr i32, ptr @X, i32 0
 103   getelementptr i32, i32* @X, i32 0
 104   ; CHECK-NEXT: getelementptr inbounds i32, ptr @X, i32 0
 105   getelementptr inbounds i32, i32* @X, i32 0
 106   ; CHECK: select i1 true, i32 1, i32 0
 107   select i1 true ,i32 1, i32 0
 108   ; CHECK-NEXT: icmp eq i32 1, 0
 109   icmp eq i32 1, 0
 110   ; CHECK-NEXT: fcmp oeq float 1.000000e+00, 0.000000e+00
 111   fcmp oeq float 1.0, 0.0
 112   ; CHECK-NEXT: extractelement <2 x i32> <i32 1, i32 1>, i32 1
 113   extractelement <2 x i32> <i32 1, i32 1>, i32 1
 114   ; CHECK-NEXT: insertelement <2 x i32> <i32 1, i32 1>, i32 0, i32 1
 115   insertelement <2 x i32> <i32 1, i32 1>, i32 0, i32 1
 116   ; CHECK-NEXT: shufflevector <2 x i32> <i32 1, i32 1>, <2 x i32> zeroinitializer, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
 117   shufflevector <2 x i32> <i32 1, i32 1>, <2 x i32> zeroinitializer, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
 118   ; CHECK-NEXT: extractvalue { i32, float } { i32 1, float 2.000000e+00 }, 0
 119   extractvalue { i32, float } { i32 1, float 2.0 }, 0
 120   ; CHECK-NEXT: insertvalue { i32, float } { i32 1, float 2.000000e+00 }, i32 0, 0
 121   insertvalue { i32, float } { i32 1, float 2.0 }, i32 0, 0
 122
 123   ret void
 124 }