[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / NewGVN / 2008-12-09-SelfRemove.ll
blobc1b5cc81fb5174e45e6844118a3b8dd1e9e7569a
1 ; RUN: opt < %s -newgvn -S | FileCheck %s
3 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:128:128"
4 target triple = "i386-apple-darwin9.5"
5         %struct.anon = type { i8*, i32 }
6         %struct.d_print_info = type { i32, i8*, i32, i32, %struct.d_print_template*, %struct.d_print_mod*, i32 }
7         %struct.d_print_mod = type { %struct.d_print_mod*, %struct.demangle_component*, i32, %struct.d_print_template* }
8         %struct.d_print_template = type { %struct.d_print_template*, %struct.demangle_component* }
9         %struct.demangle_component = type { i32, { %struct.anon } }
11 define void @d_print_mod_list(%struct.d_print_info* %dpi, %struct.d_print_mod* %mods, i32 %suffix) nounwind {
12 entry:
13         %0 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1               ; <i8**> [#uses=1]
14         br i1 false, label %return, label %bb
16 bb:             ; preds = %entry
17         %1 = load i8*, i8** %0, align 4         ; <i8*> [#uses=0]
18         %2 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1               ; <i8**> [#uses=0]
19         br label %bb21
21 bb21:           ; preds = %bb21, %bb
22         br label %bb21
24 return:         ; preds = %entry
25         ret void
28 ; CHECK: define void @d_print_mod_list(%struct.d_print_info* %dpi, %struct.d_print_mod* %mods, i32 %suffix) #0 {
29 ; CHECK: entry:
30 ; CHECK:   %0 = getelementptr %struct.d_print_info, %struct.d_print_info* %dpi, i32 0, i32 1
31 ; CHECK:   br i1 false, label %return, label %bb
32 ; CHECK: bb:
33 ; CHECK:   br label %bb21
34 ; CHECK: bb21:
35 ; CHECK:   br label %bb21
36 ; CHECK: return:
37 ; CHECK:   ret void
38 ; CHECK: }