xref: /llvm-project/llvm/test/CodeGen/PowerPC/respect-rounding-mode.ll (revision 5403c59c608c08c8ecd4303763f08eb046eb5e4d) 
1; The strictfp version of test/CodeGen/PowerPC/cse-despit-rounding-mode.ll
2; With strictfp, the MachineIR optimizations need to assume that a call
3; can change the rounding mode and must not move/eliminate the repeated
4; multiply/convert instructions in this test.
5; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \
6; RUN:   -mcpu=pwr8 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 4
7; RUN: llc -verify-machineinstrs --mtriple powerpc-unknown-linux-gnu \
8; RUN:   -mcpu=pwr9 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 4
9; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \
10; RUN:   -mcpu=pwr10 -ppc-asm-full-reg-names < %s | grep 'xvrdpic' | count 4
11
12; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \
13; RUN:   -mcpu=pwr8 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 4
14; RUN: llc -verify-machineinstrs --mtriple powerpc-unknown-linux-gnu \
15; RUN:   -mcpu=pwr9 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 4
16; RUN: llc -verify-machineinstrs --mtriple powerpc64le-unknown-linux-gnu \
17; RUN:   -mcpu=pwr10 -ppc-asm-full-reg-names < %s | grep 'xvmuldp' | count 4
18@IndirectCallPtr = dso_local local_unnamed_addr global ptr null, align 8
19
20define dso_local signext i32 @func1() local_unnamed_addr #0 {
21entry:
22  tail call void @directCall() #0
23  %0 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
24  %vecext = extractelement <2 x double> %0, i32 0
25  %sub = tail call double @llvm.experimental.constrained.fsub.f64(double %vecext, double -9.900000e+01, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
26  %conv = tail call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %sub, metadata !"fpexcept.ignore") #0
27  tail call void @directCall() #0
28  %1 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
29  %vecext3 = extractelement <2 x double> %1, i32 1
30  %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext3, double 9.900000e+01, metadata !"une", metadata !"fpexcept.ignore") #0
31  br i1 %cmp, label %if.then, label %if.end
32
33if.then:                                          ; preds = %entry
34  tail call void @exit(i32 signext 2) #0
35  unreachable
36
37if.end:                                           ; preds = %entry
38  ret i32 %conv
39}
40
41declare void @directCall(...) local_unnamed_addr
42
43declare double @llvm.experimental.constrained.fsub.f64(double, double, metadata, metadata)
44
45declare i32 @llvm.experimental.constrained.fptosi.i32.f64(double, metadata)
46
47declare i1 @llvm.experimental.constrained.fcmp.f64(double, double, metadata, metadata)
48
49declare void @exit(i32 signext) local_unnamed_addr
50
51define dso_local signext i32 @func2() local_unnamed_addr #0 {
52entry:
53  %call = tail call <2 x double> @getvector1() #0
54  %call1 = tail call <2 x double> @getvector2() #0
55  tail call void @directCall() #0
56  %mul = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
57  %vecext = extractelement <2 x double> %mul, i32 0
58  %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext, double 4.000000e+00, metadata !"oeq", metadata !"fpexcept.ignore") #0
59  br i1 %cmp, label %cleanup, label %if.end
60
61if.end:                                           ; preds = %entry
62  tail call void @directCall() #0
63  %mul10 = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
64  %0 = tail call i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32 2, <2 x double> %mul, <2 x double> %mul10) #0
65  br label %cleanup
66
67cleanup:                                          ; preds = %entry, %if.end
68  %retval.0 = phi i32 [ %0, %if.end ], [ 11, %entry ]
69  ret i32 %retval.0
70}
71
72declare <2 x double> @getvector1(...) local_unnamed_addr
73
74declare <2 x double> @getvector2(...) local_unnamed_addr
75
76declare <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double>, <2 x double>, metadata, metadata)
77
78declare i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32, <2 x double>, <2 x double>)
79
80define dso_local signext i32 @func3() local_unnamed_addr #0 {
81entry:
82  %0 = load ptr, ptr @IndirectCallPtr, align 8
83  tail call void %0() #0
84  %1 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
85  %vecext = extractelement <2 x double> %1, i32 0
86  %sub = tail call double @llvm.experimental.constrained.fsub.f64(double %vecext, double -9.900000e+01, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
87  %conv = tail call i32 @llvm.experimental.constrained.fptosi.i32.f64(double %sub, metadata !"fpexcept.ignore") #0
88  %2 = load ptr, ptr @IndirectCallPtr, align 8
89  tail call void %2() #0
90  %3 = tail call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> <double -9.990000e+01, double 9.990000e+01>, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
91  %vecext4 = extractelement <2 x double> %3, i32 1
92  %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext4, double 9.900000e+01, metadata !"une", metadata !"fpexcept.ignore") #0
93  br i1 %cmp, label %if.then, label %if.end
94
95if.then:                                          ; preds = %entry
96  tail call void @exit(i32 signext 2) #0
97  unreachable
98
99if.end:                                           ; preds = %entry
100  ret i32 %conv
101}
102
103define dso_local signext i32 @func4() local_unnamed_addr #0 {
104entry:
105  %call = tail call <2 x double> @getvector1() #0
106  %call1 = tail call <2 x double> @getvector2() #0
107  %0 = load ptr, ptr @IndirectCallPtr, align 8
108  tail call void %0() #0
109  %mul = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
110  %vecext = extractelement <2 x double> %mul, i32 0
111  %cmp = tail call i1 @llvm.experimental.constrained.fcmp.f64(double %vecext, double 4.000000e+00, metadata !"oeq", metadata !"fpexcept.ignore") #0
112  br i1 %cmp, label %cleanup, label %if.end
113
114if.end:                                           ; preds = %entry
115  %1 = load ptr, ptr @IndirectCallPtr, align 8
116  tail call void %1() #0
117  %mul11 = tail call <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double> %call, <2 x double> %call1, metadata !"round.dynamic", metadata !"fpexcept.ignore") #0
118  %2 = tail call i32 @llvm.ppc.vsx.xvcmpeqdp.p(i32 2, <2 x double> %mul, <2 x double> %mul11) #0
119  br label %cleanup
120
121cleanup:                                          ; preds = %entry, %if.end
122  %retval.0 = phi i32 [ %2, %if.end ], [ 11, %entry ]
123  ret i32 %retval.0
124}
125
126declare <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double>, metadata, metadata)
127
128attributes #0 = { nounwind strictfp }
129