<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://bugs.webkit.org/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4.1"
          urlbase="https://bugs.webkit.org/"
          
          maintainer="admin@webkit.org"
>

    <bug>
          <bug_id>117366</bug_id>
          
          <creation_ts>2013-06-07 17:02:14 -0700</creation_ts>
          <short_desc>isContravenedByStructure is backwards</short_desc>
          <delta_ts>2013-06-11 13:53:42 -0700</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>WebKit</product>
          <component>JavaScriptCore</component>
          <version>528+ (Nightly build)</version>
          <rep_platform>Unspecified</rep_platform>
          <op_sys>Unspecified</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>Normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Mark Hahnenberg">mhahnenberg</reporter>
          <assigned_to name="Mark Hahnenberg">mhahnenberg</assigned_to>
          
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>898330</commentid>
    <comment_count>0</comment_count>
    <who name="Mark Hahnenberg">mhahnenberg</who>
    <bug_when>2013-06-07 17:02:14 -0700</bug_when>
    <thetext>We should be checking if arrayModeForStructure(structure) is a subset of arrayModesThatPassFiltering(), not the other way around.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>898331</commentid>
    <comment_count>1</comment_count>
      <attachid>204075</attachid>
    <who name="Mark Hahnenberg">mhahnenberg</who>
    <bug_when>2013-06-07 17:03:22 -0700</bug_when>
    <thetext>Created attachment 204075
Patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>898334</commentid>
    <comment_count>2</comment_count>
      <attachid>204075</attachid>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2013-06-07 17:10:31 -0700</bug_when>
    <thetext>Comment on attachment 204075
Patch

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

&gt; Source/JavaScriptCore/dfg/DFGArrayMode.h:366
&gt;      bool isContravenedByStructure(Structure* structure)

Can we make it clearer that the thing that was proven was the structure?

What about having a method called: structureWouldPassArrayModeFiltering(Structure*)

RS=me to make a change like that</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>899285</commentid>
    <comment_count>3</comment_count>
    <who name="Mark Hahnenberg">mhahnenberg</who>
    <bug_when>2013-06-11 13:53:42 -0700</bug_when>
    <thetext>Committed r151468: &lt;http://trac.webkit.org/changeset/151468&gt;</thetext>
  </long_desc>
      
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>204075</attachid>
            <date>2013-06-07 17:03:22 -0700</date>
            <delta_ts>2013-06-07 17:10:31 -0700</delta_ts>
            <desc>Patch</desc>
            <filename>bug-117366-20130607170344.patch</filename>
            <type>text/plain</type>
            <size>1415</size>
            <attacher name="Mark Hahnenberg">mhahnenberg</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMTUxMzQyKQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDE2IEBA
CisyMDEzLTA2LTA3ICBNYXJrIEhhaG5lbmJlcmcgIDxtaGFobmVuYmVyZ0BhcHBsZS5jb20+CisK
KyAgICAgICAgaXNDb250cmF2ZW5lZEJ5U3RydWN0dXJlIGlzIGJhY2t3YXJkcworICAgICAgICBo
dHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5jZ2k/aWQ9MTE3MzY2CisKKyAgICAgICAg
V2Ugc2hvdWxkIGJlIGNoZWNraW5nIGlmIGFycmF5TW9kZUZvclN0cnVjdHVyZShzdHJ1Y3R1cmUp
IGlzIGEgc3Vic2V0IG9mIAorICAgICAgICBhcnJheU1vZGVzVGhhdFBhc3NGaWx0ZXJpbmcoKSwg
bm90IHRoZSBvdGhlciB3YXkgYXJvdW5kLgorCisgICAgICAgIFJldmlld2VkIGJ5IE5PQk9EWSAo
T09QUyEpLgorCisgICAgICAgICogZGZnL0RGR0FycmF5TW9kZS5oOgorICAgICAgICAoSlNDOjpE
Rkc6OkFycmF5TW9kZTo6aXNDb250cmF2ZW5lZEJ5U3RydWN0dXJlKToKKwogMjAxMy0wNi0wNyAg
TWljaGFlbCBTYWJvZmYgIDxtc2Fib2ZmQGFwcGxlLmNvbT4KIAogICAgICAgICBmb3VydGhUaWVy
OiBUaGUgYmFzZWxpbmUgaml0IGFuZCBMTGludCBzaG91bGQgdXNlIGNvbW1vbiBzbG93IHBhdGhz
CkluZGV4OiBTb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0FycmF5TW9kZS5oCj09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT0KLS0tIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQXJyYXlNb2RlLmgJKHJldmlzaW9u
IDE1MTM0MSkKKysrIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQXJyYXlNb2RlLmgJKHdv
cmtpbmcgY29weSkKQEAgLTM2NSw3ICszNjUsNyBAQCBwdWJsaWM6CiAKICAgICBib29sIGlzQ29u
dHJhdmVuZWRCeVN0cnVjdHVyZShTdHJ1Y3R1cmUqIHN0cnVjdHVyZSkKICAgICB7Ci0gICAgICAg
IHJldHVybiAhYXJyYXlNb2Rlc0FscmVhZHlDaGVja2VkKGFycmF5TW9kZXNUaGF0UGFzc0ZpbHRl
cmluZygpLCBhcnJheU1vZGVGcm9tU3RydWN0dXJlKHN0cnVjdHVyZSkpOworICAgICAgICByZXR1
cm4gIWFycmF5TW9kZXNBbHJlYWR5Q2hlY2tlZChhcnJheU1vZGVGcm9tU3RydWN0dXJlKHN0cnVj
dHVyZSksIGFycmF5TW9kZXNUaGF0UGFzc0ZpbHRlcmluZygpKTsKICAgICB9CiAgICAgCiAgICAg
QXJyYXlNb2RlcyBhcnJheU1vZGVzVGhhdFBhc3NGaWx0ZXJpbmcoKSBjb25zdAo=
</data>
<flag name="review"
          id="225598"
          type_id="1"
          status="+"
          setter="fpizlo"
    />
          </attachment>
      

    </bug>

</bugzilla>