Merge pull request #659 from pq-code-package/dangling_alias

autogen: Add checker for dangling register aliases in assembly files

Author: hanno-becker

mlkem/fips202/native/aarch64/src/keccak_f1600_x1_scalar_asm_opt.S

@@ -423,5 +423,35 @@ initial:
     free_stack
     ret
 
+/****************** REGISTER DEALLOCATIONS *******************/
+    .unreq input_addr
+    .unreq input_rc
+    .unreq const_addr
+    .unreq Aba
+    .unreq Abe
+    .unreq Abi
+    .unreq Abo
+    .unreq Abu
+    .unreq Aga
+    .unreq Age
+    .unreq Agi
+    .unreq Ago
+    .unreq Agu
+    .unreq Aka
+    .unreq Ake
+    .unreq Aki
+    .unreq Ako
+    .unreq Aku
+    .unreq Ama
+    .unreq Ame
+    .unreq Ami
+    .unreq Amo
+    .unreq Amu
+    .unreq Asa
+    .unreq Ase
+    .unreq Asi
+    .unreq Aso
+    .unreq Asu
+
 #endif /* defined(MLKEM_NATIVE_FIPS202_BACKEND_AARCH64_DEFAULT) ||
           defined(MLKEM_NATIVE_FIPS202_BACKEND_AARCH64_A55) */

mlkem/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm_clean.S

@@ -329,6 +329,98 @@ loop:
     free_stack
     ret
 
+/****************** REGISTER DEALLOCATIONS *******************/
+    .unreq input_addr
+    .unreq input_rc
+    .unreq const_addr
+    .unreq count
+    .unreq cur_const
+    .unreq Aba
+    .unreq Abe
+    .unreq Abi
+    .unreq Abo
+    .unreq Abu
+    .unreq Aga
+    .unreq Age
+    .unreq Agi
+    .unreq Ago
+    .unreq Agu
+    .unreq Aka
+    .unreq Ake
+    .unreq Aki
+    .unreq Ako
+    .unreq Aku
+    .unreq Ama
+    .unreq Ame
+    .unreq Ami
+    .unreq Amo
+    .unreq Amu
+    .unreq Asa
+    .unreq Ase
+    .unreq Asi
+    .unreq Aso
+    .unreq Asu
+    .unreq Abaq
+    .unreq Abeq
+    .unreq Abiq
+    .unreq Aboq
+    .unreq Abuq
+    .unreq Agaq
+    .unreq Ageq
+    .unreq Agiq
+    .unreq Agoq
+    .unreq Aguq
+    .unreq Akaq
+    .unreq Akeq
+    .unreq Akiq
+    .unreq Akoq
+    .unreq Akuq
+    .unreq Amaq
+    .unreq Ameq
+    .unreq Amiq
+    .unreq Amoq
+    .unreq Amuq
+    .unreq Asaq
+    .unreq Aseq
+    .unreq Asiq
+    .unreq Asoq
+    .unreq Asuq
+    .unreq C0
+    .unreq C1
+    .unreq C2
+    .unreq C3
+    .unreq C4
+    .unreq E0
+    .unreq E1
+    .unreq E2
+    .unreq E3
+    .unreq E4
+    .unreq Abi_
+    .unreq Abo_
+    .unreq Abu_
+    .unreq Aga_
+    .unreq Age_
+    .unreq Agi_
+    .unreq Ago_
+    .unreq Agu_
+    .unreq Aka_
+    .unreq Ake_
+    .unreq Aki_
+    .unreq Ako_
+    .unreq Aku_
+    .unreq Ama_
+    .unreq Ame_
+    .unreq Ami_
+    .unreq Amo_
+    .unreq Amu_
+    .unreq Asa_
+    .unreq Ase_
+    .unreq Asi_
+    .unreq Aso_
+    .unreq Asu_
+    .unreq Aba_
+    .unreq Abe_
+
 #endif
 
 #endif

mlkem/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm_clean.S

@@ -357,6 +357,98 @@ loop:
     free_stack
     ret
 
