33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes=inline -S | FileCheck %s3; RUN: opt < %s -passes='cgscc(inline)' -S | FileCheck %s4 5define void @callee() {6; CHECK-LABEL: define void @callee() {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[VAL_PTR:%.*]] = load ptr, ptr null, align 89; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[VAL_PTR]], null10; CHECK-NEXT: [[VAL:%.*]] = load i64, ptr null, align 811; CHECK-NEXT: [[SEL:%.*]] = select i1 [[CMP]], i64 undef, i64 [[VAL]]12; CHECK-NEXT: ret void13;14entry:15 %val_ptr = load ptr, ptr null, align 816 %cmp = icmp eq ptr %val_ptr, null17 %val = load i64, ptr null, align 818 %sel = select i1 %cmp, i64 undef, i64 %val19 ret void20}21 22define noundef i1 @caller() {23; CHECK-LABEL: define noundef i1 @caller() {24; CHECK-NEXT: [[VAL_PTR_I:%.*]] = load ptr, ptr null, align 825; CHECK-NEXT: [[CMP_I:%.*]] = icmp eq ptr [[VAL_PTR_I]], null26; CHECK-NEXT: [[VAL_I:%.*]] = load i64, ptr null, align 827; CHECK-NEXT: [[SEL_I:%.*]] = select i1 [[CMP_I]], i64 undef, i64 [[VAL_I]]28; CHECK-NEXT: ret i1 false29;30 call void @callee()31 ret i1 false32}33