1 ; RUN: llc < %s -mtriple=aarch64-linux-gnuabi -O2 | FileCheck %s
3 ; marked as external to prevent possible optimizations
4 @a = external global i32
5 @b = external global i32
6 @c = external global i32
7 @d = external global i32
8 @e = external global i32
10 define void @combine-sign-comparisons-by-cse(i32 *%arg) {
17 %a = load i32* @a, align 4
18 %b = load i32* @b, align 4
19 %c = load i32* @c, align 4
20 %d = load i32* @d, align 4
21 %e = load i32* @e, align 4
23 %cmp = icmp slt i32 %a, %e
24 br i1 %cmp, label %land.lhs.true, label %lor.lhs.false
27 %cmp1 = icmp eq i32 %b, %c
28 br i1 %cmp1, label %return, label %if.end
31 %cmp2 = icmp sgt i32 %a, %e
32 br i1 %cmp2, label %land.lhs.true3, label %if.end
35 %cmp4 = icmp eq i32 %b, %d
36 br i1 %cmp4, label %return, label %if.end
42 %retval.0 = phi i32 [ 0, %if.end ], [ 1, %land.lhs.true3 ], [ 1, %land.lhs.true ]
43 store i32 %a, i32 *%arg