[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / NVPTX / arithmetic-fp-sm20.ll
blobc167db4b46dcd9757a1544d6d4e10484aef162d0
1 ; RUN: llc < %s -march=nvptx -mcpu=sm_20 -fp-contract=fast | FileCheck %s
2 ; RUN: llc < %s -march=nvptx64 -mcpu=sm_20 -fp-contract=fast | FileCheck %s
4 ;; These tests should run for all targets
6 ;;===-- Basic instruction selection tests ---------------------------------===;;
9 ;;; f64
11 define double @fadd_f64(double %a, double %b) {
12 ; CHECK: add.f64 %fd{{[0-9]+}}, %fd{{[0-9]+}}, %fd{{[0-9]+}}
13 ; CHECK: ret
14   %ret = fadd double %a, %b
15   ret double %ret
18 define double @fsub_f64(double %a, double %b) {
19 ; CHECK: sub.f64 %fd{{[0-9]+}}, %fd{{[0-9]+}}, %fd{{[0-9]+}}
20 ; CHECK: ret
21   %ret = fsub double %a, %b
22   ret double %ret
25 define double @fmul_f64(double %a, double %b) {
26 ; CHECK: mul.f64 %fd{{[0-9]+}}, %fd{{[0-9]+}}, %fd{{[0-9]+}}
27 ; CHECK: ret
28   %ret = fmul double %a, %b
29   ret double %ret
32 define double @fdiv_f64(double %a, double %b) {
33 ; CHECK: div.rn.f64 %fd{{[0-9]+}}, %fd{{[0-9]+}}, %fd{{[0-9]+}}
34 ; CHECK: ret
35   %ret = fdiv double %a, %b
36   ret double %ret
39 ;; PTX does not have a floating-point rem instruction
42 ;;; f32
44 define float @fadd_f32(float %a, float %b) {
45 ; CHECK: add.f32 %f{{[0-9]+}}, %f{{[0-9]+}}, %f{{[0-9]+}}
46 ; CHECK: ret
47   %ret = fadd float %a, %b
48   ret float %ret
51 define float @fsub_f32(float %a, float %b) {
52 ; CHECK: sub.f32 %f{{[0-9]+}}, %f{{[0-9]+}}, %f{{[0-9]+}}
53 ; CHECK: ret
54   %ret = fsub float %a, %b
55   ret float %ret
58 define float @fmul_f32(float %a, float %b) {
59 ; CHECK: mul.f32 %f{{[0-9]+}}, %f{{[0-9]+}}, %f{{[0-9]+}}
60 ; CHECK: ret
61   %ret = fmul float %a, %b
62   ret float %ret
65 define float @fdiv_f32(float %a, float %b) {
66 ; CHECK: div.rn.f32 %f{{[0-9]+}}, %f{{[0-9]+}}, %f{{[0-9]+}}
67 ; CHECK: ret
68   %ret = fdiv float %a, %b
69   ret float %ret
72 ;; PTX does not have a floating-point rem instruction