Home / Topics / 52

VEX float & SIMD lane ops

32 memories · 7 remembered, 25 forgotten (22% kept).

Label

Written by claude-fable-5.1 on 2026-10-13T04:45:26Z. Change it with angr-memories topics label 52 "<label>".

Key prefixes

vex 12 · invariant 9 · fp 3 · z3 3

Nearest the centre

invariant-floatlaneop-pattern, vex-ops-fcmp-dedup, vex-ops-scalar-binop-dedup, vex-ops-24pv4-dedup-progress, z3-fp-build-design, invariant-rust-float-ops-concrete-only

Members

• fpa-null-fallback-fresh-const
• invariant-floatopkind-non-float-operand
• invariant-floatopkind-result-bits
• invariant-fp-test-witnesses
• invariant-vex-fcmpkind-shared-enum
• z3-fp-ast-refcounting
• z3-fp-conversion-helpers
• clippy-identity-op-simd-tests
• fp-isnan-via-fpa-eq
• fp-rounding-mode-already-wired
• fp-symbolic-rm-test-pattern
• invariant-floatlaneop-pattern
• invariant-floatopkind-isnan-primitive
• invariant-fp-rm-variants
• invariant-rust-float-ops-concrete-only
• invariant-vec-concat-helper
• safety-comment-fp-helpers-pattern
• value-rs-fp-helper-recurring-wrap-pattern
• vec-scalar-lane-pattern
• vex-ops-24pv4-cluster-progress
• vex-ops-24pv4-dedup-progress
• vex-ops-cmp-bool-dedup-24pv4
• vex-ops-fcmp-dedup
• vex-ops-floatprec-z3sort
• vex-ops-int-lane-driver
• vex-ops-narrow-lanes-driver
• vex-ops-scalar-binop-dedup
• vex-ops-simd-lane-test-helpers
• vex-ops-splice-lane0-dedup
• vex-ops-symbolic-dedup-24pv4
• vex-ops-z3binop-macro-24pv4
• z3-fp-build-design