1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -loop-deletion -S | FileCheck %s
3
4target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
5target triple = "aarch64-unknown-linux-gnu"
6
7define dso_local i32 @hoge() local_unnamed_addr #0 {
8; CHECK-LABEL: @hoge(
9; CHECK-NEXT:  bb:
10; CHECK-NEXT:    callbr void asm sideeffect "", "!i"()
11; CHECK-NEXT:    to label [[BB1:%.*]] [label %bb2]
12; CHECK:       bb1:
13; CHECK-NEXT:    br label [[BB2:%.*]]
14; CHECK:       bb2:
15; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ undef, [[BB1]] ], [ [[TMP3:%.*]], [[BB2]] ], [ undef, [[BB:%.*]] ]
16; CHECK-NEXT:    [[TMP3]] = tail call i32 bitcast (i32 (...)* @widget to i32 (i32)*)(i32 [[TMP]])
17; CHECK-NEXT:    br label [[BB2]]
18;
19bb:
20  callbr void asm sideeffect "", "!i"() #1
21  to label %bb1 [label %bb2]
22
23bb1:                                              ; preds = %bb
24  br label %bb2
25
26bb2:                                              ; preds = %bb2, %bb1, %bb
27  %tmp = phi i32 [ undef, %bb1 ], [ %tmp3, %bb2 ], [ undef, %bb ]
28  %tmp3 = tail call i32 bitcast (i32 (...)* @widget to i32 (i32)*)(i32 %tmp) #1
29  br label %bb2
30}
31
32declare dso_local i32 @widget(...) local_unnamed_addr #0
33