blob: 489a91f256e9197c010ab476bd85c0b40841bb25 [file] [edit]
; 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