| OLD | NEW |
| 1 ; This is a smoke test of random number generator. | 1 ; This is a smoke test of random number generator. |
| 2 ; The random number generators for different randomization passes should be | 2 ; The random number generators for different randomization passes should be |
| 3 ; decoupled. The random number used in one randomization pass should not be | 3 ; decoupled. The random number used in one randomization pass should not be |
| 4 ; influenced by the existence of other randomization passes. | 4 ; influenced by the existence of other randomization passes. |
| 5 | 5 |
| 6 ; REQUIRES: allow_dump, target_X8632 | 6 ; REQUIRES: allow_dump, target_X8632 |
| 7 | 7 |
| 8 ; Command for checking constant blinding (Need to turn off nop-insertion) | 8 ; Command for checking constant blinding (Need to turn off nop-insertion) |
| 9 ; RUN: %p2i --target x8632 -i %s --filetype=obj --disassemble --args -O2 \ | 9 ; RUN: %p2i --target x8632 -i %s --filetype=obj --disassemble --args -O2 \ |
| 10 ; RUN: -sz-seed=1 -randomize-pool-immediates=randomize \ | 10 ; RUN: -sz-seed=1 -randomize-pool-immediates=randomize \ |
| (...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 97 @PrimitiveInitConst = internal constant [4 x i8] c"\0D\00\00\00", align 4 | 97 @PrimitiveInitConst = internal constant [4 x i8] c"\0D\00\00\00", align 4 |
| 98 @ArrayInit = internal global [20 x i8] c"\0A\00\00\00\14\00\00\00\1E\00\00\00(\0
0\00\002\00\00\00", align 4 | 98 @ArrayInit = internal global [20 x i8] c"\0A\00\00\00\14\00\00\00\1E\00\00\00(\0
0\00\002\00\00\00", align 4 |
| 99 @ArrayInitPartial = internal global [40 x i8] c"<\00\00\00F\00\00\00P\00\00\00Z\
00\00\00d\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00",
align 4 | 99 @ArrayInitPartial = internal global [40 x i8] c"<\00\00\00F\00\00\00P\00\00\00Z\
00\00\00d\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00",
align 4 |
| 100 @PrimitiveInitStatic = internal global [4 x i8] zeroinitializer, align 4 | 100 @PrimitiveInitStatic = internal global [4 x i8] zeroinitializer, align 4 |
| 101 @PrimitiveUninit = internal global [4 x i8] zeroinitializer, align 4 | 101 @PrimitiveUninit = internal global [4 x i8] zeroinitializer, align 4 |
| 102 @ArrayUninit = internal global [20 x i8] zeroinitializer, align 4 | 102 @ArrayUninit = internal global [20 x i8] zeroinitializer, align 4 |
| 103 @ArrayUninitConstDouble = internal constant [200 x i8] zeroinitializer, align 8 | 103 @ArrayUninitConstDouble = internal constant [200 x i8] zeroinitializer, align 8 |
| 104 @ArrayUninitConstInt = internal constant [20 x i8] zeroinitializer, align 4 | 104 @ArrayUninitConstInt = internal constant [20 x i8] zeroinitializer, align 4 |
| 105 | 105 |
| 106 | 106 |
| 107 define <4 x i32> @func1(<4 x i32> %a, <4 x i32> %b) { | 107 define internal <4 x i32> @func1(<4 x i32> %a, <4 x i32> %b) { |
| 108 entry: | 108 entry: |
| 109 %res = mul <4 x i32> %a, %b | 109 %res = mul <4 x i32> %a, %b |
| 110 ret <4 x i32> %res | 110 ret <4 x i32> %res |
| 111 | 111 |
| 112 ; NOPINSERTION-LABEL: func1 | 112 ; NOPINSERTION-LABEL: func1 |
| 113 ; NOPINSERTION: nop # variant = 1 | 113 ; NOPINSERTION: nop # variant = 1 |
| 114 ; NOPINSERTION: subl $60, %esp | 114 ; NOPINSERTION: subl $60, %esp |
| 115 ; NOPINSERTION: nop # variant = 3 | 115 ; NOPINSERTION: nop # variant = 3 |
| 116 ; NOPINSERTION: movups %xmm0, 32(%esp) | 116 ; NOPINSERTION: movups %xmm0, 32(%esp) |
| 117 ; NOPINSERTION: movups %xmm1, 16(%esp) | 117 ; NOPINSERTION: movups %xmm1, 16(%esp) |
| (...skipping 11 matching lines...) Expand all Loading... |
| 129 ; NOPINSERTION: pshufd $216, %xmm0, %xmm0 | 129 ; NOPINSERTION: pshufd $216, %xmm0, %xmm0 |
| 130 ; NOPINSERTION: nop # variant = 1 | 130 ; NOPINSERTION: nop # variant = 1 |
| 131 ; NOPINSERTION: movups %xmm0, (%esp) | 131 ; NOPINSERTION: movups %xmm0, (%esp) |
| 132 ; NOPINSERTION: movups (%esp), %xmm0 | 132 ; NOPINSERTION: movups (%esp), %xmm0 |
| 133 ; NOPINSERTION: addl $60, %esp | 133 ; NOPINSERTION: addl $60, %esp |
| 134 ; NOPINSERTION: ret | 134 ; NOPINSERTION: ret |
| 135 } | 135 } |
| 136 | 136 |
| 137 | 137 |
| 138 | 138 |
| 139 define float @func2(float* %arg) { | 139 define internal float @func2(float* %arg) { |
| 140 entry: | 140 entry: |
| 141 %arg.int = ptrtoint float* %arg to i32 | 141 %arg.int = ptrtoint float* %arg to i32 |
| 142 %addr.int = add i32 %arg.int, 200000 | 142 %addr.int = add i32 %arg.int, 200000 |
| 143 %addr.ptr = inttoptr i32 %addr.int to float* | 143 %addr.ptr = inttoptr i32 %addr.int to float* |
| 144 %addr.load = load float, float* %addr.ptr, align 4 | 144 %addr.load = load float, float* %addr.ptr, align 4 |
| 145 ret float %addr.load | 145 ret float %addr.load |
| 146 | 146 |
| 147 ; BLINDINGO2-LABEL: func2 | 147 ; BLINDINGO2-LABEL: func2 |
| 148 ; BLINDINGO2: lea [[REG:e[a-z]*]],{{[[]}}{{e[a-z]*}}+0x69ed4ee7{{[]]}} | 148 ; BLINDINGO2: lea [[REG:e[a-z]*]],{{[[]}}{{e[a-z]*}}+0x69ed4ee7{{[]]}} |
| 149 } | 149 } |
| 150 | 150 |
| 151 define float @func3(i32 %arg, float %input) { | 151 define internal float @func3(i32 %arg, float %input) { |
| 152 entry: | 152 entry: |
| 153 switch i32 %arg, label %return [ | 153 switch i32 %arg, label %return [ |
| 154 i32 0, label %sw.bb | 154 i32 0, label %sw.bb |
| 155 i32 1, label %sw.bb1 | 155 i32 1, label %sw.bb1 |
| 156 i32 2, label %sw.bb2 | 156 i32 2, label %sw.bb2 |
| 157 i32 3, label %sw.bb3 | 157 i32 3, label %sw.bb3 |
| 158 i32 4, label %sw.bb4 | 158 i32 4, label %sw.bb4 |
| 159 ] | 159 ] |
| 160 | 160 |
| 161 sw.bb: | 161 sw.bb: |
| (...skipping 14 matching lines...) Expand all Loading... |
| 176 | 176 |
| 177 sw.bb4: | 177 sw.bb4: |
| 178 %rbb4 = fadd float %input, 2.500000e-01 | 178 %rbb4 = fadd float %input, 2.500000e-01 |
| 179 br label %return | 179 br label %return |
| 180 | 180 |
| 181 return: | 181 return: |
| 182 %retval.0 = phi float [ %rbb, %sw.bb ], [ %rbb1, %sw.bb1 ], [ %rbb2, %sw.bb2 ]
, [ %rbb3, %sw.bb3 ], [ %rbb4, %sw.bb4], [ 0.000000e+00, %entry ] | 182 %retval.0 = phi float [ %rbb, %sw.bb ], [ %rbb1, %sw.bb1 ], [ %rbb2, %sw.bb2 ]
, [ %rbb3, %sw.bb3 ], [ %rbb4, %sw.bb4], [ 0.000000e+00, %entry ] |
| 183 ret float %retval.0 | 183 ret float %retval.0 |
| 184 } | 184 } |
| 185 | 185 |
| 186 define <4 x i32> @func4(<4 x i32> %a, <4 x i32> %b) { | 186 define internal <4 x i32> @func4(<4 x i32> %a, <4 x i32> %b) { |
| 187 entry: | 187 entry: |
| 188 %res = mul <4 x i32> %a, %b | 188 %res = mul <4 x i32> %a, %b |
| 189 ret <4 x i32> %res | 189 ret <4 x i32> %res |
| 190 | 190 |
| 191 ; REGALLOC-LABEL: func4 | 191 ; REGALLOC-LABEL: func4 |
| 192 ; REGALLOC: movups xmm3,xmm0 | 192 ; REGALLOC: movups xmm3,xmm0 |
| 193 ; REGALLOC-NEXT: pshufd xmm0,xmm0,0x31 | 193 ; REGALLOC-NEXT: pshufd xmm0,xmm0,0x31 |
| 194 ; REGALLOC-NEXT: pshufd xmm5,xmm1,0x31 | 194 ; REGALLOC-NEXT: pshufd xmm5,xmm1,0x31 |
| 195 ; REGALLOC-NEXT: pmuludq xmm3,xmm1 | 195 ; REGALLOC-NEXT: pmuludq xmm3,xmm1 |
| 196 ; REGALLOC-NEXT: pmuludq xmm0,xmm5 | 196 ; REGALLOC-NEXT: pmuludq xmm0,xmm5 |
| 197 ; REGALLOC-NEXT: shufps xmm3,xmm0,0x88 | 197 ; REGALLOC-NEXT: shufps xmm3,xmm0,0x88 |
| 198 ; REGALLOC-NEXT: pshufd xmm3,xmm3,0xd8 | 198 ; REGALLOC-NEXT: pshufd xmm3,xmm3,0xd8 |
| 199 ; REGALLOC-NEXT: movups xmm0,xmm3 | 199 ; REGALLOC-NEXT: movups xmm0,xmm3 |
| 200 ; REGALLOC-NEXT: ret | 200 ; REGALLOC-NEXT: ret |
| 201 } | 201 } |
| 202 | 202 |
| 203 define void @func5(i32 %foo, i32 %bar) { | 203 define internal void @func5(i32 %foo, i32 %bar) { |
| 204 entry: | 204 entry: |
| 205 %r1 = icmp eq i32 %foo, %bar | 205 %r1 = icmp eq i32 %foo, %bar |
| 206 br i1 %r1, label %BB1, label %BB2 | 206 br i1 %r1, label %BB1, label %BB2 |
| 207 BB1: | 207 BB1: |
| 208 %r2 = icmp sgt i32 %foo, %bar | 208 %r2 = icmp sgt i32 %foo, %bar |
| 209 br i1 %r2, label %BB3, label %BB4 | 209 br i1 %r2, label %BB3, label %BB4 |
| 210 BB2: | 210 BB2: |
| 211 %r3 = icmp slt i32 %foo, %bar | 211 %r3 = icmp slt i32 %foo, %bar |
| 212 br i1 %r3, label %BB3, label %BB4 | 212 br i1 %r3, label %BB3, label %BB4 |
| 213 BB3: | 213 BB3: |
| 214 ret void | 214 ret void |
| 215 BB4: | 215 BB4: |
| 216 ret void | 216 ret void |
| 217 | 217 |
| 218 ; BBREORDERING-LABEL: func5: | 218 ; BBREORDERING-LABEL: func5: |
| 219 ; BBREORDERING: .Lfunc5$entry: | 219 ; BBREORDERING: .Lfunc5$entry: |
| 220 ; BBREORDERING: .Lfunc5$BB1: | 220 ; BBREORDERING: .Lfunc5$BB1: |
| 221 ; BBREORDERING: .Lfunc5$BB2: | 221 ; BBREORDERING: .Lfunc5$BB2: |
| 222 ; BBREORDERING: .Lfunc5$BB4: | 222 ; BBREORDERING: .Lfunc5$BB4: |
| 223 ; BBREORDERING: .Lfunc5$BB3 | 223 ; BBREORDERING: .Lfunc5$BB3 |
| 224 } | 224 } |
| 225 | 225 |
| 226 define i32 @func6(i32 %arg) { | 226 define internal i32 @func6(i32 %arg) { |
| 227 entry: | 227 entry: |
| 228 %res = add i32 200000, %arg | 228 %res = add i32 200000, %arg |
| 229 ret i32 %res | 229 ret i32 %res |
| 230 | 230 |
| 231 ; BLINDINGO2-LABEL: func6 | 231 ; BLINDINGO2-LABEL: func6 |
| 232 ; BLINDINGO2: mov [[REG:e[a-z]*]],0x77254ee7 | 232 ; BLINDINGO2: mov [[REG:e[a-z]*]],0x77254ee7 |
| 233 ; BLINDINGO2-NEXT: lea [[REG]],{{[[]}}[[REG]]-0x772241a7{{[]]}} | 233 ; BLINDINGO2-NEXT: lea [[REG]],{{[[]}}[[REG]]-0x772241a7{{[]]}} |
| 234 } | 234 } |
| 235 | 235 |
| 236 ; Check for function reordering | 236 ; Check for function reordering |
| (...skipping 12 matching lines...) Expand all Loading... |
| 249 ; GLOBALVARS-LABEL: ArrayUninit | 249 ; GLOBALVARS-LABEL: ArrayUninit |
| 250 ; GLOBALVARS-LABEL: PrimitiveInitStatic | 250 ; GLOBALVARS-LABEL: PrimitiveInitStatic |
| 251 ; GLOBALVARS-LABEL: ArrayUninitConstDouble | 251 ; GLOBALVARS-LABEL: ArrayUninitConstDouble |
| 252 ; GLOBALVARS-LABEL: ArrayUninitConstInt | 252 ; GLOBALVARS-LABEL: ArrayUninitConstInt |
| 253 ; GLOBALVARS-LABEL: PrimitiveInitConst | 253 ; GLOBALVARS-LABEL: PrimitiveInitConst |
| 254 | 254 |
| 255 ; Check for pooled constant reordering | 255 ; Check for pooled constant reordering |
| 256 ; POOLEDCONSTANTS-LABEL: .rodata.cst4 | 256 ; POOLEDCONSTANTS-LABEL: .rodata.cst4 |
| 257 ; POOLEDCONSTANTS: 0000803e 0000803f 00000000 0000003f | 257 ; POOLEDCONSTANTS: 0000803e 0000803f 00000000 0000003f |
| 258 ; POOLEDCONSTANTS: 00008040 00000040 | 258 ; POOLEDCONSTANTS: 00008040 00000040 |
| OLD | NEW |