Bug 151213 - B3 should be able to compile programs with CheckAdd, CheckSub, and CheckMul
Summary: B3 should be able to compile programs with CheckAdd, CheckSub, and CheckMul
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: WebKit Nightly Build
Hardware: All All
: P2 Normal
Assignee: Filip Pizlo
URL:
Keywords:
Depends on:
Blocks: 151228 150279 151214 151230
  Show dependency treegraph
 
Reported: 2015-11-12 12:42 PST by Filip Pizlo
Modified: 2015-11-12 17:30 PST (History)
12 users (show)

See Also:


Attachments
work in progress (8.26 KB, patch)
2015-11-12 12:43 PST, Filip Pizlo
no flags Details | Formatted Diff | Diff
the patch (11.21 KB, patch)
2015-11-12 15:38 PST, Filip Pizlo
no flags Details | Formatted Diff | Diff
the patch (13.51 KB, patch)
2015-11-12 15:45 PST, Filip Pizlo
no flags Details | Formatted Diff | Diff
the patch (45.16 KB, patch)
2015-11-12 16:49 PST, Filip Pizlo
benjamin: review+
Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Filip Pizlo 2015-11-12 12:42:00 PST
Patch forthcoming.
Comment 1 Filip Pizlo 2015-11-12 12:43:32 PST
Created attachment 265423 [details]
work in progress
Comment 2 Filip Pizlo 2015-11-12 15:38:10 PST
Created attachment 265443 [details]
the patch
Comment 3 WebKit Commit Bot 2015-11-12 15:40:38 PST
Attachment 265443 [details] did not pass style-queue:


ERROR: Source/JavaScriptCore/b3/testb3.cpp:2931:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2932:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2935:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
Total errors found: 3 in 5 files


If any of these errors are false positives, please file a bug against check-webkit-style.
Comment 4 Filip Pizlo 2015-11-12 15:45:32 PST
Created attachment 265444 [details]
the patch

Improved patch.
Comment 5 WebKit Commit Bot 2015-11-12 15:47:58 PST
Attachment 265444 [details] did not pass style-queue:


ERROR: Source/JavaScriptCore/b3/testb3.cpp:2931:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2932:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2935:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
Total errors found: 3 in 6 files


If any of these errors are false positives, please file a bug against check-webkit-style.
Comment 6 Filip Pizlo 2015-11-12 15:59:49 PST
Comment on attachment 265444 [details]
the patch

Going to add more to this patch.
Comment 7 Filip Pizlo 2015-11-12 16:49:19 PST
Created attachment 265452 [details]
the patch
Comment 8 WebKit Commit Bot 2015-11-12 16:52:18 PST
Attachment 265452 [details] did not pass style-queue:


ERROR: Source/JavaScriptCore/b3/testb3.cpp:2931:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2932:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2935:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2967:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2968:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2998:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:2999:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3029:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3047:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3056:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3069:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3070:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3073:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3105:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3106:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3141:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3142:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3172:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3190:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3199:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3212:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3213:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3242:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3243:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3276:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3277:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3306:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3307:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3336:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3354:  Place brace on its own line for function definitions.  [whitespace/braces] [4]
ERROR: Source/JavaScriptCore/b3/testb3.cpp:3363:  Consider using CHECK_EQ instead of CHECK(a == b)  [readability/check] [2]
Total errors found: 31 in 15 files


If any of these errors are false positives, please file a bug against check-webkit-style.
Comment 9 Benjamin Poulain 2015-11-12 17:23:03 PST
Comment on attachment 265452 [details]
the patch

View in context: https://bugs.webkit.org/attachment.cgi?id=265452&action=review

Gosh is this cool.

> Source/JavaScriptCore/ChangeLog:22
> +        Note that I had to convert CheckMul handling to always use a three-operand form. That's because
> +        there is no other way to tell Air that we need the original value alive. This means that on X86
> +        we'll emit an extra Move just before the checked mul. That's probably fine since that's
> +        necessary anyway.

Aww, that sucks.

That move seems unavoidable in most cases though.
Comment 10 Filip Pizlo 2015-11-12 17:30:50 PST
Landed in http://trac.webkit.org/changeset/192400