; RUN: opt --mtriple=x86_64-unknown-linux-gnu < %s -passes=tsan -S | FileCheck %s --check-prefix=GCC
; RUN: opt --mtriple=x86_64-scei-ps4 < %s -passes=tsan -S | FileCheck %s --check-prefix=GCC
; RUN: opt --mtriple=x86_64-sie-ps5  < %s -passes=tsan -S | FileCheck %s --check-prefix=GXX

declare void @foo()

define i32 @func1() sanitize_thread {
  call void @foo()
  ret i32 0
  ; GCC: __gcc_personality_v0
  ; GXX: __gxx_personality_v0
}