parser: fix asm modifier parsing (allow for =r, =&r, +r, +&r,=m,=rm,=@ccl, =*r) (fix #25070) (#25072)

vlib/v/parser/asm.v

@@ -592,42 +592,53 @@ fn (mut p Parser) asm_ios(output bool) []ast.AsmIO {
 		if p.tok.kind == .lpar {
 			constraint = if output { '+r' } else { 'r' } // default constraint, though vfmt fmts to `+r` and `r`
 		} else {
-			constraint += match p.tok.kind {
-				.assign {
-					'='
-				}
-				.plus {
-					'+'
-				}
-				.mod {
-					'%'
-				}
-				.amp {
-					'&'
-				}
-				else {
-					''
-				}
-			}
-			if constraint != '' {
-				p.next()
-			}
-			constraint += p.tok.lit
-			if p.tok.kind == .at {
-				p.next()
+			// https://gcc.gnu.org/onlinedocs/gcc/Modifiers.html
+			if output {
+				// Output constraint
+				if p.tok.kind == .assign {
+					constraint += '='
+				} else if p.tok.kind == .plus {
+					constraint += '+'
 				} else {
-				if p.tok.kind == .number {
+					p.error_with_pos('Output constraint must starts with `=` or `+`',
+						pos)
+					return []
+				}
+				p.next()
+				if p.tok.kind == .amp {
+					constraint += '&'
+					p.next()
+				} else if p.tok.kind == .mul {
+					constraint += '*'
+					p.next()
+				}
+			} else {
+				// Input constraint
+				if p.tok.kind == .mod {
+					constraint += '%'
+					p.next()
+				} else if p.tok.kind == .mul {
+					constraint += '*'
+					p.next()
+				}
+			}
+			if p.tok.kind == .at {
+				// hack: `@ccl` is a single token .at, not .at + .name
+				constraint += p.tok.lit
+				p.next()
+			} else if p.tok.kind == .number && !output {
 				// Numbered constraints - https://gcc.gnu.org/onlinedocs/gcc/Simple-Constraints.html
 				if p.tok.lit.int() >= 10 {
 					p.error_with_pos('The digit must be between 0 and 9 only', pos)
 					return []
 				}
+				constraint += p.tok.lit
 				p.check(.number)
 			} else {
+				constraint += p.tok.lit
 				p.check(.name)
 			}
 		}
-		}
 		mut expr := p.expr(0)
 		if mut expr is ast.ParExpr {
 			expr = expr.expr

vlib/v/slow_tests/assembly/asm_test.amd64.v

@@ -110,6 +110,26 @@ fn test_inline_asm() {
 		; ; eax
 	}
 	assert o.str()[0].is_capital()
+
+	x := u64(100)
+	y := u64(200)
+	mut hi := u64(0)
+	mut lo := u64(0)
+	asm amd64 {
+		mov rax, x
+		mulq y
+		mov lo, rax
+		mov hi, rdx
+		; =*m (lo)
+		  =&r (hi)
+		; rm (x)
+		  r (y)
+		; rax
+		  rdx
+		  cc
+	}
+	assert hi == 0
+	assert lo == 20000
 }
 
 @[packed]