diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-10-25 20:18:41 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-10-25 20:18:41 +0000 |
| commit | 6b13effe825678634368f925329a0a1d808a9be6 (patch) | |
| tree | f9b7099fc621c55a3568dce19c0a6cb78309b8f8 | |
| parent | 31e6ed890a5336779fa191a98af1fc0513380180 (diff) | |
| download | external_llvm-6b13effe825678634368f925329a0a1d808a9be6.zip external_llvm-6b13effe825678634368f925329a0a1d808a9be6.tar.gz external_llvm-6b13effe825678634368f925329a0a1d808a9be6.tar.bz2 | |
MC/AsmParser: Rewrite test to actually check some parts of expression parsing,
now that we have macros and friends. Uncovered a bug in macro expansion...
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117295 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/MC/AsmParser/exprs.s | 69 |
1 files changed, 37 insertions, 32 deletions
diff --git a/test/MC/AsmParser/exprs.s b/test/MC/AsmParser/exprs.s index 350360c..e16b280 100644 --- a/test/MC/AsmParser/exprs.s +++ b/test/MC/AsmParser/exprs.s @@ -1,47 +1,52 @@ -// FIXME: For now this test just checks that llvm-mc -triple i386-unknown-unknown works. Once we have .macro, -// .if, and .abort we can write a better test (without resorting to miles of -// greps). - // RUN: llvm-mc -triple i386-unknown-unknown %s > %t +.macro check_expr + .if ($0) != ($1) + .abort Unexpected $0 != $1. + .endif +.endmacro + .text g: h: j: k: .data - .byte !1 + 2 - .byte !0 - .byte ~0 - .byte -1 - .byte +1 - .byte 1 + 2 - .byte 1 & 3 + check_expr !1 + 2, 2 + check_expr !0, 1 + check_expr ~0 & 0xFF, 0xFF + check_expr -1 & 0xFF, 0xFF + check_expr +1, 1 + check_expr 1 + 2, 3 + check_expr 1 & 3, 1 + // FIXME: There is a bug here in macro expansion. .byte 4 / 2 .byte 4 / -2 - .byte 1 == 1 - .byte 1 == 0 - .byte 1 > 0 - .byte 1 >= 1 - .byte 1 < 2 - .byte 1 <= 1 - .byte 4 % 3 - .byte 2 * 2 - .byte 2 != 2 - .byte 2 <> 2 - .byte 1 | 2 - .byte 1 << 1 - .byte 2 >> 1 - .byte ~0 >> 1 - .byte 3 - 2 - .byte 1 ^ 3 - .byte 1 && 2 - .byte 3 && 0 - .byte 1 || 2 - .byte 0 || 0 + check_expr 1 == 1, 1 + check_expr 1 == 0, 0 + check_expr 1 > 0, 1 + check_expr 1 >= 1, 1 + check_expr 1 < 2, 1 + check_expr 1 <= 1, 1 + check_expr 4 % 3, 1 + check_expr 2 * 2, 4 + check_expr 2 != 2, 0 + check_expr 2 <> 2, 0 + check_expr 1 | 2, 3 + check_expr 1 << 1, 2 + check_expr 2 >> 1, 1 + check_expr (~0 >> 1) & 0xFF, 0xFF + check_expr 3 - 2, 1 + check_expr 1 ^ 3, 2 + check_expr 1 && 2, 1 + check_expr 3 && 0, 0 + check_expr 0 && 1, 0 + check_expr 1 || 2, 1 + check_expr 0 || 1, 1 + check_expr 0 || 0, 0 .set c, 10 - .byte c + 1 + check_expr c + 1, 11 d = e + 10 .long d |