; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Verify that a cdecl-compatible calling convention does not trigger emitting
; unreachable idom `store i1 true, i1* undef`.

define arm_aapcs_vfpcc i8 @bar(i8* %0) {
; CHECK-LABEL: @bar(
; CHECK-NEXT:    [[TMP2:%.*]] = load i8, i8* [[TMP0:%.*]], align 1
; CHECK-NEXT:    ret i8 [[TMP2]]
;
  %2 = load i8, i8* %0, align 1
  ret i8 %2
}

define dso_local arm_aapcs_vfpcc i8 @foo(i8* %0) {
; CHECK-LABEL: @foo(
; CHECK-NEXT:    [[TMP2:%.*]] = call i8 @bar(i8* [[TMP0:%.*]])
; CHECK-NEXT:    ret i8 [[TMP2]]
;
  %2 = call i8 @bar(i8* %0)
  ret i8 %2
}