48 lines · plain
1; Test that we take advantage of signext and zeroext annotations.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4 5; Zero extension of something that is already zero-extended.6define void @f1(i32 zeroext %r2, ptr %r3) {7; CHECK-LABEL: f1:8; CHECK-NOT: %r29; CHECK: stg %r2, 0(%r3)10; CHECK: br %r1411 %conv = zext i32 %r2 to i6412 store i64 %conv, ptr %r313 ret void14}15 16; Sign extension of something that is already sign-extended.17define void @f2(i32 signext %r2, ptr %r3) {18; CHECK-LABEL: f2:19; CHECK-NOT: %r220; CHECK: stg %r2, 0(%r3)21; CHECK: br %r1422 %conv = sext i32 %r2 to i6423 store i64 %conv, ptr %r324 ret void25}26 27; Sign extension of something that is already zero-extended.28define void @f3(i32 zeroext %r2, ptr %r3) {29; CHECK-LABEL: f3:30; CHECK: lgfr [[REGISTER:%r[0-5]+]], %r231; CHECK: stg [[REGISTER]], 0(%r3)32; CHECK: br %r1433 %conv = sext i32 %r2 to i6434 store i64 %conv, ptr %r335 ret void36}37 38; Zero extension of something that is already sign-extended.39define void @f4(i32 signext %r2, ptr %r3) {40; CHECK-LABEL: f4:41; CHECK: llgfr [[REGISTER:%r[0-5]+]], %r242; CHECK: stg [[REGISTER]], 0(%r3)43; CHECK: br %r1444 %conv = zext i32 %r2 to i6445 store i64 %conv, ptr %r346 ret void47}48