Turn struct-path aware TBAA on by default.
Use -no-struct-path-tbaa to turn it off. This is the same as r191695, which was reverted because it depends on a commit that has issues. llvm-svn: 192497
This commit is contained in:
parent
fe56be5819
commit
f5d9d348f7
|
@ -165,8 +165,8 @@ def fuse_register_sized_bitfield_access: Flag<["-"], "fuse-register-sized-bitfie
|
|||
HelpText<"Use register sized accesses to bit-fields, when possible.">;
|
||||
def relaxed_aliasing : Flag<["-"], "relaxed-aliasing">,
|
||||
HelpText<"Turn off Type Based Alias Analysis">;
|
||||
def struct_path_tbaa : Flag<["-"], "struct-path-tbaa">,
|
||||
HelpText<"Turn on struct-path aware Type Based Alias Analysis">;
|
||||
def no_struct_path_tbaa : Flag<["-"], "no-struct-path-tbaa">,
|
||||
HelpText<"Turn off struct-path aware Type Based Alias Analysis">;
|
||||
def masm_verbose : Flag<["-"], "masm-verbose">,
|
||||
HelpText<"Generate verbose assembly output">;
|
||||
def mcode_model : Separate<["-"], "mcode-model">,
|
||||
|
|
|
@ -659,6 +659,7 @@ def fno_spell_checking : Flag<["-"], "fno-spell-checking">, Group<f_Group>,
|
|||
def fno_stack_protector : Flag<["-"], "fno-stack-protector">, Group<f_Group>;
|
||||
def fno_strict_aliasing : Flag<["-"], "fno-strict-aliasing">, Group<f_Group>;
|
||||
def fstruct_path_tbaa : Flag<["-"], "fstruct-path-tbaa">, Group<f_Group>;
|
||||
def fno_struct_path_tbaa : Flag<["-"], "fno-struct-path-tbaa">, Group<f_Group>;
|
||||
def fno_strict_enums : Flag<["-"], "fno-strict-enums">, Group<f_Group>;
|
||||
def fno_strict_overflow : Flag<["-"], "fno-strict-overflow">, Group<f_Group>;
|
||||
def fno_threadsafe_statics : Flag<["-"], "fno-threadsafe-statics">, Group<f_Group>,
|
||||
|
|
|
@ -2200,8 +2200,9 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA,
|
|||
options::OPT_fno_strict_aliasing,
|
||||
getToolChain().IsStrictAliasingDefault()))
|
||||
CmdArgs.push_back("-relaxed-aliasing");
|
||||
if (Args.hasArg(options::OPT_fstruct_path_tbaa))
|
||||
CmdArgs.push_back("-struct-path-tbaa");
|
||||
if (!Args.hasFlag(options::OPT_fstruct_path_tbaa,
|
||||
options::OPT_fno_struct_path_tbaa))
|
||||
CmdArgs.push_back("-no-struct-path-tbaa");
|
||||
if (Args.hasFlag(options::OPT_fstrict_enums, options::OPT_fno_strict_enums,
|
||||
false))
|
||||
CmdArgs.push_back("-fstrict-enums");
|
||||
|
|
|
@ -344,7 +344,7 @@ static bool ParseCodeGenArgs(CodeGenOptions &Opts, ArgList &Args, InputKind IK,
|
|||
Opts.UseRegisterSizedBitfieldAccess = Args.hasArg(
|
||||
OPT_fuse_register_sized_bitfield_access);
|
||||
Opts.RelaxedAliasing = Args.hasArg(OPT_relaxed_aliasing);
|
||||
Opts.StructPathTBAA = Args.hasArg(OPT_struct_path_tbaa);
|
||||
Opts.StructPathTBAA = !Args.hasArg(OPT_no_struct_path_tbaa);
|
||||
Opts.DwarfDebugFlags = Args.getLastArgValue(OPT_dwarf_debug_flags);
|
||||
Opts.MergeAllConstants = !Args.hasArg(OPT_fno_merge_all_constants);
|
||||
Opts.NoCommon = Args.hasArg(OPT_fno_common);
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - -O3 | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - -O3 -struct-path-tbaa | FileCheck %s --check-prefix=PATH
|
||||
// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - -O3 -no-struct-path-tbaa | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - -O3 | FileCheck %s --check-prefix=PATH
|
||||
|
||||
static int f0(int n) {
|
||||
struct s0 {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-optzns -o - %s | FileCheck %s
|
||||
// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -struct-path-tbaa -disable-llvm-optzns -o - %s | FileCheck %s -check-prefix=PATH
|
||||
// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -no-struct-path-tbaa -disable-llvm-optzns -o - %s | FileCheck %s
|
||||
// RUN: %clang_cc1 -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-optzns -o - %s | FileCheck %s -check-prefix=PATH
|
||||
|
||||
// Types with the may_alias attribute should be considered equivalent
|
||||
// to char for aliasing.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -no-struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
|
||||
// Test TBAA metadata generated by front-end.
|
||||
|
||||
typedef unsigned char uint8_t;
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -no-struct-path-tbaa -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s
|
||||
// RUN: %clang_cc1 -triple x86_64-apple-darwin -O1 -disable-llvm-optzns %s -emit-llvm -o - | FileCheck %s -check-prefix=PATH
|
||||
// Test TBAA metadata generated by front-end.
|
||||
|
||||
typedef unsigned char uint8_t;
|
||||
|
|
Loading…
Reference in New Issue