1 ; Test conversions of signed i32s to floating-point values. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5 ; Check i32->f32. 6 define float @f1(i32 %i) { 7 ; CHECK-LABEL: f1: 8 ; CHECK: cefbr %f0, %r2 9 ; CHECK: br %r14 10 %conv = sitofp i32 %i to float 11 ret float %conv 12 } 13 14 ; Check i32->f64. 15 define double @f2(i32 %i) { 16 ; CHECK-LABEL: f2: 17 ; CHECK: cdfbr %f0, %r2 18 ; CHECK: br %r14 19 %conv = sitofp i32 %i to double 20 ret double %conv 21 } 22 23 ; Check i32->f128. 24 define void @f3(i32 %i, fp128 *%dst) { 25 ; CHECK-LABEL: f3: 26 ; CHECK: cxfbr %f0, %r2 27 ; CHECK: std %f0, 0(%r3) 28 ; CHECK: std %f2, 8(%r3) 29 ; CHECK: br %r14 30 %conv = sitofp i32 %i to fp128 31 store fp128 %conv, fp128 *%dst 32 ret void 33 } 34
