X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FCodeGen%2FARM%2Fthis-return.ll;h=c681a1c8095803bd4e51b7549c7078503cd6c9a9;hb=b1692ad2c3e35a2d1f6c5ea0e121579445078ba6;hp=3047302ea750e6e3cda42722b973a242b8ffdc47;hpb=81fef0267b6971b32a618a655d91f472cedfcaf2;p=oota-llvm.git diff --git a/test/CodeGen/ARM/this-return.ll b/test/CodeGen/ARM/this-return.ll index 3047302ea75..c681a1c8095 100644 --- a/test/CodeGen/ARM/this-return.ll +++ b/test/CodeGen/ARM/this-return.ll @@ -1,5 +1,5 @@ -; RUN: llc < %s -mtriple=armv6-linux-gnueabi -arm-tail-calls | FileCheck %s -check-prefix=CHECKELF -; RUN: llc < %s -mtriple=thumbv7-apple-ios -arm-tail-calls | FileCheck %s -check-prefix=CHECKT2D +; RUN: llc < %s -mtriple=armv6-linux-gnueabi | FileCheck %s -check-prefix=CHECKELF +; RUN: llc < %s -mtriple=thumbv7-apple-ios5.0 | FileCheck %s -check-prefix=CHECKT2D %struct.A = type { i8 } %struct.B = type { i32 } @@ -17,12 +17,12 @@ declare %struct.B* @B_ctor_complete_nothisret(%struct.B*, i32) define %struct.C* @C_ctor_base(%struct.C* returned %this, i32 %x) { entry: -; CHECKELF: C_ctor_base: +; CHECKELF-LABEL: C_ctor_base: ; CHECKELF-NOT: mov {{r[0-9]+}}, r0 ; CHECKELF: bl A_ctor_base ; CHECKELF-NOT: mov r0, {{r[0-9]+}} ; CHECKELF: b B_ctor_base -; CHECKT2D: C_ctor_base: +; CHECKT2D-LABEL: C_ctor_base: ; CHECKT2D-NOT: mov {{r[0-9]+}}, r0 ; CHECKT2D: blx _A_ctor_base ; CHECKT2D-NOT: mov r0, {{r[0-9]+}} @@ -36,12 +36,12 @@ entry: define %struct.C* @C_ctor_base_nothisret(%struct.C* %this, i32 %x) { entry: -; CHECKELF: C_ctor_base_nothisret: +; CHECKELF-LABEL: C_ctor_base_nothisret: ; CHECKELF: mov [[SAVETHIS:r[0-9]+]], r0 ; CHECKELF: bl A_ctor_base_nothisret ; CHECKELF: mov r0, [[SAVETHIS]] ; CHECKELF-NOT: b B_ctor_base_nothisret -; CHECKT2D: C_ctor_base_nothisret: +; CHECKT2D-LABEL: C_ctor_base_nothisret: ; CHECKT2D: mov [[SAVETHIS:r[0-9]+]], r0 ; CHECKT2D: blx _A_ctor_base_nothisret ; CHECKT2D: mov r0, [[SAVETHIS]] @@ -55,9 +55,9 @@ entry: define %struct.C* @C_ctor_complete(%struct.C* %this, i32 %x) { entry: -; CHECKELF: C_ctor_complete: +; CHECKELF-LABEL: C_ctor_complete: ; CHECKELF: b C_ctor_base -; CHECKT2D: C_ctor_complete: +; CHECKT2D-LABEL: C_ctor_complete: ; CHECKT2D: b.w _C_ctor_base %call = tail call %struct.C* @C_ctor_base(%struct.C* %this, i32 %x) ret %struct.C* %this @@ -65,9 +65,9 @@ entry: define %struct.C* @C_ctor_complete_nothisret(%struct.C* %this, i32 %x) { entry: -; CHECKELF: C_ctor_complete_nothisret: +; CHECKELF-LABEL: C_ctor_complete_nothisret: ; CHECKELF-NOT: b C_ctor_base_nothisret -; CHECKT2D: C_ctor_complete_nothisret: +; CHECKT2D-LABEL: C_ctor_complete_nothisret: ; CHECKT2D-NOT: b.w _C_ctor_base_nothisret %call = tail call %struct.C* @C_ctor_base_nothisret(%struct.C* %this, i32 %x) ret %struct.C* %this @@ -75,12 +75,12 @@ entry: define %struct.D* @D_ctor_base(%struct.D* %this, i32 %x) { entry: -; CHECKELF: D_ctor_base: +; CHECKELF-LABEL: D_ctor_base: ; CHECKELF-NOT: mov {{r[0-9]+}}, r0 ; CHECKELF: bl B_ctor_complete ; CHECKELF-NOT: mov r0, {{r[0-9]+}} ; CHECKELF: b B_ctor_complete -; CHECKT2D: D_ctor_base: +; CHECKT2D-LABEL: D_ctor_base: ; CHECKT2D-NOT: mov {{r[0-9]+}}, r0 ; CHECKT2D: blx _B_ctor_complete ; CHECKT2D-NOT: mov r0, {{r[0-9]+}} @@ -93,9 +93,9 @@ entry: define %struct.E* @E_ctor_base(%struct.E* %this, i32 %x) { entry: -; CHECKELF: E_ctor_base: +; CHECKELF-LABEL: E_ctor_base: ; CHECKELF-NOT: b B_ctor_complete -; CHECKT2D: E_ctor_base: +; CHECKT2D-LABEL: E_ctor_base: ; CHECKT2D-NOT: b.w _B_ctor_complete %b = getelementptr inbounds %struct.E* %this, i32 0, i32 0 %call = tail call %struct.B* @B_ctor_complete(%struct.B* %b, i32 %x) @@ -103,67 +103,3 @@ entry: %call2 = tail call %struct.B* @B_ctor_complete(%struct.B* %b2, i32 %x) ret %struct.E* %this } - -declare i16 @identity16(i16 returned %x) -declare zeroext i16 @zeroext16(i16 returned %x) -declare i32 @identity32(i32 returned %x) - -define i16 @test_identity(i16 %x) { -entry: -; CHECKELF: test_identity: -; CHECKELF: mov [[SAVEX:r[0-9]+]], r0 -; CHECKELF: bl identity16 -; CHECKELF: uxth r0, [[SAVEX]] -; CHECKELF: bl identity32 -; CHECKELF: mov r0, [[SAVEX]] -; CHECKT2D: test_identity: -; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0 -; CHECKT2D: blx _identity16 -; CHECKT2D: uxth r0, [[SAVEX]] -; CHECKT2D: blx _identity32 -; CHECKT2D: mov r0, [[SAVEX]] - %call = tail call i16 @identity16(i16 %x) - %b = zext i16 %x to i32 - %call2 = tail call i32 @identity32(i32 %b) - ret i16 %call -} - -define i16 @test_matched_ext(i16 %x) { -entry: -; CHECKELF: test_matched_ext: -; CHECKELF-NOT: mov {{r[0-9]+}}, r0 -; CHECKELF: bl zeroext16 -; CHECKELF-NOT: uxth r0, {{r[0-9]+}} -; CHECKELF: bl identity32 -; CHECKELF-NOT: mov r0, {{r[0-9]+}} -; CHECKT2D: test_matched_ext: -; CHECKT2D-NOT: mov {{r[0-9]+}}, r0 -; CHECKT2D: blx _zeroext16 -; CHECKT2D-NOT: uxth r0, {{r[0-9]+}} -; CHECKT2D: blx _identity32 -; CHECKT2D-NOT: mov r0, {{r[0-9]+}} - %call = tail call i16 @zeroext16(i16 %x) - %b = zext i16 %call to i32 - %call2 = tail call i32 @identity32(i32 %b) - ret i16 %call -} - -define i16 @test_mismatched_ext(i16 %x) { -entry: -; CHECKELF: test_mismatched_ext: -; CHECKELF: mov [[SAVEX:r[0-9]+]], r0 -; CHECKELF: bl zeroext16 -; CHECKELF: sxth r0, [[SAVEX]] -; CHECKELF: bl identity32 -; CHECKELF: mov r0, [[SAVEX]] -; CHECKT2D: test_mismatched_ext: -; CHECKT2D: mov [[SAVEX:r[0-9]+]], r0 -; CHECKT2D: blx _zeroext16 -; CHECKT2D: sxth r0, [[SAVEX]] -; CHECKT2D: blx _identity32 -; CHECKT2D: mov r0, [[SAVEX]] - %call = tail call i16 @zeroext16(i16 %x) - %b = sext i16 %call to i32 - %call2 = tail call i32 @identity32(i32 %b) - ret i16 %call -}