Home
last modified time | relevance | path

Searched refs:simplify (Results 1 – 25 of 702) sorted by relevance

12345678910>>...29

/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DSimplifyConstraintsTest.cpp32 llvm::SetVector<const Formula *> simplify(StringRef Lines, in simplify() function in __anonf242c8620111::SimplifyConstraintsTest
77 EXPECT_THAT(simplify(R"( in TEST_F()
89 EXPECT_THAT(simplify(R"( in TEST_F()
102 EXPECT_THAT(simplify(R"( in TEST_F()
116 EXPECT_THAT(simplify(R"( in TEST_F()
131 EXPECT_THAT(simplify(R"( in TEST_F()
149 EXPECT_THAT(simplify(R"( in TEST_F()
164 EXPECT_THAT(simplify(R"( in TEST_F()
/llvm-project/llvm/test/tools/UpdateTestChecks/update_mir_test_checks/
H A Dx86-simplify-mir.test2 ## Check that update_mir_test_checks handles -simplify-mir
4 # RUN: cp -f %S/Inputs/x86-simplify-mir.ll %t.ll && %update_mir_test_checks %t.ll
5 # RUN: diff -u %S/Inputs/x86-simplify-mir.ll.expected %t.ll
/llvm-project/mlir/lib/Dialect/Affine/Transforms/
H A DSimplifyAffineStructures.cpp9 // This file implements a pass to simplify affine structures in operations.
29 #define DEBUG_TYPE "simplify-affine-structure"
45 /// Utility to simplify an affine attribute and update its entry in the parent
56 // Try to simplify the value of the attribute. in simplifyAndUpdateAttribute()
58 auto simplifiedValue = simplify(value); in simplifyAndUpdateAttribute()
70 IntegerSet simplify(IntegerSet set) { return simplifyIntegerSet(set); } in simplify() function
73 AffineMap simplify(AffineMap map) { in simplify() function
75 mMap.simplify(); in simplify()
98 // The simplification of affine attributes will likely simplify the op. Try to in runOnOperation()
/llvm-project/llvm/test/CodeGen/RISCV/
H A Dcm_mvas_mvsa.mir2 # RUN: llc -mtriple=riscv32 -verify-machineinstrs -run-pass=riscv-move-merge -simplify-mir -o - %s …
3 # RUN: llc -mtriple=riscv32 -mattr=+zcmp -verify-machineinstrs -run-pass=riscv-move-merge -simplify
4 # RUN: llc -mtriple=riscv64 -verify-machineinstrs -run-pass=riscv-move-merge -simplify-mir -o - %s …
5 # RUN: llc -mtriple=riscv64 -mattr=+zcmp -verify-machineinstrs -run-pass=riscv-move-merge -simplify
H A Dmachine-cp.mir2 # RUN: llc -o - %s -mtriple=riscv32 -simplify-mir \
4 # RUN: llc -o - %s -mtriple=riscv64 -simplify-mir \
/llvm-project/polly/lib/Transform/
H A DDeLICM.cpp690 simplify(DefTarget); in tryMapValue()
713 simplify(EltZone); in tryMapValue()
730 simplify(EltKnown); in tryMapValue()
737 simplify(DefEltSched); in tryMapValue()
780 simplify(NewAccRel); in mapValue()
862 simplify(PHITarget); in tryMapPHI()
884 simplify(WritesTarget); in tryMapPHI()
920 simplify(Lifetime); in tryMapPHI()
934 simplify(Written); in tryMapPHI()
944 simplify(EltLifetimeIns in tryMapPHI()
[all...]
/llvm-project/llvm/test/Transforms/LoopSimplify/
H A Dupdate_latch_md.ll1 ; RUN: opt -passes=loop-simplify -S < %s | FileCheck %s
4 ; is removed, and applied to the new latch after running the loop-simplify
5 ; pass on this function. The loop simplify pass ensures that each loop has exit
H A Dpr26682.ll1 ; RUN: opt < %s -passes=lcssa,loop-simplify,indvars -S | FileCheck %s
7 ; Check that loop-simplify merges two loop exits, but preserves LCSSA form.
/llvm-project/clang-tools-extra/docs/clang-tidy/checks/readability/
H A Dsimplify-subscript-expr.rst1 .. title:: clang-tidy - readability-simplify-subscript-expr
3 readability-simplify-subscript-expr
/llvm-project/llvm/test/CodeGen/PowerPC/
H A Dkernel-fp-round.ll1 ; RUN: llc -simplify-mir -verify-machineinstrs -stop-after=finalize-isel \
3 ; RUN: llc -simplify-mir -verify-machineinstrs -stop-after=finalize-isel \
6 ; RUN: llc -simplify-mir -verify-machineinstrs -stop-after=finalize-isel \
/llvm-project/llvm/test/CodeGen/RISCV/GlobalISel/instruction-select/
H A Dtrap.mir2 # RUN: llc -mtriple=riscv32 -run-pass=instruction-select -simplify-mir \
4 # RUN: llc -mtriple=riscv64 -run-pass=instruction-select -simplify-mir \
H A Dbswap-rv32.mir3 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
5 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
H A Dbswap-rv64.mir3 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
5 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
H A Dfp-ext-trunc.mir3 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
5 # RUN: -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
/llvm-project/llvm/test/Transforms/LoopDistribute/
H A Ddiagnostics-with-hotness.ll1 ; RUN: opt -passes=loop-simplify,loop-distribute -enable-loop-distribute -S -pass-remarks-missed=lo…
4 ; RUN: opt -passes=loop-simplify,loop-distribute -enable-loop-distribute -S -pass-remarks-missed=lo…
8 ; RUN: opt -passes='loop-simplify,require<aa>,loop-distribute' -S -pass-remarks-missed=loop-distrib…
11 ; RUN: opt -passes='loop-simplify,require<aa>,loop-distribute' -S -pass-remarks-missed=loop-distrib…
/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp26 Sym = simplify(State, Sym); in assumeSym()
34 // We can only simplify expressions whose RHS is an integer. in assumeSym()
105 Sym = simplify(State, Sym); in assumeSymInclusiveRange()
135 Sym = simplify(State, Sym); in assumeSymUnsupported()
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) { in simplify() function
/llvm-project/polly/include/polly/Support/
H A DISLTools.h274 void simplify(isl::set &Set);
277 void simplify(isl::union_set &USet);
280 void simplify(isl::map &Map);
283 void simplify(isl::union_map &UMap);
/llvm-project/llvm/test/CodeGen/BPF/
H A Daddr-space-simplify-1.ll2 ; RUN: opt -passes=bpf-aspace-simplify -mtriple=bpf-pc-linux -S < %s | FileCheck %s
4 ; Check that bpf-aspace-simplify pass removes unnecessary (for BPF)
H A Daddr-space-simplify-4.ll2 ; RUN: opt -passes=bpf-aspace-simplify -mtriple=bpf-pc-linux -S < %s | FileCheck %s
4 ; Check that bpf-aspace-simplify pass simplifies chain
H A Daddr-space-simplify-2.ll2 ; RUN: opt -passes=bpf-aspace-simplify -mtriple=bpf-pc-linux -S < %s | FileCheck %s
4 ; Check that bpf-aspace-simplify pass does not change
H A Daddr-space-simplify-5.ll2 ; RUN: opt -passes=bpf-aspace-simplify -mtriple=bpf-pc-linux -S < %s | FileCheck %s
4 ; Check that bpf-aspace-simplify pass removes unnecessary (for BPF)
/llvm-project/llvm/test/Transforms/CodeGenPrepare/X86/
H A Dmemset_chk-simplify-nobuiltin.ll2 ; RUN: opt -S -mtriple=x86_64 -disable-simplify-libcalls -codegenprepare < %s | FileCheck %s
10 ; - TLI::has (always returns false thanks to -disable-simplify-libcalls)
/llvm-project/mlir/test/Pass/
H A Drun-reproducer.mlir17 …func.func(cse,canonicalize{ max-iterations=1 max-num-rewrites=-1 region-simplify=normal test-conve…
18 …(func.func(cse,canonicalize{max-iterations=1 max-num-rewrites=-1 region-simplify=normal top-down=f…
/llvm-project/llvm/test/CodeGen/AArch64/
H A Dfp-const-fold.ll93 ; TODO: Should simplify to nan.
107 ; TODO: Should simplify to nan.
137 ; TODO: Should simplify to inf.
151 ; TODO: Should simplify to -inf.
/llvm-project/llvm/test/CodeGen/MIR/AArch64/
H A Dprint-parse-overloaded-intrinsics.mir1 # RUN: llc -mtriple aarch64-- -run-pass irtranslator -simplify-mir %s -o %t \
3 # RUN: -simplify-mir %t -x mir -o - -verify-machineinstrs | FileCheck %s

12345678910>>...29