61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -dxil-intrinsic-expansion -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s3 4; Make sure dxil operation function calls for pow are generated.5 6define noundef i16 @usub_sat_i16(i16 noundef %a, i16 noundef %b) {7; CHECK-LABEL: define noundef i16 @usub_sat_i16(8; CHECK-SAME: i16 noundef [[A:%.*]], i16 noundef [[B:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: [[USUB_CMP:%.*]] = icmp ult i16 [[A]], [[B]]11; CHECK-NEXT: [[USUB_SUB:%.*]] = sub i16 [[A]], [[B]]12; CHECK-NEXT: [[ELT_USUB_SAT:%.*]] = select i1 [[USUB_CMP]], i16 0, i16 [[USUB_SUB]]13; CHECK-NEXT: ret i16 [[ELT_USUB_SAT]]14;15entry:16 %elt.usub_sat = call i16 @llvm.usub.sat.i16(i16 %a, i16 %b)17 ret i16 %elt.usub_sat18}19 20define noundef i32 @usub_sat_i32(i32 noundef %a, i32 noundef %b) {21; CHECK-LABEL: define noundef i32 @usub_sat_i32(22; CHECK-SAME: i32 noundef [[A:%.*]], i32 noundef [[B:%.*]]) {23; CHECK-NEXT: [[ENTRY:.*:]]24; CHECK-NEXT: [[USUB_CMP:%.*]] = icmp ult i32 [[A]], [[B]]25; CHECK-NEXT: [[USUB_SUB:%.*]] = sub i32 [[A]], [[B]]26; CHECK-NEXT: [[ELT_USUB_SAT:%.*]] = select i1 [[USUB_CMP]], i32 0, i32 [[USUB_SUB]]27; CHECK-NEXT: ret i32 [[ELT_USUB_SAT]]28;29entry:30 %elt.usub_sat = call i32 @llvm.usub.sat.i32(i32 %a, i32 %b)31 ret i32 %elt.usub_sat32}33 34define noundef i64 @usub_sat_i64(i64 noundef %a, i64 noundef %b) {35; CHECK-LABEL: define noundef i64 @usub_sat_i64(36; CHECK-SAME: i64 noundef [[A:%.*]], i64 noundef [[B:%.*]]) {37; CHECK-NEXT: [[ENTRY:.*:]]38; CHECK-NEXT: [[USUB_CMP:%.*]] = icmp ult i64 [[A]], [[B]]39; CHECK-NEXT: [[USUB_SUB:%.*]] = sub i64 [[A]], [[B]]40; CHECK-NEXT: [[ELT_USUB_SAT:%.*]] = select i1 [[USUB_CMP]], i64 0, i64 [[USUB_SUB]]41; CHECK-NEXT: ret i64 [[ELT_USUB_SAT]]42;43entry:44 %elt.usub_sat = call i64 @llvm.usub.sat.i64(i64 %a, i64 %b)45 ret i64 %elt.usub_sat46}47 48define noundef <4 x i32> @usub_sat_vec(<4 x i32> noundef %a, <4 x i32> noundef %b) {49; CHECK-LABEL: define noundef <4 x i32> @usub_sat_vec(50; CHECK-SAME: <4 x i32> noundef [[A:%.*]], <4 x i32> noundef [[B:%.*]]) {51; CHECK-NEXT: [[ENTRY:.*:]]52; CHECK-NEXT: [[USUB_CMP:%.*]] = icmp ult <4 x i32> [[A]], [[B]]53; CHECK-NEXT: [[USUB_SUB:%.*]] = sub <4 x i32> [[A]], [[B]]54; CHECK-NEXT: [[ELT_USUB_SAT:%.*]] = select <4 x i1> [[USUB_CMP]], <4 x i32> zeroinitializer, <4 x i32> [[USUB_SUB]]55; CHECK-NEXT: ret <4 x i32> [[ELT_USUB_SAT]]56;57entry:58 %elt.usub_sat = call <4 x i32> @llvm.usub.sat.v4i32(<4 x i32> %a, <4 x i32> %b)59 ret <4 x i32> %elt.usub_sat60}61