+/****************** REGISTER DEALLOCATIONS *******************/
+    .unreq input_addr
+    .unreq input_rc
+    .unreq const_addr
+    .unreq count
+    .unreq cur_const
+    .unreq Aba
+    .unreq Abe
+    .unreq Abi
+    .unreq Abo
+    .unreq Abu
+    .unreq Aga
+    .unreq Age
+    .unreq Agi
+    .unreq Ago
+    .unreq Agu
+    .unreq Aka
+    .unreq Ake
+    .unreq Aki
+    .unreq Ako
+    .unreq Aku
+    .unreq Ama
+    .unreq Ame
+    .unreq Ami
+    .unreq Amo
+    .unreq Amu
+    .unreq Asa
+    .unreq Ase
+    .unreq Asi
+    .unreq Aso
+    .unreq Asu
+    .unreq Abaq
+    .unreq Abeq
+    .unreq Abiq
+    .unreq Aboq
+    .unreq Abuq
+    .unreq Agaq
+    .unreq Ageq
+    .unreq Agiq
+    .unreq Agoq
+    .unreq Aguq
+    .unreq Akaq
+    .unreq Akeq
+    .unreq Akiq
+    .unreq Akoq
+    .unreq Akuq
+    .unreq Amaq
+    .unreq Ameq
+    .unreq Amiq
+    .unreq Amoq
+    .unreq Amuq
+    .unreq Asaq
+    .unreq Aseq
+    .unreq Asiq
+    .unreq Asoq
+    .unreq Asuq
+    .unreq C0
+    .unreq C1
+    .unreq C2
+    .unreq C3
+    .unreq C4
+    .unreq E0
+    .unreq E1
+    .unreq E2
+    .unreq E3
+    .unreq E4
+    .unreq Abi_
+    .unreq Abo_
+    .unreq Abu_
+    .unreq Aga_
+    .unreq Age_
+    .unreq Agi_
+    .unreq Ago_
+    .unreq Agu_
+    .unreq Aka_
+    .unreq Ake_
+    .unreq Aki_
+    .unreq Ako_
+    .unreq Aku_
+    .unreq Ama_
+    .unreq Ame_
+    .unreq Ami_
+    .unreq Amo_
+    .unreq Amu_
+    .unreq Asa_
+    .unreq Ase_
+    .unreq Asi_
+    .unreq Aso_
+    .unreq Asu_
+    .unreq Aba_
+    .unreq Abe_
+
 #endif
 
 #endif

mlkem/fips202/native/aarch64/src/keccak_f1600_x2_v8a_v84a_asm_hybrid.S

@@ -401,6 +401,99 @@ loop:
     free_stack
     ret
 
+/****************** REGISTER DEALLOCATIONS *******************/
+    .unreq input_addr
+    .unreq input_rc
+    .unreq const_addr
+    .unreq count
+    .unreq cur_const
+    .unreq Aba
+    .unreq Abe
+    .unreq Abi
+    .unreq Abo
+    .unreq Abu
+    .unreq Aga
+    .unreq Age
+    .unreq Agi
+    .unreq Ago
+    .unreq Agu
+    .unreq Aka
+    .unreq Ake
+    .unreq Aki
+    .unreq Ako
+    .unreq Aku
+    .unreq Ama
+    .unreq Ame
+    .unreq Ami
+    .unreq Amo
+    .unreq Amu
+    .unreq Asa
+    .unreq Ase
+    .unreq Asi
+    .unreq Aso
+    .unreq Asu
+    .unreq Abaq
+    .unreq Abeq
+    .unreq Abiq
+    .unreq Aboq
+    .unreq Abuq
+    .unreq Agaq
+    .unreq Ageq
+    .unreq Agiq
+    .unreq Agoq
+    .unreq Aguq
+    .unreq Akaq
+    .unreq Akeq
+    .unreq Akiq
+    .unreq Akoq
+    .unreq Akuq
+    .unreq Amaq
+    .unreq Ameq
+    .unreq Amiq
+    .unreq Amoq
+    .unreq Amuq
+    .unreq Asaq
+    .unreq Aseq
+    .unreq Asiq
+    .unreq Asoq
+    .unreq Asuq
+    .unreq C0
+    .unreq C1
+    .unreq C2
+    .unreq C3
+    .unreq C4
+    .unreq E0
+    .unreq E1
+    .unreq E2
+    .unreq E3
+    .unreq E4
+    .unreq Abi_
+    .unreq Abo_
+    .unreq Abu_
+    .unreq Aga_
+    .unreq Age_
+    .unreq Agi_
+    .unreq Ago_
+    .unreq Agu_
+    .unreq Aka_
+    .unreq Ake_
+    .unreq Aki_
+    .unreq Ako_
+    .unreq Aku_
+    .unreq Ama_
+    .unreq Ame_
+    .unreq Ami_
+    .unreq Amo_
+    .unreq Amu_
+    .unreq Asa_
+    .unreq Ase_
+    .unreq Asi_
+    .unreq Aso_
+    .unreq Asu_
+    .unreq Aba_
+    .unreq Abe_
+    .unreq vtmp
+
 #endif
 
 #endif