79 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 4target 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"5target triple = "x86_64-apple-darwin10.0"6 7define i32 @test2() nounwind ssp {8; CHECK-LABEL: define i32 @test2(9; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {10; CHECK-NEXT: [[ENTRY:.*:]]11; CHECK-NEXT: ret i32 012; CHECK: [[UNREACHABLE_BLOCK:.*:]]13; CHECK-NEXT: [[A:%.*]] = add i32 [[A]], 114; CHECK-NEXT: ret i32 [[A]]15;16entry:17 ret i32 018 19unreachable_block:20 %a = add i32 %a, 121 ret i32 %a22}23 24define i32 @pr23096_test0(i1 %arg, ptr %arg2) {25; CHECK-LABEL: define i32 @pr23096_test0(26; CHECK-SAME: i1 [[ARG:%.*]], ptr [[ARG2:%.*]]) {27; CHECK-NEXT: [[ENTRY:.*]]:28; CHECK-NEXT: br label %[[BB0:.*]]29; CHECK: [[BB1:.*]]:30; CHECK-NEXT: [[PTR1:%.*]] = ptrtoint ptr [[PTR2:%.*]] to i6431; CHECK-NEXT: [[PTR2]] = inttoptr i64 [[PTR1]] to ptr32; CHECK-NEXT: br i1 [[ARG]], label %[[BB0]], label %[[BB1]]33; CHECK: [[BB0]]:34; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[ARG2]], %[[ENTRY]] ], [ [[PTR2]], %[[BB1]] ]35; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[PHI]], align 436; CHECK-NEXT: ret i32 [[LOAD]]37;38entry:39 br label %bb040 41bb1:42 %ptr1 = ptrtoint ptr %ptr2 to i6443 %ptr2 = inttoptr i64 %ptr1 to ptr44 br i1 %arg, label %bb0, label %bb145 46bb0:47 %phi = phi ptr [ %arg2, %entry ], [ %ptr2, %bb1 ]48 %load = load i32, ptr %phi49 ret i32 %load50}51 52define i32 @pr23096_test1(i1 %arg, ptr %arg2) {53; CHECK-LABEL: define i32 @pr23096_test1(54; CHECK-SAME: i1 [[ARG:%.*]], ptr [[ARG2:%.*]]) {55; CHECK-NEXT: [[ENTRY:.*]]:56; CHECK-NEXT: br label %[[BB0:.*]]57; CHECK: [[BB1:.*]]:58; CHECK-NEXT: [[PTR1:%.*]] = getelementptr i32, ptr [[PTR2:%.*]], i32 059; CHECK-NEXT: [[PTR2]] = getelementptr i32, ptr [[PTR1]], i32 060; CHECK-NEXT: br i1 [[ARG]], label %[[BB0]], label %[[BB1]]61; CHECK: [[BB0]]:62; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[ARG2]], %[[ENTRY]] ], [ [[PTR2]], %[[BB1]] ]63; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[PHI]], align 464; CHECK-NEXT: ret i32 [[LOAD]]65;66entry:67 br label %bb068 69bb1:70 %ptr1 = getelementptr i32, ptr %ptr2, i32 071 %ptr2 = getelementptr i32, ptr %ptr1, i32 072 br i1 %arg, label %bb0, label %bb173 74bb0:75 %phi = phi ptr [ %arg2, %entry ], [ %ptr2, %bb1 ]76 %load = load i32, ptr %phi77 ret i32 %load78}79