1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes=inline -S | FileCheck %s 3; RUN: opt < %s -passes='cgscc(inline)' -S | FileCheck %s 4 5define void @callee() { 6; CHECK-LABEL: define void @callee() { 7; CHECK-NEXT: entry: 8; CHECK-NEXT: [[VAL_PTR:%.*]] = load ptr, ptr null, align 8 9; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[VAL_PTR]], null 10; CHECK-NEXT: [[VAL:%.*]] = load i64, ptr null, align 8 11; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i64 undef, i64 [[VAL]] 12; CHECK-NEXT: ret void 13; 14entry: 15 %val_ptr = load ptr, ptr null, align 8 16 %cmp = icmp eq ptr %val_ptr, null 17 %val = load i64, ptr null, align 8 18 %sel = select i1 %cmp, i64 undef, i64 %val 19 ret void 20} 21 22define noundef i1 @caller() { 23; CHECK-LABEL: define noundef i1 @caller() { 24; CHECK-NEXT: [[VAL_PTR_I:%.*]] = load ptr, ptr null, align 8 25; CHECK-NEXT: [[CMP_I:%.*]] = icmp eq ptr [[VAL_PTR_I]], null 26; CHECK-NEXT: [[VAL_I:%.*]] = load i64, ptr null, align 8 27; CHECK-NEXT: [[SEL_I:%.*]] = select i1 [[CMP_I]], i64 undef, i64 [[VAL_I]] 28; CHECK-NEXT: ret i1 false 29; 30 call void @callee() 31 ret i1 false 32} 33