[all-commits] [llvm/llvm-project] f665a8: [InstSimplify] gep with poison operand is poison

Juneyoung Lee via All-commits all-commits at lists.llvm.org
Mon Jan 4 18:13:45 PST 2021


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f665a8c5b8b42d88f89e1a3594b7d410ef206c32
      https://github.com/llvm/llvm-project/commit/f665a8c5b8b42d88f89e1a3594b7d410ef206c32
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2021-01-05 (Tue, 05 Jan 2021)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/gep.ll

  Log Message:
  -----------
  [InstSimplify] gep with poison operand is poison

This is a tiny update to fold gep poison into poison. :)

Alive2 proofs:
https://alive2.llvm.org/ce/z/7Nwdri
https://alive2.llvm.org/ce/z/sDP4sC




More information about the All-commits mailing list