Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -mtriple=armv8-linux-gnueabihf -mattr=+fp-armv8 | FileCheck --check-prefix=CHECK --check-prefix=DP %s |
| 2 | ; RUN: llc < %s -mtriple=thumbv7em-linux-gnueabihf -mattr=+fp-armv8,+d16,+fp-only-sp | FileCheck --check-prefix=SP %s |
| 3 | ; RUN: llc < %s -mtriple=thumbv7em-linux-gnueabihf -mattr=+fp-armv8,+d16 | FileCheck --check-prefix=DP %s |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 4 | |
| 5 | ; CHECK-LABEL: test1 |
| 6 | ; CHECK: vrintm.f32 |
| 7 | define float @test1(float %a) { |
| 8 | entry: |
| 9 | %call = call float @floorf(float %a) nounwind readnone |
| 10 | ret float %call |
| 11 | } |
| 12 | |
| 13 | ; CHECK-LABEL: test2 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 14 | ; SP: b floor |
| 15 | ; DP: vrintm.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 16 | define double @test2(double %a) { |
| 17 | entry: |
| 18 | %call = call double @floor(double %a) nounwind readnone |
| 19 | ret double %call |
| 20 | } |
| 21 | |
| 22 | ; CHECK-LABEL: test3 |
| 23 | ; CHECK: vrintp.f32 |
| 24 | define float @test3(float %a) { |
| 25 | entry: |
| 26 | %call = call float @ceilf(float %a) nounwind readnone |
| 27 | ret float %call |
| 28 | } |
| 29 | |
| 30 | ; CHECK-LABEL: test4 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 31 | ; SP: b ceil |
| 32 | ; DP: vrintp.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 33 | define double @test4(double %a) { |
| 34 | entry: |
| 35 | %call = call double @ceil(double %a) nounwind readnone |
| 36 | ret double %call |
| 37 | } |
| 38 | |
| 39 | ; CHECK-LABEL: test5 |
| 40 | ; CHECK: vrinta.f32 |
| 41 | define float @test5(float %a) { |
| 42 | entry: |
| 43 | %call = call float @roundf(float %a) nounwind readnone |
| 44 | ret float %call |
| 45 | } |
| 46 | |
| 47 | ; CHECK-LABEL: test6 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 48 | ; SP: b round |
| 49 | ; DP: vrinta.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 50 | define double @test6(double %a) { |
| 51 | entry: |
| 52 | %call = call double @round(double %a) nounwind readnone |
| 53 | ret double %call |
| 54 | } |
| 55 | |
| 56 | ; CHECK-LABEL: test7 |
| 57 | ; CHECK: vrintz.f32 |
| 58 | define float @test7(float %a) { |
| 59 | entry: |
| 60 | %call = call float @truncf(float %a) nounwind readnone |
| 61 | ret float %call |
| 62 | } |
| 63 | |
| 64 | ; CHECK-LABEL: test8 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 65 | ; SP: b trunc |
| 66 | ; DP: vrintz.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 67 | define double @test8(double %a) { |
| 68 | entry: |
| 69 | %call = call double @trunc(double %a) nounwind readnone |
| 70 | ret double %call |
| 71 | } |
| 72 | |
| 73 | ; CHECK-LABEL: test9 |
| 74 | ; CHECK: vrintr.f32 |
| 75 | define float @test9(float %a) { |
| 76 | entry: |
| 77 | %call = call float @nearbyintf(float %a) nounwind readnone |
| 78 | ret float %call |
| 79 | } |
| 80 | |
| 81 | ; CHECK-LABEL: test10 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 82 | ; SP: b nearbyint |
| 83 | ; DP: vrintr.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 84 | define double @test10(double %a) { |
| 85 | entry: |
| 86 | %call = call double @nearbyint(double %a) nounwind readnone |
| 87 | ret double %call |
| 88 | } |
| 89 | |
| 90 | ; CHECK-LABEL: test11 |
| 91 | ; CHECK: vrintx.f32 |
| 92 | define float @test11(float %a) { |
| 93 | entry: |
| 94 | %call = call float @rintf(float %a) nounwind readnone |
| 95 | ret float %call |
| 96 | } |
| 97 | |
| 98 | ; CHECK-LABEL: test12 |
Oliver Stannard | d4e0a4f | 2014-10-01 13:13:18 +0000 | [diff] [blame] | 99 | ; SP: b rint |
| 100 | ; DP: vrintx.f64 |
Chad Rosier | b1bbf6f | 2014-08-15 21:38:16 +0000 | [diff] [blame] | 101 | define double @test12(double %a) { |
| 102 | entry: |
| 103 | %call = call double @rint(double %a) nounwind readnone |
| 104 | ret double %call |
| 105 | } |
| 106 | |
| 107 | declare float @floorf(float) nounwind readnone |
| 108 | declare double @floor(double) nounwind readnone |
| 109 | declare float @ceilf(float) nounwind readnone |
| 110 | declare double @ceil(double) nounwind readnone |
| 111 | declare float @roundf(float) nounwind readnone |
| 112 | declare double @round(double) nounwind readnone |
| 113 | declare float @truncf(float) nounwind readnone |
| 114 | declare double @trunc(double) nounwind readnone |
| 115 | declare float @nearbyintf(float) nounwind readnone |
| 116 | declare double @nearbyint(double) nounwind readnone |
| 117 | declare float @rintf(float) nounwind readnone |
| 118 | declare double @rint(double) nounwind readnone |