llvm-mirror/test/Transforms/InstCombine/2008-05-18-FoldIntToPtr.ll

; RUN: opt < %s -instcombine -S | grep {ret i1 false} | count 2
; PR2329

target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
target triple = "i386-pc-linux-gnu"

define i1 @f1() {
  ret i1 icmp eq (i8* inttoptr (i32 1 to i8*), i8* inttoptr (i32 2 to i8*))
}

define i1 @f2() {
  ret i1 icmp eq (i8* inttoptr (i16 1 to i8*), i8* inttoptr (i16 2 to i8*))
}
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. llvm-svn: 81537 2009-09-11 20:01:28 +02:00			`; RUN: opt < %s -instcombine -S \| grep {ret i1 false} \| count 2`
"ret (constexpr)" can't be folded into a Constant. Add a method to Analysis/ConstantFolding to fold ConstantExpr's, then make instcombine use it to try to use targetdata to fold constant expressions on void instructions. Also extend the icmp(inttoptr, inttoptr) folding to handle the case where int size != ptr size. llvm-svn: 51559 2008-05-25 22:56:15 +02:00			`; PR2329`

			`target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"`
			`target triple = "i386-pc-linux-gnu"`

			`define i1 @f1() {`
			`ret i1 icmp eq (i8* inttoptr (i32 1 to i8), i8 inttoptr (i32 2 to i8*))`
			`}`

			`define i1 @f2() {`
			`ret i1 icmp eq (i8* inttoptr (i16 1 to i8), i8 inttoptr (i16 2 to i8*))`
			`}`