test/Bitcode/miscInstructions.3.2.ll

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