test/Bitcode/miscInstructions.3.2.ll

   1 ; RUN: llvm-dis < %s.bc| FileCheck %s
   2 ; RUN: verify-uselistorder < %s.bc
   3
   4 ; miscInstructions.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   5 ; The test checks that LLVM does not misread miscellaneous instructions of
   6 ; older bitcode files.
   7
   8 define void @icmp(i32 %x1, i32 %x2, i32* %ptr1, i32* %ptr2, <2 x i32> %vec1, <2 x i32> %vec2){
   9 entry:
  10 ; CHECK: %res1 = icmp eq i32 %x1, %x2
  11   %res1 = icmp eq i32 %x1, %x2
  12
  13 ; CHECK-NEXT: %res2 = icmp ne i32 %x1, %x2
  14   %res2 = icmp ne i32 %x1, %x2
  15
  16 ; CHECK-NEXT: %res3 = icmp ugt i32 %x1, %x2
  17   %res3 = icmp ugt i32 %x1, %x2
  18
  19 ; CHECK-NEXT: %res4 = icmp uge i32 %x1, %x2
  20   %res4 = icmp uge i32 %x1, %x2
  21
  22 ; CHECK-NEXT: %res5 = icmp ult i32 %x1, %x2
  23   %res5 = icmp ult i32 %x1, %x2
  24
  25 ; CHECK-NEXT: %res6 = icmp ule i32 %x1, %x2
  26   %res6 = icmp ule i32 %x1, %x2
  27
  28 ; CHECK-NEXT: %res7 = icmp sgt i32 %x1, %x2
  29   %res7 = icmp sgt i32 %x1, %x2
  30
  31 ; CHECK-NEXT: %res8 = icmp sge i32 %x1, %x2
  32   %res8 = icmp sge i32 %x1, %x2
  33
  34 ; CHECK-NEXT: %res9 = icmp slt i32 %x1, %x2
  35   %res9 = icmp slt i32 %x1, %x2
  36
  37 ; CHECK-NEXT: %res10 = icmp sle i32 %x1, %x2
  38   %res10 = icmp sle i32 %x1, %x2
  39
  40 ; CHECK-NEXT: %res11 = icmp eq i32* %ptr1, %ptr2
  41   %res11 = icmp eq i32* %ptr1, %ptr2
  42
  43 ; CHECK-NEXT: %res12 = icmp eq <2 x i32> %vec1, %vec2
  44   %res12 = icmp eq <2 x i32> %vec1, %vec2
  45
  46   ret void
  47 }
  48
  49
  50 define void @fcmp(float %x1, float %x2, <2 x float> %vec1, <2 x float> %vec2){
  51 entry:
  52 ; CHECK: %res1 = fcmp oeq float %x1, %x2
  53   %res1 = fcmp oeq float %x1, %x2
  54
  55 ; CHECK-NEXT: %res2 = fcmp one float %x1, %x2
  56   %res2 = fcmp one float %x1, %x2
  57
  58 ; CHECK-NEXT: %res3 = fcmp ugt float %x1, %x2
  59   %res3 = fcmp ugt float %x1, %x2
  60
  61 ; CHECK-NEXT: %res4 = fcmp uge float %x1, %x2
  62   %res4 = fcmp uge float %x1, %x2
  63
  64 ; CHECK-NEXT: %res5 = fcmp ult float %x1, %x2
  65   %res5 = fcmp ult float %x1, %x2
  66
  67 ; CHECK-NEXT: %res6 = fcmp ule float %x1, %x2
  68   %res6 = fcmp ule float %x1, %x2
  69
  70 ; CHECK-NEXT: %res7 = fcmp ogt float %x1, %x2
  71   %res7 = fcmp ogt float %x1, %x2
  72
  73 ; CHECK-NEXT: %res8 = fcmp oge float %x1, %x2
  74   %res8 = fcmp oge float %x1, %x2
  75
  76 ; CHECK-NEXT: %res9 = fcmp olt float %x1, %x2
  77   %res9 = fcmp olt float %x1, %x2
  78
  79 ; CHECK-NEXT: %res10 = fcmp ole float %x1, %x2
  80   %res10 = fcmp ole float %x1, %x2
  81
  82 ; CHECK-NEXT: %res11 = fcmp ord float %x1, %x2
  83   %res11 = fcmp ord float %x1, %x2
  84
  85 ; CHECK-NEXT: %res12 = fcmp ueq float %x1, %x2
  86   %res12 = fcmp ueq float %x1, %x2
  87
  88 ; CHECK-NEXT: %res13 = fcmp une float %x1, %x2
  89   %res13 = fcmp une float %x1, %x2
  90
  91 ; CHECK-NEXT: %res14 = fcmp uno float %x1, %x2
  92   %res14 = fcmp uno float %x1, %x2
  93
  94 ; CHECK-NEXT: %res15 = fcmp true float %x1, %x2
  95   %res15 = fcmp true float %x1, %x2
  96
  97 ; CHECK-NEXT: %res16 = fcmp false float %x1, %x2
  98   %res16 = fcmp false float %x1, %x2
  99
 100 ; CHECK-NEXT: %res17 = fcmp oeq <2 x float> %vec1, %vec2
 101   %res17 = fcmp oeq <2 x float> %vec1, %vec2
 102
 103   ret void
 104 }
 105
 106 declare i32 @printf(i8* noalias nocapture, ...)
 107
 108 define void @call(i32 %x, i8* %msg ){
 109 entry:
 110
 111 ; CHECK: %res1 = call i32 @test(i32 %x)
 112   %res1 = call i32 @test(i32 %x)
 113
 114 ; CHECK-NEXT: %res2 = tail call i32 @test(i32 %x)
 115   %res2 = tail call i32 @test(i32 %x)
 116
 117 ; CHECK-NEXT: %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
 118   %res3 = call i32 (i8*, ...)* @printf(i8* %msg, i32 12, i8 42)
 119
 120   ret void
 121 }
 122
 123 define i32 @test(i32 %x){
 124 entry:
 125
 126   ret i32 %x
 127 }