59 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=nvptx64 | FileCheck %s3; RUN: %if ptxas %{ llc < %s -mtriple=nvptx64 | %ptxas-verify %}4 5target triple = "nvptx64-nvidia-cuda"6 7;; Check if fneg (fdiv 1, X) lowers to fneg (rcp.rn X).8 9define double @test1(double %in) {10; CHECK-LABEL: test1(11; CHECK: {12; CHECK-NEXT: .reg .b64 %rd<4>;13; CHECK-EMPTY:14; CHECK-NEXT: // %bb.0:15; CHECK-NEXT: ld.param.b64 %rd1, [test1_param_0];16; CHECK-NEXT: rcp.rn.f64 %rd2, %rd1;17; CHECK-NEXT: neg.f64 %rd3, %rd2;18; CHECK-NEXT: st.param.b64 [func_retval0], %rd3;19; CHECK-NEXT: ret;20 %div = fdiv double 1.000000e+00, %in21 %neg = fsub double -0.000000e+00, %div22 ret double %neg23}24 25;; Check if fdiv -1, X lowers to fneg (rcp.rn X).26 27define double @test2(double %in) {28; CHECK-LABEL: test2(29; CHECK: {30; CHECK-NEXT: .reg .b64 %rd<4>;31; CHECK-EMPTY:32; CHECK-NEXT: // %bb.0:33; CHECK-NEXT: ld.param.b64 %rd1, [test2_param_0];34; CHECK-NEXT: rcp.rn.f64 %rd2, %rd1;35; CHECK-NEXT: neg.f64 %rd3, %rd2;36; CHECK-NEXT: st.param.b64 [func_retval0], %rd3;37; CHECK-NEXT: ret;38 %div = fdiv double -1.000000e+00, %in39 ret double %div40}41 42;; Check if fdiv 1, (fneg X) lowers to fneg (rcp.rn X).43 44define double @test3(double %in) {45; CHECK-LABEL: test3(46; CHECK: {47; CHECK-NEXT: .reg .b64 %rd<4>;48; CHECK-EMPTY:49; CHECK-NEXT: // %bb.0:50; CHECK-NEXT: ld.param.b64 %rd1, [test3_param_0];51; CHECK-NEXT: rcp.rn.f64 %rd2, %rd1;52; CHECK-NEXT: neg.f64 %rd3, %rd2;53; CHECK-NEXT: st.param.b64 [func_retval0], %rd3;54; CHECK-NEXT: ret;55 %neg = fsub double -0.000000e+00, %in56 %div = fdiv double 1.000000e+00, %neg57 ret double %div58}59