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