73 lines · plain
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 %s2; RUN: opt -S -passes=licm -verify-memoryssa < %s | FileCheck %s3 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 are8; considered safe to speculate.9 10; CHECK-LABEL: @test11; CHECK: call float @llvm.ceil.f3212; CHECK: call float @llvm.floor.f3213; CHECK: call float @llvm.nearbyint.f3214; CHECK: call float @llvm.rint.f3215; CHECK: call float @llvm.round.f3216; CHECK: call float @llvm.trunc.f3217; CHECK: call float @llvm.fabs.f3218; CHECK: call float @llvm.copysign.f3219; CHECK: call float @llvm.minnum.f3220; CHECK: call float @llvm.maxnum.f3221; CHECK: call float @llvm.powi.f3222; CHECK: call float @llvm.roundeven.f3223; CHECK: for.body:24 25define void @test(float %arg1, float %arg2) {26entry:27 br label %for.head28 29for.head:30 %IND = phi i32 [ 0, %entry ], [ %IND.new, %for.body ]31 %CMP = icmp slt i32 %IND, 1032 br i1 %CMP, label %for.body, label %exit33 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, 151 br label %for.head52 53exit:54 ret void55}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