From a510a1c931c01fe8a7fa1470bb06ae4d34b6076f Mon Sep 17 00:00:00 2001 From: Eric Christopher Date: Fri, 19 Aug 2011 21:21:20 +0000 Subject: [PATCH] Add file. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@138083 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../2010-03-22-empty-baseclass.ll | 162 ++++++++++++++++++ 1 file changed, 162 insertions(+) create mode 100644 test/Transforms/PhaseOrdering/2010-03-22-empty-baseclass.ll diff --git a/test/Transforms/PhaseOrdering/2010-03-22-empty-baseclass.ll b/test/Transforms/PhaseOrdering/2010-03-22-empty-baseclass.ll new file mode 100644 index 00000000000..8859da8de10 --- /dev/null +++ b/test/Transforms/PhaseOrdering/2010-03-22-empty-baseclass.ll @@ -0,0 +1,162 @@ +; RUN: opt -O2 %s -S -o - | FileCheck %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-apple-darwin11.1" + +%"struct.boost::compressed_pair" = type { %"struct.boost::details::compressed_pair_imp" } +%"struct.boost::details::compressed_pair_imp" = type { i32 } +%struct.empty_base_t = type <{ i8 }> +%struct.empty_t = type <{ i8 }> + +@.str = private constant [25 x i8] c"x.second() was clobbered\00", align 1 ; <[25 x i8]*> [#uses=1] + +define i32 @main(i32 %argc, i8** %argv) ssp { +entry: + %argc_addr = alloca i32, align 4 ; [#uses=1] + %argv_addr = alloca i8**, align 8 ; [#uses=1] + %retval = alloca i32 ; [#uses=2] + %0 = alloca i32 ; [#uses=2] + %retval.1 = alloca i8 ; [#uses=2] + %1 = alloca %struct.empty_base_t ; <%struct.empty_base_t*> [#uses=1] + %2 = alloca %struct.empty_base_t* ; <%struct.empty_base_t**> [#uses=1] + %x = alloca %"struct.boost::compressed_pair" ; <%"struct.boost::compressed_pair"*> [#uses=3] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store i32 %argc, i32* %argc_addr + store i8** %argv, i8*** %argv_addr + %3 = call i32* @_ZN5boost15compressed_pairI7empty_tiE6secondEv(%"struct.boost::compressed_pair"* %x) ssp ; [#uses=1] + store i32 -3, i32* %3, align 4 + %4 = call %struct.empty_base_t* @_ZN5boost15compressed_pairI7empty_tiE5firstEv(%"struct.boost::compressed_pair"* %x) ssp ; <%struct.empty_base_t*> [#uses=1] + store %struct.empty_base_t* %4, %struct.empty_base_t** %2, align 8 + call void @_ZN7empty_tC1Ev(%struct.empty_base_t* %1) nounwind + %5 = call i32* @_ZN5boost15compressed_pairI7empty_tiE6secondEv(%"struct.boost::compressed_pair"* %x) ssp ; [#uses=1] + %6 = load i32* %5, align 4 ; [#uses=1] + %7 = icmp ne i32 %6, -3 ; [#uses=1] + %8 = zext i1 %7 to i8 ; [#uses=1] + store i8 %8, i8* %retval.1, align 1 + %9 = load i8* %retval.1, align 1 ; [#uses=1] + %toBool = icmp ne i8 %9, 0 ; [#uses=1] + br i1 %toBool, label %bb, label %bb1 + +bb: ; preds = %entry + %10 = call i32 @puts(i8* getelementptr inbounds ([25 x i8]* @.str, i64 0, i64 0)) ; [#uses=0] + call void @abort() noreturn + unreachable + +bb1: ; preds = %entry + store i32 0, i32* %0, align 4 + %11 = load i32* %0, align 4 ; [#uses=1] + store i32 %11, i32* %retval, align 4 + br label %return + +; CHECK-NOT: x.second() was clobbered +; CHECK: ret i32 +return: ; preds = %bb1 + %retval2 = load i32* %retval ; [#uses=1] + ret i32 %retval2 +} + +define linkonce_odr void @_ZN12empty_base_tC2Ev(%struct.empty_base_t* %this) nounwind ssp align 2 { +entry: + %this_addr = alloca %struct.empty_base_t*, align 8 ; <%struct.empty_base_t**> [#uses=1] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %struct.empty_base_t* %this, %struct.empty_base_t** %this_addr + br label %return + +return: ; preds = %entry + ret void +} + +define linkonce_odr void @_ZN7empty_tC1Ev(%struct.empty_base_t* %this) nounwind ssp align 2 { +entry: + %this_addr = alloca %struct.empty_base_t*, align 8 ; <%struct.empty_base_t**> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %struct.empty_base_t* %this, %struct.empty_base_t** %this_addr + %0 = load %struct.empty_base_t** %this_addr, align 8 ; <%struct.empty_base_t*> [#uses=1] + call void @_ZN12empty_base_tC2Ev(%struct.empty_base_t* %0) nounwind + br label %return + +return: ; preds = %entry + ret void +} + +define linkonce_odr i32* @_ZN5boost7details19compressed_pair_impI7empty_tiLi1EE6secondEv(%"struct.boost::details::compressed_pair_imp"* %this) nounwind ssp align 2 { +entry: + %this_addr = alloca %"struct.boost::details::compressed_pair_imp"*, align 8 ; <%"struct.boost::details::compressed_pair_imp"**> [#uses=2] + %retval = alloca i32* ; [#uses=2] + %0 = alloca i32* ; [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %"struct.boost::details::compressed_pair_imp"* %this, %"struct.boost::details::compressed_pair_imp"** %this_addr + %1 = load %"struct.boost::details::compressed_pair_imp"** %this_addr, align 8 ; <%"struct.boost::details::compressed_pair_imp"*> [#uses=1] + %2 = getelementptr inbounds %"struct.boost::details::compressed_pair_imp"* %1, i32 0, i32 0 ; [#uses=1] + store i32* %2, i32** %0, align 8 + %3 = load i32** %0, align 8 ; [#uses=1] + store i32* %3, i32** %retval, align 8 + br label %return + +return: ; preds = %entry + %retval1 = load i32** %retval ; [#uses=1] + ret i32* %retval1 +} + +define linkonce_odr i32* @_ZN5boost15compressed_pairI7empty_tiE6secondEv(%"struct.boost::compressed_pair"* %this) ssp align 2 { +entry: + %this_addr = alloca %"struct.boost::compressed_pair"*, align 8 ; <%"struct.boost::compressed_pair"**> [#uses=2] + %retval = alloca i32* ; [#uses=2] + %0 = alloca i32* ; [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %"struct.boost::compressed_pair"* %this, %"struct.boost::compressed_pair"** %this_addr + %1 = load %"struct.boost::compressed_pair"** %this_addr, align 8 ; <%"struct.boost::compressed_pair"*> [#uses=1] + %2 = getelementptr inbounds %"struct.boost::compressed_pair"* %1, i32 0, i32 0 ; <%"struct.boost::details::compressed_pair_imp"*> [#uses=1] + %3 = call i32* @_ZN5boost7details19compressed_pair_impI7empty_tiLi1EE6secondEv(%"struct.boost::details::compressed_pair_imp"* %2) nounwind ; [#uses=1] + store i32* %3, i32** %0, align 8 + %4 = load i32** %0, align 8 ; [#uses=1] + store i32* %4, i32** %retval, align 8 + br label %return + +return: ; preds = %entry + %retval1 = load i32** %retval ; [#uses=1] + ret i32* %retval1 +} + +define linkonce_odr %struct.empty_base_t* @_ZN5boost7details19compressed_pair_impI7empty_tiLi1EE5firstEv(%"struct.boost::details::compressed_pair_imp"* %this) nounwind ssp align 2 { +entry: + %this_addr = alloca %"struct.boost::details::compressed_pair_imp"*, align 8 ; <%"struct.boost::details::compressed_pair_imp"**> [#uses=2] + %retval = alloca %struct.empty_base_t* ; <%struct.empty_base_t**> [#uses=2] + %0 = alloca %struct.empty_base_t* ; <%struct.empty_base_t**> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %"struct.boost::details::compressed_pair_imp"* %this, %"struct.boost::details::compressed_pair_imp"** %this_addr + %1 = load %"struct.boost::details::compressed_pair_imp"** %this_addr, align 8 ; <%"struct.boost::details::compressed_pair_imp"*> [#uses=1] + %2 = bitcast %"struct.boost::details::compressed_pair_imp"* %1 to %struct.empty_base_t* ; <%struct.empty_base_t*> [#uses=1] + store %struct.empty_base_t* %2, %struct.empty_base_t** %0, align 8 + %3 = load %struct.empty_base_t** %0, align 8 ; <%struct.empty_base_t*> [#uses=1] + store %struct.empty_base_t* %3, %struct.empty_base_t** %retval, align 8 + br label %return + +return: ; preds = %entry + %retval1 = load %struct.empty_base_t** %retval ; <%struct.empty_base_t*> [#uses=1] + ret %struct.empty_base_t* %retval1 +} + +define linkonce_odr %struct.empty_base_t* @_ZN5boost15compressed_pairI7empty_tiE5firstEv(%"struct.boost::compressed_pair"* %this) ssp align 2 { +entry: + %this_addr = alloca %"struct.boost::compressed_pair"*, align 8 ; <%"struct.boost::compressed_pair"**> [#uses=2] + %retval = alloca %struct.empty_base_t* ; <%struct.empty_base_t**> [#uses=2] + %0 = alloca %struct.empty_base_t* ; <%struct.empty_base_t**> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; [#uses=0] + store %"struct.boost::compressed_pair"* %this, %"struct.boost::compressed_pair"** %this_addr + %1 = load %"struct.boost::compressed_pair"** %this_addr, align 8 ; <%"struct.boost::compressed_pair"*> [#uses=1] + %2 = getelementptr inbounds %"struct.boost::compressed_pair"* %1, i32 0, i32 0 ; <%"struct.boost::details::compressed_pair_imp"*> [#uses=1] + %3 = call %struct.empty_base_t* @_ZN5boost7details19compressed_pair_impI7empty_tiLi1EE5firstEv(%"struct.boost::details::compressed_pair_imp"* %2) nounwind ; <%struct.empty_base_t*> [#uses=1] + store %struct.empty_base_t* %3, %struct.empty_base_t** %0, align 8 + %4 = load %struct.empty_base_t** %0, align 8 ; <%struct.empty_base_t*> [#uses=1] + store %struct.empty_base_t* %4, %struct.empty_base_t** %retval, align 8 + br label %return + +return: ; preds = %entry + %retval1 = load %struct.empty_base_t** %retval ; <%struct.empty_base_t*> [#uses=1] + ret %struct.empty_base_t* %retval1 +} + +declare i32 @puts(i8*) + +declare void @abort() noreturn -- 2.34.1