| ; RUN: opt < %s -correlated-propagation -S | FileCheck %s | |
| target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" | |
| target triple = "thumbv7m-arm-none-eabi" | |
| define void @h(i32* nocapture %p, i32 %x) local_unnamed_addr #0 { | |
| entry: | |
| ; CHECK-LABEL: @h( | |
| ; CHECK: urem | |
| %cmp = icmp sgt i32 %x, 0 | |
| br i1 %cmp, label %if.then, label %if.end | |
| if.then: | |
| %rem2 = srem i32 %x, 10 | |
| store i32 %rem2, i32* %p, align 4 | |
| br label %if.end | |
| if.end: | |
| ret void | |
| } |