| ; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: llubi --verbose < %s 2>&1 | FileCheck %s |
| |
| define void @main() { |
| %eq = fcmp oeq float 1.0, 1.0 |
| %ne = fcmp one float 1.0, 2.0 |
| %gt = fcmp ogt float 2.0, 1.0 |
| |
| %nan = fdiv float 0.0, 0.0 |
| %ord_nan = fcmp oeq float %nan, 1.0 |
| %uno_nan = fcmp uno float %nan, 1.0 |
| %une_nan = fcmp une float %nan, 1.0 |
| |
| ret void |
| } |
| ; CHECK: Entering function: main |
| ; CHECK-NEXT: %eq = fcmp oeq float 1.000000e+00, 1.000000e+00 => T |
| ; CHECK-NEXT: %ne = fcmp one float 1.000000e+00, 2.000000e+00 => T |
| ; CHECK-NEXT: %gt = fcmp ogt float 2.000000e+00, 1.000000e+00 => T |
| ; CHECK-NEXT: %nan = fdiv float 0.000000e+00, 0.000000e+00 => float NaN |
| ; CHECK-NEXT: %ord_nan = fcmp oeq float %nan, 1.000000e+00 => F |
| ; CHECK-NEXT: %uno_nan = fcmp uno float %nan, 1.000000e+00 => T |
| ; CHECK-NEXT: %une_nan = fcmp une float %nan, 1.000000e+00 => T |
| ; CHECK-NEXT: ret void |
| ; CHECK-NEXT: Exiting function: main |