200 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes --check-globals2; call site specific analysis is disabled3 4; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT5 6; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,CGSCC7 8define dso_local i32 @test_range1(i32 %0) #0 {9; CHECK-LABEL: define {{[^@]+}}@test_range110; CHECK-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {11; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP0]], 012; CHECK-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]13; CHECK: 3:14; CHECK-NEXT: br label [[TMP5:%.*]]15; CHECK: 4:16; CHECK-NEXT: br label [[TMP5]]17; CHECK: 5:18; CHECK-NEXT: [[DOT0:%.*]] = phi i32 [ 100, [[TMP3]] ], [ 0, [[TMP4]] ]19; CHECK-NEXT: ret i32 [[DOT0]]20;21 %2 = icmp ne i32 %0, 022 br i1 %2, label %3, label %423 243: ; preds = %125 br label %526 274: ; preds = %128 br label %529 305: ; preds = %4, %331 %.0 = phi i32 [ 100, %3 ], [ 0, %4 ]32 ret i32 %.033}34 35define i32 @test_range2(i32 %0) #0 {36; CHECK-LABEL: define {{[^@]+}}@test_range237; CHECK-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0]] {38; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP0]], 039; CHECK-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]40; CHECK: 3:41; CHECK-NEXT: br label [[TMP5:%.*]]42; CHECK: 4:43; CHECK-NEXT: br label [[TMP5]]44; CHECK: 5:45; CHECK-NEXT: [[DOT0:%.*]] = phi i32 [ 100, [[TMP3]] ], [ 200, [[TMP4]] ]46; CHECK-NEXT: ret i32 [[DOT0]]47;48 %2 = icmp ne i32 %0, 049 br i1 %2, label %3, label %450 513: ; preds = %152 br label %553 544: ; preds = %155 br label %556 575: ; preds = %4, %358 %.0 = phi i32 [ 100, %3 ], [ 200, %4 ]59 ret i32 %.060}61define i32 @test(i32 %0, i32 %1) #0 {62; TUNIT-LABEL: define {{[^@]+}}@test63; TUNIT-SAME: (i32 [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {64; TUNIT-NEXT: [[TMP3:%.*]] = icmp ne i32 [[TMP1]], 065; TUNIT-NEXT: br i1 [[TMP3]], label [[TMP4:%.*]], label [[TMP6:%.*]]66; TUNIT: 4:67; TUNIT-NEXT: [[TMP5:%.*]] = call i32 @test_range1(i32 [[TMP0]])68; TUNIT-NEXT: br label [[TMP8:%.*]]69; TUNIT: 6:70; TUNIT-NEXT: [[TMP7:%.*]] = call i32 @test_range2(i32 [[TMP0]])71; TUNIT-NEXT: br label [[TMP8]]72; TUNIT: 8:73; TUNIT-NEXT: [[DOT0:%.*]] = phi i32 [ [[TMP5]], [[TMP4]] ], [ [[TMP7]], [[TMP6]] ]74; TUNIT-NEXT: ret i32 [[DOT0]]75;76; CGSCC-LABEL: define {{[^@]+}}@test77; CGSCC-SAME: (i32 [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR1:[0-9]+]] {78; CGSCC-NEXT: [[TMP3:%.*]] = icmp ne i32 [[TMP1]], 079; CGSCC-NEXT: br i1 [[TMP3]], label [[TMP4:%.*]], label [[TMP6:%.*]]80; CGSCC: 4:81; CGSCC-NEXT: [[TMP5:%.*]] = call noundef i32 @test_range1(i32 [[TMP0]])82; CGSCC-NEXT: br label [[TMP8:%.*]]83; CGSCC: 6:84; CGSCC-NEXT: [[TMP7:%.*]] = call noundef i32 @test_range2(i32 [[TMP0]])85; CGSCC-NEXT: br label [[TMP8]]86; CGSCC: 8:87; CGSCC-NEXT: [[DOT0:%.*]] = phi i32 [ [[TMP5]], [[TMP4]] ], [ [[TMP7]], [[TMP6]] ]88; CGSCC-NEXT: ret i32 [[DOT0]]89;90 %3 = icmp ne i32 %1, 091 br i1 %3, label %4, label %692 934: ; preds = %294 %5 = call i32 @test_range1(i32 %0)95 br label %896 976: ; preds = %298 %7 = call i32 @test_range2(i32 %0)99 br label %8100 1018: ; preds = %6, %4102 %.0 = phi i32 [ %5, %4 ], [ %7, %6 ]103 ret i32 %.0104}105 106define i32 @test_pcheck1(i32 %0) #0 {107; TUNIT-LABEL: define {{[^@]+}}@test_pcheck1108; TUNIT-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0]] {109; TUNIT-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 1)110; TUNIT-NEXT: [[TMP3:%.*]] = icmp slt i32 [[TMP2]], 101111; TUNIT-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32112; TUNIT-NEXT: ret i32 [[TMP4]]113;114; CGSCC-LABEL: define {{[^@]+}}@test_pcheck1115; CGSCC-SAME: (i32 [[TMP0:%.*]]) #[[ATTR1]] {116; CGSCC-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 1)117; CGSCC-NEXT: [[TMP3:%.*]] = icmp slt i32 [[TMP2]], 101118; CGSCC-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32119; CGSCC-NEXT: ret i32 [[TMP4]]120;121 %2 = call i32 @test(i32 %0, i32 1)122 %3 = icmp slt i32 %2, 101123 %4 = zext i1 %3 to i32124 ret i32 %4125}126 127define i32 @test_pcheck2(i32 %0) #0 {128; TUNIT-LABEL: define {{[^@]+}}@test_pcheck2129; TUNIT-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0]] {130; TUNIT-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 0)131; TUNIT-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 99132; TUNIT-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32133; TUNIT-NEXT: ret i32 [[TMP4]]134;135; CGSCC-LABEL: define {{[^@]+}}@test_pcheck2136; CGSCC-SAME: (i32 [[TMP0:%.*]]) #[[ATTR1]] {137; CGSCC-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 0)138; CGSCC-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 99139; CGSCC-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32140; CGSCC-NEXT: ret i32 [[TMP4]]141;142 %2 = call i32 @test(i32 %0, i32 0)143 %3 = icmp sgt i32 %2, 99144 %4 = zext i1 %3 to i32145 ret i32 %4146}147 148define i32 @test_ncheck1(i32 %0) #0 {149; TUNIT-LABEL: define {{[^@]+}}@test_ncheck1150; TUNIT-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0]] {151; TUNIT-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 1)152; TUNIT-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 50153; TUNIT-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32154; TUNIT-NEXT: ret i32 [[TMP4]]155;156; CGSCC-LABEL: define {{[^@]+}}@test_ncheck1157; CGSCC-SAME: (i32 [[TMP0:%.*]]) #[[ATTR1]] {158; CGSCC-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 1)159; CGSCC-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 50160; CGSCC-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32161; CGSCC-NEXT: ret i32 [[TMP4]]162;163 %2 = call i32 @test(i32 %0, i32 1)164 %3 = icmp sgt i32 %2, 50165 %4 = zext i1 %3 to i32166 ret i32 %4167}168 169define i32 @test_ncheck2(i32 %0) #0 {170; TUNIT-LABEL: define {{[^@]+}}@test_ncheck2171; TUNIT-SAME: (i32 [[TMP0:%.*]]) #[[ATTR0]] {172; TUNIT-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 0)173; TUNIT-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 150174; TUNIT-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32175; TUNIT-NEXT: ret i32 [[TMP4]]176;177; CGSCC-LABEL: define {{[^@]+}}@test_ncheck2178; CGSCC-SAME: (i32 [[TMP0:%.*]]) #[[ATTR1]] {179; CGSCC-NEXT: [[TMP2:%.*]] = call i32 @test(i32 [[TMP0]], i32 noundef 0)180; CGSCC-NEXT: [[TMP3:%.*]] = icmp sgt i32 [[TMP2]], 150181; CGSCC-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32182; CGSCC-NEXT: ret i32 [[TMP4]]183;184 %2 = call i32 @test(i32 %0, i32 0)185 %3 = icmp sgt i32 %2, 150186 %4 = zext i1 %3 to i32187 ret i32 %4188}189 190attributes #0 = { noinline nounwind sspstrong uwtable}191 192;.193; TUNIT: attributes #[[ATTR0]] = { mustprogress nofree noinline norecurse nosync nounwind sspstrong willreturn memory(none) uwtable }194; TUNIT: attributes #[[ATTR1:[0-9]+]] = { nofree nosync nounwind willreturn memory(none) }195;.196; CGSCC: attributes #[[ATTR0]] = { mustprogress nofree noinline norecurse nosync nounwind sspstrong willreturn memory(none) uwtable }197; CGSCC: attributes #[[ATTR1]] = { mustprogress nofree noinline nosync nounwind sspstrong willreturn memory(none) uwtable }198; CGSCC: attributes #[[ATTR2:[0-9]+]] = { nofree nosync willreturn }199;.200