1 ; RUN: opt -S -indvars %s | FileCheck %s 2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1" 3 target triple = "x86_64-unknown-linux-gnu" 4 5 define i32 @testDiv(i8* %p, i64* %p1) { 6 ; CHECK-LABEL: @testDiv 7 entry: 8 br label %loop1 9 10 loop1: 11 %local_0_ = phi i32 [ 8, %entry ], [ %9, %loop2.exit ] 12 %local_2_ = phi i32 [ 63864, %entry ], [ %local_2_43, %loop2.exit ] 13 %local_3_ = phi i32 [ 51, %entry ], [ %local_3_44, %loop2.exit ] 14 ; CHECK-NOT: udiv 15 %0 = udiv i32 14, %local_0_ 16 %1 = icmp ugt i32 %local_0_, 14 17 br i1 %1, label %exit, label %general_case24 18 19 ; CHECK-LABEL: general_case24 20 general_case24: 21 %2 = udiv i32 60392, %0 22 br i1 false, label %loop2, label %loop2.exit 23 24 loop2: 25 %local_1_56 = phi i32 [ %2, %general_case24 ], [ %3, %loop2 ] 26 %local_2_57 = phi i32 [ 1, %general_case24 ], [ %7, %loop2 ] 27 %3 = add i32 %local_1_56, -1 28 %4 = load atomic i64, i64* %p1 unordered, align 8 29 %5 = sext i32 %3 to i64 30 %6 = sub i64 %4, %5 31 store atomic i64 %6, i64* %p1 unordered, align 8 32 %7 = add nuw nsw i32 %local_2_57, 1 33 %8 = icmp ugt i32 %local_2_57, 7 34 br i1 %8, label %loop2.exit, label %loop2 35 36 loop2.exit: 37 %local_2_43 = phi i32 [ %local_2_, %general_case24 ], [ 9, %loop2 ] 38 %local_3_44 = phi i32 [ %local_3_, %general_case24 ], [ %local_1_56, %loop2 ] 39 %9 = add nuw nsw i32 %local_0_, 1 40 %10 = icmp ugt i32 %local_0_, 129 41 br i1 %10, label %exit, label %loop1 42 43 exit: 44 ret i32 0 45 } 46 47 define i32 @testRem(i8* %p, i64* %p1) { 48 ; CHECK-LABEL: @testRem 49 entry: 50 br label %loop1 51 52 loop1: 53 %local_0_ = phi i32 [ 8, %entry ], [ %9, %loop2.exit ] 54 %local_2_ = phi i32 [ 63864, %entry ], [ %local_2_43, %loop2.exit ] 55 %local_3_ = phi i32 [ 51, %entry ], [ %local_3_44, %loop2.exit ] 56 ; CHECK: udiv 57 ; CHECK-NOT: udiv 58 %0 = udiv i32 14, %local_0_ 59 %1 = icmp ugt i32 %local_0_, 14 60 br i1 %1, label %exit, label %general_case24 61 62 ; CHECK-LABEL: general_case24 63 general_case24: 64 %2 = urem i32 60392, %0 65 br i1 false, label %loop2, label %loop2.exit 66 67 loop2: 68 %local_1_56 = phi i32 [ %2, %general_case24 ], [ %3, %loop2 ] 69 %local_2_57 = phi i32 [ 1, %general_case24 ], [ %7, %loop2 ] 70 %3 = add i32 %local_1_56, -1 71 %4 = load atomic i64, i64* %p1 unordered, align 8 72 %5 = sext i32 %3 to i64 73 %6 = sub i64 %4, %5 74 store atomic i64 %6, i64* %p1 unordered, align 8 75 %7 = add nuw nsw i32 %local_2_57, 1 76 %8 = icmp ugt i32 %local_2_57, 7 77 br i1 %8, label %loop2.exit, label %loop2 78 79 loop2.exit: 80 %local_2_43 = phi i32 [ %local_2_, %general_case24 ], [ 9, %loop2 ] 81 %local_3_44 = phi i32 [ %local_3_, %general_case24 ], [ %local_1_56, %loop2 ] 82 %9 = add nuw nsw i32 %local_0_, 1 83 %10 = icmp ugt i32 %local_0_, 129 84 br i1 %10, label %exit, label %loop1 85 86 exit: 87 ret i32 0 88 } 89
