Searched refs:Construction (Results 1 – 25 of 61) sorted by relevance
123
20 ; CHECK-NEXT: Dominator Tree Construction34 ; CHECK-NEXT: Dominator Tree Construction43 ; CHECK-NEXT: Dominator Tree Construction46 ; CHECK-NEXT: Dominator Tree Construction51 ; CHECK-NEXT: Dominator Tree Construction56 ; CHECK-NEXT: Dominator Tree Construction62 ; CHECK-NEXT: MachineDominator Tree Construction73 ; CHECK-NEXT: MachineDominator Tree Construction74 ; CHECK-NEXT: Machine Natural Loop Construction79 ; CHECK-NEXT: MachineDominator Tree Construction[all …]
19 ; CHECK-NEXT: Dominator Tree Construction31 ; CHECK-NEXT: Dominator Tree Construction40 ; CHECK-NEXT: MachineDominator Tree Construction
21 ; CHECK-NEXT: Dominator Tree Construction40 ; CHECK-NEXT: Dominator Tree Construction49 ; CHECK-NEXT: Dominator Tree Construction55 ; CHECK-NEXT: Dominator Tree Construction64 ; CHECK-NEXT: Dominator Tree Construction70 ; CHECK-NEXT: MachineDominator Tree Construction79 ; CHECK-NEXT: MachineDominator Tree Construction81 ; CHECK-NEXT: Machine Natural Loop Construction90 ; CHECK-NEXT: MachineDominator Tree Construction91 ; CHECK-NEXT: Machine Natural Loop Construction[all …]
19 ; CHECK-NEXT: Dominator Tree Construction30 ; CHECK-NEXT: Dominator Tree Construction
15 ; CHECK-NEXT: Dominator Tree Construction35 ; CHECK-NEXT: Dominator Tree Construction39 ; CHECK-NEXT: Dominator Tree Construction48 ; CHECK-NEXT: CallGraph Construction55 ; CHECK-NEXT: Dominator Tree Construction68 ; CHECK-NEXT: Dominator Tree Construction80 ; CHECK-NEXT: Dominator Tree Construction93 ; CHECK-NEXT: Dominator Tree Construction151 ; CHECK-NEXT: Post-Dominator Tree Construction154 ; CHECK-NEXT: Dominator Tree Construction[all …]
15 ; CHECK-NEXT: Dominator Tree Construction35 ; CHECK-NEXT: Dominator Tree Construction39 ; CHECK-NEXT: Dominator Tree Construction48 ; CHECK-NEXT: CallGraph Construction55 ; CHECK-NEXT: Dominator Tree Construction68 ; CHECK-NEXT: Dominator Tree Construction93 ; CHECK-NEXT: Dominator Tree Construction106 ; CHECK-NEXT: Dominator Tree Construction164 ; CHECK-NEXT: Post-Dominator Tree Construction167 ; CHECK-NEXT: Dominator Tree Construction[all …]
15 ; CHECK-NEXT: Dominator Tree Construction37 ; CHECK-NEXT: Dominator Tree Construction41 ; CHECK-NEXT: Dominator Tree Construction50 ; CHECK-NEXT: CallGraph Construction58 ; CHECK-NEXT: Dominator Tree Construction71 ; CHECK-NEXT: Dominator Tree Construction97 ; CHECK-NEXT: Dominator Tree Construction110 ; CHECK-NEXT: Dominator Tree Construction168 ; CHECK-NEXT: Post-Dominator Tree Construction171 ; CHECK-NEXT: Dominator Tree Construction[all …]
18 ; CHECK-NEXT: CallGraph Construction
29 ; CHECK-O2: CallGraph Construction97 ; CHECK-O2-NEXT: Dominator Tree Construction
5 ; CHECK-OLDPM-LABEL: 'Dominator Tree Construction' for function 'test1':34 ; CHECK-OLDPM-LABEL: 'Dominator Tree Construction' for function 'test2':
8 ; CHECK: Dominator Tree Construction11 ; CHECK-NOT: Dominator Tree Construction
5 ; STOP-AFTER: Dominator Tree Construction12 ; STOP-BEFORE: Dominator Tree Construction
1 Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
2 description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
49 #region Construction
51 #region Construction
29 ; CHECK-O2: CallGraph Construction91 ; CHECK-O2-NEXT: Dominator Tree Construction
37 #region Construction
282 … 0.0000 ( 0.0%) 0.0100 (100.0%) 0.0100 ( 50.0%) 0.0031 ( 6.4%) Dominator Set Construction1102 Dominator Set Construction1103 Immediate Dominators Construction1105 -- Immediate Dominators Construction1107 Natural Loop Construction1109 -- Natural Loop Construction1112 -- Dominator Set Construction1139 Dominator Set Construction1140 Immediate Dominators Construction1142 -- Dominator Set Construction[all …]
25 TEST(TwineTest, Construction) { in TEST() argument
13 b. For 'A.1.2.1 Construction of the Primes p and q Using the Shawe-Taylor
35 #pragma mark Construction
27 TEST(TwineTest, Construction) { in TEST() argument
92 TEST(ScopedPtrArrayTest, Construction) { in TEST() argument