From a0b4f424f56486fe6c3d5f6bac757c59e0ff72a4 Mon Sep 17 00:00:00 2001 From: Serge Pavlov Date: Fri, 16 Jul 2021 18:19:31 +0700 Subject: [PATCH] Use update_test_checks.py to auto-generate check lines --- .../InstSimplify/constfold-constrained.ll | 224 +++++++++++---------- 1 file changed, 113 insertions(+), 111 deletions(-) diff --git a/llvm/test/Transforms/InstSimplify/constfold-constrained.ll b/llvm/test/Transforms/InstSimplify/constfold-constrained.ll index d53de99..635bcd2 100644 --- a/llvm/test/Transforms/InstSimplify/constfold-constrained.ll +++ b/llvm/test/Transforms/InstSimplify/constfold-constrained.ll @@ -1,235 +1,237 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -instsimplify -S | FileCheck %s ; Verify that floor(10.1) is folded to 10.0 when the exception behavior is 'ignore'. define double @floor_01() #0 { +; CHECK-LABEL: @floor_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.floor.f64( - double 1.010000e+01, - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.floor.f64(double 1.010000e+01, metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @floor_01 - ; CHECK: ret double 1.000000e+01 } ; Verify that floor(-10.1) is folded to -11.0 when the exception behavior is not 'ignore'. define double @floor_02() #0 { +; CHECK-LABEL: @floor_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.floor.f64(double -1.010000e+01, metadata !"fpexcept.strict") #[[ATTR0:[0-9]+]] +; CHECK-NEXT: ret double -1.100000e+01 +; entry: - %result = call double @llvm.experimental.constrained.floor.f64( - double -1.010000e+01, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.floor.f64(double -1.010000e+01, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @floor_02 - ; CHECK: ret double -1.100000e+01 } ; Verify that ceil(10.1) is folded to 11.0 when the exception behavior is 'ignore'. define double @ceil_01() #0 { +; CHECK-LABEL: @ceil_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.100000e+01 +; entry: - %result = call double @llvm.experimental.constrained.ceil.f64( - double 1.010000e+01, - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.ceil.f64(double 1.010000e+01, metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @ceil_01 - ; CHECK: ret double 1.100000e+01 } ; Verify that ceil(-10.1) is folded to -10.0 when the exception behavior is not 'ignore'. define double @ceil_02() #0 { +; CHECK-LABEL: @ceil_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.ceil.f64(double -1.010000e+01, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double -1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.ceil.f64( - double -1.010000e+01, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.ceil.f64(double -1.010000e+01, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @ceil_02 - ; CHECK: ret double -1.000000e+01 } ; Verify that trunc(10.1) is folded to 10.0 when the exception behavior is 'ignore'. define double @trunc_01() #0 { +; CHECK-LABEL: @trunc_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double 1.010000e+01, - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double 1.010000e+01, metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @trunc_01 - ; CHECK: ret double 1.000000e+01 } ; Verify that trunc(-10.1) is folded to -10.0 when the exception behavior is NOT 'ignore'. define double @trunc_02() #0 { +; CHECK-LABEL: @trunc_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.trunc.f64(double -1.010000e+01, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double -1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double -1.010000e+01, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double -1.010000e+01, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @trunc_02 - ; CHECK: ret double -1.000000e+01 } ; Verify that round(10.5) is folded to 11.0 when the exception behavior is 'ignore'. define double @round_01() #0 { +; CHECK-LABEL: @round_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.100000e+01 +; entry: - %result = call double @llvm.experimental.constrained.round.f64( - double 1.050000e+01, - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.round.f64(double 1.050000e+01, metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @round_01 - ; CHECK: ret double 1.100000e+01 } ; Verify that floor(-10.5) is folded to -11.0 when the exception behavior is NOT 'ignore'. define double @round_02() #0 { +; CHECK-LABEL: @round_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.round.f64(double -1.050000e+01, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double -1.100000e+01 +; entry: - %result = call double @llvm.experimental.constrained.round.f64( - double -1.050000e+01, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.round.f64(double -1.050000e+01, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @round_02 - ; CHECK: ret double -1.100000e+01 } ; Verify that nearbyint(10.5) is folded to 11.0 when the rounding mode is 'upward'. define double @nearbyint_01() #0 { +; CHECK-LABEL: @nearbyint_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.100000e+01 +; entry: - %result = call double @llvm.experimental.constrained.nearbyint.f64( - double 1.050000e+01, - metadata !"round.upward", - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.upward", metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @nearbyint_01 - ; CHECK: ret double 1.100000e+01 } ; Verify that nearbyint(10.5) is folded to 10.0 when the rounding mode is 'downward'. define double @nearbyint_02() #0 { +; CHECK-LABEL: @nearbyint_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.nearbyint.f64( - double 1.050000e+01, - metadata !"round.downward", - metadata !"fpexcept.maytrap") #0 + %result = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.downward", metadata !"fpexcept.maytrap") #0 ret double %result - ; CHECK-LABEL: @nearbyint_02 - ; CHECK: ret double 1.000000e+01 } ; Verify that nearbyint(10.5) is folded to 10.0 when the rounding mode is 'towardzero'. define double @nearbyint_03() #0 { +; CHECK-LABEL: @nearbyint_03( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.towardzero", metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.nearbyint.f64( - double 1.050000e+01, - metadata !"round.towardzero", - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.towardzero", metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nearbyint_03 - ; CHECK: ret double 1.000000e+01 } ; Verify that nearbyint(10.5) is folded to 10.0 when the rounding mode is 'tonearest'. define double @nearbyint_04() #0 { +; CHECK-LABEL: @nearbyint_04( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.nearbyint.f64( - double 1.050000e+01, - metadata !"round.tonearest", - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nearbyint_04 - ; CHECK: ret double 1.000000e+01 } ; Verify that nearbyint(10.5) is NOT folded if the rounding mode is 'dynamic'. define double @nearbyint_05() #0 { +; CHECK-LABEL: @nearbyint_05( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.dynamic", metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double [[RESULT]] +; entry: - %result = call double @llvm.experimental.constrained.nearbyint.f64( - double 1.050000e+01, - metadata !"round.dynamic", - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.nearbyint.f64(double 1.050000e+01, metadata !"round.dynamic", metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nearbyint_05 - ; CHECK: [[VAL:%.+]] = {{.*}}call double @llvm.experimental.constrained.nearbyint - ; CHECK: ret double [[VAL]] } ; Verify that trunc(SNAN) is NOT folded if the exception behavior mode is not 'ignore'. define double @nonfinite_01() #0 { +; CHECK-LABEL: @nonfinite_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.trunc.f64(double 0x7FF4000000000000, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double [[RESULT]] +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double 0x7ff4000000000000, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double 0x7ff4000000000000, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nonfinite_01 - ; CHECK: [[VAL:%.+]] = {{.*}}call double @llvm.experimental.constrained.trunc - ; CHECK: ret double [[VAL]] } ; Verify that trunc(SNAN) is folded to QNAN if the exception behavior mode is 'ignore'. define double @nonfinite_02() #0 { +; CHECK-LABEL: @nonfinite_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 0x7FF8000000000000 +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double 0x7ff4000000000000, - metadata !"fpexcept.ignore") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double 0x7ff4000000000000, metadata !"fpexcept.ignore") #0 ret double %result - ; CHECK-LABEL: @nonfinite_02 - ; CHECK: ret double 0x7FF8000000000000 } ; Verify that trunc(QNAN) is folded even if the exception behavior mode is not 'ignore'. define double @nonfinite_03() #0 { +; CHECK-LABEL: @nonfinite_03( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.trunc.f64(double 0x7FF8000000000000, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double 0x7FF8000000000000 +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double 0x7ff8000000000000, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double 0x7ff8000000000000, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nonfinite_03 - ; CHECK: ret double 0x7FF8000000000000 } ; Verify that trunc(+Inf) is folded even if the exception behavior mode is not 'ignore'. define double @nonfinite_04() #0 { +; CHECK-LABEL: @nonfinite_04( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.trunc.f64(double 0x7FF0000000000000, metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double 0x7FF0000000000000 +; entry: - %result = call double @llvm.experimental.constrained.trunc.f64( - double 0x7ff0000000000000, - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.trunc.f64(double 0x7ff0000000000000, metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @nonfinite_04 - ; CHECK: ret double 0x7FF0000000000000 } ; Verify that rint(10) is folded to 10.0 when the rounding mode is 'tonearest'. define double @rint_01() #0 { +; CHECK-LABEL: @rint_01( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.rint.f64(double 1.000000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.rint.f64( - double 1.000000e+01, - metadata !"round.tonearest", - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.rint.f64(double 1.000000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @rint_01 - ; CHECK: ret double 1.000000e+01 } ; Verify that rint(10.1) is NOT folded to 10.0 when the exception behavior is 'strict'. define double @rint_02() #0 { +; CHECK-LABEL: @rint_02( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[RESULT:%.*]] = call double @llvm.experimental.constrained.rint.f64(double 1.010000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #[[ATTR0]] +; CHECK-NEXT: ret double [[RESULT]] +; entry: - %result = call double @llvm.experimental.constrained.rint.f64( - double 1.010000e+01, - metadata !"round.tonearest", - metadata !"fpexcept.strict") #0 + %result = call double @llvm.experimental.constrained.rint.f64(double 1.010000e+01, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 ret double %result - ; CHECK-LABEL: @rint_02 - ; CHECK: [[VAL:%.+]] = {{.*}}call double @llvm.experimental.constrained.rint - ; CHECK: ret double [[VAL]] } ; Verify that rint(10.1) is folded to 10.0 when the exception behavior is not 'strict'. define double @rint_03() #0 { +; CHECK-LABEL: @rint_03( +; CHECK-NEXT: entry: +; CHECK-NEXT: ret double 1.000000e+01 +; entry: - %result = call double @llvm.experimental.constrained.rint.f64( - double 1.010000e+01, - metadata !"round.tonearest", - metadata !"fpexcept.maytrap") #0 + %result = call double @llvm.experimental.constrained.rint.f64(double 1.010000e+01, metadata !"round.tonearest", metadata !"fpexcept.maytrap") #0 ret double %result - ; CHECK-LABEL: @rint_03 - ; CHECK: ret double 1.000000e+01 } -- 2.7.4