diff options
| author | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
|---|---|---|
| committer | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
| commit | 469badb1eb88b187ff39c9847b3b2316225fd421 (patch) | |
| tree | 0d20f4900f8a2eb72f59969380e316e4f1a5ee7c /powerpc | |
| parent | b24913a4ad1014b7da42bdb1deb8f3cc05b0ed8d (diff) | |
| download | compcert-469badb1eb88b187ff39c9847b3b2316225fd421.tar.gz compcert-469badb1eb88b187ff39c9847b3b2316225fd421.zip | |
correct error message for __builtin_dcbtls
Diffstat (limited to 'powerpc')
| -rw-r--r-- | powerpc/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index 3fffc037..b9fe1d7f 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -441,7 +441,7 @@ let expand_builtin_inline name args res = emit (Picbi(GPR0,a1)) | "__builtin_dcbtls", [BA (IR a1); BA_int loc],_ -> if not ((Int.eq loc _0) || (Int.eq loc _2)) then - raise (Error "the second argument of __builtin_dcbtls must be a constant between 0 and 2"); + raise (Error "the second argument of __builtin_dcbtls must be 0 or 2"); emit (Pdcbtls (loc,GPR0,a1)) | "__builtin_dcbtls",_,_ -> raise (Error "the second argument of __builtin_dcbtls must be a constant") |