llvm/test/Transforms/Inline/inline-drop-attributes.ll

   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
   5 define 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 ;
  14 entry:
  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
  22 define 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 }