134 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn %s -S | FileCheck %s3 4; PR42605. Check phi-translate won't translate the value number of a call5; to the value of another call with clobber in between.6 7target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"8target triple = "x86_64-unknown-linux-gnu"9 10@global = dso_local local_unnamed_addr global i32 0, align 411@.str = private unnamed_addr constant [8 x i8] c"%d, %d\0A\00", align 112 13; Function Attrs: nofree nounwind14declare dso_local i32 @printf(ptr nocapture readonly, ...) local_unnamed_addr15 16; Function Attrs: noinline norecurse nounwind readonly uwtable17define dso_local i32 @_Z3gooi(i32 %i) local_unnamed_addr #0 {18; CHECK-LABEL: define dso_local i32 @_Z3gooi(19; CHECK-SAME: i32 [[I:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {20; CHECK-NEXT: [[ENTRY:.*:]]21; CHECK-NEXT: [[T0:%.*]] = load i32, ptr @global, align 4, !tbaa [[INT_TBAA2:![0-9]+]]22; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[T0]], [[I]]23; CHECK-NEXT: ret i32 [[ADD]]24;25entry:26 %t0 = load i32, ptr @global, align 4, !tbaa !227 %add = add nsw i32 %t0, %i28 ret i32 %add29}30 31; Function Attrs: nofree nounwind uwtable32define dso_local void @noclobber() local_unnamed_addr {33; CHECK-LABEL: define dso_local void @noclobber() local_unnamed_addr {34; CHECK-NEXT: [[ENTRY:.*]]:35; CHECK-NEXT: [[CALL:%.*]] = tail call i32 @_Z3gooi(i32 2)36; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[CALL]], 537; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[ADD]], 238; CHECK-NEXT: br i1 [[CMP]], label %[[IF_THEN:.*]], label %[[IF_END:.*]]39; CHECK: [[IF_THEN]]:40; CHECK-NEXT: [[CALL1:%.*]] = tail call i32 @_Z3gooi(i32 3)41; CHECK-NEXT: [[ADD2:%.*]] = add nsw i32 [[CALL1]], 542; CHECK-NEXT: br label %[[IF_END]]43; CHECK: [[IF_END]]:44; CHECK-NEXT: [[ADD4_PRE_PHI:%.*]] = phi i32 [ [[ADD2]], %[[IF_THEN]] ], [ [[ADD]], %[[ENTRY]] ]45; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 3, %[[IF_THEN]] ], [ 2, %[[ENTRY]] ]46; CHECK-NEXT: [[GLOBAL2_0:%.*]] = phi i32 [ [[ADD2]], %[[IF_THEN]] ], [ [[ADD]], %[[ENTRY]] ]47; CHECK-NEXT: [[CALL3:%.*]] = tail call i32 @_Z3gooi(i32 [[I_0]])48; CHECK-NEXT: [[CALL5:%.*]] = tail call i32 (ptr, ...) @printf(ptr @.str, i32 [[GLOBAL2_0]], i32 [[ADD4_PRE_PHI]])49; CHECK-NEXT: ret void50;51entry:52 %call = tail call i32 @_Z3gooi(i32 2)53 %add = add nsw i32 %call, 554 %cmp = icmp sgt i32 %add, 255 br i1 %cmp, label %if.then, label %if.end56 57if.then: ; preds = %entry58 %call1 = tail call i32 @_Z3gooi(i32 3)59 %add2 = add nsw i32 %call1, 560 br label %if.end61 62; Check pre happens after phitranslate.63 64if.end: ; preds = %if.then, %entry65 %i.0 = phi i32 [ 3, %if.then ], [ 2, %entry ]66 %global2.0 = phi i32 [ %add2, %if.then ], [ %add, %entry ]67 %call3 = tail call i32 @_Z3gooi(i32 %i.0)68 %add4 = add nsw i32 %call3, 569 %call5 = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %global2.0, i32 %add4)70 ret void71}72 73; Function Attrs: nofree nounwind uwtable74define dso_local void @hasclobber() local_unnamed_addr {75; CHECK-LABEL: define dso_local void @hasclobber() local_unnamed_addr {76; CHECK-NEXT: [[ENTRY:.*]]:77; CHECK-NEXT: [[CALL:%.*]] = tail call i32 @_Z3gooi(i32 2)78; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[CALL]], 579; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[ADD]], 280; CHECK-NEXT: br i1 [[CMP]], label %[[IF_THEN:.*]], label %[[IF_END:.*]]81; CHECK: [[IF_THEN]]:82; CHECK-NEXT: [[CALL1:%.*]] = tail call i32 @_Z3gooi(i32 3)83; CHECK-NEXT: [[ADD2:%.*]] = add nsw i32 [[CALL1]], 584; CHECK-NEXT: br label %[[IF_END]]85; CHECK: [[IF_END]]:86; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 3, %[[IF_THEN]] ], [ 2, %[[ENTRY]] ]87; CHECK-NEXT: [[GLOBAL2_0:%.*]] = phi i32 [ [[ADD2]], %[[IF_THEN]] ], [ [[ADD]], %[[ENTRY]] ]88; CHECK-NEXT: store i32 5, ptr @global, align 4, !tbaa [[INT_TBAA2]]89; CHECK-NEXT: [[CALL3:%.*]] = tail call i32 @_Z3gooi(i32 [[I_0]])90; CHECK-NEXT: [[ADD4:%.*]] = add nsw i32 [[CALL3]], 591; CHECK-NEXT: [[CALL5:%.*]] = tail call i32 (ptr, ...) @printf(ptr @.str, i32 [[GLOBAL2_0]], i32 [[ADD4]])92; CHECK-NEXT: ret void93;94entry:95 %call = tail call i32 @_Z3gooi(i32 2)96 %add = add nsw i32 %call, 597 %cmp = icmp sgt i32 %add, 298 br i1 %cmp, label %if.then, label %if.end99 100if.then: ; preds = %entry101 %call1 = tail call i32 @_Z3gooi(i32 3)102 %add2 = add nsw i32 %call1, 5103 br label %if.end104 105; Check no pre happens.106 107if.end: ; preds = %if.then, %entry108 %i.0 = phi i32 [ 3, %if.then ], [ 2, %entry ]109 %global2.0 = phi i32 [ %add2, %if.then ], [ %add, %entry ]110 store i32 5, ptr @global, align 4, !tbaa !2111 %call3 = tail call i32 @_Z3gooi(i32 %i.0)112 %add4 = add nsw i32 %call3, 5113 %call5 = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %global2.0, i32 %add4)114 ret void115}116 117attributes #0 = { noinline norecurse nounwind readonly uwtable }118 119!llvm.module.flags = !{!0}120!llvm.ident = !{!1}121 122!0 = !{i32 1, !"wchar_size", i32 4}123!1 = !{!"clang version 10.0.0 (trunk 369798)"}124!2 = !{!3, !3, i64 0}125!3 = !{!"int", !4, i64 0}126!4 = !{!"omnipotent char", !5, i64 0}127!5 = !{!"Simple C++ TBAA"}128;.129; CHECK: [[INT_TBAA2]] = !{[[META3:![0-9]+]], [[META3]], i64 0}130; CHECK: [[META3]] = !{!"int", [[META4:![0-9]+]], i64 0}131; CHECK: [[META4]] = !{!"omnipotent char", [[META5:![0-9]+]], i64 0}132; CHECK: [[META5]] = !{!"Simple C++ TBAA"}133;.134