llvm/test/Transforms/EarlyCSE/cannot-be-negative-zero-assert.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
   2 ; RUN: opt -S -passes=early-cse < %s | FileCheck %s
   3
   4 ; We can't assume comparisons with 0 are exact class tests with dynamic denormal mode
   5 define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math(double %a) #0 {
   6 ; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math(
   7 ; CHECK-SAME: double [[A:%.*]]) #[[ATTR0:[0-9]+]] {
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[CMP:%.*]] = fcmp oeq double [[A]], 0.000000e+00
  10 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+00
  11 ; CHECK-NEXT:    store double [[COND]], ptr addrspace(5) null, align 8
  12 ; CHECK-NEXT:    ret double [[COND]]
  13 ;
  14 entry:
  15   %cmp = fcmp oeq double %a, 0.000000e+00
  16   %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+00
  17   store double %cond, ptr addrspace(5) null, align 8
  18   %load = load double, ptr addrspace(5) null, align 8
  19   %add.i = fadd double %load, 0.000000e+00
  20   ret double %add.i
  21 }
  22
  23 define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero(double %a) #0 {
  24 ; CHECK-LABEL: define double @cannot_be_negative_zero_test_dynamic_denormal_fp_math_negzero(
  25 ; CHECK-SAME: double [[A:%.*]]) #[[ATTR0]] {
  26 ; CHECK-NEXT:  entry:
  27 ; CHECK-NEXT:    [[CMP:%.*]] = fcmp oeq double [[A]], -0.000000e+00
  28 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[CMP]], double 1.000000e+00, double 0.000000e+00
  29 ; CHECK-NEXT:    store double [[COND]], ptr addrspace(5) null, align 8
  30 ; CHECK-NEXT:    ret double [[COND]]
  31 ;
  32 entry:
  33   %cmp = fcmp oeq double %a, -0.000000e+00
  34   %cond = select i1 %cmp, double 1.000000e+00, double 0.000000e+00
  35   store double %cond, ptr addrspace(5) null, align 8
  36   %load = load double, ptr addrspace(5) null, align 8
  37   %add.i = fadd double %load, 0.000000e+00
  38   ret double %add.i
  39 }
  40
  41 attributes #0 = { "denormal-fp-math"="dynamic,dynamic" }