view test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll @ 95:afa8332a0e37 LLVM3.8

LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; RUN: opt < %s -instcombine -S | FileCheck %s

; CHECK-NOT: add

define i32 @test(i32 %A) {
        %A.neg = sub i32 0, %A          ; <i32> [#uses=1]
        %.neg = sub i32 0, 1            ; <i32> [#uses=1]
        %X = add i32 %.neg, 1           ; <i32> [#uses=1]
        %Y.neg.ra = add i32 %A, %X              ; <i32> [#uses=1]
        %r = add i32 %A.neg, %Y.neg.ra          ; <i32> [#uses=1]
        ret i32 %r
}