| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -correlated-propagation -S | FileCheck %s |
| ; RUN: opt < %s -passes="correlated-propagation" -S | FileCheck %s |
| |
| define i8* @simplify_phi_common_value_op0(i8* %ptr, i32* %b) { |
| ; CHECK-LABEL: @simplify_phi_common_value_op0( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i8* [[PTR:%.*]], null |
| ; CHECK-NEXT: br i1 [[ISNULL]], label [[RETURN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: else: |
| ; CHECK-NEXT: [[LB:%.*]] = load i32, i32* [[B:%.*]], align 4 |
| ; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[LB]], 1 |
| ; CHECK-NEXT: store i32 [[ADD]], i32* [[B]] |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: ret i8* [[PTR]] |
| ; |
| entry: |
| %isnull = icmp eq i8* %ptr, null |
| br i1 %isnull, label %return, label %else |
| |
| else: |
| %lb = load i32, i32* %b |
| %add = add nsw i32 %lb, 1 |
| store i32 %add, i32* %b |
| br label %return |
| |
| return: |
| %r = phi i8* [ %ptr, %else ], [ null, %entry ] |
| ret i8* %r |
| } |
| |
| define i8* @simplify_phi_common_value_op1(i8* %ptr, i32* %b) { |
| ; CHECK-LABEL: @simplify_phi_common_value_op1( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i8* [[PTR:%.*]], null |
| ; CHECK-NEXT: br i1 [[ISNULL]], label [[RETURN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: else: |
| ; CHECK-NEXT: [[LB:%.*]] = load i32, i32* [[B:%.*]], align 4 |
| ; CHECK-NEXT: [[ADD:%.*]] = add i32 [[LB]], 1 |
| ; CHECK-NEXT: store i32 [[ADD]], i32* [[B]] |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: ret i8* [[PTR]] |
| ; |
| entry: |
| %isnull = icmp eq i8* %ptr, null |
| br i1 %isnull, label %return, label %else |
| |
| else: |
| %lb = load i32, i32* %b |
| %add = add i32 %lb, 1 |
| store i32 %add, i32* %b |
| br label %return |
| |
| return: |
| %r = phi i8* [ null, %entry], [ %ptr, %else ] |
| ret i8* %r |
| } |
| |
| define i8 @simplify_phi_multiple_constants(i8 %x, i32* %b) { |
| ; CHECK-LABEL: @simplify_phi_multiple_constants( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[IS0:%.*]] = icmp eq i8 [[X:%.*]], 0 |
| ; CHECK-NEXT: br i1 [[IS0]], label [[RETURN:%.*]], label [[ELSE1:%.*]] |
| ; CHECK: else1: |
| ; CHECK-NEXT: [[IS42:%.*]] = icmp eq i8 [[X]], 42 |
| ; CHECK-NEXT: br i1 [[IS42]], label [[RETURN]], label [[ELSE2:%.*]] |
| ; CHECK: else2: |
| ; CHECK-NEXT: [[LB:%.*]] = load i32, i32* [[B:%.*]], align 4 |
| ; CHECK-NEXT: [[ADD:%.*]] = add i32 [[LB]], 1 |
| ; CHECK-NEXT: store i32 [[ADD]], i32* [[B]] |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: ret i8 [[X]] |
| ; |
| entry: |
| %is0 = icmp eq i8 %x, 0 |
| br i1 %is0, label %return, label %else1 |
| |
| else1: |
| %is42 = icmp eq i8 %x, 42 |
| br i1 %is42, label %return, label %else2 |
| |
| else2: |
| %lb = load i32, i32* %b |
| %add = add i32 %lb, 1 |
| store i32 %add, i32* %b |
| br label %return |
| |
| return: |
| %r = phi i8 [ 0, %entry], [ %x, %else2 ], [ 42, %else1 ] |
| ret i8 %r |
| } |
| |
| define i8* @simplify_phi_common_value_from_instruction(i8* %ptr_op, i32* %b, i32 %i) { |
| ; CHECK-LABEL: @simplify_phi_common_value_from_instruction( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[PTR:%.*]] = getelementptr i8, i8* [[PTR_OP:%.*]], i32 [[I:%.*]] |
| ; CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i8* [[PTR]], null |
| ; CHECK-NEXT: br i1 [[ISNULL]], label [[RETURN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: else: |
| ; CHECK-NEXT: [[LB:%.*]] = load i32, i32* [[B:%.*]], align 4 |
| ; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[LB]], 1 |
| ; CHECK-NEXT: store i32 [[ADD]], i32* [[B]] |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: ret i8* [[PTR]] |
| ; |
| entry: |
| %ptr = getelementptr i8, i8* %ptr_op, i32 %i |
| %isnull = icmp eq i8* %ptr, null |
| br i1 %isnull, label %return, label %else |
| |
| else: |
| %lb = load i32, i32* %b |
| %add = add nsw i32 %lb, 1 |
| store i32 %add, i32* %b |
| br label %return |
| |
| return: |
| %r = phi i8* [ %ptr, %else ], [ null, %entry ] |
| ret i8* %r |
| } |
| |
| ; The sub has 'nsw', so it is not safe to propagate that value along |
| ; the bb2 edge because that would propagate poison to the return. |
| |
| define i32 @PR43802(i32 %arg) { |
| ; CHECK-LABEL: @PR43802( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[SUB:%.*]] = sub i32 0, [[ARG:%.*]] |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[ARG]], -2147483648 |
| ; CHECK-NEXT: br i1 [[CMP]], label [[BB2:%.*]], label [[BB3:%.*]] |
| ; CHECK: bb2: |
| ; CHECK-NEXT: br label [[BB3]] |
| ; CHECK: bb3: |
| ; CHECK-NEXT: ret i32 [[SUB]] |
| ; |
| entry: |
| %sub = sub nsw i32 0, %arg |
| %cmp = icmp eq i32 %arg, -2147483648 |
| br i1 %cmp, label %bb2, label %bb3 |
| |
| bb2: |
| br label %bb3 |
| |
| bb3: |
| %r = phi i32 [ -2147483648, %bb2 ], [ %sub, %entry ] |
| ret i32 %r |
| } |