Home
last modified time | relevance | path

Searched refs:SAT (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/llvm/test/Analysis/AliasSet/
H A Dsaturation.ll2 …set-saturation-threshold=1 -S -o - < %s 2>&1 | FileCheck %s --check-prefix=CHECK --check-prefix=SAT
24 ; SAT: AliasSet[{{.*}}, 2] may alias, Mod forwarding to 0x[[FWD:[0-9a-f]*]]
25 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD]]
26 ; SAT: AliasSet[0x[[FWD]], 2] may alias, Mod/Ref Pointers: (i32* %a, LocationSize::precise(4)), (i3…
41 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD:[0-9a-f]*]]
42 ; SAT: AliasSet[{{.*}}, 1] must alias, Mod forwarding to 0x[[FWD]]
43 ; SAT: AliasSet[{{.*}}, 2] may alias, Mod forwarding to 0x[[FWD]]
44 ; SAT: AliasSet[0x[[FWD]], 3] may alias, Mod/Ref Pointers: (i32* %a, LocationSize::precise(4)), (i3…
/llvm-project-15.0.7/clang-tools-extra/test/clang-tidy/checkers/bugprone/
H A Dmisplaced-widening-cast-explicit-only.cpp72 SAT, enumerator
/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dsaturating-add-sub.ll1058 ; CHECK-NEXT: store i8 [[SAT]], i8* [[P:%.*]], align 1
1059 ; CHECK-NEXT: [[RES:%.*]] = add i8 [[SAT]], [[B]]
1081 ; CHECK-NEXT: [[RES:%.*]] = add i8 [[SAT]], [[B]]
1113 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[A]], [[SAT]]
1135 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[B]], [[SAT]]
1146 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[SAT]], [[B]]
1157 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[SAT]], [[B]]
1169 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[SAT]], [[B]]
1181 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[SAT]], [[B]]
1192 ; CHECK-NEXT: [[RES:%.*]] = sub i8 [[B]], [[SAT]]
[all …]
/llvm-project-15.0.7/clang/lib/Basic/Targets/
H A DARM.cpp895 bool SAT = false; in getTargetDefines() local
898 SAT = true; in getTargetDefines()
902 if (DSP || SAT) in getTargetDefines()
/llvm-project-15.0.7/llvm/lib/Linker/
H A DIRMover.cpp787 ArrayType *SAT = cast<ArrayType>(SGV.getValueType()); in computeTypeMapping() local
788 TypeMap.addTypeMapping(DAT->getElementType(), SAT->getElementType()); in computeTypeMapping()
/llvm-project-15.0.7/clang/docs/
H A DDataFlowAnalysisIntro.md856 One way to check this implication is to use a SAT solver. Without a SAT solver,
/llvm-project-15.0.7/llvm/lib/Target/ARM/
H A DARMScheduleM7.td382 (instregex "t2(S|U)SAT")>;