55 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=gvn,jump-threading -enable-pre -S | FileCheck %s --check-prefixes=CHECK,MDEP3; RUN: opt < %s -passes='gvn<memoryssa>',jump-threading -enable-pre -S | FileCheck %s --check-prefixes=CHECK,MSSA4 5@H = common global i32 06@G = common global i32 07 8define i32 @test(i1 %cond, i32 %v) nounwind {9; CHECK-LABEL: define i32 @test(10; CHECK-SAME: i1 [[COND:%.*]], i32 [[V:%.*]]) #[[ATTR0:[0-9]+]] {11; CHECK-NEXT: [[ENTRY:.*:]]12; CHECK-NEXT: br i1 [[COND]], label %[[BB:.*]], label %[[MERGE:.*]]13; CHECK: [[BB]]:14; CHECK-NEXT: store i32 -1, ptr @G, align 415; CHECK-NEXT: br label %[[MERGE]]16; CHECK: [[MERGE]]:17; CHECK-NEXT: [[ADD_2:%.*]] = add i32 [[V]], -118; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[ADD_2]], 019; CHECK-NEXT: br i1 [[CMP]], label %[[ACTION:.*]], label %[[RETURN:.*]]20; CHECK: [[ACTION]]:21; CHECK-NEXT: store i32 [[ADD_2]], ptr @H, align 422; CHECK-NEXT: br label %[[RETURN]]23; CHECK: [[RETURN]]:24; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, %[[MERGE]] ], [ 1, %[[ACTION]] ]25; CHECK-NEXT: ret i32 [[P]]26;27entry:28 br i1 %cond, label %bb, label %bb129 30bb:31 %add.1 = add nuw nsw i32 %v, -132 store i32 %add.1, ptr @G, align 433 br label %merge34 35bb1:36 br label %merge37 38merge:39 %add.2 = add i32 %v, -140 %cmp = icmp sgt i32 %add.2, 041 br i1 %cmp, label %action, label %return42 43action:44 store i32 %add.2, ptr @H, align 445 br label %return46 47return:48 %p = phi i32 [0, %merge], [1, %action]49 ret i32 %p50}51 52;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:53; MDEP: {{.*}}54; MSSA: {{.*}}55