1; RUN: opt %loadNPMPolly -passes=polly-codegen -S < %s | FileCheck %s 2 3; CHECK-LABEL: polly.stmt.bb48: 4; CHECK-NEXT: %[[offset:.*]] = shl i64 %polly.indvar, 3 5; CHECK-NEXT: %scevgep = getelementptr i8, ptr %A, i64 %[[offset]] 6; CHECK-NEXT: %tmp51_p_scalar_ = load i64, ptr %scevgep, 7; CHECK-NEXT: %p_tmp52 = and i64 %tmp51_p_scalar_, %tmp26 8; CHECK-NEXT: %p_tmp53 = icmp eq i64 %p_tmp52, %tmp26 9; CHECK-NEXT: store i64 42, ptr %scevgep, align 8 10; CHECK-NEXT: br i1 %p_tmp53, label %polly.stmt.bb54, label %polly.stmt.bb56.exit 11 12target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 13 14define void @quux(i32 %arg, i32 %arg1, ptr %A, i64 %tmp9, i64 %tmp24, i64 %tmp14, i64 %tmp22, i64 %tmp44) { 15bb: 16 %tmp26 = or i64 %tmp22, %tmp24 17 br label %bb39 18 19bb39: ; preds = %bb39, %bb38 20 %tmp45 = icmp eq i64 %tmp44, %tmp9 21 br i1 %tmp45, label %bb46, label %bb81 22 23bb46: ; preds = %bb39 24 %tmp47 = or i64 1, %tmp14 25 br label %bb48 26 27bb48: ; preds = %bb56, %bb46 28 %tmp49 = phi i64 [ 0, %bb46 ], [ %tmp57, %bb56 ] 29 %tmp50 = getelementptr inbounds i64, ptr %A, i64 %tmp49 30 %tmp51 = load i64, ptr %tmp50, align 8 31 %tmp52 = and i64 %tmp51, %tmp26 32 %tmp53 = icmp eq i64 %tmp52, %tmp26 33 store i64 42, ptr %tmp50, align 8 34 br i1 %tmp53, label %bb54, label %bb56 35 36bb54: ; preds = %bb48 37 %tmp55 = xor i64 %tmp51, %tmp47 38 store i64 %tmp55, ptr %tmp50, align 8 39 br label %bb56 40 41bb56: ; preds = %bb54, %bb48 42 %tmp57 = add nuw nsw i64 %tmp49, 1 43 %tmp58 = icmp eq i64 %tmp57, %tmp9 44 br i1 %tmp58, label %bb81, label %bb48 45 46bb81: ; preds = %bb74, %bb56 47 ret void 48} 49