11; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2- ; RUN: opt -S -passes=' require<profile-summary>,function(codegenprepare)' < %s | FileCheck %s
2+ ; RUN: opt -S -passes=" require<profile-summary>,function(codegenprepare)" < %s | FileCheck %s
33
44target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
55target triple = "thumbv8.1m.main-none-eabi"
@@ -260,7 +260,8 @@ else:
260260define i64 @lshr64 (i64 %a ) {
261261; CHECK-LABEL: @lshr64(
262262; CHECK-NEXT: entry:
263- ; CHECK-NEXT: [[L:%.*]] = lshr i64 [[A:%.*]], 40
263+ ; CHECK-NEXT: [[C:%.*]] = icmp ult i64 [[A:%.*]], 1099511627776
264+ ; CHECK-NEXT: [[L:%.*]] = lshr i64 [[A]], 40
264265; CHECK-NEXT: [[TMP0:%.*]] = icmp eq i64 [[L]], 0
265266; CHECK-NEXT: br i1 [[TMP0]], label [[THEN:%.*]], label [[ELSE:%.*]]
266267; CHECK: then:
@@ -283,7 +284,8 @@ else:
283284define i128 @lshr128 (i128 %a ) {
284285; CHECK-LABEL: @lshr128(
285286; CHECK-NEXT: entry:
286- ; CHECK-NEXT: [[L:%.*]] = lshr i128 [[A:%.*]], 65
287+ ; CHECK-NEXT: [[C:%.*]] = icmp ult i128 [[A:%.*]], 36893488147419103232
288+ ; CHECK-NEXT: [[L:%.*]] = lshr i128 [[A]], 65
287289; CHECK-NEXT: [[TMP0:%.*]] = icmp eq i128 [[L]], 0
288290; CHECK-NEXT: br i1 [[TMP0]], label [[THEN:%.*]], label [[ELSE:%.*]]
289291; CHECK: then:
0 commit comments