and though bugs are the bane of my existence, rest assured the wretched thing will get the best of care here

  1. 18 Feb, 2015 5 commits
    • Hans Wennborg's avatar
      Merging r229731: · 82a2d4d5
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229731 | sanjoy | 2015-02-18 11:32:25 -0800 (Wed, 18 Feb 2015) | 10 lines
      
      Partial fix for bug 22589
      
      Don't spend the entire iteration space in the scalar loop prologue if
      computing the trip count overflows.  This change also gets rid of the
      backedge check in the prologue loop and the extra check for
      overflowing trip-count.
      
      Differential Revision: http://reviews.llvm.org/D7715
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229757
      82a2d4d5
    • Hans Wennborg's avatar
      Merging r229719: · dd419802
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229719 | d0k | 2015-02-18 10:45:54 -0800 (Wed, 18 Feb 2015) | 8 lines
      
      Driver: Fix use of dangling std::string temporary
      
      What's going on here is that the ternary operator produces a std::string rvalue
      that the StringRef points to. I'd hoped bugs like this were a thing of the past
      with our asan testing but apparently this code path is only used when LLVM is
      configured with a custom --with-c-include-dirs setting.
      
      Unbreaks bootstrapping with GCC5 on Fedora (PR22625), patch by Jonathan Wakely!
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229746
      dd419802
    • Hans Wennborg's avatar
      Release notes: remove in-progress warnings · 82b7742e
      Hans Wennborg authored
      llvm-svn: 229713
      82b7742e
    • Hans Wennborg's avatar
      Remove another in-progress warning · 4213f74b
      Hans Wennborg authored
      llvm-svn: 229712
      4213f74b
    • Hans Wennborg's avatar
      Remove warnings about the release notes being for the 'next' release · 42f76424
      Hans Wennborg authored
      llvm-svn: 229711
      42f76424
  2. 17 Feb, 2015 9 commits
    • Hans Wennborg's avatar
      Merging r229352: · da2fc4c9
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229352 | majnemer | 2015-02-15 20:02:09 -0800 (Sun, 15 Feb 2015) | 8 lines
      
      IR: Properly return nullptr when getAggregateElement is out-of-bounds
      
      We didn't properly handle the out-of-bounds case for
      ConstantAggregateZero and UndefValue.  This would manifest as a crash
      when the constant folder was asked to fold a load of a constant global
      whose struct type has no operands.
      
      This fixes PR22595.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229588
      da2fc4c9
    • Hans Wennborg's avatar
      a2c28378
    • Hans Wennborg's avatar
      Merging r229529: · 53708497
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229529 | rnk | 2015-02-17 12:02:34 -0800 (Tue, 17 Feb 2015) | 8 lines
      
      Expose LLVM_VERSION_PATCH in llvm-config.h
      
      There was no reason to keep this private in config.h, and users
      requested that it be available in PR22615.
      
      Also fix a bug where patch versions of '0' would cause the macro to
      remain undefined. The "#cmakedefine" command only creates a macro if the
      named variable would be considered true in the context of an if().
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229567
      53708497
    • Hans Wennborg's avatar
      Merging r229495: · 378df91b
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229495 | delena | 2015-02-17 05:10:05 -0800 (Tue, 17 Feb 2015) | 8 lines
      
      Fixed a bug in store sinking.
      The problem was in store-sink barrier check.
      
      Store sink barrier should be checked for ModRef (read-write) mode.
      
      http://llvm.org/bugs/show_bug.cgi?id=22613
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229564
      378df91b
    • Hans Wennborg's avatar
      Merging r226808: · 8add0ee9
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r226808 | delena | 2015-01-22 04:07:59 -0800 (Thu, 22 Jan 2015) | 10 lines
      
      Fixed a bug in type legalizer for masked load/store intrinsics.
      The problem occurs when after vectorization we have type
      <2 x i32>. This type is promoted to <2 x i64> and then requires
      additional efforts for expanding loads and truncating stores.
      I added EXPAND / TRUNCATE attributes to the masked load/store
      SDNodes. The code now contains additional shuffles.
      I've prepared changes in the cost estimation for masked memory
      operations, it will be submitted separately.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229561
      8add0ee9
    • Hans Wennborg's avatar
      Merging r226791: · 5ba91fb1
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r226791 | delena | 2015-01-22 00:20:06 -0800 (Thu, 22 Jan 2015) | 7 lines
      
      Fixed a bug in masked load/store in reversed loop.
      Added a test.
      
      The bug was submitted to bugzilla:
      http://llvm.org/bugs/show_bug.cgi?id=22225
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229555
      5ba91fb1
    • Hans Wennborg's avatar
      Merging r229343 and r229351: · f6eb7ae0
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229343 | lhames | 2015-02-15 15:22:43 -0800 (Sun, 15 Feb 2015) | 6 lines
      
      [ExecutionEngine] Fix dependence issue by moving RTDyldMemoryManager into
      RuntimeDyld.
      
      This should fix http://llvm.org/PR22593.
      ```
      
      ---------------------------------------------------------------------
      r229351 | chapuni | 2015-02-15 18:13:30 -0800 (Sun, 15 Feb 2015) | 1 line
      
      [CMake] Add RuntimeDyld to libdeps corresponding to r229343.
      
      llvm-svn: 229553
      f6eb7ae0
    • Hans Wennborg's avatar
      Merging r229408: · 524b6abc
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229408 | spatel | 2015-02-16 09:26:51 -0800 (Mon, 16 Feb 2015) | 10 lines
      
      x86-64 ABI: unwrap single element structs / arrays of 256-bit vectors to pass and return in registers
      
      This is a patch for PR22563 ( http://llvm.org/bugs/show_bug.cgi?id=22563 ).
      
      We were not correctly unwrapping a single 256-bit AVX vector that was defined as an array of 1 inside a struct.
      
      We would generate a <4 x float> param/return value instead of <8 x float> and lose half of the vector.
      
      Differential Revision: http://reviews.llvm.org/D7614
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229546
      524b6abc
    • Hans Wennborg's avatar
      Merging r229421: · 943a8989
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229421 | dexonsmith | 2015-02-16 11:18:01 -0800 (Mon, 16 Feb 2015) | 33 lines
      
      Bitcode: Fix major regression: large files w/ debug info
      
      The metadata/value split introduced a major regression reading large
      bitcode files that contain debug info (or other cyclic (non-self
      reference) metadata graphs).  For the first time in a while, I dropped
      from libLTO.dylib down to `llvm-lto` with a non-trivial bitcode file
      (~350MB), and I hit this when reading the result of ld64's `-save-temps`
      in `llvm-lto`.
      
      Here's pseudo-code for what was going on:
      
          read-main-metadata-block:
            for each md:
              if has-fwd-ref: // Only true for cyclic graphs.
                any-fwd-refs <- true
            if any-fwd-refs:
              foreach md:
                resolve-cycles(md) // Handle cycles.
      
          foreach function:
            read-function-metadata-block: // Such as !alias, !loop
              if any-fwd-refs:
                foreach md: // (all metadata, not just this block)
                  resolve-cycles(md) // A no-op, but the loop is expensive!!
      
      This commit resets the `AnyFwdRefs` flag to `false`.  This on its own
      was enough to change my Release+Asserts `llvm-lto` time for reading this
      bitcode from over 20 minutes (I gave up on it) to 20 seconds.  I've gone
      further by tracking the min/max metadata forward-references in a
      metadata block.  This protects against a schema that has lots of
      functions that each reference their own metadata cycle.
      
      Unfortunately, this regression is in the 3.6 branch as well.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229545
      943a8989
  3. 16 Feb, 2015 1 commit
  4. 14 Feb, 2015 1 commit
  5. 13 Feb, 2015 2 commits
    • Tobias Grosser's avatar
      Revert "Add support for pointer types in expressions" · 768f836b
      Tobias Grosser authored
      This reverts commit 6f02dfa802f92ee81f95ef55bf1e376a741a59fd (r225464).
      
      This commit has a couple of problems which we do not want to have in the
      3.6 release.
      
      Reported-by: Geoff Nixon
      llvm-svn: 229086
      768f836b
    • Hans Wennborg's avatar
      Merging r229029, minus the test which didn't work on the branch: · 602ad0e6
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r229029 | chandlerc | 2015-02-12 18:30:01 -0800 (Thu, 12 Feb 2015) | 16 lines
      
      [IC] Fix a bug with the instcombine canonicalizing of loads and
      propagating of metadata.
      
      We were propagating !nonnull metadata even when the newly formed load is
      no longer of a pointer type. This is clearly broken and results in LLVM
      failing the verifier and aborting. This patch just restricts the
      propagation of !nonnull metadata to when we actually have a pointer
      type.
      
      This bug report and the initial version of this patch was provided by
      Charles Davis! Many thanks for finding this!
      
      We still need to add logic to round-trip the metadata correctly if we
      combine from pointer types to integer types and then back by using range
      metadata for the integer type loads. But this is the minimal and safe
      version of the patch, which is important so we can backport it into 3.6.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 229036
      602ad0e6
  6. 12 Feb, 2015 8 commits
    • Hans Wennborg's avatar
      Merging r228969: · 022a4c41
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228969 | hfinkel | 2015-02-12 14:43:52 -0800 (Thu, 12 Feb 2015) | 7 lines
      
      [SDAG] Don't try to use FP_EXTEND/FP_ROUND for int<->fp promotions
      
      The PowerPC backend has long promoted some floating-point vector operations
      (such as select) to integer vector operations. Unfortunately, this behavior was
      broken by r216555. When using FP_EXTEND/FP_ROUND for promotions, we must check
      that both the old and new types are floating-point types. Otherwise, we must
      use BITCAST as we did prior to r216555 for everything.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228986
      022a4c41
    • Hans Wennborg's avatar
      Merging r226616: · aae610a1
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r226616 | adrian | 2015-01-20 14:37:25 -0800 (Tue, 20 Jan 2015) | 2 lines
      
      DebugLocs without a scope should fail the verification.
      Follow-up to r226588.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228985
      aae610a1
    • Hans Wennborg's avatar
      Merging r226588: · e27e03b9
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r226588 | adrian | 2015-01-20 10:03:37 -0800 (Tue, 20 Jan 2015) | 1 line
      
      Add an assertion and prefer a crash over an infinite loop.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228984
      e27e03b9
    • Hans Wennborg's avatar
      Merging r228979: · 6a4ed8e3
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228979 | majnemer | 2015-02-12 15:26:26 -0800 (Thu, 12 Feb 2015) | 8 lines
      
      X86: Don't crash if we can't decode the pshufb mask
      
      Constant pool entries are uniqued by their contents regardless of their
      type.  This means that a pshufb can have a shuffle mask which isn't a
      simple array of bytes.
      
      The code path which attempts to decode the mask didn't check for
      failure, causing PR22559.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228983
      6a4ed8e3
    • Hans Wennborg's avatar
      Merging r228957: · 2f356a13
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228957 | bsteinbr | 2015-02-12 13:04:22 -0800 (Thu, 12 Feb 2015) | 14 lines
      
      Fix a crash in the assumption cache when inlining indirect function calls
      
      Summary:
      Instances of the AssumptionCache are per function, so we can't re-use
      the same AssumptionCache instance when recursing in the CallAnalyzer to
      analyze a different function. Instead we have to pass the
      AssumptionCacheTracker to the CallAnalyzer so it can get the right
      AssumptionCache on demand.
      
      Reviewers: hfinkel
      
      Subscribers: llvm-commits, hans
      
      Differential Revision: http://reviews.llvm.org/D7533
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228965
      2f356a13
    • Hans Wennborg's avatar
      Merging r228842: · 1a8cc869
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228842 | jvoung | 2015-02-11 08:12:50 -0800 (Wed, 11 Feb 2015) | 17 lines
      
      Gold-plugin: Broaden scope of get/release_input_file to scope of Module.
      
      Summary:
      Move calls to get_input_file and release_input_file out of
      getModuleForFile(). Otherwise release_input_file may end up
      unmapping a view of the file while the view is still being
      used by the Module (on 32-bit hosts).
      
      Fix for PR22482.
      
      Test Plan: Add test using --no-map-whole-files.
      
      Reviewers: rafael, nlewycky
      
      Subscribers: llvm-commits
      
      Differential Revision: http://reviews.llvm.org/D7539
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228942
      1a8cc869
    • Hans Wennborg's avatar
      Merging r228899: · e022d920
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228899 | chandlerc | 2015-02-11 18:30:56 -0800 (Wed, 11 Feb 2015) | 28 lines
      
      [slp] Fix a nasty bug in the SLP vectorizer that Joerg pointed out.
      Apparently some code finally started to tickle this after my
      canonicalization changes to instcombine.
      
      The bug stems from trying to form a vector type out of scalars that
      aren't compatible at all. In this example, from x86_mmx values. The code
      in the vectorizer that checks for reasonable types whas checking for
      aggregates or vectors, but there are lots of other types that should
      just never reach the vectorizer.
      
      Debugging this was made more confusing by the lie in an assert in
      VectorType::get() -- it isn't that the types are *primitive*. The types
      must be integer, pointer, or floating point types. No other types are
      allowed.
      
      I've improved the assert and added a helper to the vectorizer to handle
      the element type validity checks. It now re-uses the VectorType static
      function and then further excludes weird target-specific types that we
      probably shouldn't be touching here (x86_fp80 and ppc_fp128). Neither of
      these are really reachable anyways (neither 80-bit nor 128-bit things
      will get vectorized) but it seems better to just eagerly exclude such
      nonesense.
      
      I've added a test case, but while it definitely covers two of the paths
      through this code there may be more paths that would benefit from test
      coverage. I'm not familiar enough with the SLP vectorizer to synthesize
      test cases for all of these, but was able to update the code itself by
      inspection.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228940
      e022d920
    • Hans Wennborg's avatar
      Reverting r225904 to fix PR22505: · 41ea8934
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r225904 | rnk | 2015-01-13 17:05:27 -0800 (Tue, 13 Jan 2015) | 27 lines
      
      CodeGen support for x86_64 SEH catch handlers in LLVM
      
      This adds handling for ExceptionHandling::MSVC, used by the
      x86_64-pc-windows-msvc triple. It assumes that filter functions have
      already been outlined in either the frontend or the backend. Filter
      functions are used in place of the landingpad catch clause type info
      operands. In catch clause order, the first filter to return true will
      catch the exception.
      
      The C specific handler table expects the landing pad to be split into
      one block per handler, but LLVM IR uses a single landing pad for all
      possible unwind actions. This patch papers over the mismatch by
      synthesizing single instruction BBs for every catch clause to fill in
      the EH selector that the landing pad block expects.
      
      Missing functionality:
      - Accessing data in the parent frame from outlined filters
      - Cleanups (from __finally) are unsupported, as they will require
        outlining and parent frame access
      - Filter clauses are unsupported, as there's no clear analogue in SEH
      
      In other words, this is the minimal set of changes needed to write IR to
      catch arbitrary exceptions and resume normal execution.
      
      Reviewers: majnemer
      
      Differential Revision: http://reviews.llvm.org/D6300
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228891
      41ea8934
  7. 11 Feb, 2015 7 commits
    • Hans Wennborg's avatar
      Merging r228843: · 3fd8f4a7
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228843 | marshall | 2015-02-11 08:14:01 -0800 (Wed, 11 Feb 2015) | 1 line
      
      Change some template parameter names from _C and _N to _Cont and _Sz. No functionality change.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228882
      3fd8f4a7
    • Hans Wennborg's avatar
      Merging r228793: · 43f32f99
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228793 | bogner | 2015-02-10 18:52:44 -0800 (Tue, 10 Feb 2015) | 12 lines
      
      InstrProf: Lower coverage mappings by setting their sections appropriately
      
      Add handling for __llvm_coverage_mapping to the InstrProfiling
      pass. We need to make sure the constant and any profile names it
      refers to are in the correct sections, which is easier and cleaner to
      do here where we have to know about profiling sections anyway.
      
      This is really tricky to test without a frontend, so I'm committing
      the test for the fix in clang. If anyone knows a good way to test this
      within LLVM, please let me know.
      
      Fixes PR22531.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228800
      43f32f99
    • Hans Wennborg's avatar
      Merging r228792: · c5b1e744
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228792 | rsmith | 2015-02-10 18:41:33 -0800 (Tue, 10 Feb 2015) | 5 lines
      
      Add a warning for direct-list-initialization of a variable with a deduced type
      (or of a lambda init-capture, which is sort-of such a variable). The semantics
      of such constructs will change when we implement N3922, so we intend to warn on
      this in Clang 3.6 then change the semantics in Clang 3.7.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228799
      c5b1e744
    • Hans Wennborg's avatar
      Merging r228760 and r228761: · fece094b
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228760 | majnemer | 2015-02-10 15:09:43 -0800 (Tue, 10 Feb 2015) | 3 lines
      
      EarlyCSE: It isn't safe to CSE across synchronization boundaries
      
      This fixes PR22514.
      ```
      
      ---------------------------------------------------------------------
      
      ------------------------------------------------------------------------
      r228761 | majnemer | 2015-02-10 15:11:02 -0800 (Tue, 10 Feb 2015) | 1 line
      
      EarlyCSE: Add check lines for test added in r228760
      ------------------------------------------------------------------------
      
      llvm-svn: 228790
      fece094b
    • Hans Wennborg's avatar
      Merging r228785: · a0b6a3d5
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228785 | rsmith | 2015-02-10 17:48:47 -0800 (Tue, 10 Feb 2015) | 2 lines
      
      PR21857: weaken an incorrect assertion.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228789
      a0b6a3d5
    • Hans Wennborg's avatar
      Merging r228656: · fa2e9501
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228656 | chandlerc | 2015-02-09 18:25:56 -0800 (Mon, 09 Feb 2015) | 16 lines
      
      [x86] Fix PR22524: the DAG combiner was incorrectly handling illegal
      nodes when folding bitcasts of constants.
      
      We can't fold things and then check after-the-fact whether it was legal.
      Once we have formed the DAG node, arbitrary other nodes may have been
      collapsed to it. There is no easy way to go back. Instead, we need to
      test for the specific folding cases we're interested in and ensure those
      are legal first.
      
      This could in theory make this less powerful for bitcasting from an
      integer to some vector type, but AFAICT, that can't actually happen in
      the SDAG so its fine. Now, we *only* whitelist specific int->fp and
      fp->int bitcasts for post-legalization folding. I've added the test case
      from the PR.
      
      (Also as a note, this does not appear to be in 3.6, no backport needed)
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228787
      fa2e9501
    • Hans Wennborg's avatar
      Merging r228710: · 70afae8c
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228710 | sylvestre | 2015-02-10 09:16:13 -0800 (Tue, 10 Feb 2015) | 11 lines
      
      Fix the LLDB build under Debian Kfreebsd
      
      Summary:
      I don't know if there is a better way for the change in source/Host/freebsd/ThisThread.cpp
      
      
      Reviewers: emaste
      
      Subscribers: hansw, emaste, lldb-commits
      
      Differential Revision: http://reviews.llvm.org/D7441
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228780
      70afae8c
  8. 10 Feb, 2015 4 commits
    • Rafael Espindola's avatar
      Port r226896 to the 3.6 branch. · 9cd09177
      Rafael Espindola authored
      Original message:
      
      [pr22293] Don't crash during codegen of a recursive destructor.
      
       In ItaniumCXXABI::EmitCXXDestructors we first emit the base destructor
      and then try to emit the complete one as an alias.
      
      If in the base ends up calling the complete destructor, the GD for the
      complete will be in the list of deferred decl by the time we replace
      it with an alias and delete the original GV.
      
      llvm-svn: 228684
      9cd09177
    • Hans Wennborg's avatar
      Merging r228353: · 4814291e
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228353 | ericwf | 2015-02-05 15:01:40 -0800 (Thu, 05 Feb 2015) | 1 line
      
      Remove use of _[A-Z] identifiers and poison them to detect usage
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228668
      4814291e
    • Hans Wennborg's avatar
      Merging r228565: · 8b2730d1
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228565 | majnemer | 2015-02-08 22:31:31 -0800 (Sun, 08 Feb 2015) | 3 lines
      
      MC: Calculate intra-section symbol differences correctly for COFF
      
      This fixes PR22060.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228667
      8b2730d1
    • Hans Wennborg's avatar
      Merging r228359: · 5e87af44
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228359 | compnerd | 2015-02-05 15:27:41 -0800 (Thu, 05 Feb 2015) | 5 lines
      
      Fix compilation of unwind on Darwin-x86_64
      
      EHABI related typedef sugar is gated via LIBCXXABI_ARM_EHABI which did not
      protect the EHABI header.  This would cause declarations to be emitted on
      non-EHABI targets, resulting in errors.  This permits compilation on Darwin.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228666
      5e87af44
  9. 09 Feb, 2015 3 commits
    • Michael Wong's avatar
      update with Clang OpenMP release notes for 3.6 by Michael Wong · b2e7b69b
      Michael Wong authored
      llvm-svn: 228569
      b2e7b69b
    • Hans Wennborg's avatar
      Merging r228525: · a183e9e8
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228525 | bsteinbr | 2015-02-08 09:07:14 -0800 (Sun, 08 Feb 2015) | 14 lines
      
      Correctly combine alias.scope metadata by a union instead of intersecting
      
      Summary:
      The alias.scope metadata represents sets of things an instruction might
      alias with. When generically combining the metadata from two
      instructions the result must be the union of the original sets, because
      the new instruction might alias with anything any of the original
      instructions aliased with.
      
      Reviewers: hfinkel
      
      Subscribers: llvm-commits
      
      Differential Revision: http://reviews.llvm.org/D7490
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228561
      a183e9e8
    • Hans Wennborg's avatar
      Merging r228518: · 5bfe9136
      Hans Wennborg authored
      ```---------------------------------------------------------------------
      r228518 | tnorthover | 2015-02-07 16:50:47 -0800 (Sat, 07 Feb 2015) | 15 lines
      
      ARM & AArch64: teach LowerVSETCC that output type size may differ from input.
      
      While various DAG combines try to guarantee that a vector SETCC
      operation will have the same output size as input, there's nothing
      intrinsic to either creation or LegalizeTypes that actually guarantees
      it, so the function needs to be ready to handle a mismatch.
      
      Fortunately this is easy enough, just extend or truncate the naturally
      compared result.
      
      I couldn't reproduce the failure in other backends that I know have
      SIMD, so it's probably only an issue for these two due to shared
      heritage.
      
      Should fix PR21645.
      ```
      
      ---------------------------------------------------------------------
      
      llvm-svn: 228560
      5bfe9136