1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=instcombine -S < %s | FileCheck %s 3 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 8 14; 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 %addr 29 %cond = icmp eq ptr %addr, null 30 br i1 %cond, label %null, label %not.null 31 32null: 33 %x = call i32 @use(ptr null) 34 br label %exit 35 36not.null: 37 %y = call i32 @use(ptr %ptr) 38 br i1 %c, label %exit, label %not.null.2 39 40not.null.2: 41 %z = call i32 @use(ptr %ptr) 42 br label %exit 43 44exit: 45 %p = phi i32 [ %x, %null ], [ %y, %not.null ], [ %z, %not.null.2 ] 46 ret i32 %p 47} 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:%.*]], null 54; CHECK-NEXT: br i1 [[COND]], label [[EXIT:%.*]], label [[LOAD_BB:%.*]] 55; CHECK: load.bb: 56; CHECK-NEXT: [[PTR:%.*]] = load ptr, ptr [[ADDR]], align 8 57; 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, null 73 br i1 %cond, label %exit, label %load.bb 74 75load.bb: 76 %ptr = load ptr, ptr %addr 77 br i1 %c, label %left, label %right 78 79left: 80 %x = call i32 @use(ptr null) 81 br label %exit 82 83right: 84 %y = call i32 @use(ptr %ptr) 85 br i1 %c, label %exit, label %right.2 86 87right.2: 88 %z = call i32 @use(ptr %ptr) 89 br label %exit 90 91exit: 92 %p = phi i32 [ %x, %left ], [ %y, %right ], [ %z, %right.2 ], [ 0, %entry ] 93 ret i32 %p 94} 95