37 lines · plain
1; RUN: llc -verify-machineinstrs -aarch64-enable-atomic-cfg-tidy=0 < %s -mtriple=aarch64 -fast-isel=false | FileCheck %s2 3 4define i32 @ule_64_max(i64 %p) {5entry:6; CHECK-LABEL: ule_64_max:7; CHECK: cmn x0, #18; CHECK: b.hi [[RET_ZERO:.LBB[0-9]+_[0-9]+]]9 %cmp = icmp ule i64 %p, 18446744073709551615 ; 0xffffffffffffffff10 br i1 %cmp, label %ret_one, label %ret_zero11 12ret_one:13 ret i32 114 15ret_zero:16; CHECK: [[RET_ZERO]]:17; CHECK-NEXT: mov w0, wzr18 ret i32 019}20 21define i32 @ugt_64_max(i64 %p) {22entry:23; CHECK-LABEL: ugt_64_max:24; CHECK: cmn x0, #125; CHECK: b.ls [[RET_ZERO:.LBB[0-9]+_[0-9]+]]26 %cmp = icmp ugt i64 %p, 18446744073709551615 ; 0xffffffffffffffff27 br i1 %cmp, label %ret_one, label %ret_zero28 29ret_one:30 ret i32 131 32ret_zero:33; CHECK: [[RET_ZERO]]:34; CHECK-NEXT: mov w0, wzr35 ret i32 036}37