diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/call-callconv.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/call-callconv.ll | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/call-callconv.ll b/llvm/test/Transforms/InstCombine/call-callconv.ll new file mode 100644 index 00000000000..0cb2c55f9fd --- /dev/null +++ b/llvm/test/Transforms/InstCombine/call-callconv.ll @@ -0,0 +1,53 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s +; Verify that the non-default calling conv doesn't prevent the libcall simplification + +@.str = private unnamed_addr constant [4 x i8] c"abc\00", align 1 + +define arm_aapcscc i32 @_abs(i32 %i) nounwind readnone { +; CHECK-LABEL: @_abs( +; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[I:%.*]], 0 +; CHECK-NEXT: [[NEG:%.*]] = sub nsw i32 0, [[I]] +; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[NEG]], i32 [[I]] +; CHECK-NEXT: ret i32 [[TMP2]] +; + %call = tail call arm_aapcscc i32 @abs(i32 %i) nounwind readnone + ret i32 %call +} + +declare arm_aapcscc i32 @abs(i32) nounwind readnone + +define arm_aapcscc i32 @_labs(i32 %i) nounwind readnone { +; CHECK-LABEL: @_labs( +; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[I:%.*]], 0 +; CHECK-NEXT: [[NEG:%.*]] = sub nsw i32 0, [[I]] +; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[NEG]], i32 [[I]] +; CHECK-NEXT: ret i32 [[TMP2]] +; + %call = tail call arm_aapcscc i32 @labs(i32 %i) nounwind readnone + ret i32 %call +} + +declare arm_aapcscc i32 @labs(i32) nounwind readnone + +define arm_aapcscc i32 @_strlen1() { +; CHECK-LABEL: @_strlen1( +; CHECK-NEXT: ret i32 3 +; + %call = tail call arm_aapcscc i32 @strlen(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0)) + ret i32 %call +} + +declare arm_aapcscc i32 @strlen(i8*) + +define arm_aapcscc zeroext i1 @_strlen2(i8* %str) { +; CHECK-LABEL: @_strlen2( +; CHECK-NEXT: [[STRLENFIRST:%.*]] = load i8, i8* [[STR:%.*]], align 1 +; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[STRLENFIRST]], 0 +; CHECK-NEXT: ret i1 [[CMP]] +; + %call = tail call arm_aapcscc i32 @strlen(i8* %str) + %cmp = icmp ne i32 %call, 0 + ret i1 %cmp +} + |
