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. 6 define 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. 15 define 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. 24 define 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 *%src 31 %conv = fptosi fp128 %f to i32 32 ret i32 %conv 33 } 34
