13 lines · plain
1; RUN: opt --mtriple=x86_64-unknown-linux-gnu < %s -passes=tsan -S | FileCheck %s --check-prefix=GCC2; RUN: opt --mtriple=x86_64-scei-ps4 < %s -passes=tsan -S | FileCheck %s --check-prefix=GCC3; RUN: opt --mtriple=x86_64-sie-ps5 < %s -passes=tsan -S | FileCheck %s --check-prefix=GXX4 5declare void @foo()6 7define i32 @func1() sanitize_thread {8 call void @foo()9 ret i32 010 ; GCC: __gcc_personality_v011 ; GXX: __gxx_personality_v012}13