Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / f7b0047f5f4d3525486d8fc139f05bddc4265d01 / . / test / Transforms / ConstProp / basictest.ll
blob: df57fb6870b8a00260c4750f22763254b9cd620a [file] [log] [blame]
Chris Lattner813fc422009-09-15 06:34:29 +0000[diff] [blame]1; RUN: opt < %s -constprop -die -S | FileCheck %s
2
Chris Lattner4f538502002-05-03 20:12:31 +0000[diff] [blame]3; This is a basic sanity check for constant propogation. The add instruction
4; should be eliminated.
Chris Lattner813fc422009-09-15 06:34:29 +0000[diff] [blame]5define i32 @test1(i1 %B) {
Tanya Lattnerec9a35a2008-03-01 09:15:35 +0000[diff] [blame]6 br i1 %B, label %BB1, label %BB2
7
Chris Lattner813fc422009-09-15 06:34:29 +0000[diff] [blame]8BB1:
9 %Val = add i32 0, 0
Tanya Lattnerec9a35a2008-03-01 09:15:35 +0000[diff] [blame]10 br label %BB3
11
Chris Lattner813fc422009-09-15 06:34:29 +0000[diff] [blame]12BB2:
Tanya Lattnerec9a35a2008-03-01 09:15:35 +0000[diff] [blame]13 br label %BB3
14
Chris Lattner813fc422009-09-15 06:34:29 +0000[diff] [blame]15BB3:
16; CHECK: @test1
17; CHECK: %Ret = phi i32 [ 0, %BB1 ], [ 1, %BB2 ]
18 %Ret = phi i32 [ %Val, %BB1 ], [ 1, %BB2 ]
Tanya Lattnerec9a35a2008-03-01 09:15:35 +0000[diff] [blame]19 ret i32 %Ret
Chris Lattner50e86822003-06-28 23:23:34 +0000[diff] [blame]20}
Tanya Lattnerec9a35a2008-03-01 09:15:35 +0000[diff] [blame]21
Chris Lattnerb63127d2010-02-01 19:35:08 +0000[diff] [blame]22
23; PR6197
24define i1 @test2(i8* %f) nounwind {
25entry:
26 %V = icmp ne i8* blockaddress(@test2, %bb), null
27 br label %bb
28bb:
29 ret i1 %V
30
31; CHECK: @test2
32; CHECK: ret i1 true
33}
Chandler Carruthf7b00472011-01-11 01:07:20 +0000[diff] [blame^]34
35define i1 @TNAN() {
36; CHECK: @TNAN
37; CHECK: ret i1 true
38 %A = fcmp uno double 0x7FF8000000000000, 1.000000e+00
39 %B = fcmp uno double 1.230000e+02, 1.000000e+00
40 %C = or i1 %A, %B
41 ret i1 %C
42}