xref: /aosp_15_r20/external/llvm/test/Transforms/IndVarSimplify/udiv-invariant-but-traps.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -indvars -S < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker@b = common global i32 0, align 4
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Workerdefine i32 @foo(i32 %x, i1 %y) {
6*9880d681SAndroid Build Coastguard Workerbb0:
7*9880d681SAndroid Build Coastguard Worker  br label %bb1
8*9880d681SAndroid Build Coastguard Worker
9*9880d681SAndroid Build Coastguard Workerbb1:
10*9880d681SAndroid Build Coastguard Worker  br i1 %y, label %bb14, label %bb8
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Workerbb8:
13*9880d681SAndroid Build Coastguard Worker  %i = phi i64 [ %i.next, %bb8 ], [ 0, %bb1 ]
14*9880d681SAndroid Build Coastguard Worker  %i.next = add i64 %i, 1
15*9880d681SAndroid Build Coastguard Worker  %div = udiv i32 1, %x
16*9880d681SAndroid Build Coastguard Worker  %c = icmp eq i64 %i.next, 6
17*9880d681SAndroid Build Coastguard Worker  br i1 %c, label %bb11, label %bb8
18*9880d681SAndroid Build Coastguard Worker
19*9880d681SAndroid Build Coastguard Workerbb11:
20*9880d681SAndroid Build Coastguard Worker  br i1 %y, label %bb1, label %bb13
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Workerbb13:
23*9880d681SAndroid Build Coastguard Worker  store i32 %div, i32* @b, align 4
24*9880d681SAndroid Build Coastguard Worker  br label %bb14
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Workerbb14:
27*9880d681SAndroid Build Coastguard Worker  ret i32 0
28*9880d681SAndroid Build Coastguard Worker}
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @foo(
31*9880d681SAndroid Build Coastguard Worker; CHECK: bb8:
32*9880d681SAndroid Build Coastguard Worker; CHECK: udiv
33