136 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=licm -S | FileCheck %s3 4declare void @maythrow()5declare void @use(i16)6 7define void @sdiv_not_ok(i16 %n, i16 %xx) {8; CHECK-LABEL: @sdiv_not_ok(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[X:%.*]] = or i16 [[XX:%.*]], 111; CHECK-NEXT: br label [[LOOP:%.*]]12; CHECK: loop:13; CHECK-NEXT: call void @maythrow()14; CHECK-NEXT: [[DIV:%.*]] = sdiv i16 [[N:%.*]], [[X]]15; CHECK-NEXT: call void @use(i16 [[DIV]])16; CHECK-NEXT: br label [[LOOP]]17;18entry:19 %x = or i16 %xx, 120 br label %loop21loop:22 call void @maythrow()23 %div = sdiv i16 %n, %x24 call void @use(i16 %div)25 br label %loop26}27 28define void @srem_not_ok2(i16 %nn, i16 %x) {29; CHECK-LABEL: @srem_not_ok2(30; CHECK-NEXT: entry:31; CHECK-NEXT: [[N:%.*]] = and i16 [[NN:%.*]], 132332; CHECK-NEXT: br label [[LOOP:%.*]]33; CHECK: loop:34; CHECK-NEXT: call void @maythrow()35; CHECK-NEXT: [[DIV:%.*]] = srem i16 [[N]], [[X:%.*]]36; CHECK-NEXT: call void @use(i16 [[DIV]])37; CHECK-NEXT: br label [[LOOP]]38;39entry:40 %n = and i16 %nn, 132341 br label %loop42loop:43 call void @maythrow()44 %div = srem i16 %n, %x45 call void @use(i16 %div)46 br label %loop47}48 49define void @sdiv_ok(i16 %n, i16 %xx) {50; CHECK-LABEL: @sdiv_ok(51; CHECK-NEXT: entry:52; CHECK-NEXT: [[XO:%.*]] = or i16 [[XX:%.*]], 153; CHECK-NEXT: [[X:%.*]] = and i16 [[XO]], 12354; CHECK-NEXT: br label [[LOOP:%.*]]55; CHECK: loop:56; CHECK-NEXT: call void @maythrow()57; CHECK-NEXT: [[DIV:%.*]] = sdiv i16 [[N:%.*]], [[X]]58; CHECK-NEXT: call void @use(i16 [[DIV]])59; CHECK-NEXT: br label [[LOOP]]60;61entry:62 %xo = or i16 %xx, 163 %x = and i16 %xo, 12364 br label %loop65loop:66 call void @maythrow()67 %div = sdiv i16 %n, %x68 call void @use(i16 %div)69 br label %loop70}71 72define void @srem_ok2(i16 %nn, i16 %xx) {73; CHECK-LABEL: @srem_ok2(74; CHECK-NEXT: entry:75; CHECK-NEXT: [[N:%.*]] = and i16 [[NN:%.*]], 12376; CHECK-NEXT: [[X:%.*]] = or i16 [[XX:%.*]], 177; CHECK-NEXT: br label [[LOOP:%.*]]78; CHECK: loop:79; CHECK-NEXT: call void @maythrow()80; CHECK-NEXT: [[DIV:%.*]] = srem i16 [[N]], [[X]]81; CHECK-NEXT: call void @use(i16 [[DIV]])82; CHECK-NEXT: br label [[LOOP]]83;84entry:85 %n = and i16 %nn, 12386 %x = or i16 %xx, 187 br label %loop88loop:89 call void @maythrow()90 %div = srem i16 %n, %x91 call void @use(i16 %div)92 br label %loop93}94 95define void @udiv_not_ok(i16 %n, i16 %xx) {96; CHECK-LABEL: @udiv_not_ok(97; CHECK-NEXT: entry:98; CHECK-NEXT: [[X:%.*]] = xor i16 [[XX:%.*]], 199; CHECK-NEXT: br label [[LOOP:%.*]]100; CHECK: loop:101; CHECK-NEXT: call void @maythrow()102; CHECK-NEXT: [[DIV:%.*]] = udiv i16 [[N:%.*]], [[X]]103; CHECK-NEXT: call void @use(i16 [[DIV]])104; CHECK-NEXT: br label [[LOOP]]105;106entry:107 %x = xor i16 %xx, 1108 br label %loop109loop:110 call void @maythrow()111 %div = udiv i16 %n, %x112 call void @use(i16 %div)113 br label %loop114}115 116define void @udiv_ok(i16 %n, i16 %xx) {117; CHECK-LABEL: @udiv_ok(118; CHECK-NEXT: entry:119; CHECK-NEXT: [[X:%.*]] = or i16 [[XX:%.*]], 1120; CHECK-NEXT: br label [[LOOP:%.*]]121; CHECK: loop:122; CHECK-NEXT: call void @maythrow()123; CHECK-NEXT: [[DIV:%.*]] = udiv i16 [[N:%.*]], [[X]]124; CHECK-NEXT: call void @use(i16 [[DIV]])125; CHECK-NEXT: br label [[LOOP]]126;127entry:128 %x = or i16 %xx, 1129 br label %loop130loop:131 call void @maythrow()132 %div = udiv i16 %n, %x133 call void @use(i16 %div)134 br label %loop135}136