95 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-pc-windows-msvc18.0.0"6 7declare i32 @use(ptr)8 9; Should be able to sink %ptr load to %not.null block which is the NCD of %ptr users.10define i32 @test1(ptr %addr, i1 %c) {11; CHECK-LABEL: @test1(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[PTR:%.*]] = load ptr, ptr [[ADDR:%.*]], align 814; CHECK-NEXT: br i1 false, label [[NULL:%.*]], label [[NOT_NULL:%.*]]15; CHECK: null:16; CHECK-NEXT: br label [[EXIT:%.*]]17; CHECK: not.null:18; CHECK-NEXT: [[Y:%.*]] = call i32 @use(ptr [[PTR]])19; CHECK-NEXT: br i1 [[C:%.*]], label [[EXIT]], label [[NOT_NULL_2:%.*]]20; CHECK: not.null.2:21; CHECK-NEXT: [[Z:%.*]] = call i32 @use(ptr [[PTR]])22; CHECK-NEXT: br label [[EXIT]]23; CHECK: exit:24; CHECK-NEXT: [[P:%.*]] = phi i32 [ poison, [[NULL]] ], [ [[Y]], [[NOT_NULL]] ], [ [[Z]], [[NOT_NULL_2]] ]25; CHECK-NEXT: ret i32 [[P]]26;27entry:28 %ptr = load ptr, ptr %addr29 %cond = icmp eq ptr %addr, null30 br i1 %cond, label %null, label %not.null31 32null:33 %x = call i32 @use(ptr null)34 br label %exit35 36not.null:37 %y = call i32 @use(ptr %ptr)38 br i1 %c, label %exit, label %not.null.239 40not.null.2:41 %z = call i32 @use(ptr %ptr)42 br label %exit43 44exit:45 %p = phi i32 [ %x, %null ], [ %y, %not.null ], [ %z, %not.null.2 ]46 ret i32 %p47}48 49; Should be able to sink %ptr load to %not.null block which is the NCD of %ptr users.50define i32 @test2(ptr %addr, i1 %c) {51; CHECK-LABEL: @test2(52; CHECK-NEXT: entry:53; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[ADDR:%.*]], null54; CHECK-NEXT: br i1 [[COND]], label [[EXIT:%.*]], label [[LOAD_BB:%.*]]55; CHECK: load.bb:56; CHECK-NEXT: [[PTR:%.*]] = load ptr, ptr [[ADDR]], align 857; CHECK-NEXT: br i1 [[C:%.*]], label [[LEFT:%.*]], label [[RIGHT:%.*]]58; CHECK: left:59; CHECK-NEXT: [[X:%.*]] = call i32 @use(ptr null)60; CHECK-NEXT: br label [[EXIT]]61; CHECK: right:62; CHECK-NEXT: [[Y:%.*]] = call i32 @use(ptr [[PTR]])63; CHECK-NEXT: br i1 false, label [[EXIT]], label [[RIGHT_2:%.*]]64; CHECK: right.2:65; CHECK-NEXT: [[Z:%.*]] = call i32 @use(ptr [[PTR]])66; CHECK-NEXT: br label [[EXIT]]67; CHECK: exit:68; CHECK-NEXT: [[P:%.*]] = phi i32 [ [[X]], [[LEFT]] ], [ poison, [[RIGHT]] ], [ [[Z]], [[RIGHT_2]] ], [ 0, [[ENTRY:%.*]] ]69; CHECK-NEXT: ret i32 [[P]]70;71entry:72 %cond = icmp eq ptr %addr, null73 br i1 %cond, label %exit, label %load.bb74 75load.bb:76 %ptr = load ptr, ptr %addr77 br i1 %c, label %left, label %right78 79left:80 %x = call i32 @use(ptr null)81 br label %exit82 83right:84 %y = call i32 @use(ptr %ptr)85 br i1 %c, label %exit, label %right.286 87right.2:88 %z = call i32 @use(ptr %ptr)89 br label %exit90 91exit:92 %p = phi i32 [ %x, %left ], [ %y, %right ], [ %z, %right.2 ], [ 0, %entry ]93 ret i32 %p94}95