1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -indvars -S < %s | FileCheck %s
3
4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
5target triple = "x86_64-unknown-linux-gnu"
6
7define void @test() personality i32* ()* @snork {
8; CHECK-LABEL: @test(
9; CHECK-NEXT:  bb:
10; CHECK-NEXT:    br label [[BB4:%.*]]
11; CHECK:       bb1:
12; CHECK-NEXT:    br i1 true, label [[BB2:%.*]], label [[BB4]]
13; CHECK:       bb2:
14; CHECK-NEXT:    [[TMP3:%.*]] = phi i32 [ undef, [[BB1:%.*]] ]
15; CHECK-NEXT:    ret void
16; CHECK:       bb4:
17; CHECK-NEXT:    [[TMP6:%.*]] = invoke i32 @quux() [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, i8* null, i32 7, i8* null, i32 7, i8* null, i32 3, i32 undef, i32 3, i32 undef, i32 7, i8* null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, i8* null, i32 4, i64 undef, i32 7, i8* null, i32 0, i8 addrspace(1)* undef, i32 3, i32 undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 7, i8* null) ]
18; CHECK-NEXT:    to label [[BB7:%.*]] unwind label [[BB15:%.*]]
19; CHECK:       bb7:
20; CHECK-NEXT:    br label [[BB9:%.*]]
21; CHECK:       bb9:
22; CHECK-NEXT:    br i1 true, label [[BB1]], label [[BB9]]
23; CHECK:       bb15:
24; CHECK-NEXT:    [[TMP16:%.*]] = landingpad { i8*, i32 }
25; CHECK-NEXT:    cleanup
26; CHECK-NEXT:    ret void
27;
28
29bb:
30  br label %bb4
31
32bb1:                                              ; preds = %bb9
33  %tmp = phi i32 [ %tmp12, %bb9 ]
34  br i1 undef, label %bb2, label %bb4
35
36bb2:                                              ; preds = %bb1
37  %tmp3 = phi i32 [ %tmp, %bb1 ]
38  ret void
39
40bb4:                                              ; preds = %bb1, %bb
41  %tmp5 = phi i32 [ %tmp8, %bb1 ], [ undef, %bb ]
42  %tmp6 = invoke i32 @quux() #2 [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, i8* null, i32 7, i8* null, i32 7, i8* null, i32 3, i32 %tmp5, i32 3, i32 undef, i32 7, i8* null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, i8* null, i32 4, i64 undef, i32 7, i8* null, i32 0, i8 addrspace(1)* undef, i32 3, i32 undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 7, i8* null) ]
43  to label %bb7 unwind label %bb15
44
45bb7:                                              ; preds = %bb4
46  %tmp8 = add nsw i32 %tmp5, 1
47  br label %bb9
48
49bb9:                                              ; preds = %bb9, %bb7
50  %tmp10 = phi i32 [ %tmp5, %bb7 ], [ %tmp13, %bb9 ]
51  %tmp11 = phi i32 [ %tmp6, %bb7 ], [ %tmp12, %bb9 ]
52  %tmp12 = add i32 %tmp11, -1
53  %tmp13 = add nsw i32 %tmp10, 1
54  %tmp14 = icmp sgt i32 %tmp10, 35
55  br i1 %tmp14, label %bb1, label %bb9
56
57bb15:                                             ; preds = %bb4
58  %tmp16 = landingpad { i8*, i32 }
59  cleanup
60  ret void
61}
62
63declare i32* @snork()
64
65declare i32 @quux()
66
67