CtrlK
BlogDocsLog inGet started
Tessl Logo

add-alias-analysis

Use and extend alias analysis in LLVM 22. Covers querying AAResults from a function pass, using IR-level hints (noalias, TBAA) as the preferred approach, writing a custom AA analysis with the New Pass Manager, and common ModRef patterns.

74

Quality

91%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Passed

No findings from the security scan

SKILL.md
Quality
Evals
Security

Quality

Content

100%Scale 1-3

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

This is an excellent skill file that efficiently covers alias analysis in LLVM 22 across multiple levels of complexity. It respects Claude's intelligence by avoiding conceptual explanations, provides fully executable code for every approach, and structures content with a clear decision framework and progressive complexity. The common mistakes section adds high-value guardrails without verbosity.

DimensionReasoningScore

Conciseness

The content is lean and efficient throughout. It avoids explaining what alias analysis is conceptually and jumps straight into actionable guidance. The decision table at the top is a model of token efficiency. Brief inline comments in code serve as documentation without bloat.

3 / 3

Actionability

Every section provides fully executable C++ code with correct includes and complete patterns. The code is copy-paste ready — from adding attributes, to TBAA metadata creation, to querying AAResults, to writing a custom AA pass with NPM registration. The AliasResult and ModRef tables give precise semantics.

3 / 3

Workflow Clarity

The skill opens with a clear decision table (Step 0) that sequences the reader to the right approach. Parts 1-4 follow a logical progression from simplest (IR hints) to most complex (custom AA). The invalidation section and common mistakes serve as validation checkpoints, and the 'never cache across IR modifications' warning is a critical feedback loop for correctness.

3 / 3

Progressive Disclosure

Content is well-structured with clear sections progressing from overview to advanced topics. The custom AA section is explicitly marked '(advanced)' and gated behind a recommendation to prefer IR hints. External references to attributes-metadata.md and new-pass-manager.md are one level deep and clearly signaled.

3 / 3

Total

12

/

12

Passed

Description

82%Scale 1-3

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

This is a strong, technically precise description that clearly identifies its niche within LLVM alias analysis and lists concrete capabilities. Its main weakness is the absence of an explicit 'Use when...' clause, which would help Claude know exactly when to select this skill. The technical trigger terms are excellent for the target audience.

Suggestions

Add an explicit 'Use when...' clause, e.g., 'Use when the user asks about alias analysis, memory aliasing, AAResults queries, noalias annotations, TBAA metadata, or writing custom AA passes in LLVM.'

DimensionReasoningScore

Specificity

Lists multiple specific concrete actions: querying AAResults from a function pass, using IR-level hints (noalias, TBAA), writing a custom AA analysis with the New Pass Manager, and common ModRef patterns. These are all concrete, well-defined tasks.

3 / 3

Completeness

Clearly answers 'what does this do' with specific capabilities, but lacks an explicit 'Use when...' clause or equivalent trigger guidance. The when is only implied by the domain context, which caps this at 2 per the rubric guidelines.

2 / 3

Trigger Term Quality

Includes highly relevant natural keywords that a developer working in this domain would use: 'alias analysis', 'LLVM', 'AAResults', 'noalias', 'TBAA', 'New Pass Manager', 'ModRef'. These are the exact terms someone would mention when needing this skill.

3 / 3

Distinctiveness Conflict Risk

Extremely specific niche targeting LLVM 22 alias analysis specifically. The combination of 'alias analysis', 'AAResults', 'TBAA', 'noalias', and 'New Pass Manager' makes this highly unlikely to conflict with other skills.

3 / 3

Total

11

/

12

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation11 / 11 Passed

Validation for skill structure

No warnings or errors.

Repository
hbarve1/tessl-llvm
Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.