OLD | NEW |
(Empty) | |
| 1 ; Tests that all comparison conditions survive through PNaCl bitcode files. |
| 2 |
| 3 ; RUN: llvm-as < %s | pnacl-freeze | pnacl-thaw | llvm-dis - \ |
| 4 ; RUN: | FileCheck %s |
| 5 |
| 6 define void @IntCompare() { |
| 7 %1 = icmp eq i32 0, 1 |
| 8 %2 = icmp ne i32 0, 1 |
| 9 %3 = icmp ugt i32 0, 1 |
| 10 %4 = icmp uge i32 0, 1 |
| 11 %5 = icmp ult i32 0, 1 |
| 12 %6 = icmp ule i32 0, 1 |
| 13 %7 = icmp sgt i32 0, 1 |
| 14 %8 = icmp sge i32 0, 1 |
| 15 %9 = icmp slt i32 0, 1 |
| 16 %10 = icmp sle i32 0, 1 |
| 17 ret void |
| 18 } |
| 19 |
| 20 ; CHECK: define void @IntCompare() { |
| 21 ; CHECK: %1 = icmp eq i32 0, 1 |
| 22 ; CHECK: %2 = icmp ne i32 0, 1 |
| 23 ; CHECK: %3 = icmp ugt i32 0, 1 |
| 24 ; CHECK: %4 = icmp uge i32 0, 1 |
| 25 ; CHECK: %5 = icmp ult i32 0, 1 |
| 26 ; CHECK: %6 = icmp ule i32 0, 1 |
| 27 ; CHECK: %7 = icmp sgt i32 0, 1 |
| 28 ; CHECK: %8 = icmp sge i32 0, 1 |
| 29 ; CHECK: %9 = icmp slt i32 0, 1 |
| 30 ; CHECK: %10 = icmp sle i32 0, 1 |
| 31 ; CHECK: ret void |
| 32 ; CHECK: } |
| 33 |
| 34 define void @FloatCompare() { |
| 35 %1 = fcmp false float 0.000000e+00, 1.000000e+00 |
| 36 %2 = fcmp oeq float 0.000000e+00, 1.000000e+00 |
| 37 %3 = fcmp ogt float 0.000000e+00, 1.000000e+00 |
| 38 %4 = fcmp oge float 0.000000e+00, 1.000000e+00 |
| 39 %5 = fcmp olt float 0.000000e+00, 1.000000e+00 |
| 40 %6 = fcmp ole float 0.000000e+00, 1.000000e+00 |
| 41 %7 = fcmp one float 0.000000e+00, 1.000000e+00 |
| 42 %8 = fcmp ord float 0.000000e+00, 1.000000e+00 |
| 43 %9 = fcmp ueq float 0.000000e+00, 1.000000e+00 |
| 44 %10 = fcmp ugt float 0.000000e+00, 1.000000e+00 |
| 45 %11 = fcmp uge float 0.000000e+00, 1.000000e+00 |
| 46 %12 = fcmp ult float 0.000000e+00, 1.000000e+00 |
| 47 %13 = fcmp ule float 0.000000e+00, 1.000000e+00 |
| 48 %14 = fcmp une float 0.000000e+00, 1.000000e+00 |
| 49 %15 = fcmp uno float 0.000000e+00, 1.000000e+00 |
| 50 %16 = fcmp true float 0.000000e+00, 1.000000e+00 |
| 51 ret void |
| 52 } |
| 53 |
| 54 ; CHECK: define void @FloatCompare() { |
| 55 ; CHECK: %1 = fcmp false float 0.000000e+00, 1.000000e+00 |
| 56 ; CHECK: %2 = fcmp oeq float 0.000000e+00, 1.000000e+00 |
| 57 ; CHECK: %3 = fcmp ogt float 0.000000e+00, 1.000000e+00 |
| 58 ; CHECK: %4 = fcmp oge float 0.000000e+00, 1.000000e+00 |
| 59 ; CHECK: %5 = fcmp olt float 0.000000e+00, 1.000000e+00 |
| 60 ; CHECK: %6 = fcmp ole float 0.000000e+00, 1.000000e+00 |
| 61 ; CHECK: %7 = fcmp one float 0.000000e+00, 1.000000e+00 |
| 62 ; CHECK: %8 = fcmp ord float 0.000000e+00, 1.000000e+00 |
| 63 ; CHECK: %9 = fcmp ueq float 0.000000e+00, 1.000000e+00 |
| 64 ; CHECK: %10 = fcmp ugt float 0.000000e+00, 1.000000e+00 |
| 65 ; CHECK: %11 = fcmp uge float 0.000000e+00, 1.000000e+00 |
| 66 ; CHECK: %12 = fcmp ult float 0.000000e+00, 1.000000e+00 |
| 67 ; CHECK: %13 = fcmp ule float 0.000000e+00, 1.000000e+00 |
| 68 ; CHECK: %14 = fcmp une float 0.000000e+00, 1.000000e+00 |
| 69 ; CHECK: %15 = fcmp uno float 0.000000e+00, 1.000000e+00 |
| 70 ; CHECK: %16 = fcmp true float 0.000000e+00, 1.000000e+00 |
| 71 ; CHECK: ret void |
| 72 ; CHECK: } |
OLD | NEW |