xref: /llvm-project/llvm/test/Transforms/LICM/hoist-round.ll (revision e390c229a438ed1eb3396df8fbeeda89c49474e6) 
1; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<target-ir>,require<scalar-evolution>,require<opt-remark-emit>,loop-mssa(licm)' -S %s | FileCheck %s
2; RUN: opt -S -passes=licm -verify-memoryssa < %s | FileCheck %s
3
4target datalayout = "E-m:e-p:32:32-i8:8:8-i16:16:16-i64:32:32-f64:32:32-v64:32:32-v128:32:32-a0:0:32-n32"
5
6; This test verifies that ceil, floor, nearbyint, trunc, rint, round,
7; copysign, minnum, maxnum, minimum, maximum, and fabs intrinsics are
8; considered safe to speculate.
9
10; CHECK-LABEL: @test
11; CHECK: call float @llvm.ceil.f32
12; CHECK: call float @llvm.floor.f32
13; CHECK: call float @llvm.nearbyint.f32
14; CHECK: call float @llvm.rint.f32
15; CHECK: call float @llvm.round.f32
16; CHECK: call float @llvm.trunc.f32
17; CHECK: call float @llvm.fabs.f32
18; CHECK: call float @llvm.copysign.f32
19; CHECK: call float @llvm.minnum.f32
20; CHECK: call float @llvm.maxnum.f32
21; CHECK: call float @llvm.powi.f32
22; CHECK: call float @llvm.roundeven.f32
23; CHECK: for.body:
24
25define void @test(float %arg1, float %arg2) {
26entry:
27  br label %for.head
28
29for.head:
30  %IND = phi i32 [ 0, %entry ], [ %IND.new, %for.body ]
31  %CMP = icmp slt i32 %IND, 10
32  br i1 %CMP, label %for.body, label %exit
33
34for.body:
35  %tmp.1 = call float @llvm.ceil.f32(float %arg1)
36  %tmp.2 = call float @llvm.floor.f32(float %tmp.1)
37  %tmp.3 = call float @llvm.nearbyint.f32(float %tmp.2)
38  %tmp.4 = call float @llvm.rint.f32(float %tmp.3)
39  %tmp.5 = call float @llvm.round.f32(float %tmp.4)
40  %tmp.6 = call float @llvm.trunc.f32(float %tmp.5)
41  %tmp.7 = call float @llvm.fabs.f32(float %tmp.6)
42  %tmp.8 = call float @llvm.copysign.f32(float %tmp.7, float %arg2)
43  %tmp.9 = call float @llvm.minnum.f32(float %tmp.8, float %arg2)
44  %tmp.10 = call float @llvm.maxnum.f32(float %tmp.9, float %arg2)
45  %tmp.11 = call float @llvm.minimum.f32(float %tmp.10, float %arg2)
46  %tmp.12 = call float @llvm.maximum.f32(float %tmp.11, float %arg2)
47  %tmp.13 = call float @llvm.powi.f32.i32(float %tmp.12, i32 4)
48  %tmp.14 = call float @llvm.roundeven.f32(float %tmp.13)
49  call void @consume(float %tmp.14)
50  %IND.new = add i32 %IND, 1
51  br label %for.head
52
53exit:
54  ret void
55}
56
57declare void @consume(float)
58
59declare float @llvm.ceil.f32(float)
60declare float @llvm.floor.f32(float)
61declare float @llvm.nearbyint.f32(float)
62declare float @llvm.rint.f32(float)
63declare float @llvm.round.f32(float)
64declare float @llvm.trunc.f32(float)
65declare float @llvm.fabs.f32(float)
66declare float @llvm.copysign.f32(float, float)
67declare float @llvm.minnum.f32(float, float)
68declare float @llvm.maxnum.f32(float, float)
69declare float @llvm.minimum.f32(float, float)
70declare float @llvm.maximum.f32(float, float)
71declare float @llvm.powi.f32.i32(float, i32)
72declare float @llvm.roundeven.f32(float)
73