Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline
Changeset View
Changeset View
Standalone View
Standalone View
llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll
| Show All 22 Lines | |||||
| @Flag1 = internal global i32 undef, align 4 | @Flag1 = internal global i32 undef, align 4 | ||||
| @Flag2 = internal global i32 undef, align 4 | @Flag2 = internal global i32 undef, align 4 | ||||
| @Flag3 = internal global i32 zeroinitializer, align 4 | @Flag3 = internal global i32 zeroinitializer, align 4 | ||||
| @a1 = internal global i32 zeroinitializer | @a1 = internal global i32 zeroinitializer | ||||
| @a2 = internal global i32 zeroinitializer | @a2 = internal global i32 zeroinitializer | ||||
| @a3 = internal global i32 undef | @a3 = internal global i32 undef | ||||
| @bytes1 = internal global i32 undef | @bytes1 = internal global i32 undef | ||||
| @bytes2 = internal global i32 undef | @bytes2 = internal global i32 undef | ||||
| @rec_storage = internal global i32 undef | |||||
| ;. | ;. | ||||
| ; CHECK: @[[GLOBALBYTES:[a-zA-Z0-9_$"\\.-]+]] = global [1024 x i8] zeroinitializer, align 16 | ; CHECK: @[[GLOBALBYTES:[a-zA-Z0-9_$"\\.-]+]] = global [1024 x i8] zeroinitializer, align 16 | ||||
| ; CHECK: @[[GINT1:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ; CHECK: @[[GINT1:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ||||
| ; CHECK: @[[GINT2:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ; CHECK: @[[GINT2:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ||||
| ; CHECK: @[[GSTATIC_INT1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ; CHECK: @[[GSTATIC_INT1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ||||
| ; CHECK: @[[GSTATIC_INT2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ; CHECK: @[[GSTATIC_INT2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ||||
| ; CHECK: @[[GSTATIC_INT3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ; CHECK: @[[GSTATIC_INT3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ||||
| ; CHECK: @[[GSTATIC_UNDEF_INT1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[GSTATIC_UNDEF_INT1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[GSTATIC_UNDEF_INT2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[GSTATIC_UNDEF_INT2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[GI1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[GI1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[GI2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[GI2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[GS1:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_S:%.*]] undef, align 4 | ; CHECK: @[[GS1:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_S:%.*]] undef, align 4 | ||||
| ; CHECK: @[[GS2:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_S:%.*]] zeroinitializer, align 4 | ; CHECK: @[[GS2:[a-zA-Z0-9_$"\\.-]+]] = internal global [[STRUCT_S:%.*]] zeroinitializer, align 4 | ||||
| ; CHECK: @[[GBYTES:[a-zA-Z0-9_$"\\.-]+]] = internal global [1024 x i8] zeroinitializer, align 16 | ; CHECK: @[[GBYTES:[a-zA-Z0-9_$"\\.-]+]] = internal global [1024 x i8] zeroinitializer, align 16 | ||||
| ; CHECK: @[[FLAG0:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ; CHECK: @[[FLAG0:[a-zA-Z0-9_$"\\.-]+]] = global i32 0, align 4 | ||||
| ; CHECK: @[[FLAG1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[FLAG1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[FLAG2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ; CHECK: @[[FLAG2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef, align 4 | ||||
| ; CHECK: @[[FLAG3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ; CHECK: @[[FLAG3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0, align 4 | ||||
| ; CHECK: @[[A1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0 | ; CHECK: @[[A1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0 | ||||
| ; CHECK: @[[A2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0 | ; CHECK: @[[A2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 0 | ||||
| ; CHECK: @[[A3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ; CHECK: @[[A3:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ||||
| ; CHECK: @[[BYTES1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ; CHECK: @[[BYTES1:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ||||
| ; CHECK: @[[BYTES2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ; CHECK: @[[BYTES2:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | ||||
| ; CHECK: @[[REC_STORAGE:[a-zA-Z0-9_$"\\.-]+]] = internal global i32 undef | |||||
| ;. | ;. | ||||
| define void @write_arg(i32* %p, i32 %v) { | define void @write_arg(i32* %p, i32 %v) { | ||||
| ; IS__TUNIT____: Function Attrs: argmemonly nofree nosync nounwind willreturn writeonly | ; IS__TUNIT____: Function Attrs: argmemonly nofree nosync nounwind willreturn writeonly | ||||
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@write_arg | ; IS__TUNIT____-LABEL: define {{[^@]+}}@write_arg | ||||
| ; IS__TUNIT____-SAME: (i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[P:%.*]], i32 [[V:%.*]]) #[[ATTR0:[0-9]+]] { | ; IS__TUNIT____-SAME: (i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[P:%.*]], i32 [[V:%.*]]) #[[ATTR0:[0-9]+]] { | ||||
| ; IS__TUNIT____-NEXT: entry: | ; IS__TUNIT____-NEXT: entry: | ||||
| ; IS__TUNIT____-NEXT: store i32 [[V]], i32* [[P]], align 4, !tbaa [[TBAA3:![0-9]+]] | ; IS__TUNIT____-NEXT: store i32 [[V]], i32* [[P]], align 4, !tbaa [[TBAA3:![0-9]+]] | ||||
| ; IS__TUNIT____-NEXT: ret void | ; IS__TUNIT____-NEXT: ret void | ||||
| ▲ Show 20 Lines • Show All 81 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_OPM-NEXT: ret void | ; IS__TUNIT_OPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__TUNIT_NPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ; IS__TUNIT_NPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ||||
| ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ||||
| ; IS__TUNIT_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ; IS__TUNIT_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ||||
| ; IS__TUNIT_NPM-NEXT: entry: | ; IS__TUNIT_NPM-NEXT: entry: | ||||
| ; IS__TUNIT_NPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ; IS__TUNIT_NPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I]]) #[[ATTR6:[0-9]+]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I]]) #[[ATTR7:[0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ; IS__TUNIT_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ||||
| ; IS__TUNIT_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ; IS__TUNIT_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ; IS__TUNIT_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ||||
| ; IS__TUNIT_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR4:[0-9]+]] | ; IS__TUNIT_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR4:[0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ||||
| ; IS__TUNIT_NPM-NEXT: call void @write_arg(i32* nocapture nofree nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR4]] | ; IS__TUNIT_NPM-NEXT: call void @write_arg(i32* nocapture nofree nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR4]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ; IS__TUNIT_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ||||
| Show All 10 Lines | |||||
| ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[I19]], align 4, !tbaa [[TBAA12:![0-9]+]] | ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[I19]], align 4, !tbaa [[TBAA12:![0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[MUL11:%.*]] = shl nsw i32 2, 1 | ; IS__TUNIT_NPM-NEXT: [[MUL11:%.*]] = shl nsw i32 2, 1 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I212:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 1 | ; IS__TUNIT_NPM-NEXT: [[I212:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 1 | ||||
| ; IS__TUNIT_NPM-NEXT: store i32 [[MUL11]], i32* [[I212]], align 4, !tbaa [[TBAA13:![0-9]+]] | ; IS__TUNIT_NPM-NEXT: store i32 [[MUL11]], i32* [[I212]], align 4, !tbaa [[TBAA13:![0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[ADD15:%.*]] = add nsw i32 3, 1 | ; IS__TUNIT_NPM-NEXT: [[ADD15:%.*]] = add nsw i32 3, 1 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I316:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ; IS__TUNIT_NPM-NEXT: [[I316:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ||||
| ; IS__TUNIT_NPM-NEXT: store i32 [[ADD15]], i32* [[I316]], align 4, !tbaa [[TBAA14:![0-9]+]] | ; IS__TUNIT_NPM-NEXT: store i32 [[ADD15]], i32* [[I316]], align 4, !tbaa [[TBAA14:![0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[I12:%.*]] = bitcast %struct.S* [[S]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I12:%.*]] = bitcast %struct.S* [[S]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I12]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I12]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: ret void | ; IS__TUNIT_NPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__CGSCC_OPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ; IS__CGSCC_OPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ||||
| ; IS__CGSCC_OPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ; IS__CGSCC_OPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ||||
| ; IS__CGSCC_OPM-NEXT: entry: | ; IS__CGSCC_OPM-NEXT: entry: | ||||
| ; IS__CGSCC_OPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ; IS__CGSCC_OPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ||||
| ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ||||
| Show All 28 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: ret void | ; IS__CGSCC_OPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ; IS__CGSCC_NPM: Function Attrs: argmemonly nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_1 | ||||
| ; IS__CGSCC_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ; IS__CGSCC_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR1:[0-9]+]] { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ; IS__CGSCC_NPM-NEXT: [[S:%.*]] = alloca [[STRUCT_S]], align 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast %struct.S* [[S]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I]]) #[[ATTR8:[0-9]+]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I]]) #[[ATTR9:[0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR9:[0-9]+]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR10:[0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(16) [[I3]], i32 noundef 3) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(16) [[I3]], i32 noundef 3) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F12:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F12:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F12]], align 4, !tbaa [[TBAA7:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F12]], align 4, !tbaa [[TBAA7:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float 0x40019999A0000000, 2.000000e+00 | ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float 0x40019999A0000000, 2.000000e+00 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F24:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F24:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ||||
| ; IS__CGSCC_NPM-NEXT: store float [[MUL]], float* [[F24]], align 4, !tbaa [[TBAA10:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store float [[MUL]], float* [[F24]], align 4, !tbaa [[TBAA10:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[ADD:%.*]] = fadd float 0x400A666660000000, 0x3FF19999A0000000 | ; IS__CGSCC_NPM-NEXT: [[ADD:%.*]] = fadd float 0x400A666660000000, 0x3FF19999A0000000 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F37:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 5 | ; IS__CGSCC_NPM-NEXT: [[F37:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 5 | ||||
| ; IS__CGSCC_NPM-NEXT: store float [[ADD]], float* [[F37]], align 4, !tbaa [[TBAA11:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store float [[ADD]], float* [[F37]], align 4, !tbaa [[TBAA11:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I19:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 0 | ; IS__CGSCC_NPM-NEXT: [[I19:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 0 | ||||
| ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[I19]], align 4, !tbaa [[TBAA12:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[I19]], align 4, !tbaa [[TBAA12:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[MUL11:%.*]] = shl nsw i32 2, 1 | ; IS__CGSCC_NPM-NEXT: [[MUL11:%.*]] = shl nsw i32 2, 1 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I212:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 1 | ; IS__CGSCC_NPM-NEXT: [[I212:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 1 | ||||
| ; IS__CGSCC_NPM-NEXT: store i32 [[MUL11]], i32* [[I212]], align 4, !tbaa [[TBAA13:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store i32 [[MUL11]], i32* [[I212]], align 4, !tbaa [[TBAA13:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[ADD15:%.*]] = add nsw i32 3, 1 | ; IS__CGSCC_NPM-NEXT: [[ADD15:%.*]] = add nsw i32 3, 1 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I316:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ; IS__CGSCC_NPM-NEXT: [[I316:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ||||
| ; IS__CGSCC_NPM-NEXT: store i32 [[ADD15]], i32* [[I316]], align 4, !tbaa [[TBAA14:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: store i32 [[ADD15]], i32* [[I316]], align 4, !tbaa [[TBAA14:![0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I12:%.*]] = bitcast %struct.S* [[S]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I12:%.*]] = bitcast %struct.S* [[S]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I12]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 24, i8* nocapture nofree noundef nonnull align 4 dereferenceable(24) [[I12]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: ret void | ; IS__CGSCC_NPM-NEXT: ret void | ||||
| ; | ; | ||||
| entry: | entry: | ||||
| %s = alloca %struct.S, align 4 | %s = alloca %struct.S, align 4 | ||||
| %i = bitcast %struct.S* %s to i8* | %i = bitcast %struct.S* %s to i8* | ||||
| call void @llvm.lifetime.start.p0i8(i64 24, i8* nonnull %i) | call void @llvm.lifetime.start.p0i8(i64 24, i8* nonnull %i) | ||||
| %f1 = getelementptr inbounds %struct.S, %struct.S* %s, i64 0, i32 3 | %f1 = getelementptr inbounds %struct.S, %struct.S* %s, i64 0, i32 3 | ||||
| store float 0x3FF19999A0000000, float* %f1, align 4, !tbaa !7 | store float 0x3FF19999A0000000, float* %f1, align 4, !tbaa !7 | ||||
| ▲ Show 20 Lines • Show All 144 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_OPM-NEXT: ret void | ; IS__TUNIT_OPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2 | ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2 | ||||
| ; IS__TUNIT_NPM-SAME: () #[[ATTR2:[0-9]+]] { | ; IS__TUNIT_NPM-SAME: () #[[ATTR2:[0-9]+]] { | ||||
| ; IS__TUNIT_NPM-NEXT: entry: | ; IS__TUNIT_NPM-NEXT: entry: | ||||
| ; IS__TUNIT_NPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ; IS__TUNIT_NPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[FOR_COND:%.*]] | ; IS__TUNIT_NPM-NEXT: br label [[FOR_COND:%.*]] | ||||
| ; IS__TUNIT_NPM: for.cond: | ; IS__TUNIT_NPM: for.cond: | ||||
| ; IS__TUNIT_NPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_INC:%.*]] ], [ 0, [[ENTRY:%.*]] ] | ; IS__TUNIT_NPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_INC:%.*]] ], [ 0, [[ENTRY:%.*]] ] | ||||
| ; IS__TUNIT_NPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], 100 | ; IS__TUNIT_NPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], 100 | ||||
| ; IS__TUNIT_NPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] | ; IS__TUNIT_NPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] | ||||
| ; IS__TUNIT_NPM: for.cond.cleanup: | ; IS__TUNIT_NPM: for.cond.cleanup: | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[FOR_END:%.*]] | ; IS__TUNIT_NPM-NEXT: br label [[FOR_END:%.*]] | ||||
| ; IS__TUNIT_NPM: for.body: | ; IS__TUNIT_NPM: for.body: | ||||
| ▲ Show 20 Lines • Show All 53 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_NPM-NEXT: [[ARRAYIDX35:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* @globalBytes, i64 0, i64 [[INDVARS_IV12]] | ; IS__TUNIT_NPM-NEXT: [[ARRAYIDX35:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* @globalBytes, i64 0, i64 [[INDVARS_IV12]] | ||||
| ; IS__TUNIT_NPM-NEXT: store i8 0, i8* [[ARRAYIDX35]], align 1, !tbaa [[TBAA19:![0-9]+]] | ; IS__TUNIT_NPM-NEXT: store i8 0, i8* [[ARRAYIDX35]], align 1, !tbaa [[TBAA19:![0-9]+]] | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[FOR_INC36]] | ; IS__TUNIT_NPM-NEXT: br label [[FOR_INC36]] | ||||
| ; IS__TUNIT_NPM: for.inc36: | ; IS__TUNIT_NPM: for.inc36: | ||||
| ; IS__TUNIT_NPM-NEXT: [[INDVARS_IV_NEXT13]] = add nuw nsw i64 [[INDVARS_IV12]], 1 | ; IS__TUNIT_NPM-NEXT: [[INDVARS_IV_NEXT13]] = add nuw nsw i64 [[INDVARS_IV12]], 1 | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[FOR_COND28]], !llvm.loop [[LOOP20:![0-9]+]] | ; IS__TUNIT_NPM-NEXT: br label [[FOR_COND28]], !llvm.loop [[LOOP20:![0-9]+]] | ||||
| ; IS__TUNIT_NPM: for.end38: | ; IS__TUNIT_NPM: for.end38: | ||||
| ; IS__TUNIT_NPM-NEXT: [[I24:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ; IS__TUNIT_NPM-NEXT: [[I24:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I24]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I24]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: ret void | ; IS__TUNIT_NPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2() { | ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2() { | ||||
| ; IS__CGSCC_OPM-NEXT: entry: | ; IS__CGSCC_OPM-NEXT: entry: | ||||
| ; IS__CGSCC_OPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ; IS__CGSCC_OPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ||||
| ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ||||
| ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) | ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) | ||||
| ; IS__CGSCC_OPM-NEXT: br label [[FOR_COND:%.*]] | ; IS__CGSCC_OPM-NEXT: br label [[FOR_COND:%.*]] | ||||
| ▲ Show 20 Lines • Show All 73 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: [[I24:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ; IS__CGSCC_OPM-NEXT: [[I24:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ||||
| ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 1024, i8* nofree noundef nonnull [[I24]]) | ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 1024, i8* nofree noundef nonnull [[I24]]) | ||||
| ; IS__CGSCC_OPM-NEXT: ret void | ; IS__CGSCC_OPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2() { | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_simplifiable_2() { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ; IS__CGSCC_NPM-NEXT: [[BYTES:%.*]] = alloca [1024 x i8], align 16 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 0 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 1024, i8* nocapture nofree noundef nonnull align 16 dereferenceable(1024) [[I]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond: | ; IS__CGSCC_NPM: for.cond: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_INC:%.*]] ], [ 0, [[ENTRY:%.*]] ] | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_INC:%.*]] ], [ 0, [[ENTRY:%.*]] ] | ||||
| ; IS__CGSCC_NPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], 100 | ; IS__CGSCC_NPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], 100 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY:%.*]], label [[FOR_COND_CLEANUP:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond.cleanup: | ; IS__CGSCC_NPM: for.cond.cleanup: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_END:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_END:%.*]] | ||||
| ; IS__CGSCC_NPM: for.body: | ; IS__CGSCC_NPM: for.body: | ||||
| Show All 40 Lines | |||||
| ; IS__CGSCC_NPM: for.inc22: | ; IS__CGSCC_NPM: for.inc22: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP22:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP22:![0-9]+]] | ||||
| ; IS__CGSCC_NPM: for.end24: | ; IS__CGSCC_NPM: for.end24: | ||||
| ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX25:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 1023 | ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX25:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 1023 | ||||
| ; IS__CGSCC_NPM-NEXT: store i8 0, i8* [[ARRAYIDX25]], align 1, !tbaa [[TBAA15]] | ; IS__CGSCC_NPM-NEXT: store i8 0, i8* [[ARRAYIDX25]], align 1, !tbaa [[TBAA15]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 500 | ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds [1024 x i8], [1024 x i8]* [[BYTES]], i64 0, i64 500 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I22:%.*]] = bitcast i8* [[ARRAYIDX26]] to i32* | ; IS__CGSCC_NPM-NEXT: [[I22:%.*]] = bitcast i8* [[ARRAYIDX26]] to i32* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) [[I22]], i32 noundef 0) #[[ATTR10:[0-9]+]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) [[I22]], i32 noundef 0) #[[ATTR11:[0-9]+]] | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND28:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND28:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond28: | ; IS__CGSCC_NPM: for.cond28: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC36:%.*]] ], [ 0, [[FOR_END24]] ] | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC36:%.*]] ], [ 0, [[FOR_END24]] ] | ||||
| ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY31:%.*]], label [[FOR_COND_CLEANUP30:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY31:%.*]], label [[FOR_COND_CLEANUP30:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond.cleanup30: | ; IS__CGSCC_NPM: for.cond.cleanup30: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_END38:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_END38:%.*]] | ||||
| ; IS__CGSCC_NPM: for.body31: | ; IS__CGSCC_NPM: for.body31: | ||||
| ▲ Show 20 Lines • Show All 198 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_OPM-NEXT: ret i32 5 | ; IS__TUNIT_OPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ||||
| ; IS__TUNIT_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR2]] { | ; IS__TUNIT_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR2]] { | ||||
| ; IS__TUNIT_NPM-NEXT: entry: | ; IS__TUNIT_NPM-NEXT: entry: | ||||
| ; IS__TUNIT_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__TUNIT_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ||||
| ; IS__TUNIT_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ; IS__TUNIT_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ||||
| ; IS__TUNIT_NPM: cond.true: | ; IS__TUNIT_NPM: cond.true: | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[COND_END:%.*]] | ; IS__TUNIT_NPM-NEXT: br label [[COND_END:%.*]] | ||||
| ; IS__TUNIT_NPM: cond.false: | ; IS__TUNIT_NPM: cond.false: | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[COND_END]] | ; IS__TUNIT_NPM-NEXT: br label [[COND_END]] | ||||
| ; IS__TUNIT_NPM: cond.end: | ; IS__TUNIT_NPM: cond.end: | ||||
| ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[L]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I2]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I2]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: ret i32 5 | ; IS__TUNIT_NPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__CGSCC_OPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__CGSCC_OPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ||||
| ; IS__CGSCC_OPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3:[0-9]+]] { | ; IS__CGSCC_OPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3:[0-9]+]] { | ||||
| ; IS__CGSCC_OPM-NEXT: entry: | ; IS__CGSCC_OPM-NEXT: entry: | ||||
| ; IS__CGSCC_OPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__CGSCC_OPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| Show All 10 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: ret i32 5 | ; IS__CGSCC_OPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__CGSCC_NPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_1 | ||||
| ; IS__CGSCC_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3:[0-9]+]] { | ; IS__CGSCC_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3:[0-9]+]] { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__CGSCC_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ||||
| ; IS__CGSCC_NPM: cond.true: | ; IS__CGSCC_NPM: cond.true: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[COND_END:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[COND_END:%.*]] | ||||
| ; IS__CGSCC_NPM: cond.false: | ; IS__CGSCC_NPM: cond.false: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[COND_END]] | ; IS__CGSCC_NPM-NEXT: br label [[COND_END]] | ||||
| ; IS__CGSCC_NPM: cond.end: | ; IS__CGSCC_NPM: cond.end: | ||||
| ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I2]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I2]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: ret i32 5 | ; IS__CGSCC_NPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| entry: | entry: | ||||
| %L = alloca i32, align 4 | %L = alloca i32, align 4 | ||||
| %i = bitcast i32* %L to i8* | %i = bitcast i32* %L to i8* | ||||
| call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %i) | call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %i) | ||||
| store i32 5, i32* @GI1, align 4, !tbaa !3 | store i32 5, i32* @GI1, align 4, !tbaa !3 | ||||
| store i32 5, i32* %L, align 4, !tbaa !3 | store i32 5, i32* %L, align 4, !tbaa !3 | ||||
| ▲ Show 20 Lines • Show All 42 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_OPM-NEXT: ret i32 5 | ; IS__TUNIT_OPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ||||
| ; IS__TUNIT_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR2]] { | ; IS__TUNIT_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR2]] { | ||||
| ; IS__TUNIT_NPM-NEXT: entry: | ; IS__TUNIT_NPM-NEXT: entry: | ||||
| ; IS__TUNIT_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__TUNIT_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ||||
| ; IS__TUNIT_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ; IS__TUNIT_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ||||
| ; IS__TUNIT_NPM: cond.true: | ; IS__TUNIT_NPM: cond.true: | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[COND_END:%.*]] | ; IS__TUNIT_NPM-NEXT: br label [[COND_END:%.*]] | ||||
| ; IS__TUNIT_NPM: cond.false: | ; IS__TUNIT_NPM: cond.false: | ||||
| ; IS__TUNIT_NPM-NEXT: br label [[COND_END]] | ; IS__TUNIT_NPM-NEXT: br label [[COND_END]] | ||||
| ; IS__TUNIT_NPM: cond.end: | ; IS__TUNIT_NPM: cond.end: | ||||
| ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[L]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: ret i32 5 | ; IS__TUNIT_NPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__CGSCC_OPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__CGSCC_OPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ||||
| ; IS__CGSCC_OPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3]] { | ; IS__CGSCC_OPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3]] { | ||||
| ; IS__CGSCC_OPM-NEXT: entry: | ; IS__CGSCC_OPM-NEXT: entry: | ||||
| ; IS__CGSCC_OPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__CGSCC_OPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_OPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| Show All 10 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: ret i32 5 | ; IS__CGSCC_OPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM: Function Attrs: nofree nosync nounwind willreturn | ; IS__CGSCC_NPM: Function Attrs: nofree nosync nounwind willreturn | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@multi_obj_simplifiable_2 | ||||
| ; IS__CGSCC_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3]] { | ; IS__CGSCC_NPM-SAME: (i32 [[CND:%.*]]) #[[ATTR3]] { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ; IS__CGSCC_NPM-NEXT: [[L:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[CND]], 0 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[TOBOOL_NOT]], label [[COND_FALSE:%.*]], label [[COND_TRUE:%.*]] | ||||
| ; IS__CGSCC_NPM: cond.true: | ; IS__CGSCC_NPM: cond.true: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[COND_END:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[COND_END:%.*]] | ||||
| ; IS__CGSCC_NPM: cond.false: | ; IS__CGSCC_NPM: cond.false: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[COND_END]] | ; IS__CGSCC_NPM-NEXT: br label [[COND_END]] | ||||
| ; IS__CGSCC_NPM: cond.end: | ; IS__CGSCC_NPM: cond.end: | ||||
| ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[L]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[L]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: ret i32 5 | ; IS__CGSCC_NPM-NEXT: ret i32 5 | ||||
| ; | ; | ||||
| entry: | entry: | ||||
| %L = alloca i32, align 4 | %L = alloca i32, align 4 | ||||
| %i = bitcast i32* %L to i8* | %i = bitcast i32* %L to i8* | ||||
| call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %i) | call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %i) | ||||
| %tobool.not = icmp eq i32 %cnd, 0 | %tobool.not = icmp eq i32 %cnd, 0 | ||||
| br i1 %tobool.not, label %cond.false, label %cond.true | br i1 %tobool.not, label %cond.false, label %cond.true | ||||
| ▲ Show 20 Lines • Show All 106 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ; IS__CGSCC_OPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 2 | ||||
| ; IS__CGSCC_OPM-NEXT: store i32 [[ADD2]], i32* [[I3]], align 4, !tbaa [[TBAA14]] | ; IS__CGSCC_OPM-NEXT: store i32 [[ADD2]], i32* [[I3]], align 4, !tbaa [[TBAA14]] | ||||
| ; IS__CGSCC_OPM-NEXT: ret void | ; IS__CGSCC_OPM-NEXT: ret void | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM: Function Attrs: nofree norecurse nosync nounwind willreturn writeonly | ; IS__CGSCC_NPM: Function Attrs: nofree norecurse nosync nounwind willreturn writeonly | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@static_global_simplifiable_1 | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@static_global_simplifiable_1 | ||||
| ; IS__CGSCC_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR4:[0-9]+]] { | ; IS__CGSCC_NPM-SAME: (%struct.S* noalias nocapture nofree nonnull writeonly sret([[STRUCT_S:%.*]]) align 4 dereferenceable(24) [[AGG_RESULT:%.*]]) #[[ATTR4:[0-9]+]] { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i32 0, i32 0), i32 noundef 1) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(24) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i32 0, i32 0), i32 noundef 1) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i64 0, i32 1), i32 noundef 2) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i64 0, i32 1), i32 noundef 2) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(16) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i64 0, i32 2), i32 noundef 3) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(16) getelementptr inbounds ([[STRUCT_S]], %struct.S* @Gs1, i64 0, i32 2), i32 noundef 3) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F1]], align 4, !tbaa [[TBAA7]] | ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F1]], align 4, !tbaa [[TBAA7]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float 0x40019999A0000000, 2.000000e+00 | ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float 0x40019999A0000000, 2.000000e+00 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ||||
| ; IS__CGSCC_NPM-NEXT: store float [[MUL]], float* [[F2]], align 4, !tbaa [[TBAA10]] | ; IS__CGSCC_NPM-NEXT: store float [[MUL]], float* [[F2]], align 4, !tbaa [[TBAA10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[ADD:%.*]] = fadd float 0x400A666660000000, 0x3FF19999A0000000 | ; IS__CGSCC_NPM-NEXT: [[ADD:%.*]] = fadd float 0x400A666660000000, 0x3FF19999A0000000 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 5 | ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 5 | ||||
| ; IS__CGSCC_NPM-NEXT: store float [[ADD]], float* [[F3]], align 4, !tbaa [[TBAA11]] | ; IS__CGSCC_NPM-NEXT: store float [[ADD]], float* [[F3]], align 4, !tbaa [[TBAA11]] | ||||
| ▲ Show 20 Lines • Show All 316 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX20:%.*]] = getelementptr inbounds i64, i64* bitcast ([1024 x i8]* @GBytes to i64*), i64 [[I18]] | ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX20:%.*]] = getelementptr inbounds i64, i64* bitcast ([1024 x i8]* @GBytes to i64*), i64 [[I18]] | ||||
| ; IS__CGSCC_NPM-NEXT: store i64 0, i64* [[ARRAYIDX20]], align 16, !tbaa [[TBAA20]] | ; IS__CGSCC_NPM-NEXT: store i64 0, i64* [[ARRAYIDX20]], align 16, !tbaa [[TBAA20]] | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_INC21]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_INC21]] | ||||
| ; IS__CGSCC_NPM: for.inc21: | ; IS__CGSCC_NPM: for.inc21: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP26:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP26:![0-9]+]] | ||||
| ; IS__CGSCC_NPM: for.end23: | ; IS__CGSCC_NPM: for.end23: | ||||
| ; IS__CGSCC_NPM-NEXT: store i8 0, i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @GBytes, i64 0, i64 1023), align 1, !tbaa [[TBAA15]] | ; IS__CGSCC_NPM-NEXT: store i8 0, i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @GBytes, i64 0, i64 1023), align 1, !tbaa [[TBAA15]] | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) bitcast (i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @GBytes, i64 0, i64 500) to i32*), i32 noundef 0) #[[ATTR10]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) bitcast (i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @GBytes, i64 0, i64 500) to i32*), i32 noundef 0) #[[ATTR11]] | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND25:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND25:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond25: | ; IS__CGSCC_NPM: for.cond25: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC33:%.*]] ], [ 0, [[FOR_END23]] ] | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC33:%.*]] ], [ 0, [[FOR_END23]] ] | ||||
| ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY28:%.*]], label [[FOR_COND_CLEANUP27:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY28:%.*]], label [[FOR_COND_CLEANUP27:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond.cleanup27: | ; IS__CGSCC_NPM: for.cond.cleanup27: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_END35:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_END35:%.*]] | ||||
| ; IS__CGSCC_NPM: for.body28: | ; IS__CGSCC_NPM: for.body28: | ||||
| ▲ Show 20 Lines • Show All 307 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F1]], align 4, !tbaa [[TBAA7]] | ; IS__CGSCC_NPM-NEXT: store float 0x3FF19999A0000000, float* [[F1]], align 4, !tbaa [[TBAA7]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ||||
| ; IS__CGSCC_NPM-NEXT: store float 0x40019999A0000000, float* [[F2]], align 8, !tbaa [[TBAA10]] | ; IS__CGSCC_NPM-NEXT: store float 0x40019999A0000000, float* [[F2]], align 8, !tbaa [[TBAA10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ; IS__CGSCC_NPM-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 5 | ||||
| ; IS__CGSCC_NPM-NEXT: store float 0x400A666660000000, float* [[F3]], align 4, !tbaa [[TBAA11]] | ; IS__CGSCC_NPM-NEXT: store float 0x400A666660000000, float* [[F3]], align 4, !tbaa [[TBAA11]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 0 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 8 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 8 dereferenceable(24) [[I1]], i32 noundef 1) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 1 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 4 dereferenceable(20) [[I2]], i32 noundef 2) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 2 | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 8 dereferenceable(16) [[I3]], i32 noundef 3) #[[ATTR9]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nocapture nofree noundef nonnull writeonly align 8 dereferenceable(16) [[I3]], i32 noundef 3) #[[ATTR10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F11:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F11:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = load float, float* [[F11]], align 4, !tbaa [[TBAA7]] | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = load float, float* [[F11]], align 4, !tbaa [[TBAA7]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F12:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ; IS__CGSCC_NPM-NEXT: [[F12:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 3 | ||||
| ; IS__CGSCC_NPM-NEXT: store float [[I]], float* [[F12]], align 4, !tbaa [[TBAA7]] | ; IS__CGSCC_NPM-NEXT: store float [[I]], float* [[F12]], align 4, !tbaa [[TBAA7]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[F23:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F23:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[S]], i64 0, i32 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I4:%.*]] = load float, float* [[F23]], align 8, !tbaa [[TBAA10]] | ; IS__CGSCC_NPM-NEXT: [[I4:%.*]] = load float, float* [[F23]], align 8, !tbaa [[TBAA10]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float [[I4]], 2.000000e+00 | ; IS__CGSCC_NPM-NEXT: [[MUL:%.*]] = fmul float [[I4]], 2.000000e+00 | ||||
| ; IS__CGSCC_NPM-NEXT: [[F24:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ; IS__CGSCC_NPM-NEXT: [[F24:%.*]] = getelementptr inbounds [[STRUCT_S]], %struct.S* [[AGG_RESULT]], i64 0, i32 4 | ||||
| ▲ Show 20 Lines • Show All 379 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC_NPM: for.inc21: | ; IS__CGSCC_NPM: for.inc21: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT8]] = add nuw nsw i64 [[INDVARS_IV7]], 1 | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP30:![0-9]+]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND13]], !llvm.loop [[LOOP30:![0-9]+]] | ||||
| ; IS__CGSCC_NPM: for.end23: | ; IS__CGSCC_NPM: for.end23: | ||||
| ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX24:%.*]] = getelementptr inbounds i8, i8* [[BYTES]], i64 1023 | ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX24:%.*]] = getelementptr inbounds i8, i8* [[BYTES]], i64 1023 | ||||
| ; IS__CGSCC_NPM-NEXT: store i8 0, i8* [[ARRAYIDX24]], align 1, !tbaa [[TBAA15]] | ; IS__CGSCC_NPM-NEXT: store i8 0, i8* [[ARRAYIDX24]], align 1, !tbaa [[TBAA15]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX25:%.*]] = getelementptr inbounds i8, i8* [[BYTES]], i64 500 | ; IS__CGSCC_NPM-NEXT: [[ARRAYIDX25:%.*]] = getelementptr inbounds i8, i8* [[BYTES]], i64 500 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I21:%.*]] = bitcast i8* [[ARRAYIDX25]] to i32* | ; IS__CGSCC_NPM-NEXT: [[I21:%.*]] = bitcast i8* [[ARRAYIDX25]] to i32* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) [[I21]], i32 noundef 0) #[[ATTR10]] | ; IS__CGSCC_NPM-NEXT: call void @write_arg(i32* nofree noundef nonnull writeonly align 4 dereferenceable(4) [[I21]], i32 noundef 0) #[[ATTR11]] | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND27:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND27:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond27: | ; IS__CGSCC_NPM: for.cond27: | ||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC35:%.*]] ], [ 0, [[FOR_END23]] ] | ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV12:%.*]] = phi i64 [ [[INDVARS_IV_NEXT13:%.*]], [[FOR_INC35:%.*]] ], [ 0, [[FOR_END23]] ] | ||||
| ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ; IS__CGSCC_NPM-NEXT: [[EXITCOND14:%.*]] = icmp ne i64 [[INDVARS_IV12]], 1024 | ||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY30:%.*]], label [[FOR_COND_CLEANUP29:%.*]] | ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND14]], label [[FOR_BODY30:%.*]], label [[FOR_COND_CLEANUP29:%.*]] | ||||
| ; IS__CGSCC_NPM: for.cond.cleanup29: | ; IS__CGSCC_NPM: for.cond.cleanup29: | ||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_END37:%.*]] | ; IS__CGSCC_NPM-NEXT: br label [[FOR_END37:%.*]] | ||||
| ; IS__CGSCC_NPM: for.body30: | ; IS__CGSCC_NPM: for.body30: | ||||
| ▲ Show 20 Lines • Show All 141 Lines • ▼ Show 20 Lines | |||||
| ; IS__TUNIT_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I6]]) | ; IS__TUNIT_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I6]]) | ||||
| ; IS__TUNIT_OPM-NEXT: ret i32 [[ADD1]] | ; IS__TUNIT_OPM-NEXT: ret i32 [[ADD1]] | ||||
| ; | ; | ||||
| ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_not_simplifiable_1() { | ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@local_alloca_not_simplifiable_1() { | ||||
| ; IS__TUNIT_NPM-NEXT: entry: | ; IS__TUNIT_NPM-NEXT: entry: | ||||
| ; IS__TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32, align 4 | ; IS__TUNIT_NPM-NEXT: [[X:%.*]] = alloca i32, align 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[Y:%.*]] = alloca i32, align 4 | ; IS__TUNIT_NPM-NEXT: [[Y:%.*]] = alloca i32, align 4 | ||||
| ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[X]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I:%.*]] = bitcast i32* [[X]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[Y]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[Y]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR6]] | ; IS__TUNIT_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR7]] | ||||
| ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[Y]], align 4, !tbaa [[TBAA3]] | ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[Y]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[X]], align 4, !tbaa [[TBAA3]] | ; IS__TUNIT_NPM-NEXT: store i32 1, i32* [[X]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[X]] to i8* | ; IS__TUNIT_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[X]] to i8* | ||||
| ; IS__TUNIT_NPM-NEXT: call void @escape(i8* noundef nonnull align 4 dereferenceable(4) [[I2]]) | ; IS__TUNIT_NPM-NEXT: call void @escape(i8* noundef nonnull align 4 dereferenceable(4) [[I2]]) | ||||
| ; IS__TUNIT_NPM-NEXT: call void @write_random(i32* noalias nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[Y]]) | ; IS__TUNIT_NPM-NEXT: call void @write_random(i32* noalias nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[Y]]) | ||||
| ; IS__TUNIT_NPM-NEXT: [[I3:%.*]] = load i32, i32* [[X]], align 4, !tbaa [[TBAA3]] | ; IS__TUNIT_NPM-NEXT: [[I3:%.*]] = load i32, i32* [[X]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[I3]], 0 | ; IS__TUNIT_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[I3]], 0 | ||||
| ; IS__TUNIT_NPM-NEXT: [[COND:%.*]] = select i1 [[TOBOOL_NOT]], i32 2, i32 1 | ; IS__TUNIT_NPM-NEXT: [[COND:%.*]] = select i1 [[TOBOOL_NOT]], i32 2, i32 1 | ||||
| Show All 31 Lines | |||||
| ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I6]]) | ; IS__CGSCC_OPM-NEXT: call void @llvm.lifetime.end.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I6]]) | ||||
| ; IS__CGSCC_OPM-NEXT: ret i32 [[ADD1]] | ; IS__CGSCC_OPM-NEXT: ret i32 [[ADD1]] | ||||
| ; | ; | ||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_not_simplifiable_1() { | ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@local_alloca_not_simplifiable_1() { | ||||
| ; IS__CGSCC_NPM-NEXT: entry: | ; IS__CGSCC_NPM-NEXT: entry: | ||||
| ; IS__CGSCC_NPM-NEXT: [[X:%.*]] = alloca i32, align 4 | ; IS__CGSCC_NPM-NEXT: [[X:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[Y:%.*]] = alloca i32, align 4 | ; IS__CGSCC_NPM-NEXT: [[Y:%.*]] = alloca i32, align 4 | ||||
| ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[X]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I:%.*]] = bitcast i32* [[X]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[Y]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I1:%.*]] = bitcast i32* [[Y]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR8]] | ; IS__CGSCC_NPM-NEXT: call void @llvm.lifetime.start.p0i8(i64 noundef 4, i8* nocapture nofree noundef nonnull align 4 dereferenceable(4) [[I1]]) #[[ATTR9]] | ||||
| ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[Y]], align 4, !tbaa [[TBAA3]] | ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[Y]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[X]], align 4, !tbaa [[TBAA3]] | ; IS__CGSCC_NPM-NEXT: store i32 1, i32* [[X]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[X]] to i8* | ; IS__CGSCC_NPM-NEXT: [[I2:%.*]] = bitcast i32* [[X]] to i8* | ||||
| ; IS__CGSCC_NPM-NEXT: call void @escape(i8* noundef nonnull align 4 dereferenceable(4) [[I2]]) | ; IS__CGSCC_NPM-NEXT: call void @escape(i8* noundef nonnull align 4 dereferenceable(4) [[I2]]) | ||||
| ; IS__CGSCC_NPM-NEXT: call void @write_random(i32* noalias nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[Y]]) | ; IS__CGSCC_NPM-NEXT: call void @write_random(i32* noalias nocapture nofree noundef nonnull writeonly align 4 dereferenceable(4) [[Y]]) | ||||
| ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = load i32, i32* [[X]], align 4, !tbaa [[TBAA3]] | ; IS__CGSCC_NPM-NEXT: [[I3:%.*]] = load i32, i32* [[X]], align 4, !tbaa [[TBAA3]] | ||||
| ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[I3]], 0 | ; IS__CGSCC_NPM-NEXT: [[TOBOOL_NOT:%.*]] = icmp eq i32 [[I3]], 0 | ||||
| ; IS__CGSCC_NPM-NEXT: [[COND:%.*]] = select i1 [[TOBOOL_NOT]], i32 2, i32 1 | ; IS__CGSCC_NPM-NEXT: [[COND:%.*]] = select i1 [[TOBOOL_NOT]], i32 2, i32 1 | ||||
| ▲ Show 20 Lines • Show All 891 Lines • ▼ Show 20 Lines | |||||
| ; IS__CGSCC____-NEXT: ret i64 [[L]] | ; IS__CGSCC____-NEXT: ret i64 [[L]] | ||||
| ; | ; | ||||
| store i32 42, i32* @bytes2 | store i32 42, i32* @bytes2 | ||||
| %bc = bitcast i32* @bytes2 to i64* | %bc = bitcast i32* @bytes2 to i64* | ||||
| %l = load i64, i64* %bc | %l = load i64, i64* %bc | ||||
| ret i64 %l | ret i64 %l | ||||
| } | } | ||||
| define void @recursive_load_store(i64 %N, i32 %v) { | |||||
| ; IS__TUNIT____: Function Attrs: nofree nosync nounwind writeonly | |||||
| ; IS__TUNIT____-LABEL: define {{[^@]+}}@recursive_load_store | |||||
| ; IS__TUNIT____-SAME: (i64 [[N:%.*]], i32 [[V:%.*]]) #[[ATTR6:[0-9]+]] { | |||||
| ; IS__TUNIT____-NEXT: entry: | |||||
| ; IS__TUNIT____-NEXT: br label [[FOR_COND:%.*]] | |||||
| ; IS__TUNIT____: for.cond: | |||||
| ; IS__TUNIT____-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY:%.*]] ], [ 0, [[ENTRY:%.*]] ] | |||||
| ; IS__TUNIT____-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], [[N]] | |||||
| ; IS__TUNIT____-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END:%.*]] | |||||
| ; IS__TUNIT____: for.body: | |||||
| ; IS__TUNIT____-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 | |||||
| ; IS__TUNIT____-NEXT: br label [[FOR_COND]] | |||||
| ; IS__TUNIT____: for.end: | |||||
| ; IS__TUNIT____-NEXT: ret void | |||||
| ; | |||||
| ; IS__CGSCC_OPM: Function Attrs: nofree norecurse nosync nounwind writeonly | |||||
| ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@recursive_load_store | |||||
| ; IS__CGSCC_OPM-SAME: (i64 [[N:%.*]], i32 [[V:%.*]]) #[[ATTR10]] { | |||||
| ; IS__CGSCC_OPM-NEXT: entry: | |||||
| ; IS__CGSCC_OPM-NEXT: br label [[FOR_COND:%.*]] | |||||
| ; IS__CGSCC_OPM: for.cond: | |||||
| ; IS__CGSCC_OPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY:%.*]] ], [ 0, [[ENTRY:%.*]] ] | |||||
| ; IS__CGSCC_OPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], [[N]] | |||||
| ; IS__CGSCC_OPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END:%.*]] | |||||
| ; IS__CGSCC_OPM: for.body: | |||||
| ; IS__CGSCC_OPM-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 | |||||
| ; IS__CGSCC_OPM-NEXT: br label [[FOR_COND]] | |||||
| ; IS__CGSCC_OPM: for.end: | |||||
| ; IS__CGSCC_OPM-NEXT: ret void | |||||
| ; | |||||
| ; IS__CGSCC_NPM: Function Attrs: nofree norecurse nosync nounwind writeonly | |||||
| ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@recursive_load_store | |||||
| ; IS__CGSCC_NPM-SAME: (i64 [[N:%.*]], i32 [[V:%.*]]) #[[ATTR8:[0-9]+]] { | |||||
| ; IS__CGSCC_NPM-NEXT: entry: | |||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND:%.*]] | |||||
| ; IS__CGSCC_NPM: for.cond: | |||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY:%.*]] ], [ 0, [[ENTRY:%.*]] ] | |||||
| ; IS__CGSCC_NPM-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVARS_IV]], [[N]] | |||||
| ; IS__CGSCC_NPM-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END:%.*]] | |||||
| ; IS__CGSCC_NPM: for.body: | |||||
| ; IS__CGSCC_NPM-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1 | |||||
| ; IS__CGSCC_NPM-NEXT: br label [[FOR_COND]] | |||||
| ; IS__CGSCC_NPM: for.end: | |||||
| ; IS__CGSCC_NPM-NEXT: ret void | |||||
| ; | |||||
| entry: | |||||
| store i32 %v, i32* @rec_storage | |||||
| br label %for.cond | |||||
| for.cond: | |||||
| %indvars.iv = phi i64 [ %indvars.iv.next, %for.body ], [ 0, %entry ] | |||||
| %exitcond = icmp ne i64 %indvars.iv, %N | |||||
| br i1 %exitcond, label %for.body, label %for.end | |||||
| for.body: | |||||
| %ll = load i32, i32* @rec_storage | |||||
| store i32 %ll, i32* @rec_storage | |||||
| %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 | |||||
| br label %for.cond | |||||
| for.end: | |||||
| %lr = load i32, i32* @rec_storage | |||||
| store i32 %lr, i32* @rec_storage | |||||
| ret void | |||||
| } | |||||
| !llvm.module.flags = !{!0, !1} | !llvm.module.flags = !{!0, !1} | ||||
| !llvm.ident = !{!2} | !llvm.ident = !{!2} | ||||
| !0 = !{i32 1, !"wchar_size", i32 4} | !0 = !{i32 1, !"wchar_size", i32 4} | ||||
| !1 = !{i32 7, !"uwtable", i32 1} | !1 = !{i32 7, !"uwtable", i32 1} | ||||
| !2 = !{!"clang version 13.0.0"} | !2 = !{!"clang version 13.0.0"} | ||||
| !3 = !{!4, !4, i64 0} | !3 = !{!4, !4, i64 0} | ||||
| !4 = !{!"int", !5, i64 0} | !4 = !{!"int", !5, i64 0} | ||||
| Show All 37 Lines | |||||
| ; IS__TUNIT_OPM: attributes #[[ATTR9]] = { willreturn } | ; IS__TUNIT_OPM: attributes #[[ATTR9]] = { willreturn } | ||||
| ;. | ;. | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR0]] = { argmemonly nofree nosync nounwind willreturn writeonly } | ; IS__TUNIT_NPM: attributes #[[ATTR0]] = { argmemonly nofree nosync nounwind willreturn writeonly } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ; IS__TUNIT_NPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR2]] = { nofree nosync nounwind willreturn } | ; IS__TUNIT_NPM: attributes #[[ATTR2]] = { nofree nosync nounwind willreturn } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR3]] = { nofree nosync nounwind readnone willreturn } | ; IS__TUNIT_NPM: attributes #[[ATTR3]] = { nofree nosync nounwind readnone willreturn } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR4]] = { nofree nosync nounwind willreturn writeonly } | ; IS__TUNIT_NPM: attributes #[[ATTR4]] = { nofree nosync nounwind willreturn writeonly } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR5]] = { nofree nosync nounwind readonly willreturn } | ; IS__TUNIT_NPM: attributes #[[ATTR5]] = { nofree nosync nounwind readonly willreturn } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR6]] = { willreturn } | ; IS__TUNIT_NPM: attributes #[[ATTR6]] = { nofree nosync nounwind writeonly } | ||||
| ; IS__TUNIT_NPM: attributes #[[ATTR7]] = { willreturn } | |||||
| ;. | ;. | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } | ; IS__CGSCC_OPM: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR2]] = { nofree norecurse nosync nounwind readnone willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR2]] = { nofree norecurse nosync nounwind readnone willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR3]] = { nofree nosync nounwind willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR3]] = { nofree nosync nounwind willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR4]] = { nofree norecurse nosync nounwind willreturn writeonly } | ; IS__CGSCC_OPM: attributes #[[ATTR4]] = { nofree norecurse nosync nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR5]] = { nofree norecurse nosync nounwind willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR5]] = { nofree norecurse nosync nounwind willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR6]] = { argmemonly nofree norecurse nosync nounwind willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR6]] = { argmemonly nofree norecurse nosync nounwind willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR7]] = { nofree norecurse nosync nounwind readonly willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR7]] = { nofree norecurse nosync nounwind readonly willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR8]] = { nofree norecurse nosync nounwind readnone } | ; IS__CGSCC_OPM: attributes #[[ATTR8]] = { nofree norecurse nosync nounwind readnone } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR9]] = { nofree norecurse nosync nounwind } | ; IS__CGSCC_OPM: attributes #[[ATTR9]] = { nofree norecurse nosync nounwind } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR10]] = { nofree norecurse nosync nounwind writeonly } | ; IS__CGSCC_OPM: attributes #[[ATTR10]] = { nofree norecurse nosync nounwind writeonly } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR11]] = { willreturn } | ; IS__CGSCC_OPM: attributes #[[ATTR11]] = { willreturn } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR12]] = { nounwind willreturn writeonly } | ; IS__CGSCC_OPM: attributes #[[ATTR12]] = { nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_OPM: attributes #[[ATTR13]] = { nounwind writeonly } | ; IS__CGSCC_OPM: attributes #[[ATTR13]] = { nounwind writeonly } | ||||
| ;. | ;. | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } | ; IS__CGSCC_NPM: attributes #[[ATTR0]] = { argmemonly nofree norecurse nosync nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR1]] = { argmemonly nofree nosync nounwind willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR2]] = { nofree norecurse nosync nounwind readnone willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR2]] = { nofree norecurse nosync nounwind readnone willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR3]] = { nofree nosync nounwind willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR3]] = { nofree nosync nounwind willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR4]] = { nofree norecurse nosync nounwind willreturn writeonly } | ; IS__CGSCC_NPM: attributes #[[ATTR4]] = { nofree norecurse nosync nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR5]] = { nofree norecurse nosync nounwind willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR5]] = { nofree norecurse nosync nounwind willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR6]] = { argmemonly nofree norecurse nosync nounwind willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR6]] = { argmemonly nofree norecurse nosync nounwind willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR7]] = { nofree norecurse nosync nounwind readonly willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR7]] = { nofree norecurse nosync nounwind readonly willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR8]] = { willreturn } | ; IS__CGSCC_NPM: attributes #[[ATTR8]] = { nofree norecurse nosync nounwind writeonly } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR9]] = { nounwind willreturn writeonly } | ; IS__CGSCC_NPM: attributes #[[ATTR9]] = { willreturn } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR10]] = { nounwind writeonly } | ; IS__CGSCC_NPM: attributes #[[ATTR10]] = { nounwind willreturn writeonly } | ||||
| ; IS__CGSCC_NPM: attributes #[[ATTR11]] = { nounwind writeonly } | |||||
| ;. | ;. | ||||
| ; IS__TUNIT____: [[META0:![0-9]+]] = !{i32 1, !"wchar_size", i32 4} | ; IS__TUNIT____: [[META0:![0-9]+]] = !{i32 1, !"wchar_size", i32 4} | ||||
| ; IS__TUNIT____: [[META1:![0-9]+]] = !{i32 7, !"uwtable", i32 1} | ; IS__TUNIT____: [[META1:![0-9]+]] = !{i32 7, !"uwtable", i32 1} | ||||
| ; IS__TUNIT____: [[META2:![0-9]+]] = !{!"clang version 13.0.0"} | ; IS__TUNIT____: [[META2:![0-9]+]] = !{!"clang version 13.0.0"} | ||||
| ; IS__TUNIT____: [[TBAA3]] = !{!4, !4, i64 0} | ; IS__TUNIT____: [[TBAA3]] = !{!4, !4, i64 0} | ||||
| ; IS__TUNIT____: [[META4:![0-9]+]] = !{!"int", !5, i64 0} | ; IS__TUNIT____: [[META4:![0-9]+]] = !{!"int", !5, i64 0} | ||||
| ; IS__TUNIT____: [[META5:![0-9]+]] = !{!"omnipotent char", !6, i64 0} | ; IS__TUNIT____: [[META5:![0-9]+]] = !{!"omnipotent char", !6, i64 0} | ||||
| ; IS__TUNIT____: [[META6:![0-9]+]] = !{!"Simple C/C++ TBAA"} | ; IS__TUNIT____: [[META6:![0-9]+]] = !{!"Simple C/C++ TBAA"} | ||||
| ▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines | |||||