1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=newgvn -S | FileCheck %s 3 4; github issue #56039 5define i8 @src(ptr %a, ptr %b, i1 %c) { 6; CHECK-LABEL: @src( 7; CHECK-NEXT: br i1 [[C:%.*]], label [[BB1:%.*]], label [[BB2:%.*]] 8; CHECK: bb1: 9; CHECK-NEXT: [[LB1:%.*]] = load i8, ptr [[B:%.*]], align 1 10; CHECK-NEXT: [[TOBOOL3_NOT_I:%.*]] = icmp eq i8 [[LB1]], 0 11; CHECK-NEXT: br i1 [[TOBOOL3_NOT_I]], label [[BB4:%.*]], label [[BB3:%.*]] 12; CHECK: bb2: 13; CHECK-NEXT: [[LB2:%.*]] = load i8, ptr [[B]], align 1 14; CHECK-NEXT: [[CMP_NOT_I:%.*]] = icmp ult i8 0, [[LB2]] 15; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP_NOT_I]]) 16; CHECK-NEXT: br label [[BB3]] 17; CHECK: bb3: 18; CHECK-NEXT: [[LA:%.*]] = load i8, ptr [[A:%.*]], align 1 19; CHECK-NEXT: br label [[BB4]] 20; CHECK: bb4: 21; CHECK-NEXT: ret i8 0 22; 23 br i1 %c, label %bb1, label %bb2 24 25bb1: 26 %lb1 = load i8, ptr %b 27 %tobool3.not.i = icmp eq i8 %lb1, 0 28 br i1 %tobool3.not.i, label %bb4, label %bb3 29 30bb2: 31 %lb2 = load i8, ptr %b 32 %cmp.not.i = icmp ult i8 0, %lb2 33 tail call void @llvm.assume(i1 %cmp.not.i) 34 br label %bb3 35 36bb3: 37 %p = phi i8 [ %lb1, %bb1 ], [ %lb2, %bb2 ] 38 %la = load i8, ptr %a 39 %xor = xor i8 %la, %p 40 br label %bb4 41 42bb4: 43 ret i8 0 44} 45 46declare void @llvm.assume(i1) 47