1; RUN: llc -o - -mtriple=i386-unknown-linux-gnu < %s | FileCheck %s 2; RUN: llc -o - -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s 3 4@a = common global i32 0, align 4 5@b = common global i32 0, align 4 6@c = common global i32 0, align 4 7@e = common global i32 0, align 4 8@x = common global i32 0, align 4 9@f = common global i32 0, align 4 10@h = common global i32 0, align 4 11@i = common global i32 0, align 4 12 13; Test -Os to make sure immediates with multiple users don't get pulled in to 14; instructions. 15define i32 @foo() optsize { 16; CHECK-LABEL: foo: 17; CHECK: movl $1234, [[R1:%[a-z]+]] 18; CHECK-NOT: movl $1234, a 19; CHECK-NOT: movl $1234, b 20; CHECK-NOT: movl $12, c 21; CHECK-NOT: cmpl $12, e 22; CHECK: movl [[R1]], a 23; CHECK: movl [[R1]], b 24 25entry: 26 store i32 1234, i32* @a 27 store i32 1234, i32* @b 28 store i32 12, i32* @c 29 %0 = load i32, i32* @e 30 %cmp = icmp eq i32 %0, 12 31 br i1 %cmp, label %if.then, label %if.end 32 33if.then: ; preds = %entry 34 store i32 1, i32* @x 35 br label %if.end 36 37; New block.. Make sure 1234 isn't live across basic blocks from before. 38; CHECK: movl $1234, f 39; CHECK: movl $555, [[R3:%[a-z]+]] 40; CHECK-NOT: movl $555, h 41; CHECK-NOT: addl $555, i 42; CHECK: movl [[R3]], h 43; CHECK: addl [[R3]], i 44 45if.end: ; preds = %if.then, %entry 46 store i32 1234, i32* @f 47 store i32 555, i32* @h 48 %1 = load i32, i32* @i 49 %add1 = add nsw i32 %1, 555 50 store i32 %add1, i32* @i 51 ret i32 0 52} 53 54; Test -O2 to make sure that all immediates get pulled in to their users. 55define i32 @foo2() { 56; CHECK-LABEL: foo2: 57; CHECK: movl $1234, a 58; CHECK: movl $1234, b 59 60entry: 61 store i32 1234, i32* @a 62 store i32 1234, i32* @b 63 64 ret i32 0 65} 66 67declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) #1 68 69@AA = common global [100 x i8] zeroinitializer, align 1 70 71; memset gets lowered in DAG. Constant merging should hoist all the 72; immediates used to store to the individual memory locations. Make 73; sure we don't directly store the immediates. 74define void @foomemset() optsize { 75; CHECK-LABEL: foomemset: 76; CHECK-NOT: movl ${{.*}}, AA 77; CHECK: mov{{l|q}} %{{e|r}}ax, AA 78 79entry: 80 call void @llvm.memset.p0i8.i32(i8* getelementptr inbounds ([100 x i8], [100 x i8]* @AA, i32 0, i32 0), i8 33, i32 24, i32 1, i1 false) 81 ret void 82} 83