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