1; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s 2; RUN: llc -verify-machineinstrs < %s -mtriple=arm64-apple-ios7.0 -O0 3 4; (The O0 test is to make sure FastISel still constrains its operands properly 5; and the verifier doesn't trigger). 6 7@var32 = global i32 0 8@var64 = global i64 0 9 10define void @test_fcvtzs(float %flt, double %dbl) { 11; CHECK-LABEL: test_fcvtzs: 12 13 %fix1 = fmul float %flt, 128.0 14 %cvt1 = fptosi float %fix1 to i32 15; CHECK: fcvtzs {{w[0-9]+}}, {{s[0-9]+}}, #7 16 store volatile i32 %cvt1, i32* @var32 17 18 %fix2 = fmul float %flt, 4294967296.0 19 %cvt2 = fptosi float %fix2 to i32 20; CHECK: fcvtzs {{w[0-9]+}}, {{s[0-9]+}}, #32 21 store volatile i32 %cvt2, i32* @var32 22 23 %fix3 = fmul float %flt, 128.0 24 %cvt3 = fptosi float %fix3 to i64 25; CHECK: fcvtzs {{x[0-9]+}}, {{s[0-9]+}}, #7 26 store volatile i64 %cvt3, i64* @var64 27 28 %fix4 = fmul float %flt, 18446744073709551616.0 29 %cvt4 = fptosi float %fix4 to i64 30; CHECK: fcvtzs {{x[0-9]+}}, {{s[0-9]+}}, #64 31 store volatile i64 %cvt4, i64* @var64 32 33 %fix5 = fmul double %dbl, 128.0 34 %cvt5 = fptosi double %fix5 to i32 35; CHECK: fcvtzs {{w[0-9]+}}, {{d[0-9]+}}, #7 36 store volatile i32 %cvt5, i32* @var32 37 38 %fix6 = fmul double %dbl, 4294967296.0 39 %cvt6 = fptosi double %fix6 to i32 40; CHECK: fcvtzs {{w[0-9]+}}, {{d[0-9]+}}, #32 41 store volatile i32 %cvt6, i32* @var32 42 43 %fix7 = fmul double %dbl, 128.0 44 %cvt7 = fptosi double %fix7 to i64 45; CHECK: fcvtzs {{x[0-9]+}}, {{d[0-9]+}}, #7 46 store volatile i64 %cvt7, i64* @var64 47 48 %fix8 = fmul double %dbl, 18446744073709551616.0 49 %cvt8 = fptosi double %fix8 to i64 50; CHECK: fcvtzs {{x[0-9]+}}, {{d[0-9]+}}, #64 51 store volatile i64 %cvt8, i64* @var64 52 53 ret void 54} 55 56define void @test_fcvtzu(float %flt, double %dbl) { 57; CHECK-LABEL: test_fcvtzu: 58 59 %fix1 = fmul float %flt, 128.0 60 %cvt1 = fptoui float %fix1 to i32 61; CHECK: fcvtzu {{w[0-9]+}}, {{s[0-9]+}}, #7 62 store volatile i32 %cvt1, i32* @var32 63 64 %fix2 = fmul float %flt, 4294967296.0 65 %cvt2 = fptoui float %fix2 to i32 66; CHECK: fcvtzu {{w[0-9]+}}, {{s[0-9]+}}, #32 67 store volatile i32 %cvt2, i32* @var32 68 69 %fix3 = fmul float %flt, 128.0 70 %cvt3 = fptoui float %fix3 to i64 71; CHECK: fcvtzu {{x[0-9]+}}, {{s[0-9]+}}, #7 72 store volatile i64 %cvt3, i64* @var64 73 74 %fix4 = fmul float %flt, 18446744073709551616.0 75 %cvt4 = fptoui float %fix4 to i64 76; CHECK: fcvtzu {{x[0-9]+}}, {{s[0-9]+}}, #64 77 store volatile i64 %cvt4, i64* @var64 78 79 %fix5 = fmul double %dbl, 128.0 80 %cvt5 = fptoui double %fix5 to i32 81; CHECK: fcvtzu {{w[0-9]+}}, {{d[0-9]+}}, #7 82 store volatile i32 %cvt5, i32* @var32 83 84 %fix6 = fmul double %dbl, 4294967296.0 85 %cvt6 = fptoui double %fix6 to i32 86; CHECK: fcvtzu {{w[0-9]+}}, {{d[0-9]+}}, #32 87 store volatile i32 %cvt6, i32* @var32 88 89 %fix7 = fmul double %dbl, 128.0 90 %cvt7 = fptoui double %fix7 to i64 91; CHECK: fcvtzu {{x[0-9]+}}, {{d[0-9]+}}, #7 92 store volatile i64 %cvt7, i64* @var64 93 94 %fix8 = fmul double %dbl, 18446744073709551616.0 95 %cvt8 = fptoui double %fix8 to i64 96; CHECK: fcvtzu {{x[0-9]+}}, {{d[0-9]+}}, #64 97 store volatile i64 %cvt8, i64* @var64 98 99 ret void 100} 101 102@varfloat = global float 0.0 103@vardouble = global double 0.0 104 105define void @test_scvtf(i32 %int, i64 %long) { 106; CHECK-LABEL: test_scvtf: 107 108 %cvt1 = sitofp i32 %int to float 109 %fix1 = fdiv float %cvt1, 128.0 110; CHECK: scvtf {{s[0-9]+}}, {{w[0-9]+}}, #7 111 store volatile float %fix1, float* @varfloat 112 113 %cvt2 = sitofp i32 %int to float 114 %fix2 = fdiv float %cvt2, 4294967296.0 115; CHECK: scvtf {{s[0-9]+}}, {{w[0-9]+}}, #32 116 store volatile float %fix2, float* @varfloat 117 118 %cvt3 = sitofp i64 %long to float 119 %fix3 = fdiv float %cvt3, 128.0 120; CHECK: scvtf {{s[0-9]+}}, {{x[0-9]+}}, #7 121 store volatile float %fix3, float* @varfloat 122 123 %cvt4 = sitofp i64 %long to float 124 %fix4 = fdiv float %cvt4, 18446744073709551616.0 125; CHECK: scvtf {{s[0-9]+}}, {{x[0-9]+}}, #64 126 store volatile float %fix4, float* @varfloat 127 128 %cvt5 = sitofp i32 %int to double 129 %fix5 = fdiv double %cvt5, 128.0 130; CHECK: scvtf {{d[0-9]+}}, {{w[0-9]+}}, #7 131 store volatile double %fix5, double* @vardouble 132 133 %cvt6 = sitofp i32 %int to double 134 %fix6 = fdiv double %cvt6, 4294967296.0 135; CHECK: scvtf {{d[0-9]+}}, {{w[0-9]+}}, #32 136 store volatile double %fix6, double* @vardouble 137 138 %cvt7 = sitofp i64 %long to double 139 %fix7 = fdiv double %cvt7, 128.0 140; CHECK: scvtf {{d[0-9]+}}, {{x[0-9]+}}, #7 141 store volatile double %fix7, double* @vardouble 142 143 %cvt8 = sitofp i64 %long to double 144 %fix8 = fdiv double %cvt8, 18446744073709551616.0 145; CHECK: scvtf {{d[0-9]+}}, {{x[0-9]+}}, #64 146 store volatile double %fix8, double* @vardouble 147 148 ret void 149} 150 151define void @test_ucvtf(i32 %int, i64 %long) { 152; CHECK-LABEL: test_ucvtf: 153 154 %cvt1 = uitofp i32 %int to float 155 %fix1 = fdiv float %cvt1, 128.0 156; CHECK: ucvtf {{s[0-9]+}}, {{w[0-9]+}}, #7 157 store volatile float %fix1, float* @varfloat 158 159 %cvt2 = uitofp i32 %int to float 160 %fix2 = fdiv float %cvt2, 4294967296.0 161; CHECK: ucvtf {{s[0-9]+}}, {{w[0-9]+}}, #32 162 store volatile float %fix2, float* @varfloat 163 164 %cvt3 = uitofp i64 %long to float 165 %fix3 = fdiv float %cvt3, 128.0 166; CHECK: ucvtf {{s[0-9]+}}, {{x[0-9]+}}, #7 167 store volatile float %fix3, float* @varfloat 168 169 %cvt4 = uitofp i64 %long to float 170 %fix4 = fdiv float %cvt4, 18446744073709551616.0 171; CHECK: ucvtf {{s[0-9]+}}, {{x[0-9]+}}, #64 172 store volatile float %fix4, float* @varfloat 173 174 %cvt5 = uitofp i32 %int to double 175 %fix5 = fdiv double %cvt5, 128.0 176; CHECK: ucvtf {{d[0-9]+}}, {{w[0-9]+}}, #7 177 store volatile double %fix5, double* @vardouble 178 179 %cvt6 = uitofp i32 %int to double 180 %fix6 = fdiv double %cvt6, 4294967296.0 181; CHECK: ucvtf {{d[0-9]+}}, {{w[0-9]+}}, #32 182 store volatile double %fix6, double* @vardouble 183 184 %cvt7 = uitofp i64 %long to double 185 %fix7 = fdiv double %cvt7, 128.0 186; CHECK: ucvtf {{d[0-9]+}}, {{x[0-9]+}}, #7 187 store volatile double %fix7, double* @vardouble 188 189 %cvt8 = uitofp i64 %long to double 190 %fix8 = fdiv double %cvt8, 18446744073709551616.0 191; CHECK: ucvtf {{d[0-9]+}}, {{x[0-9]+}}, #64 192 store volatile double %fix8, double* @vardouble 193 194 ret void 195} 196