test/Bitcode/miscInstructions.3.2.ll

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